Details

Time bar (total: 1.8m)

sample44.0ms

Algorithm
intervals
Results
27.0ms302×body80valid
2.0ms8×body640valid
1.0ms5×body320valid
1.0ms3×body1280valid
0.0ms3×body160valid

simplify74.0ms

Calls
1 calls:
Slowest
74.0ms
(+ (+ (* d1 3) (* d1 d2)) (* d1 d3))

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

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
8×*-un-lft-identity
5×add-sqr-sqrt associate-*r*
3×pow1 add-cbrt-cube associate-*l* add-exp-log add-cube-cbrt distribute-lft-out
2×associate-*r/
1×distribute-rgt-in distribute-lft-in flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ insert-posit16 add-log-exp unswap-sqr
Calls
1 calls:
Slowest
47.0ms
(* d1 (+ d3 (+ 3 d2)))

series55.0ms

Calls
1 calls:
Slowest
55.0ms
(* d1 (+ d3 (+ 3 d2)))

simplify1.2s

Calls
19 calls:
Slowest
439.0ms
(* (* (* d1 d1) d1) (* (* (+ d3 (+ 3 d2)) (+ d3 (+ 3 d2))) (+ d3 (+ 3 d2))))
318.0ms
(+ (* d3 d3) (- (* (+ 3 d2) (+ 3 d2)) (* d3 (+ 3 d2))))
70.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
59.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
55.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))

prune231.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite520.0ms

Algorithm
rewrite-expression-head
Rules
75×*-un-lft-identity
70×cbrt-div
51×cbrt-prod
35×flip3-+ flip-+
34×associate-*r/
33×distribute-lft-out
32×frac-times
24×add-sqr-sqrt
20×pow1
16×associate-*r* associate-*l/ add-cube-cbrt
15×add-exp-log
14×swap-sqr
9×associate-*l*
8×add-cbrt-cube pow1/3 pow-prod-down
7×prod-exp cbrt-unprod
4×insert-posit16 add-log-exp unswap-sqr
2×pow-sqr *-commutative pow-prod-up
1×pow2 pow-plus
Calls
4 calls:
Slowest
407.0ms
(* (* d1 (* (cbrt (+ d3 (+ 3 d2))) (cbrt (+ d3 (+ 3 d2))))) (cbrt (+ d3 (+ 3 d2))))
94.0ms
(* (cbrt (+ d3 (+ 3 d2))) (cbrt (+ d3 (+ 3 d2))))
9.0ms
(cbrt (+ d3 (+ 3 d2)))
8.0ms
(cbrt (+ d3 (+ 3 d2)))

series423.0ms

Calls
4 calls:
Slowest
156.0ms
(cbrt (+ d3 (+ 3 d2)))
126.0ms
(cbrt (+ d3 (+ 3 d2)))
102.0ms
(* (cbrt (+ d3 (+ 3 d2))) (cbrt (+ d3 (+ 3 d2))))
39.0ms
(* (* d1 (* (cbrt (+ d3 (+ 3 d2))) (cbrt (+ d3 (+ 3 d2))))) (cbrt (+ d3 (+ 3 d2))))

simplify18.7s

Calls
161 calls:
Slowest
467.0ms
(* (* (* (* d1 d1) d1) (* (+ d3 (+ 3 d2)) (+ d3 (+ 3 d2)))) (+ d3 (+ 3 d2)))
435.0ms
(* (* d1 (* (cbrt (+ (pow d3 3) (pow (+ 3 d2) 3))) (cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))))) (cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))))
411.0ms
(* (* d1 (* (cbrt (+ (pow d3 3) (pow (+ 3 d2) 3))) (cbrt (+ (pow d3 3) (pow (+ 3 d2) 3))))) (cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))))
402.0ms
(* (* d1 (* (cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (cbrt (+ (pow d3 3) (pow (+ 3 d2) 3))))) (cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))))
396.0ms
(- (+ (* 2 (pow (/ 1 d3) 1/3)) (pow (/ 1 d3) -2/3)) (pow (/ 1 (pow d3 4)) 1/3))

prune2.0s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize64.0ms

Local error

Found 4 expressions with local error:

