Details

Time bar (total: 19.3s)

sample56.0ms

Algorithm
intervals
Results
38.0ms298×body80valid

simplify2.5s

Counts
1 → 1
Iterations
IterNodes
done5000
384914
374763
364608
354463
344312
334157
324012
313861
303706
293561
283410
273255
263110
252959
242804
232659
222508
212353
202208
192057
181902
171757
161606
151451
141306
131155
121004
11849
10586
9433
8283
7208
6171
5130
494
367
244
124
013

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))
0.0b
(/ (* y z) 2.0)
0.0b
(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp
8×add-cbrt-cube add-exp-log
7×*-un-lft-identity
5×add-sqr-sqrt add-cube-cbrt
3×pow1 associate-/r* times-frac insert-posit16
2×cbrt-undiv associate-+l+ sum-log sub-neg diff-log div-exp
1×+-commutative clear-num frac-2neg flip3-+ flip3-- associate-*l/ prod-exp frac-sub associate-+l- cbrt-unprod flip-+ div-inv flip-- distribute-lft-out associate-/l*
Counts
3 → 53
Calls
3 calls:
10.0ms
(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))
8.0ms
(/ (* y z) 2.0)
41.0ms
(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)

series134.0ms

Counts
3 → 9
Calls
3 calls:
58.0ms
(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))
19.0ms
(/ (* y z) 2.0)
58.0ms
(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)

simplify2.3s

Counts
62 → 62
Iterations
IterNodes
done5010
34539
2986
1291
0113

prune320.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z)))
0.0b
(+ (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))) t)
0.2b
(/ y (/ 2.0 z))

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
47×*-un-lft-identity
45×add-sqr-sqrt add-cube-cbrt
13×associate-/r*
10×add-log-exp
8×add-cbrt-cube add-exp-log
5×div-inv
3×pow1 cbrt-undiv div-exp insert-posit16 associate-/l*
2×associate-+l+ sum-log sub-neg diff-log
1×+-commutative clear-num frac-2neg flip3-+ flip3-- associate-*l/ associate-/r/ frac-sub associate-+l- flip-+ flip-- distribute-lft-out
Counts
3 → 102
Calls
3 calls:
19.0ms
(- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z)))
66.0ms
(+ (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))) t)
10.0ms
(/ y (/ 2.0 z))

series163.0ms

Counts
3 → 9
Calls
3 calls:
73.0ms
(- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z)))
70.0ms
(+ (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))) t)
19.0ms
(/ y (/ 2.0 z))

simplify1.3s

Counts
111 → 111
Iterations
IterNodes
done5001
21665
1529
0213

prune527.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (cbrt (/ 2.0 z)) (cbrt (/ 2.0 z)))
0.6b
(cbrt (/ 2.0 z))
0.6b
(cbrt (/ 2.0 z))
0.6b
(cbrt (/ 2.0 z))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
103×cbrt-prod
81×add-sqr-sqrt
69×times-frac
57×*-un-lft-identity add-cube-cbrt
16×swap-sqr associate-*r* associate-*l*
11×pow1
9×pow1/3 unswap-sqr
7×cbrt-div div-inv
6×add-exp-log
4×add-cbrt-cube insert-posit16 add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 frac-times pow-plus associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod
Counts
4 → 148
Calls
4 calls:
10.0ms
(* (cbrt (/ 2.0 z)) (cbrt (/ 2.0 z)))
1.0ms
(cbrt (/ 2.0 z))
2.0ms
(cbrt (/ 2.0 z))
2.0ms
(cbrt (/ 2.0 z))

series1.2s

Counts
4 → 12
Calls
4 calls:
288.0ms
(* (cbrt (/ 2.0 z)) (cbrt (/ 2.0 z)))
281.0ms
(cbrt (/ 2.0 z))
280.0ms
(cbrt (/ 2.0 z))
311.0ms
(cbrt (/ 2.0 z))

simplify2.8s

Counts
160 → 160
Iterations
IterNodes
done5002
44150
31234
2567
1253
0144

prune838.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize49.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (/ 2.0 z))
0.6b
(cbrt (/ 2.0 z))
0.6b
(cbrt (/ 2.0 z))
0.6b
(cbrt (/ 2.0 z))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
52×cbrt-prod
36×times-frac
32×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 cbrt-div add-cbrt-cube pow1/3 add-exp-log insert-posit16 div-inv add-log-exp
Counts
4 → 92
Calls
4 calls:
2.0ms
(cbrt (/ 2.0 z))
2.0ms
(cbrt (/ 2.0 z))
1.0ms
(cbrt (/ 2.0 z))
1.0ms
(cbrt (/ 2.0 z))

series1.1s

Counts
4 → 12
Calls
4 calls:
276.0ms
(cbrt (/ 2.0 z))
242.0ms
(cbrt (/ 2.0 z))
270.0ms
(cbrt (/ 2.0 z))
271.0ms
(cbrt (/ 2.0 z))

simplify3.5s

Counts
104 → 104
Iterations
IterNodes
done5000
52137
4929
3333
2149
192
066

prune804.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes403.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done16
116
013

end0.0ms

sample1.1s

Algorithm
intervals
Results
846.0ms9084×body80valid