Details

Time bar (total: 24.8s)

sample23.0ms

Algorithm
intervals
Results
12.0ms309×body80valid

simplify11.6s

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity
6×add-sqr-sqrt
5×+-commutative
4×distribute-rgt-in pow1 associate-+r+ distribute-lft-in add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt add-log-exp
3×distribute-lft-out
2×flip3-+ associate-*r/ flip-+ insert-posit16
1×sum-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 44
Calls
2 calls:
57.0ms
(+ x (* y (+ z x)))
26.0ms
(* y (+ z x))

series77.0ms

Counts
2 → 6
Calls
2 calls:
42.0ms
(+ x (* y (+ z x)))
35.0ms
(* y (+ z x))

simplify3.1s

Counts
50 → 50
Iterations
IterNodes
done5000
34502
2709
1208
070

prune161.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize40.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)))

rewrite269.0ms

Algorithm
rewrite-expression-head
Rules
111×cbrt-prod
67×add-sqr-sqrt
53×*-un-lft-identity
48×associate-*r*
39×associate-*l*
29×add-cube-cbrt
22×unswap-sqr
20×swap-sqr associate-*r/
18×cbrt-div
11×pow1
9×flip3-+ pow1/3 flip-+ distribute-lft-out
8×add-cbrt-cube *-commutative
6×add-exp-log
4×frac-times cbrt-unprod insert-posit16 add-log-exp
2×pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp
Counts
4 → 163
Calls
4 calls:
182.0ms
(* (cbrt (* y (+ z x))) (cbrt (* y (+ z x))))
33.0ms
(cbrt (* y (+ z x)))
26.0ms
(cbrt (* y (+ z x)))
22.0ms
(cbrt (* y (+ z x)))

series683.0ms

Counts
4 → 12
Calls
4 calls:
220.0ms
(* (cbrt (* y (+ z x))) (cbrt (* y (+ z x))))
149.0ms
(cbrt (* y (+ z x)))
161.0ms
(cbrt (* y (+ z x)))
154.0ms
(cbrt (* y (+ z x)))

simplify2.0s

Counts
175 → 175
Iterations
IterNodes
done5000
32690
21058
1385
0169

prune864.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize77.0ms

Local error

Found 4 expressions with local error:

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

rewrite284.0ms

Algorithm
rewrite-expression-head
Rules
109×cbrt-prod
56×add-sqr-sqrt
47×associate-*r*
42×*-un-lft-identity
26×cbrt-div
22×add-cube-cbrt
19×unswap-sqr
16×associate-*l*
14×associate-*r/
11×swap-sqr
9×flip3-+ flip-+ distribute-lft-out
5×*-commutative
4×frac-times pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 add-log-exp
2×associate-*l/
Counts
4 → 129
Calls
4 calls:
7.0ms
(cbrt (+ z x))
201.0ms
(cbrt (* y (* (cbrt (+ z x)) (cbrt (+ z x)))))
35.0ms
(cbrt (* y (+ z x)))
36.0ms
(cbrt (* y (+ z x)))

series829.0ms

Counts
4 → 12
Calls
4 calls:
191.0ms
(cbrt (+ z x))
344.0ms
(cbrt (* y (* (cbrt (+ z x)) (cbrt (+ z x)))))
151.0ms
(cbrt (* y (+ z x)))
143.0ms
(cbrt (* y (+ z x)))

simplify2.5s

Counts
141 → 141
Iterations
IterNodes
done5001
33914
21497
1585
0274

prune1.0s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes177.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done9
19
06

end0.0ms

sample919.0ms

Algorithm
intervals
Results
545.0ms10005×body80valid