Details

Time bar (total: 22.2s)

sample105.0ms

Algorithm
intervals
Results
32.0ms256×body80valid
29.0ms256×pre80true

simplify1.0s

Counts
1 → 1
Iterations

Useful iterations: done (1.0s)

IterNodesCost
02130
15830
220127
394427
done500025

prune29.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize48.0ms

Local error

Found 3 expressions with local error:

0.2b
(+ (* x1 (+ (+ (- x2 x1) (+ (- x3 x4) x5)) x6)) (* x3 (- x6 x2)))
0.2b
(+ (+ (* x1 (+ (+ (- x2 x1) (+ (- x3 x4) x5)) x6)) (* x3 (- x6 x2))) (* x5 (- x2 x6)))
0.3b
(* x1 (+ (+ (- x2 x1) (+ (- x3 x4) x5)) x6))

rewrite6.4s

Algorithm
rewrite-expression-head
Rules
38×associate-*r/
34×*-un-lft-identity
24×frac-add
17×distribute-lft-out
12×flip3-- flip--
11×flip3-+ flip-+
10×associate-*r* add-log-exp
associate-+r+
add-sqr-sqrt
distribute-rgt-in distribute-lft-in
pow1 add-cbrt-cube add-exp-log add-cube-cbrt distribute-lft-out--
sum-log sub-neg
associate-+l+ associate-*l*
+-commutative
pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 79
Calls
3 calls:
736.0ms
(+ (* x1 (+ (+ (- x2 x1) (+ (- x3 x4) x5)) x6)) (* x3 (- x6 x2)))
3.5s
(+ (+ (* x1 (+ (+ (- x2 x1) (+ (- x3 x4) x5)) x6)) (* x3 (- x6 x2))) (* x5 (- x2 x6)))
2.1s
(* x1 (+ (+ (- x2 x1) (+ (- x3 x4) x5)) x6))

series904.0ms

Counts
3 → 9
Calls
3 calls:
332.0ms
(+ (* x1 (+ (+ (- x2 x1) (+ (- x3 x4) x5)) x6)) (* x3 (- x6 x2)))
357.0ms
(+ (+ (* x1 (+ (+ (- x2 x1) (+ (- x3 x4) x5)) x6)) (* x3 (- x6 x2))) (* x5 (- x2 x6)))
215.0ms
(* x1 (+ (+ (- x2 x1) (+ (- x3 x4) x5)) x6))

simplify2.8s

Counts
88 → 88
Iterations

Useful iterations: 2 (886.0ms)

IterNodesCost
02023667
18113450
244483366
done50013366

prune935.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize52.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ (- x2 x1) (+ (- x3 x4) x5)) x1)
0.2b
(+ (+ (* (+ (- x2 x1) (+ (- x3 x4) x5)) x1) (+ (* x6 x1) (* x3 (- x6 x2)))) (* x5 (- x2 x6)))
0.3b
(+ (* (+ (- x2 x1) (+ (- x3 x4) x5)) x1) (+ (* x6 x1) (* x3 (- x6 x2))))
0.3b
(+ (* x6 x1) (* x3 (- x6 x2)))

rewrite1.8s

Algorithm
rewrite-expression-head
Rules
92×frac-add
44×flip3-+ flip-+
42×associate-*l/
28×flip3-- associate-*r/ flip--
27×*-un-lft-identity
20×add-log-exp
10×sum-log distribute-lft-out
associate-+r+ associate-*l*
add-sqr-sqrt
pow1 add-cbrt-cube add-exp-log add-cube-cbrt
distribute-lft-out--
distribute-rgt-in sub-neg distribute-lft-in
+-commutative associate-*r*
associate-+l+ pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 116
Calls
4 calls:
501.0ms
(* (+ (- x2 x1) (+ (- x3 x4) x5)) x1)
1.0s
(+ (+ (* (+ (- x2 x1) (+ (- x3 x4) x5)) x1) (+ (* x6 x1) (* x3 (- x6 x2)))) (* x5 (- x2 x6)))
187.0ms
(+ (* (+ (- x2 x1) (+ (- x3 x4) x5)) x1) (+ (* x6 x1) (* x3 (- x6 x2))))
20.0ms
(+ (* x6 x1) (* x3 (- x6 x2)))

series948.0ms

Counts
4 → 12
Calls
4 calls:
151.0ms
(* (+ (- x2 x1) (+ (- x3 x4) x5)) x1)
397.0ms
(+ (+ (* (+ (- x2 x1) (+ (- x3 x4) x5)) x1) (+ (* x6 x1) (* x3 (- x6 x2)))) (* x5 (- x2 x6)))
340.0ms
(+ (* (+ (- x2 x1) (+ (- x3 x4) x5)) x1) (+ (* x6 x1) (* x3 (- x6 x2))))
59.0ms
(+ (* x6 x1) (* x3 (- x6 x2)))

simplify969.0ms

Counts
128 → 128
Iterations

Useful iterations: done (958.0ms)

IterNodesCost
03498762
115147879
done50007809

prune1.7s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

regimes1.1s

Accuracy

0% (0.4b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 0.5b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02861
13961
done3961

end0.0ms

sample3.4s

Algorithm
intervals
Results
1.4s8000×body80valid
1.3s8000×pre80true