Details

Time bar (total: 14.0s)

sample46.0ms

Algorithm
intervals
Results
30.0ms328×body80valid
2.0ms6×body640valid
1.0ms3×body320valid
0.0ms2×body160valid

simplify95.0ms

Calls
1 calls:
Slowest
94.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
(* 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)))

series25.0ms

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

simplify1.0s

Calls
10 calls:
Slowest
442.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
296.0ms
(+ (* d3 d3) (- (* (+ 3 d2) (+ 3 d2)) (* d3 (+ 3 d2))))
74.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
53.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
40.0ms
(- d3 (+ 3 d2))

prune165.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 2 expressions with local error:

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

rewrite8.0ms

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

series39.0ms

Calls
2 calls:
Slowest
24.0ms
(+ (* d3 d1) (* (+ 3 d2) d1))
14.0ms
(* (+ 3 d2) d1)

simplify729.0ms

Calls
12 calls:
Slowest
216.0ms
(* (- (* 3 3) (* d2 d2)) d1)
152.0ms
(* (exp (* d3 d1)) (exp (* (+ 3 d2) d1)))
85.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
67.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))
65.0ms
(+ (* d3 d1) (+ (* d2 d1) (* 3 d1)))

prune278.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

17.8b
(/ (* (+ 27 (* d2 (* d2 d2))) d1) (+ (* 3 3) (- (* d2 d2) (* 3 d2))))
2.4b
(* (+ 27 (* d2 (* d2 d2))) d1)
0.1b
(* d2 (* d2 d2))
0.0b
(- (* d2 d2) (* 3 d2))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×add-cbrt-cube add-exp-log add-log-exp
4×pow1 associate-*l/ insert-posit16
3×associate-/r* flip3-+ times-frac associate-*l* flip-+
2×associate-/r/ *-commutative associate-/l/
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-- distribute-rgt-out-- diff-log cube-unmult div-exp associate-*r* div-inv flip-- associate-/l*
Calls
4 calls:
Slowest
25.0ms
(/ (* (+ 27 (* d2 (* d2 d2))) d1) (+ (* 3 3) (- (* d2 d2) (* 3 d2))))
5.0ms
(* (+ 27 (* d2 (* d2 d2))) d1)
4.0ms
(- (* d2 d2) (* 3 d2))
2.0ms
(* d2 (* d2 d2))

series130.0ms

Calls
4 calls:
Slowest
61.0ms
(/ (* (+ 27 (* d2 (* d2 d2))) d1) (+ (* 3 3) (- (* d2 d2) (* 3 d2))))
29.0ms
(* (+ 27 (* d2 (* d2 d2))) d1)
26.0ms
(- (* d2 d2) (* 3 d2))
14.0ms
(* d2 (* d2 d2))

simplify3.3s

Calls
34 calls:
Slowest
519.0ms
(+ (* (* 3 3) (* 3 3)) (- (* (- (* d2 d2) (* 3 d2)) (- (* d2 d2) (* 3 d2))) (* (* 3 3) (- (* d2 d2) (* 3 d2)))))
484.0ms
(/ (* (* (* (+ 27 (* d2 (* d2 d2))) d1) (* (+ 27 (* d2 (* d2 d2))) d1)) (* (+ 27 (* d2 (* d2 d2))) d1)) (* (* (+ (* 3 3) (- (* d2 d2) (* 3 d2))) (+ (* 3 3) (- (* d2 d2) (* 3 d2)))) (+ (* 3 3) (- (* d2 d2) (* 3 d2)))))
250.0ms
(* (+ (pow 27 3) (pow (* d2 (* d2 d2)) 3)) d1)
216.0ms
(* (+ (pow 27 3) (pow (* d2 (* d2 d2)) 3)) d1)
178.0ms
(- (log (* (+ 27 (* d2 (* d2 d2))) d1)) (log (+ (* 3 3) (- (* d2 d2) (* 3 d2)))))

prune792.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 4 expressions with local error:

18.1b
(/ (+ 27 (* d2 (* d2 d2))) (/ (+ (* 3 3) (- (* d2 d2) (* 3 d2))) d1))
1.0b
(/ (+ (* 3 3) (- (* d2 d2) (* 3 d2))) d1)
0.1b
(* d2 (* d2 d2))
0.0b
(- (* d2 d2) (* 3 d2))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
12×times-frac
6×add-cbrt-cube add-exp-log div-inv associate-/l* add-log-exp
4×pow1 associate-/r* insert-posit16 associate-/l/
2×clear-num frac-2neg flip3-+ flip-+
1×cbrt-undiv associate-+r- sub-neg flip3-- distribute-rgt-out-- diff-log div-sub cube-unmult div-exp associate-*r* associate-/r/ *-commutative flip--
Calls
4 calls:
Slowest
19.0ms
(/ (+ 27 (* d2 (* d2 d2))) (/ (+ (* 3 3) (- (* d2 d2) (* 3 d2))) d1))
18.0ms
(/ (+ (* 3 3) (- (* d2 d2) (* 3 d2))) d1)
2.0ms
(- (* d2 d2) (* 3 d2))
1.0ms
(* d2 (* d2 d2))

series137.0ms

Calls
4 calls:
Slowest
57.0ms
(/ (+ 27 (* d2 (* d2 d2))) (/ (+ (* 3 3) (- (* d2 d2) (* 3 d2))) d1))
31.0ms
(- (* d2 d2) (* 3 d2))
28.0ms
(/ (+ (* 3 3) (- (* d2 d2) (* 3 d2))) d1)
22.0ms
(* d2 (* d2 d2))

simplify4.9s

Calls
53 calls:
Slowest
314.0ms
(+ (pow (* 3 3) 3) (pow (- (* d2 d2) (* 3 d2)) 3))
255.0ms
(- (* 27 27) (* (* d2 (* d2 d2)) (* d2 (* d2 d2))))
220.0ms
(/ (* (* (+ 27 (* d2 (* d2 d2))) (+ 27 (* d2 (* d2 d2)))) (+ 27 (* d2 (* d2 d2)))) (* (* (/ (+ (* 3 3) (- (* d2 d2) (* 3 d2))) d1) (/ (+ (* 3 3) (- (* d2 d2) (* 3 d2))) d1)) (/ (+ (* 3 3) (- (* d2 d2) (* 3 d2))) d1)))
186.0ms
(/ (* (cbrt (+ 27 (* d2 (* d2 d2)))) (cbrt (+ 27 (* d2 (* d2 d2))))) (* (cbrt (/ (+ (* 3 3) (- (* d2 d2) (* 3 d2))) d1)) (cbrt (/ (+ (* 3 3) (- (* d2 d2) (* 3 d2))) d1))))
184.0ms
(- (* (* 3 3) (* 3 3)) (* (- (* d2 d2) (* 3 d2)) (- (* d2 d2) (* 3 d2))))

prune885.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes98.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
865.0ms9579×body80valid
54.0ms206×body640valid
45.0ms116×body160valid
34.0ms86×body1280valid
31.0ms145×body320valid