Details

Time bar (total: 16.5s)

sample38.0ms

Algorithm
intervals
Results
17.0ms335×body80valid

simplify3.1s

Counts
1 → 1
Iterations
IterNodes
done5001
574953
564873
554787
544707
534621
524541
514455
504375
494289
484209
474123
464043
453957
443877
433791
423711
413625
403545
393459
383379
373293
363213
353127
343047
332961
322881
312795
302715
292629
282549
272463
262383
252297
242217
232131
222051
211965
201883
191801
181715
171631
161529
151453
141357
131251
121108
11757
10223
9129
8101
778
662
558
451
334
220
113
08

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (- x 1.0) z)
0.0b
(+ (* x y) (* (- x 1.0) z))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×*-un-lft-identity
5×associate-*l*
4×pow1 add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
3×associate-*r*
2×associate-*l/
1×+-commutative sum-log flip3-+ flip3-- pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ flip-- distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 33
Calls
2 calls:
32.0ms
(* (- x 1.0) z)
14.0ms
(+ (* x y) (* (- x 1.0) z))

series80.0ms

Counts
2 → 6
Calls
2 calls:
39.0ms
(* (- x 1.0) z)
40.0ms
(+ (* x y) (* (- x 1.0) z))

simplify2.6s

Counts
39 → 39
Iterations
IterNodes
done5002
32617
2588
1191
071

prune246.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (* x (+ y z)) (* 1.0 z))
0.0b
(* x (+ y z))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt *-un-lft-identity
4×pow1 add-cbrt-cube associate-*r* add-exp-log add-cube-cbrt add-log-exp
3×associate-*l*
2×distribute-rgt-in distribute-lft-in associate--l+ associate-*r/
1×sub-neg flip3-+ flip3-- diff-log pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ flip-- distribute-lft-out unswap-sqr
Counts
2 → 37
Calls
2 calls:
21.0ms
(- (* x (+ y z)) (* 1.0 z))
31.0ms
(* x (+ y z))

series83.0ms

Counts
2 → 6
Calls
2 calls:
47.0ms
(- (* x (+ y z)) (* 1.0 z))
36.0ms
(* x (+ y z))

simplify2.8s

Counts
43 → 43
Iterations
IterNodes
done5041
33716
2704
1214
072

prune237.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize57.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (* x (+ y z))) (cbrt (* x (+ y z))))
2.9b
(cbrt (* x (+ y z)))
2.9b
(cbrt (* x (+ y z)))
2.9b
(cbrt (* x (+ y z)))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
20×associate-*r/
18×cbrt-div
11×pow1
10×add-sqr-sqrt
9×flip3-+ pow1/3 flip-+
8×*-un-lft-identity add-cube-cbrt
7×cbrt-prod
6×add-exp-log
4×frac-times add-cbrt-cube swap-sqr associate-*r* associate-*l* add-log-exp
2×pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 72
Calls
4 calls:
25.0ms
(* (cbrt (* x (+ y z))) (cbrt (* x (+ y z))))
11.0ms
(cbrt (* x (+ y z)))
10.0ms
(cbrt (* x (+ y z)))
10.0ms
(cbrt (* x (+ y z)))

series678.0ms

Counts
4 → 12
Calls
4 calls:
224.0ms
(* (cbrt (* x (+ y z))) (cbrt (* x (+ y z))))
131.0ms
(cbrt (* x (+ y z)))
162.0ms
(cbrt (* x (+ y z)))
161.0ms
(cbrt (* x (+ y z)))

simplify1.6s

Counts
84 → 84
Iterations
IterNodes
done5000
31713
2680
1271
0108

prune573.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize49.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (+ y z))
0.5b
(cbrt (+ y z))
0.5b
(cbrt (+ y z))
0.6b
(* (cbrt (+ y z)) (cbrt (+ y z)))

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
36×cbrt-prod
35×*-un-lft-identity
23×add-sqr-sqrt
18×cbrt-div
15×add-cube-cbrt
11×pow1
9×flip3-+ pow1/3 swap-sqr flip-+ distribute-lft-out
7×associate-*r* associate-*l*
6×add-exp-log
4×frac-times add-cbrt-cube add-log-exp unswap-sqr
2×pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 95
Calls
4 calls:
6.0ms
(cbrt (+ y z))
6.0ms
(cbrt (+ y z))
6.0ms
(cbrt (+ y z))
51.0ms
(* (cbrt (+ y z)) (cbrt (+ y z)))

series777.0ms

Counts
4 → 12
Calls
4 calls:
214.0ms
(cbrt (+ y z))
179.0ms
(cbrt (+ y z))
168.0ms
(cbrt (+ y z))
216.0ms
(* (cbrt (+ y z)) (cbrt (+ y z)))

simplify1.7s

Counts
107 → 107
Iterations
IterNodes
done5000
31685
2675
1276
0116

prune539.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes206.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done11
111
08

end0.0ms

sample852.0ms

Algorithm
intervals
Results
487.0ms10099×body80valid