Details

Time bar (total: 1.0m)

sample35.0ms

Algorithm
intervals
Results
21.0ms312×body80valid
2.0ms7×body640valid
1.0ms3×body1280valid
1.0ms3×body320valid
0.0ms4×body160valid

simplify95.0ms

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

prune8.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize9.0ms

Local error

Found 1 expressions with local error:

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

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
3×associate-*l*
2×add-sqr-sqrt *-un-lft-identity associate-*l/ add-cube-cbrt
1×expm1-log1p-u pow1 flip3-+ add-cbrt-cube add-exp-log *-commutative flip-+ insert-posit16 log1p-expm1-u add-log-exp
Calls
1 calls:
Slowest
16.0ms
(* (+ (+ 3 d3) d2) d1)

series35.0ms

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

simplify737.0ms

Calls
7 calls:
Slowest
316.0ms
(* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1)
123.0ms
(* (+ (pow (+ 3 d3) 3) (pow d2 3)) d1)
109.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
88.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
68.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))

prune139.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite40.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×expm1-log1p-u frac-times add-cbrt-cube insert-posit16 log1p-expm1-u 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
22.0ms
(* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2)))
8.0ms
(cbrt (+ (+ 3 d3) d2))
4.0ms
(cbrt (+ (+ 3 d3) d2))
4.0ms
(cbrt (+ (+ 3 d3) d2))

series463.0ms

Calls
4 calls:
Slowest
134.0ms
(cbrt (+ (+ 3 d3) d2))
116.0ms
(cbrt (+ (+ 3 d3) d2))
108.0ms
(cbrt (+ (+ 3 d3) d2))
105.0ms
(* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2)))

simplify8.3s

Calls
59 calls:
Slowest
575.0ms
(* (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))) (cbrt (+ (+ 3 d3) d2)))
492.0ms
(* (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))) (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))))
459.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)))
444.0ms
(cbrt (+ (pow (+ 3 d3) 3) (pow d2 3)))
425.0ms
(* (+ (+ 3 d3) d2) (+ (+ 3 d3) d2))

prune1.0s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
46×cbrt-div
19×flip3-+ flip-+
16×cbrt-prod
14×pow1
13×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
12×frac-times associate-*r* associate-*l*
10×pow1/3
8×add-exp-log
6×associate-*l/ associate-*r/
4×expm1-log1p-u add-cbrt-cube pow-prod-down pow-prod-up insert-posit16 log1p-expm1-u add-log-exp
2×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
25.0ms
(* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2)))
25.0ms
(* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2)))
15.0ms
(cbrt (* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2))))
4.0ms
(cbrt (+ (+ 3 d3) d2))

series497.0ms

Calls
4 calls:
Slowest
132.0ms
(* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2)))
129.0ms
(cbrt (+ (+ 3 d3) d2))
120.0ms
(* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2)))
116.0ms
(cbrt (* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2))))

simplify13.4s

Calls
90 calls:
Slowest
892.0ms
(* (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))) (cbrt (+ (+ 3 d3) d2)))
537.0ms
(cbrt (* (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))) (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3)))))
509.0ms
(* (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))) (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))))
485.0ms
(cbrt (* (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))) (cbrt (+ (+ 3 d3) d2))))
465.0ms
(cbrt (* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3)))))

prune1.6s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize38.0ms

Local error

Found 4 expressions with local error:

19.6b
(cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))
2.7b
(- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))
0.6b
(/ (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (- (+ 3 d3) d2)))
0.4b
(* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2)))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
62×cbrt-prod
42×times-frac
39×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
18×cbrt-div
9×pow1 difference-of-squares
8×add-exp-log
7×associate-/l*
6×associate-/r* flip3-+ associate-*r* associate-*l* flip-+ add-log-exp
5×pow1/3
4×expm1-log1p-u frac-times flip3-- add-cbrt-cube insert-posit16 log1p-expm1-u flip--
2×pow-prod-down associate-*l/ associate--l+ associate-*r/ associate-/r/ pow-prod-up associate-/l/
1×pow2 distribute-rgt-in cbrt-undiv clear-num sub-neg frac-2neg distribute-lft-in pow-plus fma-neg diff-log div-exp prod-diff prod-exp *-commutative cbrt-unprod div-inv
Calls
4 calls:
Slowest
29.0ms
(/ (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (- (+ 3 d3) d2)))
14.0ms
(- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))
13.0ms
(* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2)))
11.0ms
(cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))

series478.0ms

Calls
4 calls:
Slowest
190.0ms
(/ (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (- (+ 3 d3) d2)))
125.0ms
(cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))
118.0ms
(* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2)))
46.0ms
(- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))

simplify30.8s

Calls
160 calls:
Slowest
773.0ms
(/ (* (cbrt (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))) (cbrt (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))))) (* (cbrt (cbrt (- (+ 3 d3) d2))) (cbrt (cbrt (- (+ 3 d3) d2)))))
742.0ms
(cbrt (- (pow (* (+ 3 d3) (+ 3 d3)) 3) (pow (* d2 d2) 3)))
722.0ms
(cbrt (- (pow (* (+ 3 d3) (+ 3 d3)) 3) (pow (* d2 d2) 3)))
484.0ms
(* (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))) (cbrt (+ (+ 3 d3) d2)))
457.0ms
(* (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))) (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))))

prune2.1s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes164.0ms

Accuracy

0% (0.1b remaining)

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

bsearch1.0ms

end0.0ms

sample1.6s

Algorithm
intervals
Results
847.0ms9566×body80valid
421.0ms92×body1280valid
58.0ms199×body640valid
30.0ms139×body320valid
15.0ms102×body160valid