Details

Time bar (total: 1.2m)

sample52.0ms

Algorithm
intervals
Results
29.0ms298×body80valid
3.0ms7×body640valid
3.0ms5×body1280valid
2.0ms6×body320valid
1.0ms3×body160valid

simplify100.0ms

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

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

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

series44.0ms

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

simplify1.4s

Counts
14 → 28
Calls
14 calls:
Slowest
312.0ms
(* (* (* (+ (+ 3 d3) d2) (+ (+ 3 d3) d2)) (+ (+ 3 d3) d2)) (* (* d1 d1) d1))
265.0ms
(* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1)
237.0ms
(* (+ (pow (+ 3 d3) 3) (pow d2 3)) d1)
129.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
104.0ms
(* (+ (+ 3 d3) d2) d1)

prune239.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize34.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))) (* (cbrt (+ (+ 3 d3) d2)) d1))

rewrite275.0ms

Algorithm
rewrite-expression-head
Rules
60×cbrt-div
32×associate-*l/
30×flip3-+ flip-+
28×frac-times
22×*-un-lft-identity
16×pow1 add-exp-log
15×cbrt-prod
10×add-cbrt-cube
9×distribute-lft-out
8×pow-prod-down prod-exp associate-*r/ cbrt-unprod
7×add-sqr-sqrt add-cube-cbrt
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3
1×associate-*r* associate-*l* *-commutative
Counts
4 → 105
Calls
4 calls:
Slowest
210.0ms
(* (* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2))) (* (cbrt (+ (+ 3 d3) d2)) d1))
24.0ms
(cbrt (+ (+ 3 d3) d2))
19.0ms
(cbrt (+ (+ 3 d3) d2))
19.0ms
(cbrt (+ (+ 3 d3) d2))

series422.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
134.0ms
(cbrt (+ (+ 3 d3) d2))
129.0ms
(cbrt (+ (+ 3 d3) d2))
112.0ms
(cbrt (+ (+ 3 d3) d2))
46.0ms
(* (* (cbrt (+ (+ 3 d3) d2)) (cbrt (+ (+ 3 d3) d2))) (* (cbrt (+ (+ 3 d3) d2)) d1))

simplify14.4s

Counts
88 → 117
Calls
88 calls:
Slowest
520.0ms
(* (* (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))) (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3)))) (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) d1))
489.0ms
(* (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3)))) (* (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))) d1))
469.0ms
(* (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3)))) (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) d1))
441.0ms
(* (* (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))) (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))) (* (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) d1))
427.0ms
(* (* (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))) (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))) (* (cbrt (+ (pow (+ 3 d3) 3) (pow d2 3))) d1))

prune1.3s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize77.0ms

Local error

Found 4 expressions with local error:

20.3b
(cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))
2.8b
(- (* (+ 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))

rewrite147.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
72.0ms
(/ (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (- (+ 3 d3) d2)))
31.0ms
(- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))
25.0ms
(cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))
17.0ms
(cbrt (- (+ 3 d3) d2))

series522.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
212.0ms
(/ (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (- (+ 3 d3) d2)))
142.0ms
(cbrt (- (+ 3 d3) d2))
120.0ms
(cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))
49.0ms
(- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))

simplify34.1s

Counts
181 → 166
Calls
181 calls:
Slowest
685.0ms
(/ (sqrt (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))) (cbrt (- (+ 3 d3) d2)))
549.0ms
(cbrt (sqrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))))
416.0ms
(/ (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (cbrt (- (+ 3 d3) d2))))
407.0ms
(/ (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))) (cbrt (- (+ 3 d3) d2)))
404.0ms
(/ (cbrt (cbrt (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)))) (cbrt (- (+ 3 d3) d2)))

prune2.3s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize41.0ms

Local error

Found 4 expressions with local error:

17.5b
(/ (* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1) (- (+ 3 d3) d2))
5.3b
(* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1)
2.8b
(- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))
0.0b
(* (+ 3 d3) (+ 3 d3))

rewrite163.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
60.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))
16.0ms
(- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))

series270.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
114.0ms
(/ (* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1) (- (+ 3 d3) d2))
98.0ms
(* (- (* (+ 3 d3) (+ 3 d3)) (* d2 d2)) d1)
45.0ms
(- (* (+ 3 d3) (+ 3 d3)) (* d2 d2))
12.0ms
(* (+ 3 d3) (+ 3 d3))

simplify11.8s

Counts
101 → 133
Calls
101 calls:
Slowest
732.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)))
596.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)))
491.0ms
(* (+ (* 3 3) (- (* d3 d3) (* 3 d3))) (- 3 d3))
458.0ms
(* (- (* 3 3) (* d3 d3)) (+ 3 d3))
416.0ms
(* (- (* 3 3) (* d3 d3)) (+ (pow 3 3) (pow d3 3)))

prune1.5s

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes153.0ms

Accuracy

0% (0.1b remaining)

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

bsearch2.0ms

end0.0ms

sample1.5s

Algorithm
intervals
Results
991.0ms9606×body80valid
123.0ms210×body640valid
35.0ms77×body1280valid
35.0ms141×body320valid
13.0ms81×body160valid