Details

Time bar (total: 44.0s)

sample38.0ms

Algorithm
intervals
Results
22.0ms314×body80valid
1.0ms2×body1280valid
1.0ms3×body320valid
1.0ms3×body640valid
0.0ms2×body160valid

simplify105.0ms

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

prune9.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 1 expressions with local error:

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

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

series47.0ms

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

simplify1.1s

Counts
14 → 28
Calls
14 calls:
Slowest
261.0ms
(* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1)
202.0ms
(* (+ (pow (+ 3 d3) 3) (pow d2 3)) d1)
180.0ms
(* (* (* (+ (+ 3 d3) d2) (+ (+ 3 d3) d2)) (+ (+ 3 d3) d2)) (* (* d1 d1) d1))
104.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
102.0ms
(* (+ (+ 3 d3) d2) d1)

prune221.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (* (+ (+ 3 d3) d2) d1))
0.6b
(cbrt (* (+ (+ 3 d3) d2) d1))
0.6b
(cbrt (* (+ (+ 3 d3) d2) d1))
0.5b
(* (cbrt (* (+ (+ 3 d3) d2) d1)) (cbrt (* (+ (+ 3 d3) d2) d1)))

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
20×associate-*l/
18×cbrt-div
11×pow1
10×add-sqr-sqrt
9×flip3-+ pow1/3 flip-+
8×*-un-lft-identity add-cube-cbrt
7×cbrt-prod
6×add-exp-log
4×expm1-log1p-u frac-times add-cbrt-cube swap-sqr associate-*r* associate-*l* insert-posit16 log1p-expm1-u add-log-exp
2×pow-prod-down associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 84
Calls
4 calls:
Slowest
22.0ms
(* (cbrt (* (+ (+ 3 d3) d2) d1)) (cbrt (* (+ (+ 3 d3) d2) d1)))
19.0ms
(cbrt (* (+ (+ 3 d3) d2) d1))
14.0ms
(cbrt (* (+ (+ 3 d3) d2) d1))
13.0ms
(cbrt (* (+ (+ 3 d3) d2) d1))

series868.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
329.0ms
(* (cbrt (* (+ (+ 3 d3) d2) d1)) (cbrt (* (+ (+ 3 d3) d2) d1)))
205.0ms
(cbrt (* (+ (+ 3 d3) d2) d1))
176.0ms
(cbrt (* (+ (+ 3 d3) d2) d1))
157.0ms
(cbrt (* (+ (+ 3 d3) d2) d1))

simplify9.7s

Counts
63 → 96
Calls
63 calls:
Slowest
425.0ms
(- (+ (/ (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d1)) (log (/ -1 d3)))))) (cbrt -1)) d3) (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d1)) (log (/ -1 d3)))))) (cbrt -1))) (/ (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d1)) (log (/ -1 d3)))))) (cbrt -1)) (pow d3 2)))
415.0ms
(- (+ (/ (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d1)) (log (/ -1 d3)))))) (cbrt -1)) d3) (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d1)) (log (/ -1 d3)))))) (cbrt -1))) (/ (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d1)) (log (/ -1 d3)))))) (cbrt -1)) (pow d3 2)))
392.0ms
(- (+ (/ (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d1)) (log (/ -1 d3)))))) (cbrt -1)) d3) (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d1)) (log (/ -1 d3)))))) (cbrt -1))) (/ (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d1)) (log (/ -1 d3)))))) (cbrt -1)) (pow d3 2)))
389.0ms
(* (cbrt (* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1)) (cbrt (* (+ (+ 3 d3) d2) d1)))
364.0ms
(cbrt (* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1))

prune997.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize43.0ms

Local error

Found 4 expressions with local error:

15.9b
(/ (* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1) (- (+ 3 d3) d2))
6.1b
(* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1)
1.9b
(- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))
0.0b
(* (+ 3 d3) (+ 3 d3))

rewrite179.0ms

Algorithm
rewrite-expression-head
Rules
36×*-un-lft-identity
20×add-sqr-sqrt
13×pow1 add-cbrt-cube add-exp-log
12×add-cube-cbrt
8×associate-*l* distribute-lft-out
7×associate-*r*
6×associate-/r* flip3-+ times-frac swap-sqr associate-*l/ flip-+ add-log-exp
4×expm1-log1p-u frac-times flip3-- insert-posit16 log1p-expm1-u flip-- distribute-lft-out-- difference-of-squares
3×prod-exp cbrt-unprod
2×distribute-rgt-in cbrt-undiv distribute-lft-in div-exp pow-prod-down associate--l+ associate-*r/ associate-/r/ *-commutative unswap-sqr associate-/l/
1×pow2 clear-num sub-neg frac-2neg pow-plus fma-neg diff-log prod-diff pow-sqr pow-prod-up div-inv associate-/l*
Counts
4 → 121
Calls
4 calls:
Slowest
72.0ms
(* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1)
58.0ms
(/ (* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1) (- (+ 3 d3) d2))
26.0ms
(- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))
21.0ms
(* (+ 3 d3) (+ 3 d3))

