Details

Time bar (total: 1.2m)

sample39.0ms

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

simplify126.0ms

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

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize19.0ms

Local error

Found 1 expressions with local error:

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

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
8×*-un-lft-identity
5×add-sqr-sqrt associate-*l*
3×pow1 add-cbrt-cube associate-*r* add-exp-log add-cube-cbrt distribute-lft-out
2×associate-*l/
1×expm1-log1p-u flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
Calls
1 calls:
Slowest
61.0ms
(* (+ (+ 3 d3) d2) d1)

series39.0ms

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

simplify1.4s

Calls
14 calls:
Slowest
301.0ms
(* (+ (pow (+ 3 d3) 3) (pow d2 3)) d1)
272.0ms
(* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1)
237.0ms
(* (* (* (+ (+ 3 d3) d2) (+ (+ 3 d3) d2)) (+ (+ 3 d3) d2)) (* (* d1 d1) d1))
117.0ms
(* (+ (+ 3 d3) d2) d1)
96.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))

prune230.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

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

rewrite161.0ms

Algorithm
rewrite-expression-head
Rules
74×*-un-lft-identity
51×cbrt-prod
33×distribute-lft-out
23×add-sqr-sqrt
18×cbrt-div
15×add-cube-cbrt
14×swap-sqr
11×pow1
9×flip3-+ pow1/3 flip-+
8×associate-*r* associate-*l*
6×add-exp-log
4×expm1-log1p-u frac-times add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
129.0ms
(* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2)))
11.0ms
(cbrt (+ (+ 3 d3) d2))
10.0ms
(cbrt (+ (+ 3 d3) d2))
9.0ms
(cbrt (+ (+ 3 d3) d2))

series505.0ms

Calls
4 calls:
Slowest
138.0ms
(cbrt (+ (+ 3 d3) d2))
134.0ms
(* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2)))
131.0ms
(cbrt (+ (+ 3 d3) d2))
101.0ms
(cbrt (+ (+ 3 d3) d2))

simplify8.7s

Calls
109 calls:
Slowest
398.0ms
(* (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))) (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))))
392.0ms
(* (+ (+ 3 d3) d2) (+ (+ 3 d3) d2))
388.0ms
(* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))))
351.0ms
(* (+ (+ 3 d3) d2) (+ (+ 3 d3) d2))
305.0ms
(+ (pow 9 1/3) (+ (* 2/9 (* d2 (pow 9 1/3))) (* 2/9 (* d3 (pow 9 1/3)))))

prune1.4s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

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

rewrite302.0ms

Algorithm
rewrite-expression-head
Rules
114×*-un-lft-identity
78×cbrt-prod
51×distribute-lft-out
46×cbrt-div
37×add-sqr-sqrt
28×swap-sqr
21×add-cube-cbrt
19×flip3-+ flip-+
18×pow1
16×associate-*r* associate-*l*
14×pow1/3
12×frac-times
8×add-exp-log unswap-sqr
6×associate-*l/ associate-*r/
4×expm1-log1p-u add-cbrt-cube pow-prod-down pow-sqr pow-prod-up insert-posit16 log1p-expm1-u add-log-exp
2×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
130.0ms
(* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2)))
127.0ms
(* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2)))
25.0ms
(cbrt (* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2))))
13.0ms
(cbrt (+ (+ 3 d3) d2))

series474.0ms

Calls
4 calls:
Slowest
150.0ms
(cbrt (+ (+ 3 d3) d2))
116.0ms
(* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2)))
113.0ms
(* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2)))
94.0ms
(cbrt (* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2))))

simplify15.1s

Calls
180 calls:
Slowest
663.0ms
(* (cbrt (+ (* (+ 3 d3) (+ 3 d3)) (- (* d2 d2) (* (+ 3 d3) d2)))) (cbrt (- (+ 3 d3) d2)))
443.0ms
(* (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))) (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))))
422.0ms
(* (+ (+ 3 d3) d2) (+ (+ 3 d3) d2))
414.0ms
(* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))))
411.0ms
(* (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))) (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))))

prune2.2s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

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

rewrite231.0ms

Algorithm
rewrite-expression-head
Rules
133×*-un-lft-identity
128×cbrt-prod
73×add-sqr-sqrt
63×times-frac
49×add-cube-cbrt
32×distribute-lft-out
20×difference-of-squares
18×cbrt-div
16×distribute-lft-out--
14×swap-sqr
11×pow1
9×associate-/r*
8×associate-*r* associate-*l* add-exp-log
7×pow1/3 associate-/l*
6×flip3-+ flip-+ add-log-exp
4×expm1-log1p-u frac-times flip3-- add-cbrt-cube insert-posit16 log1p-expm1-u flip-- unswap-sqr
2×pow-prod-down associate-*l/ associate--l+ associate-*r/ associate-/r/ pow-sqr 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
95.0ms
(* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2)))
70.0ms
(/ (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (- (+ 3 d3) d2)))
38.0ms
(- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))
25.0ms
(cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))

series473.0ms

Calls
4 calls:
Slowest
176.0ms
(/ (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (- (+ 3 d3) d2)))
136.0ms
(cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))
117.0ms
(* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2)))
43.0ms
(- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))

simplify38.5s

Calls
249 calls:
Slowest
734.0ms
(/ (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (- (+ 3 d3) d2)))
472.0ms
(* (+ (+ 3 d3) d2) (+ (+ 3 d3) d2))
445.0ms
(* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))))
429.0ms
(/ (cbrt (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))) (cbrt (sqrt (- (+ 3 d3) d2))))
400.0ms
(* (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))) (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))))

prune3.0s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes139.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.7s

Algorithm
intervals
Results
1.3s9566×body80valid
57.0ms199×body640valid
55.0ms92×body1280valid
30.0ms139×body320valid
16.0ms102×body160valid