Details

Time bar (total: 41.0s)

sample28.0ms

Algorithm
intervals
Results
16.0ms312×body80valid
1.0ms7×body640valid
1.0ms3×body1280valid
0.0ms3×body320valid
0.0ms4×body160valid

simplify78.0ms

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

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize15.0ms

Local error

Found 1 expressions with local error:

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

rewrite2.0ms

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

series32.0ms

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

simplify874.0ms

Calls
10 calls:
Slowest
575.0ms
(+ (* d3 d3) (- (* (+ 3 d2) (+ 3 d2)) (* d3 (+ 3 d2))))
66.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
63.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
54.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
30.0ms
(* (+ 3 d2) d1)

prune179.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-div
15×cbrt-prod
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×pow1 flip3-+ flip-+
7×pow1/3
6×associate-*r* associate-*l* add-exp-log
4×frac-times add-cbrt-cube insert-posit16 add-log-exp
2×pow-prod-down associate-*l/ associate-*r/ pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
7.0ms
(* (cbrt (+ d3 (+ 3 d2))) (cbrt (+ d3 (+ 3 d2))))
1.0ms
(cbrt (+ d3 (+ 3 d2)))
1.0ms
(cbrt (+ d3 (+ 3 d2)))
1.0ms
(cbrt (+ d3 (+ 3 d2)))

series534.0ms

Calls
4 calls:
Slowest
145.0ms
(cbrt (+ d3 (+ 3 d2)))
139.0ms
(cbrt (+ d3 (+ 3 d2)))
136.0ms
(cbrt (+ d3 (+ 3 d2)))
113.0ms
(* (cbrt (+ d3 (+ 3 d2))) (cbrt (+ d3 (+ 3 d2))))

simplify7.2s

Calls
59 calls:
Slowest
422.0ms
(- (+ (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) d3) (exp (* 1/3 (- (log -1) (log (/ -1 d3)))))) (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) (pow d3 2)))
386.0ms
(cbrt (+ (pow d3 3) (pow (+ 3 d2) 3)))
377.0ms
(cbrt (+ (pow d3 3) (pow (+ 3 d2) 3)))
376.0ms
(* (cbrt (+ (pow d3 3) (pow (+ 3 d2) 3))) (cbrt (+ (pow d3 3) (pow (+ 3 d2) 3))))
372.0ms
(cbrt (+ (pow d3 3) (pow (+ 3 d2) 3)))

prune850.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

14.1b
(/ (* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (- d3 (+ 3 d2)))
7.4b
(* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))
2.7b
(- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))
0.0b
(* (+ 3 d2) (+ 3 d2))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt pow1 *-un-lft-identity add-cube-cbrt
8×add-cbrt-cube add-exp-log
7×associate-*r*
6×flip3-+ associate-*r/ flip-+ add-log-exp
4×distribute-rgt-in frac-times distribute-lft-in flip3-- insert-posit16 flip--
3×associate-/r* sub-neg times-frac associate-*l*
2×associate-*l/ associate-/r/ *-commutative associate--r+ difference-of-squares associate-/l/
1×pow2 cbrt-undiv clear-num frac-2neg pow-plus diff-log div-exp pow-prod-down prod-exp pow-prod-up cbrt-unprod div-inv associate-/l*
Calls
4 calls:
Slowest
13.0ms
(/ (* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (- d3 (+ 3 d2)))
9.0ms
(* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))
6.0ms
(* (+ 3 d2) (+ 3 d2))
5.0ms
(- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))

series270.0ms

Calls
4 calls:
Slowest
115.0ms
(/ (* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (- d3 (+ 3 d2)))
106.0ms
(* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))
36.0ms
(- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))
13.0ms
(* (+ 3 d2) (+ 3 d2))

simplify7.3s

Calls
67 calls:
Slowest
469.0ms
(/ (* (* (* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2)))) (* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))) (* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))) (* (* (- d3 (+ 3 d2)) (- d3 (+ 3 d2))) (- d3 (+ 3 d2))))
439.0ms
(- (log (* d1 (- (* d3 d3) (* (+ 3 d2) (+ 3 d2))))) (log (- d3 (+ 3 d2))))
411.0ms
(* (+ (* 3 3) (- (* d2 d2) (* 3 d2))) (+ (* 3 3) (- (* d2 d2) (* 3 d2))))
301.0ms
(/ (exp (* d3 d3)) (exp (* (+ 3 d2) (+ 3 d2))))
252.0ms
(* (- (* 3 3) (* d2 d2)) (+ (pow 3 3) (pow d2 3)))

prune974.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

