Details

Time bar (total: 49.7s)

sample53.0ms

Algorithm
intervals
Results
31.0ms300×body80valid
3.0ms5×body1280valid
2.0ms4×body640valid
1.0ms3×body320valid
0.0ms2×body160valid

simplify120.0ms

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

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 1 expressions with local error:

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

rewrite62.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
61.0ms
(* (+ (+ 3 d3) d2) d1)

series392.0ms

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

simplify1.2s

Counts
14 → 28
Calls
14 calls:
Slowest
287.0ms
(* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1)
249.0ms
(* (+ (pow (+ 3 d3) 3) (pow d2 3)) d1)
201.0ms
(* (* (* (+ (+ 3 d3) d2) (+ (+ 3 d3) d2)) (+ (+ 3 d3) d2)) (* (* d1 d1) d1))
96.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
87.0ms
(* (+ (+ 3 d3) d2) d1)

prune224.0ms

Pruning

5 alts after pruning (4 fresh and 1 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 (+ (+ 3 d3) d2))
0.4b
(* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2)))

rewrite185.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
119.0ms
(* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2)))
25.0ms
(cbrt (+ (+ 3 d3) d2))
19.0ms
(cbrt (+ (+ 3 d3) d2))
19.0ms
(cbrt (+ (+ 3 d3) d2))

series519.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
141.0ms
(* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2)))
131.0ms
(cbrt (+ (+ 3 d3) d2))
128.0ms
(cbrt (+ (+ 3 d3) d2))
119.0ms
(cbrt (+ (+ 3 d3) d2))

simplify8.8s

Counts
109 → 129
Calls
109 calls:
Slowest
470.0ms
(* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))))
378.0ms
(* (+ (+ 3 d3) d2) (+ (+ 3 d3) d2))
378.0ms
(* (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))) (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))))
334.0ms
(* (+ (+ 3 d3) d2) (+ (+ 3 d3) d2))
296.0ms
(* (cbrt (- (+ 3 d3) d2)) (cbrt (+ (* (+ 3 d3) (+ 3 d3)) (- (* d2 d2) (* (+ 3 d3) d2)))))

prune1.3s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (sqrt (+ (+ 3 d3) d2)) (* (sqrt (+ (+ 3 d3) d2)) d1))
0.2b
(* (sqrt (+ (+ 3 d3) d2)) d1)
0.0b
(sqrt (+ (+ 3 d3) d2))
0.0b
(sqrt (+ (+ 3 d3) d2))

rewrite235.0ms

Algorithm
rewrite-expression-head
Rules
31×*-un-lft-identity
21×add-sqr-sqrt sqrt-prod
18×sqrt-div
16×associate-*l*
13×pow1
12×distribute-lft-out
11×add-cbrt-cube add-exp-log add-cube-cbrt
10×associate-*l/
9×flip3-+ flip-+
4×expm1-log1p-u frac-times associate-*r* pow-prod-down prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
2×rem-sqrt-square sqrt-pow1 pow1/2 associate-*r/ *-commutative hypot-def unswap-sqr
Counts
4 → 105
Calls
4 calls:
Slowest
132.0ms
(* (sqrt (+ (+ 3 d3) d2)) (* (sqrt (+ (+ 3 d3) d2)) d1))
56.0ms
(* (sqrt (+ (+ 3 d3) d2)) d1)
26.0ms
(sqrt (+ (+ 3 d3) d2))
19.0ms
(sqrt (+ (+ 3 d3) d2))

series285.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
142.0ms
(* (sqrt (+ (+ 3 d3) d2)) d1)
63.0ms
(sqrt (+ (+ 3 d3) d2))
45.0ms
(sqrt (+ (+ 3 d3) d2))
34.0ms
(* (sqrt (+ (+ 3 d3) d2)) (* (sqrt (+ (+ 3 d3) d2)) d1))

simplify6.4s