18.6b
(cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))
2.8b
(- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))
0.7b
(/ (cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (cbrt (- d3 (+ 3 d2))))
0.4b
(* (* d1 (* (cbrt (+ d3 (+ 3 d2))) (cbrt (+ d3 (+ 3 d2))))) (/ (cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (cbrt (- d3 (+ 3 d2)))))

rewrite495.0ms

Algorithm
rewrite-expression-head
Rules
170×cbrt-prod
149×*-un-lft-identity
126×times-frac
104×add-sqr-sqrt
74×add-cube-cbrt
69×associate-*r*
36×difference-of-squares
32×cbrt-div
30×distribute-lft-out--
27×add-exp-log
21×associate-*r/
16×frac-times
15×add-cbrt-cube distribute-lft-out
13×pow1
12×flip3-+ associate-*l/ prod-exp cbrt-unprod flip-+
9×associate-/r*
7×associate-/l*
6×pow-prod-down add-log-exp
5×flip3-- flip--
4×cbrt-undiv div-exp associate-/r/ insert-posit16
2×div-inv associate--r+ associate-/l/
1×distribute-rgt-in clear-num sub-neg frac-2neg distribute-lft-in pow1/3 diff-log associate-*l* *-commutative
Calls
4 calls:
Slowest
403.0ms
(* (* d1 (* (cbrt (+ d3 (+ 3 d2))) (cbrt (+ d3 (+ 3 d2))))) (/ (cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (cbrt (- d3 (+ 3 d2)))))
60.0ms
(/ (cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (cbrt (- d3 (+ 3 d2))))
14.0ms
(- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))
10.0ms
(cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))

series777.0ms

Calls
4 calls:
Slowest
320.0ms
(* (* d1 (* (cbrt (+ d3 (+ 3 d2))) (cbrt (+ d3 (+ 3 d2))))) (/ (cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (cbrt (- d3 (+ 3 d2)))))
211.0ms
(cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))
193.0ms
(/ (cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (cbrt (- d3 (+ 3 d2))))
53.0ms
(- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))

simplify50.6s

Calls
279 calls:
Slowest
669.0ms
(* (* d1 (* (cbrt (+ d3 (+ 3 d2))) (cbrt (+ d3 (+ 3 d2))))) (/ (cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (cbrt (- d3 (+ 3 d2)))))
658.0ms
(* (* d1 (* (cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))))) (/ (cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (cbrt (- d3 (+ 3 d2)))))
599.0ms
(* (* (* (* d1 d1) d1) (* (+ d3 (+ 3 d2)) (+ d3 (+ 3 d2)))) (* (* (/ (cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (cbrt (- d3 (+ 3 d2)))) (/ (cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (cbrt (- d3 (+ 3 d2))))) (/ (cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (cbrt (- d3 (+ 3 d2))))))
473.0ms
(* (* (* (* d1 (* (cbrt (+ d3 (+ 3 d2))) (cbrt (+ d3 (+ 3 d2))))) (* d1 (* (cbrt (+ d3 (+ 3 d2))) (cbrt (+ d3 (+ 3 d2)))))) (* d1 (* (cbrt (+ d3 (+ 3 d2))) (cbrt (+ d3 (+ 3 d2)))))) (* (* (/ (cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (cbrt (- d3 (+ 3 d2)))) (/ (cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (cbrt (- d3 (+ 3 d2))))) (/ (cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (cbrt (- d3 (+ 3 d2))))))
429.0ms
(+ (+ (log d1) (+ (log (cbrt (+ d3 (+ 3 d2)))) (log (cbrt (+ d3 (+ 3 d2)))))) (- (log (cbrt (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))) (log (cbrt (- d3 (+ 3 d2))))))

prune3.6s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

26.2b
(/ (* d1 (+ (* d3 (* d3 d3)) (* (* (+ 3 d2) (+ 3 d2)) (+ 3 d2)))) (+ (- (* (+ d2 3) (+ d2 3)) (* (+ d2 3) d3)) (* d3 d3)))
5.9b
(* d1 (+ (* d3 (* d3 d3)) (* (* (+ 3 d2) (+ 3 d2)) (+ 3 d2))))
2.3b
(+ (* d3 (* d3 d3)) (* (* (+ 3 d2) (+ 3 d2)) (+ 3 d2)))
2.3b
(- (* (+ d2 3) (+ d2 3)) (* (+ d2 3) d3))

rewrite502.0ms

Algorithm
rewrite-expression-head
Rules
28×flip3-+ flip-+
26×associate-*l/
16×frac-sub
11×add-cbrt-cube add-exp-log
10×add-sqr-sqrt associate-*r/
8×frac-times *-un-lft-identity add-cube-cbrt add-log-exp
6×pow1
4×associate-*r* insert-posit16 sub-div
3×distribute-rgt-in associate-/r* distribute-lft-in times-frac associate-*l*
2×cbrt-undiv associate-+r+ cube-unmult div-exp pow3 prod-exp associate--l+ associate-/r/ sum-cubes cbrt-unprod associate-/l/
1×+-commutative clear-num sum-log sub-neg frac-2neg flip3-- diff-log pow-prod-down *-commutative div-inv flip-- associate-/l* distribute-lft-out-- unswap-sqr
Calls
4 calls:
Slowest
243.0ms
(* d1 (+ (* d3 (* d3 d3)) (* (* (+ 3 d2) (+ 3 d2)) (+ 3 d2))))
177.0ms
(/ (* d1 (+ (* d3 (* d3 d3)) (* (* (+ 3 d2) (+ 3 d2)) (+ 3 d2)))) (+ (- (* (+ d2 3) (+ d2 3)) (* (+ d2 3) d3)) (* d3 d3)))
61.0ms
(+ (* d3 (* d3 d3)) (* (* (+ 3 d2) (+ 3 d2)) (+ 3 d2)))
17.0ms
(- (* (+ d2 3) (+ d2 3)) (* (+ d2 3) d3))

series583.0ms

Calls
4 calls:
Slowest
263.0ms
(/ (* d1 (+ (* d3 (* d3 d3)) (* (* (+ 3 d2) (+ 3 d2)) (+ 3 d2)))) (+ (- (* (+ d2 3) (+ d2 3)) (* (+ d2 3) d3)) (* d3 d3)))
205.0ms
(* d1 (+ (* d3 (* d3 d3)) (* (* (+ 3 d2) (+ 3 d2)) (+ 3 d2))))
76.0ms
(+ (* d3 (* d3 d3)) (* (* (+ 3 d2) (+ 3 d2)) (+ 3 d2)))
38.0ms
(- (* (+ d2 3) (+ d2 3)) (* (+ d2 3) d3))

simplify23.0s

Calls
94 calls:
Slowest
813.0ms
(- (* (* (- (* d2 d2) (* 3 3)) (+ (pow d2 3) (pow 3 3))) (+ (* d2 d2) (- (* 3 3) (* d2 3)))) (* (* (- d2 3) (+ (* d2 d2) (- (* 3 3) (* d2 3)))) (* (+ (pow d2 3) (pow 3 3)) d3)))
692.0ms
(- (* (* (+ d2 3) (+ (pow d2 3) (pow 3 3))) (- d2 3)) (* (+ (* d2 d2) (- (* 3 3) (* d2 3))) (* (- (* d2 d2) (* 3 3)) d3)))
583.0ms
(- (* (* (+ (pow d2 3) (pow 3 3)) (+ (pow d2 3) (pow 3 3))) (+ (* d2 d2) (- (* 3 3) (* d2 3)))) (* (* (+ (* d2 d2) (- (* 3 3) (* d2 3))) (+ (* d2 d2) (- (* 3 3) (* d2 3)))) (* (+ (pow d2 3) (pow 3 3)) d3)))
580.0ms
(* (* (* d1 d1) d1) (* (* (+ (* d3 (* d3 d3)) (* (* (+ 3 d2) (+ 3 d2)) (+ 3 d2))) (+ (* d3 (* d3 d3)) (* (* (+ 3 d2) (+ 3 d2)) (+ 3 d2)))) (+ (* d3 (* d3 d3)) (* (* (+ 3 d2) (+ 3 d2)) (+ 3 d2)))))
568.0ms
(- (* (* (+ (pow d2 3) (pow 3 3)) (- (* d2 d2) (* 3 3))) (+ (* d2 d2) (- (* 3 3) (* d2 3)))) (* (* (+ (* d2 d2) (- (* 3 3) (* d2 3))) (- d2 3)) (* (+ (pow d2 3) (pow 3 3)) d3)))

prune1.4s

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.2s

Algorithm
intervals
Results
918.0ms9513×body80valid
58.0ms202×body640valid
35.0ms154×body320valid
31.0ms83×body1280valid
13.0ms87×body160valid