25.0b
(/ (* d1 (+ (pow d3 3) (pow (+ 3 d2) 3))) (+ (* d3 d3) (- (* (+ 3 d2) (+ 3 d2)) (* d3 (+ 3 d2)))))
5.3b
(* d1 (+ (pow d3 3) (pow (+ 3 d2) 3)))
2.8b
(+ (pow d3 3) (pow (+ 3 d2) 3))
1.3b
(- (* (+ 3 d2) (+ 3 d2)) (* d3 (+ 3 d2)))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
30×associate-*r/
28×flip3-+ flip-+
16×frac-sub
11×*-un-lft-identity
8×frac-times add-log-exp
7×add-sqr-sqrt add-cube-cbrt
6×add-cbrt-cube associate-*l/ add-exp-log
5×associate-*r*
4×pow1 insert-posit16 sub-div
3×distribute-rgt-in associate-/r* distribute-lft-in times-frac
2×associate--l+ associate-/r/ sum-cubes distribute-lft-out associate--r+ associate-/l/
1×cbrt-undiv +-commutative clear-num sum-log sub-neg frac-2neg flip3-- distribute-rgt-out-- diff-log div-exp *-commutative div-inv flip-- associate-/l*
Calls
4 calls:
Slowest
20.0ms
(/ (* d1 (+ (pow d3 3) (pow (+ 3 d2) 3))) (+ (* d3 d3) (- (* (+ 3 d2) (+ 3 d2)) (* d3 (+ 3 d2)))))
7.0ms
(- (* (+ 3 d2) (+ 3 d2)) (* d3 (+ 3 d2)))
7.0ms
(* d1 (+ (pow d3 3) (pow (+ 3 d2) 3)))
5.0ms
(+ (pow d3 3) (pow (+ 3 d2) 3))

series574.0ms

Calls
4 calls:
Slowest
237.0ms
(/ (* d1 (+ (pow d3 3) (pow (+ 3 d2) 3))) (+ (* d3 d3) (- (* (+ 3 d2) (+ 3 d2)) (* d3 (+ 3 d2)))))
210.0ms
(* d1 (+ (pow d3 3) (pow (+ 3 d2) 3)))
76.0ms
(+ (pow d3 3) (pow (+ 3 d2) 3))
51.0ms
(- (* (+ 3 d2) (+ 3 d2)) (* d3 (+ 3 d2)))

simplify19.1s

Calls
87 calls:
Slowest
964.0ms
(/ (* (* (* d1 (+ (pow d3 3) (pow (+ 3 d2) 3))) (* d1 (+ (pow d3 3) (pow (+ 3 d2) 3)))) (* d1 (+ (pow d3 3) (pow (+ 3 d2) 3)))) (* (* (+ (* d3 d3) (- (* (+ 3 d2) (+ 3 d2)) (* d3 (+ 3 d2)))) (+ (* d3 d3) (- (* (+ 3 d2) (+ 3 d2)) (* d3 (+ 3 d2))))) (+ (* d3 d3) (- (* (+ 3 d2) (+ 3 d2)) (* d3 (+ 3 d2))))))
706.0ms
(- (* (* (+ (pow 3 3) (pow d2 3)) (+ (pow 3 3) (pow d2 3))) (+ (* 3 3) (- (* d2 d2) (* 3 d2)))) (* (* (+ (* 3 3) (- (* d2 d2) (* 3 d2))) (+ (* 3 3) (- (* d2 d2) (* 3 d2)))) (* d3 (+ (pow 3 3) (pow d2 3)))))
574.0ms
(- (* (* (+ 3 d2) (+ (pow 3 3) (pow d2 3))) (+ (* 3 3) (- (* d2 d2) (* 3 d2)))) (* (+ (* 3 3) (- (* d2 d2) (* 3 d2))) (* d3 (+ (pow 3 3) (pow d2 3)))))
552.0ms
(- (* (* (+ (pow 3 3) (pow d2 3)) (- (* 3 3) (* d2 d2))) (+ (* 3 3) (- (* d2 d2) (* 3 d2)))) (* (* (+ (* 3 3) (- (* d2 d2) (* 3 d2))) (- 3 d2)) (* d3 (+ (pow 3 3) (pow d2 3)))))
511.0ms
(* d1 (- (* (pow d3 3) (pow d3 3)) (* (pow (+ 3 d2) 3) (pow (+ 3 d2) 3))))

prune1.3s

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0.0b

regimes116.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
883.0ms9566×body80valid
83.0ms199×body640valid
34.0ms92×body1280valid
31.0ms139×body320valid
16.0ms102×body160valid