Details

Time bar (total: 13.0s)

sample38.0ms

Algorithm
intervals
Results
15.0ms256×body80valid

simplify2.0s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
099
1139
2169
3209
4289
5349
6569
7859
81139
92169
105329
1116969
done50019

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 2 expressions with local error:

0.0b
(- x (/ (+ (* 2.0 y) z) 3.0))
0.0b
(/ (+ (* 2.0 y) z) 3.0)

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
12×*-un-lft-identity
10×times-frac add-cube-cbrt
add-cbrt-cube add-exp-log add-log-exp
associate-/r* associate-/l*
pow1 difference-of-squares associate-/l/
cbrt-undiv clear-num sub-neg frac-2neg flip3-+ flip3-- diff-log div-exp flip-+ div-inv flip-- distribute-lft-out--
Counts
2 → 44
Calls
2 calls:
39.0ms
(- x (/ (+ (* 2.0 y) z) 3.0))
58.0ms
(/ (+ (* 2.0 y) z) 3.0)

series120.0ms

Counts
2 → 6
Calls
2 calls:
46.0ms
(- x (/ (+ (* 2.0 y) z) 3.0))
74.0ms
(/ (+ (* 2.0 y) z) 3.0)

simplify2.8s

Counts
50 → 50
Iterations

Useful iterations: 3 (1.0s)

IterNodesCost
094673
1217639
2710607
33875605
done5000605

prune228.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b
(- x (* (+ (* 2.0 y) z) (/ 1 3.0)))
0.3b
(* (+ (* 2.0 y) z) (/ 1 3.0))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
13×associate-*r*
11×*-un-lft-identity times-frac add-exp-log
10×add-cube-cbrt
add-cbrt-cube
pow1 prod-exp add-log-exp
associate-*l* unswap-sqr
frac-times flip3-+ div-exp associate-*l/ cbrt-unprod flip-+
cbrt-undiv rec-exp sub-neg flip3-- diff-log 1-exp pow-prod-down associate-*r/ un-div-inv *-commutative div-inv flip--
Counts
2 → 52
Calls
2 calls:
9.0ms
(- x (* (+ (* 2.0 y) z) (/ 1 3.0)))
63.0ms
(* (+ (* 2.0 y) z) (/ 1 3.0))

series115.0ms

Counts
2 → 6
Calls
2 calls:
48.0ms
(- x (* (+ (* 2.0 y) z) (/ 1 3.0)))
67.0ms
(* (+ (* 2.0 y) z) (/ 1 3.0))

simplify6.1s

Counts
58 → 58
Iterations

Useful iterations: 2 (742.0ms)

IterNodesCost
0120828
1329745
22465602
done5001602

prune239.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes186.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
099
1119
done119

end0.0ms

sample1.0s

Algorithm
intervals
Results
588.0ms7996×body80valid
0.0msbody640valid
0.0msbody320valid
0.0msbody160valid