Counts
75 → 117
Calls
75 calls:
Slowest
492.0ms
(* (sqrt (+ (pow (+ 3 d3) 3) (pow d2 3))) (* (sqrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) d1))
381.0ms
(* (sqrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (* (sqrt (+ (pow (+ 3 d3) 3) (pow d2 3))) d1))
375.0ms
(+ (* (sqrt 3) d1) (+ (* 1/2 (* d3 (* (sqrt 1/3) d1))) (* 1/2 (/ (* d2 d1) (sqrt 3)))))
324.0ms
(* (* (* (sqrt (+ (+ 3 d3) d2)) (sqrt (+ (+ 3 d3) d2))) (sqrt (+ (+ 3 d3) d2))) (* (* d1 d1) d1))
295.0ms
(* (sqrt (- (+ 3 d3) d2)) (sqrt (+ (* (+ 3 d3) (+ 3 d3)) (- (* d2 d2) (* (+ 3 d3) d2)))))

prune1.1s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize83.0ms

Local error

Found 4 expressions with local error:

28.2b
(cbrt (fma (+ d3 3) (* (+ d3 3) (+ d3 3)) (* d2 (* d2 d2))))
19.8b
(cbrt (+ (* (+ 3 d3) (+ 3 d3)) (- (* d2 d2) (* (+ 3 d3) d2))))
2.6b
(fma (+ d3 3) (* (+ d3 3) (+ d3 3)) (* d2 (* d2 d2)))
1.4b
(+ (* (+ 3 d3) (+ 3 d3)) (- (* d2 d2) (* (+ 3 d3) d2)))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
32×frac-add
26×flip3-+ flip-+
18×cbrt-div
16×frac-times flip3-- flip--
9×add-log-exp
8×associate-*l/ associate-*r/
6×cbrt-prod add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×associate-+r+
2×associate-+l+ sum-log pow1/3
1×distribute-rgt-in +-commutative associate-+r- sub-neg fma-def distribute-lft-in diff-log prod-diff fma-udef
Counts
4 → 95
Calls
4 calls:
Slowest
40.0ms
(+ (* (+ 3 d3) (+ 3 d3)) (- (* d2 d2) (* (+ 3 d3) d2)))
17.0ms
(cbrt (+ (* (+ 3 d3) (+ 3 d3)) (- (* d2 d2) (* (+ 3 d3) d2))))
1.0ms
(cbrt (fma (+ d3 3) (* (+ d3 3) (+ d3 3)) (* d2 (* d2 d2))))
0.0ms
(fma (+ d3 3) (* (+ d3 3) (+ d3 3)) (* d2 (* d2 d2)))

series539.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
238.0ms
(cbrt (fma (+ d3 3) (* (+ d3 3) (+ d3 3)) (* d2 (* d2 d2))))
171.0ms
(cbrt (+ (* (+ 3 d3) (+ 3 d3)) (- (* d2 d2) (* (+ 3 d3) d2))))
68.0ms
(fma (+ d3 3) (* (+ d3 3) (+ d3 3)) (* d2 (* d2 d2)))
62.0ms
(+ (* (+ 3 d3) (+ 3 d3)) (- (* d2 d2) (* (+ 3 d3) d2)))

simplify24.6s

Counts
77 → 107
Calls
77 calls:
Slowest
891.0ms
(cbrt (+ (* (* (+ (pow 3 3) (pow d3 3)) (+ 3 d3)) (+ (* d2 d2) (* (+ 3 d3) d2))) (* (+ (* 3 3) (- (* d3 d3) (* 3 d3))) (- (* (* d2 d2) (* d2 d2)) (* (* (+ 3 d3) d2) (* (+ 3 d3) d2))))))
854.0ms
(+ (* (* (- (* 3 3) (* d3 d3)) (+ 3 d3)) (+ (* (* d2 d2) (* d2 d2)) (+ (* (* (+ 3 d3) d2) (* (+ 3 d3) d2)) (* (* d2 d2) (* (+ 3 d3) d2))))) (* (- 3 d3) (- (pow (* d2 d2) 3) (pow (* (+ 3 d3) d2) 3))))
781.0ms
(cbrt (+ (* (* (- (* 3 3) (* d3 d3)) (+ 3 d3)) (+ (* (* d2 d2) (* d2 d2)) (+ (* (* (+ 3 d3) d2) (* (+ 3 d3) d2)) (* (* d2 d2) (* (+ 3 d3) d2))))) (* (- 3 d3) (- (pow (* d2 d2) 3) (pow (* (+ 3 d3) d2) 3)))))
772.0ms
(+ (* (* (+ 3 d3) (- (* 3 3) (* d3 d3))) (+ (* (* d2 d2) (* d2 d2)) (+ (* (* (+ 3 d3) d2) (* (+ 3 d3) d2)) (* (* d2 d2) (* (+ 3 d3) d2))))) (* (- 3 d3) (- (pow (* d2 d2) 3) (pow (* (+ 3 d3) d2) 3))))
767.0ms
(+ (* (* (+ (pow 3 3) (pow d3 3)) (+ (pow 3 3) (pow d3 3))) (+ (* d2 d2) (* (+ 3 d3) d2))) (* (* (+ (* 3 3) (- (* d3 d3) (* 3 d3))) (+ (* 3 3) (- (* d3 d3) (* 3 d3)))) (- (* (* d2 d2) (* d2 d2)) (* (* (+ 3 d3) d2) (* (+ 3 d3) d2)))))

prune1.8s

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes108.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample1.4s

Algorithm
intervals
Results
685.0ms9648×body80valid
50.0ms149×body320valid
42.0ms183×body640valid
22.0ms75×body1280valid
11.0ms95×body160valid