Details

Time bar (total: 21.0s)

sample27.0ms

Algorithm
intervals
Results
16.0ms309×body80valid

simplify11.4s

Counts
1 → 1
Iterations
IterNodes
done5000
434795
424756
414327
404289
393884
383847
373466
363428
353071
343034
332701
322662
312353
302316
292031
281994
271733
261696
251459
241421
231208
221171
21982
20945
19780
18742
17601
16564
15447
14410
13317
12280
11211
10174
9134
8107
766
650
545
439
335
225
115
06

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 2 expressions with local error:

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

rewrite37.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 associate-+r+ distribute-lft-in flip3-+ associate-*r/ flip-+ insert-posit16
1×+-commutative sum-log pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out unswap-sqr
Counts
2 → 38
Calls
2 calls:
10.0ms
(+ x (* y (+ z x)))
25.0ms
(* y (+ z x))

series93.0ms

Counts
2 → 6
Calls
2 calls:
48.0ms
(+ x (* y (+ z x)))
46.0ms
(* y (+ z x))

simplify2.9s

Counts
44 → 44
Iterations
IterNodes
done5004
34149
2686
1202
068

prune190.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite50.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* insert-posit16 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 → 76
Calls
4 calls:
32.0ms
(* (cbrt (* y (+ z x))) (cbrt (* y (+ z x))))
6.0ms
(cbrt (* y (+ z x)))
5.0ms
(cbrt (* y (+ z x)))
5.0ms
(cbrt (* y (+ z x)))

series620.0ms

Counts
4 → 12
Calls
4 calls:
209.0ms
(* (cbrt (* y (+ z x))) (cbrt (* y (+ z x))))
155.0ms
(cbrt (* y (+ z x)))
127.0ms
(cbrt (* y (+ z x)))
129.0ms
(cbrt (* y (+ z x)))

simplify1.7s

Counts
88 → 88
Iterations
IterNodes
done5001
31695
2684
1273
0110

prune477.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize31.0ms

Local error

Found 4 expressions with local error:

1.5b
(cbrt (* y (+ z x)))
1.5b
(cbrt (* y (+ z x)))
1.5b
(cbrt (* y (+ z x)))
1.5b
(cbrt (* y (+ z x)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
8×cbrt-div associate-*r/
4×cbrt-prod add-sqr-sqrt pow1 *-un-lft-identity flip3-+ add-cbrt-cube pow1/3 add-exp-log add-cube-cbrt flip-+ insert-posit16 add-log-exp
Counts
4 → 48
Calls
4 calls:
5.0ms
(cbrt (* y (+ z x)))
5.0ms
(cbrt (* y (+ z x)))
5.0ms
(cbrt (* y (+ z x)))
5.0ms
(cbrt (* y (+ z x)))

series588.0ms

Counts
4 → 12
Calls
4 calls:
149.0ms
(cbrt (* y (+ z x)))
137.0ms
(cbrt (* y (+ z x)))
162.0ms
(cbrt (* y (+ z x)))
140.0ms
(cbrt (* y (+ z x)))

simplify1.4s

Counts
60 → 60
Iterations
IterNodes
done5000
41745
3583
2277
1138
056

prune442.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes157.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
done9
19
06

end0.0ms

sample844.0ms

Algorithm
intervals
Results
610.0ms10005×body80valid