series220.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
87.0ms
(/ (* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1) (- (+ 3 d3) d2))
61.0ms
(* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1)
51.0ms
(- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))
21.0ms
(* (+ 3 d3) (+ 3 d3))

simplify11.4s

Counts
101 → 133
Calls
101 calls:
Slowest
715.0ms
(/ (* (* (* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1) (* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1)) (* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1)) (* (* (- (+ 3 d3) d2) (- (+ 3 d3) d2)) (- (+ 3 d3) d2)))
616.0ms
(/ (* (* (* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (* (* d1 d1) d1)) (* (* (- (+ 3 d3) d2) (- (+ 3 d3) d2)) (- (+ 3 d3) d2)))
461.0ms
(* (- (* 3 3) (* d3 d3)) (+ 3 d3))
395.0ms
(* (- (* 3 3) (* d3 d3)) (+ (pow 3 3) (pow d3 3)))
392.0ms
(* (+ (* 3 3) (- (* d3 d3) (* 3 d3))) (- 3 d3))

prune1.4s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

localize41.0ms

Local error

Found 4 expressions with local error:

21.4b
(* (- (* (+ d3 3) (+ d3 3)) (* d2 d2)) (/ d1 (- (+ 3 d3) d2)))
1.9b
(- (* (+ d3 3) (+ d3 3)) (* d2 d2))
0.0b
(/ d1 (- (+ 3 d3) d2))
0.0b
(* (+ d3 3) (+ d3 3))

rewrite274.0ms

Algorithm
rewrite-expression-head
Rules
79×*-un-lft-identity
51×add-sqr-sqrt
37×times-frac
30×add-cube-cbrt
28×associate-*r*
14×distribute-lft-out--
13×pow1 add-cbrt-cube add-exp-log distribute-lft-out
9×difference-of-squares
8×associate-*l*
6×frac-times associate-/r* flip3-+ swap-sqr flip-+ add-log-exp
5×flip3-- flip--
4×expm1-log1p-u associate-*l/ associate-/r/ insert-posit16 log1p-expm1-u
3×prod-exp associate-*r/ cbrt-unprod associate-/l* unswap-sqr
2×distribute-rgt-in cbrt-undiv distribute-lft-in div-exp pow-prod-down associate--l+ *-commutative div-inv
1×pow2 clear-num sub-neg frac-2neg pow-plus fma-neg diff-log prod-diff pow-sqr pow-prod-up
Counts
4 → 158
Calls
4 calls:
Slowest
145.0ms
(* (- (* (+ d3 3) (+ d3 3)) (* d2 d2)) (/ d1 (- (+ 3 d3) d2)))
46.0ms
(* (+ d3 3) (+ d3 3))
44.0ms
(/ d1 (- (+ 3 d3) d2))
30.0ms
(- (* (+ d3 3) (+ d3 3)) (* d2 d2))

series236.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
88.0ms
(* (- (* (+ d3 3) (+ d3 3)) (* d2 d2)) (/ d1 (- (+ 3 d3) d2)))
67.0ms
(/ d1 (- (+ 3 d3) d2))
63.0ms
(- (* (+ d3 3) (+ d3 3)) (* d2 d2))
19.0ms
(* (+ d3 3) (+ d3 3))

simplify13.7s

Counts
153 → 170
Calls
153 calls:
Slowest
832.0ms
(* (+ (* (* (+ d3 3) (+ d3 3)) (* (+ d3 3) (+ d3 3))) (+ (* (* d2 d2) (* d2 d2)) (* (* (+ d3 3) (+ d3 3)) (* d2 d2)))) (- (+ 3 d3) d2))
707.0ms
(/ (* (* d1 d1) d1) (* (* (- (+ 3 d3) d2) (- (+ 3 d3) d2)) (- (+ 3 d3) d2)))
532.0ms
(* (- (* (+ d3 3) (+ d3 3)) (* d2 d2)) (/ d1 (- (+ 3 d3) d2)))
506.0ms
(* (- (* d3 d3) (* 3 3)) (+ (pow d3 3) (pow 3 3)))
440.0ms
(* (+ (* (+ d3 3) (+ d3 3)) (* d2 d2)) (- (+ 3 d3) d2))

prune1.7s

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0b

regimes167.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.3s

Algorithm
intervals
Results
851.0ms9648×body80valid
60.0ms210×body640valid
27.0ms81×body1280valid
26.0ms131×body320valid
14.0ms99×body160valid