Details

Time bar (total: 47.8s)

sample42.0ms

Algorithm
intervals
Results
24.0ms298×body80valid
2.0ms5×body640valid
2.0ms5×body320valid
2.0ms3×body1280valid
0.0ms3×body160valid

simplify73.0ms

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

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 2 expressions with local error:

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

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
4×sum-log
3×distribute-lft-out
2×add-sqr-sqrt pow1 +-commutative *-un-lft-identity flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ insert-posit16
1×associate-+l+
Counts
2 → 28
Calls
2 calls:
Slowest
41.0ms
(+ (+ (* d1 3) (* d1 d2)) (* d1 d3))
7.0ms
(+ (* d1 3) (* d1 d2))

series119.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
63.0ms
(+ (+ (* d1 3) (* d1 d2)) (* d1 d3))
56.0ms
(+ (* d1 3) (* d1 d2))

simplify1.8s

Counts
12 → 34
Calls
12 calls:
Slowest
1.1s
(* (exp (+ (* d1 3) (* d1 d2))) (exp (* d1 d3)))
260.0ms
(* (exp (* d1 3)) (exp (* d1 d2)))
182.0ms
(* (* (exp (* d1 3)) (exp (* d1 d2))) (exp (* d1 d3)))
71.0ms
(+ (* d2 d1) (+ (* d3 d1) (* 3 d1)))
62.0ms
(+ (* d2 d1) (+ (* d3 d1) (* 3 d1)))

prune314.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 1 expressions with local error:

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

rewrite45.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×flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ insert-posit16 add-log-exp unswap-sqr
Counts
1 → 23
Calls
1 calls:
Slowest
44.0ms
(* (+ d2 (+ d3 3)) d1)

series35.0ms

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

simplify1.1s

Counts
14 → 26
Calls
14 calls:
Slowest
264.0ms
(* (* (* (+ d2 (+ d3 3)) (+ d2 (+ d3 3))) (+ d2 (+ d3 3))) (* (* d1 d1) d1))
218.0ms
(* (- (* d2 d2) (* (+ d3 3) (+ d3 3))) d1)
184.0ms
(* (+ (pow d2 3) (pow (+ d3 3) 3)) d1)
80.0ms
(* (+ d2 (+ d3 3)) d1)
66.0ms
(+ (* d2 d1) (+ (* d3 d1) (* 3 d1)))

prune211.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

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

rewrite279.0ms

Algorithm
rewrite-expression-head
Rules
70×cbrt-div
68×*-un-lft-identity
46×cbrt-prod
35×flip3-+ flip-+
34×associate-*l/
32×frac-times
30×distribute-lft-out
23×pow1
22×add-sqr-sqrt
18×add-exp-log
14×swap-sqr add-cube-cbrt
10×add-cbrt-cube pow-prod-down associate-*r/
9×associate-*r* associate-*l* prod-exp cbrt-unprod
8×pow1/3
4×insert-posit16 add-log-exp unswap-sqr
2×pow-sqr *-commutative pow-prod-up
1×pow2 pow-plus
Counts
4 → 142
Calls
4 calls:
Slowest
195.0ms
(* (* (cbrt (+ d2 (+ d3 3))) (cbrt (+ d2 (+ d3 3)))) (* (cbrt (+ d2 (+ d3 3))) d1))
67.0ms
(* (cbrt (+ d2 (+ d3 3))) (cbrt (+ d2 (+ d3 3))))
7.0ms
(cbrt (+ d2 (+ d3 3)))
7.0ms
(cbrt (+ d2 (+ d3 3)))

series427.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
136.0ms
(cbrt (+ d2 (+ d3 3)))
133.0ms
(* (cbrt (+ d2 (+ d3 3))) (cbrt (+ d2 (+ d3 3))))
116.0ms
(cbrt (+ d2 (+ d3 3)))
42.0ms
(* (* (cbrt (+ d2 (+ d3 3))) (cbrt (+ d2 (+ d3 3)))) (* (cbrt (+ d2 (+ d3 3))) d1))

simplify18.2s

Counts
157 → 154
Calls
157 calls:
Slowest
443.0ms
(* (* (cbrt (- (* d2 d2) (* (+ d3 3) (+ d3 3)))) (cbrt (- (* d2 d2) (* (+ d3 3) (+ d3 3))))) (* (cbrt (+ (pow d2 3) (pow (+ d3 3) 3))) d1))
415.0ms
(- (+ (pow (/ -1 d2) -2/3) (* 2 (pow (/ 1 d2) 1/3))) (pow (/ 1 (pow d2 4)) 1/3))
411.0ms
(- (+ (pow (/ 1 d2) -2/3) (* 2 (pow (/ 1 d2) 1/3))) (pow (/ 1 (pow d2 4)) 1/3))
368.0ms
(* (* (cbrt (- (* d2 d2) (* (+ d3 3) (+ d3 3)))) (cbrt (+ (pow d2 3) (pow (+ d3 3) 3)))) (* (cbrt (- (* d2 d2) (* (+ d3 3) (+ d3 3)))) d1))
365.0ms
(* (cbrt (- (* d2 d2) (* (+ d3 3) (+ d3 3)))) (cbrt (+ (pow d2 3) (pow (+ d3 3) 3))))

prune1.6s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

localize35.0ms

Local error

Found 4 expressions with local error:

