Details

Time bar (total: 34.2s)

sample61.0ms

Algorithm
intervals
Results
40.0ms313×body80valid
2.0ms6×body320valid
2.0ms4×body640valid
1.0ms2×body1280valid
1.0ms3×body160valid

simplify73.0ms

Calls
1 calls:
Slowest
72.0ms
(+ (+ (* d1 3) (* d1 d2)) (* d1 d3))

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 2 expressions with local error:

0.0b
(* d1 (+ d3 (+ 3 d2)))
0.0b
(+ d3 (+ 3 d2))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
3×add-sqr-sqrt *-un-lft-identity associate-*r* add-cube-cbrt
2×pow1 flip3-+ add-cbrt-cube associate-*r/ add-exp-log flip-+ insert-posit16 add-log-exp
1×distribute-rgt-in +-commutative associate-+r+ distribute-lft-in *-commutative
Calls
2 calls:
Slowest
3.0ms
(* d1 (+ d3 (+ 3 d2)))
2.0ms
(+ d3 (+ 3 d2))

series26.0ms

Calls
2 calls:
Slowest
19.0ms
(* d1 (+ d3 (+ 3 d2)))
7.0ms
(+ d3 (+ 3 d2))

simplify682.0ms

Calls
13 calls:
Slowest
286.0ms
(+ (* d3 d3) (- (* (+ 3 d2) (+ 3 d2)) (* d3 (+ 3 d2))))
77.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
77.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
75.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
39.0ms
(- d3 (+ 3 d2))

prune273.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.4b
(cbrt (+ d3 (+ 3 d2)))
0.4b
(cbrt (+ d3 (+ 3 d2)))
0.4b
(cbrt (+ d3 (+ 3 d2)))
0.4b
(* (cbrt (+ d3 (+ 3 d2))) (cbrt (+ d3 (+ 3 d2))))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-div
15×cbrt-prod
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×pow1 flip3-+ flip-+
7×pow1/3
6×associate-*r* associate-*l* add-exp-log
4×frac-times add-cbrt-cube insert-posit16 add-log-exp
2×pow-prod-down associate-*l/ associate-*r/ pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
14.0ms
(* (cbrt (+ d3 (+ 3 d2))) (cbrt (+ d3 (+ 3 d2))))
2.0ms
(cbrt (+ d3 (+ 3 d2)))
2.0ms
(cbrt (+ d3 (+ 3 d2)))
1.0ms
(cbrt (+ d3 (+ 3 d2)))

series307.0ms

Calls
4 calls:
Slowest
96.0ms
(cbrt (+ d3 (+ 3 d2)))
82.0ms
(cbrt (+ d3 (+ 3 d2)))
65.0ms
(cbrt (+ d3 (+ 3 d2)))
63.0ms
(* (cbrt (+ d3 (+ 3 d2))) (cbrt (+ d3 (+ 3 d2))))

simplify7.2s

Calls
59 calls:
Slowest
424.0ms
(* (cbrt (+ (pow d3 3) (pow (+ 3 d2) 3))) (cbrt (+ (pow d3 3) (pow (+ 3 d2) 3))))
377.0ms
(cbrt (+ (pow d3 3) (pow (+ 3 d2) 3)))
367.0ms
(cbrt (+ (pow d3 3) (pow (+ 3 d2) 3)))
353.0ms
(cbrt (+ (pow d3 3) (pow (+ 3 d2) 3)))
340.0ms
(- (+ (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) d3) (exp (* 1/3 (- (log -1) (log (/ -1 d3)))))) (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) (pow d3 2)))

prune899.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize43.0ms

Local error

Found 4 expressions with local error:

21.2b
(cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))
3.2b
(- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))
0.6b
(/ (cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (cbrt (- d3 (+ 3 d2))))
0.4b
(cbrt (- d3 (+ 3 d2)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
59×cbrt-prod
42×times-frac
36×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×difference-of-squares
8×cbrt-div
7×associate-/l*
6×associate-/r* add-exp-log add-log-exp
5×flip3-- flip--
4×pow1 add-cbrt-cube insert-posit16
2×pow1/3 associate-/r/ associate--r+ associate-/l/
1×distribute-rgt-in cbrt-undiv clear-num sub-neg frac-2neg distribute-lft-in diff-log div-exp div-inv
Calls
4 calls:
Slowest
14.0ms
(/ (cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (cbrt (- d3 (+ 3 d2))))
5.0ms
(- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))
4.0ms
(cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))
1.0ms
(cbrt (- d3 (+ 3 d2)))

series393.0ms

Calls
4 calls:
Slowest
169.0ms
(cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))
112.0ms
(/ (cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (cbrt (- d3 (+ 3 d2))))
86.0ms
(cbrt (- d3 (+ 3 d2)))
26.0ms
(- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))

simplify20.8s

Calls
130 calls:
Slowest
861.0ms
(cbrt (- (pow (* d3 d3) 3) (pow (* (+ 3 d2) (+ 3 d2)) 3)))
802.0ms
(cbrt (- (pow (* d3 d3) 3) (pow (* (+ 3 d2) (+ 3 d2)) 3)))
578.0ms
(/ (cbrt (cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))) (cbrt (cbrt (- d3 (+ 3 d2)))))
394.0ms
(- (+ (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) d3) (exp (* 1/3 (- (log -1) (log (/ -1 d3)))))) (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) (pow d3 2)))
320.0ms
(- (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) (+ (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) (pow d3 2)) (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) d3)))

prune1.8s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes117.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample1.6s

Algorithm
intervals
Results
814.0ms9629×body80valid
58.0ms87×body1280valid
54.0ms195×body640valid
34.0ms158×body320valid
13.0ms95×body160valid