Details

Time bar (total: 1.1m)

sample53.0ms

Algorithm
intervals
Results
34.0ms290×body80valid
2.0ms5×body320valid
1.0ms3×body1280valid
1.0ms3×body640valid
1.0ms3×body160valid

simplify95.0ms

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

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize18.0ms

Local error

Found 1 expressions with local error:

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

rewrite86.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
Counts
1 → 25
Calls
1 calls:
Slowest
86.0ms
(* (+ (+ 3 d3) d2) d1)

series31.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
31.0ms
(* (+ (+ 3 d3) d2) d1)

simplify1.3s

Counts
14 → 28
Calls
14 calls:
Slowest
283.0ms
(* (+ (pow (+ 3 d3) 3) (pow d2 3)) d1)
267.0ms
(* (* (* (+ (+ 3 d3) d2) (+ (+ 3 d3) d2)) (+ (+ 3 d3) d2)) (* (* d1 d1) d1))
261.0ms
(* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1)
94.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
90.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))

prune224.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite177.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
Counts
4 → 117
Calls
4 calls:
Slowest
132.0ms
(* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2)))
18.0ms
(cbrt (+ (+ 3 d3) d2))
14.0ms
(cbrt (+ (+ 3 d3) d2))
10.0ms
(cbrt (+ (+ 3 d3) d2))

series468.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
145.0ms
(cbrt (+ (+ 3 d3) d2))
115.0ms
(cbrt (+ (+ 3 d3) d2))
104.0ms
(cbrt (+ (+ 3 d3) d2))
104.0ms
(* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2)))

simplify8.4s

Counts
109 → 129
Calls
109 calls:
Slowest
404.0ms
(* (+ (+ 3 d3) d2) (+ (+ 3 d3) d2))
372.0ms
(* (+ (+ 3 d3) d2) (+ (+ 3 d3) d2))
336.0ms
(* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))))
331.0ms
(* (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))) (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))))
294.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)))

prune1.3s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize45.0ms

Local error

Found 4 expressions with local error:

22.4b
(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))

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
98×cbrt-prod
87×*-un-lft-identity
63×times-frac
60×add-sqr-sqrt
42×add-cube-cbrt
21×difference-of-squares
18×distribute-lft-out--
9×associate-/r* distribute-lft-out
8×cbrt-div
7×associate-/l*
6×add-exp-log add-log-exp
5×flip3-- flip--
4×expm1-log1p-u pow1 add-cbrt-cube insert-posit16 log1p-expm1-u
2×pow1/3 associate--l+ associate-/r/ associate-/l/
1×distribute-rgt-in cbrt-undiv clear-num sub-neg frac-2neg distribute-lft-in fma-neg diff-log div-exp prod-diff div-inv
Counts
4 → 154
Calls
4 calls:
Slowest
59.0ms
(/ (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (- (+ 3 d3) d2)))
37.0ms
(- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))
24.0ms
(cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))
10.0ms
(cbrt (- (+ 3 d3) d2))

series575.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
237.0ms
(/ (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (- (+ 3 d3) d2)))
145.0ms
(cbrt (- (+ 3 d3) d2))
130.0ms
(cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))
62.0ms
(- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))

simplify33.9s

Counts
181 → 166
Calls
181 calls:
Slowest
664.0ms
(/ (sqrt (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))) (cbrt (- (+ 3 d3) d2)))
638.0ms
(/ (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) (- (+ 3 d3) d2))
436.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)))))
411.0ms
(/ (sqrt (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))) (cbrt (sqrt (- (+ 3 d3) d2))))
410.0ms
(/ (cbrt (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))) (sqrt (cbrt (- (+ 3 d3) d2))))

prune2.5s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite186.0ms

Algorithm
rewrite-expression-head
Rules
80×*-un-lft-identity
76×cbrt-prod
47×add-sqr-sqrt
40×sqrt-prod
33×distribute-lft-out
21×add-cube-cbrt
19×swap-sqr associate-*l*
18×cbrt-div
14×associate-*r*
13×pow1
12×sqrt-div
11×unswap-sqr
9×flip3-+ flip-+
8×pow1/3 add-exp-log
5×add-cbrt-cube
4×expm1-log1p-u frac-times associate-*l/ insert-posit16 log1p-expm1-u add-log-exp
3×pow-prod-down
2×prod-exp associate-*r/ pow-sqr *-commutative pow-prod-up cbrt-unprod
1×pow2 pow-plus
Counts
4 → 144
Calls
4 calls:
Slowest
95.0ms
(* (cbrt (sqrt (+ (+ 3 d3) d2))) (cbrt (sqrt (+ (+ 3 d3) d2))))
59.0ms
(* (cbrt (+ (+ 3 d3) d2)) d1)
16.0ms
(cbrt (+ (+ 3 d3) d2))
13.0ms
(cbrt (+ (+ 3 d3) d2))

series685.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
263.0ms
(* (cbrt (+ (+ 3 d3) d2)) d1)
158.0ms
(cbrt (+ (+ 3 d3) d2))
132.0ms
(* (cbrt (sqrt (+ (+ 3 d3) d2))) (cbrt (sqrt (+ (+ 3 d3) d2))))
132.0ms
(cbrt (+ (+ 3 d3) d2))

simplify9.7s

Counts
146 → 156
Calls
146 calls:
Slowest
390.0ms
(* (cbrt (sqrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))) (cbrt (sqrt (+ (pow (+ 3 d3) 3) (pow d2 3)))))
381.0ms
(+ (* 1/3 (* (* d3 d1) (pow 1/9 1/3))) (+ (* 1/9 (* (* d2 d1) (pow 3 1/3))) (* (pow 3 1/3) d1)))
369.0ms
(* (cbrt (sqrt (+ (pow (+ 3 d3) 3) (pow d2 3)))) (cbrt (sqrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))))
354.0ms
(- (+ (* (pow d3 1/3) d1) (* (pow (/ 1 (pow d3 2)) 1/3) d1)) (* (pow (/ 1 (pow d3 5)) 1/3) d1))
345.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)))

prune2.0s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes142.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.3s9589×body80valid
70.0ms154×body320valid
53.0ms179×body640valid
36.0ms92×body1280valid
15.0ms97×body160valid