22.2b
(cbrt (- (* d2 d2) (* (+ d3 3) (+ d3 3))))
5.8b
(/ (* (* (cbrt (- (* d2 d2) (* (+ d3 3) (+ d3 3)))) (cbrt (+ d2 (+ d3 3)))) (* (cbrt (+ d2 (+ d3 3))) d1)) (cbrt (- d2 (+ d3 3))))
2.2b
(- (* d2 d2) (* (+ d3 3) (+ d3 3)))
0.4b
(cbrt (- d2 (+ d3 3)))

rewrite162.0ms

Algorithm
rewrite-expression-head
Rules
60×cbrt-div
32×associate-*l/
28×frac-times
26×associate-/l/
25×*-un-lft-identity
22×cbrt-prod add-exp-log
18×flip3-+ flip-+
16×add-sqr-sqrt
13×flip3-- flip--
11×add-cbrt-cube
10×add-cube-cbrt
9×associate-/r* times-frac
8×prod-exp associate-*r/ cbrt-unprod
6×distribute-lft-out-- add-log-exp
5×cbrt-undiv div-exp difference-of-squares
4×pow1 insert-posit16
3×distribute-lft-out
2×pow1/3 associate-/r/ associate--r+
1×distribute-rgt-in clear-num sub-neg frac-2neg distribute-lft-in diff-log div-inv associate-/l*
Counts
4 → 116
Calls
4 calls:
Slowest
137.0ms
(/ (* (* (cbrt (- (* d2 d2) (* (+ d3 3) (+ d3 3)))) (cbrt (+ d2 (+ d3 3)))) (* (cbrt (+ d2 (+ d3 3))) d1)) (cbrt (- d2 (+ d3 3))))
8.0ms
(cbrt (- (* d2 d2) (* (+ d3 3) (+ d3 3))))
7.0ms
(cbrt (- d2 (+ d3 3)))
7.0ms
(- (* d2 d2) (* (+ d3 3) (+ d3 3)))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
771.0ms
(/ (* (* (cbrt (- (* d2 d2) (* (+ d3 3) (+ d3 3)))) (cbrt (+ d2 (+ d3 3)))) (* (cbrt (+ d2 (+ d3 3))) d1)) (cbrt (- d2 (+ d3 3))))
137.0ms
(cbrt (- (* d2 d2) (* (+ d3 3) (+ d3 3))))
125.0ms
(cbrt (- d2 (+ d3 3)))
61.0ms
(- (* d2 d2) (* (+ d3 3) (+ d3 3)))

simplify18.8s

Counts
97 → 128
Calls
97 calls:
Slowest
637.0ms
(/ (* (cbrt (- (* d2 d2) (* (+ d3 3) (+ d3 3)))) (cbrt (+ d2 (+ d3 3)))) (sqrt (cbrt (- d2 (+ d3 3)))))
583.0ms
(/ (* (* (- (* d2 d2) (* (+ d3 3) (+ d3 3))) (+ d2 (+ d3 3))) (* (+ d2 (+ d3 3)) (* (* d1 d1) d1))) (- d2 (+ d3 3)))
555.0ms
(/ (* (* (* (* (cbrt (- (* d2 d2) (* (+ d3 3) (+ d3 3)))) (cbrt (+ d2 (+ d3 3)))) (* (cbrt (- (* d2 d2) (* (+ d3 3) (+ d3 3)))) (cbrt (+ d2 (+ d3 3))))) (* (cbrt (- (* d2 d2) (* (+ d3 3) (+ d3 3)))) (cbrt (+ d2 (+ d3 3))))) (* (+ d2 (+ d3 3)) (* (* d1 d1) d1))) (- d2 (+ d3 3)))
498.0ms
(/ (* (* (* (* (cbrt (- (* d2 d2) (* (+ d3 3) (+ d3 3)))) (cbrt (+ d2 (+ d3 3)))) (* (cbrt (- (* d2 d2) (* (+ d3 3) (+ d3 3)))) (cbrt (+ d2 (+ d3 3))))) (* (cbrt (- (* d2 d2) (* (+ d3 3) (+ d3 3)))) (cbrt (+ d2 (+ d3 3))))) (* (* (* (cbrt (+ d2 (+ d3 3))) d1) (* (cbrt (+ d2 (+ d3 3))) d1)) (* (cbrt (+ d2 (+ d3 3))) d1))) (- d2 (+ d3 3)))
484.0ms
(/ (* (* (* (* (cbrt (- (* d2 d2) (* (+ d3 3) (+ d3 3)))) (cbrt (+ d2 (+ d3 3)))) (* (cbrt (+ d2 (+ d3 3))) d1)) (* (* (cbrt (- (* d2 d2) (* (+ d3 3) (+ d3 3)))) (cbrt (+ d2 (+ d3 3)))) (* (cbrt (+ d2 (+ d3 3))) d1))) (* (* (cbrt (- (* d2 d2) (* (+ d3 3) (+ d3 3)))) (cbrt (+ d2 (+ d3 3)))) (* (cbrt (+ d2 (+ d3 3))) d1))) (- d2 (+ d3 3)))

prune1.8s

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0b

regimes260.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.4s

Algorithm
intervals
Results
953.0ms9541×body80valid
61.0ms204×body640valid
41.0ms79×body160valid
34.0ms89×body1280valid
31.0ms144×body320valid