Details

Time bar (total: 5.9s)

sample22.0ms

Algorithm
intervals
Results
14.0ms287×body80valid
0.0ms2×body1280valid
0.0ms1×body320valid

simplify57.0ms

Calls
1 calls:
Slowest
57.0ms
(+ (+ (* d1 10) (* d1 d2)) (* d1 20))

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(* d1 (+ d2 30))

rewrite1.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
1.0ms
(* d1 (+ d2 30))

series46.0ms

Calls
1 calls:
Slowest
46.0ms
(* d1 (+ d2 30))

simplify150.0ms

Calls
10 calls:
Slowest
68.0ms
(+ (* d2 d2) (- (* 30 30) (* d2 30)))
21.0ms
(+ (* d2 d1) (* 30 d1))
19.0ms
(+ (* d2 d1) (* 30 d1))
18.0ms
(+ (* d2 d1) (* 30 d1))
5.0ms
(- d2 30)

prune111.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize25.0ms

Local error

Found 3 expressions with local error:

14.1b
(/ (* d1 (+ (pow d2 3) (pow 30 3))) (- 900 (* (- 30 d2) d2)))
2.9b
(* d1 (+ (pow d2 3) (pow 30 3)))
0.0b
(* (- 30 d2) d2)

rewrite17.0ms

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

series361.0ms

Calls
3 calls:
Slowest
175.0ms
(/ (* d1 (+ (pow d2 3) (pow 30 3))) (- 900 (* (- 30 d2) d2)))
119.0ms
(* d1 (+ (pow d2 3) (pow 30 3)))
67.0ms
(* (- 30 d2) d2)

simplify3.3s

Calls
37 calls:
Slowest
497.0ms
(/ (* (* (* d1 (+ (pow d2 3) (pow 30 3))) (* d1 (+ (pow d2 3) (pow 30 3)))) (* d1 (+ (pow d2 3) (pow 30 3)))) (* (* (- 900 (* (- 30 d2) d2)) (- 900 (* (- 30 d2) d2))) (- 900 (* (- 30 d2) d2))))
397.0ms
(* d1 (+ (pow (pow d2 3) 3) (pow (pow 30 3) 3)))
293.0ms
(* d1 (- (* (pow d2 3) (pow d2 3)) (* (pow 30 3) (pow 30 3))))
270.0ms
(+ (* (pow d2 3) (pow d2 3)) (- (* (pow 30 3) (pow 30 3)) (* (pow d2 3) (pow 30 3))))
246.0ms
(+ (* 900 900) (+ (* (* (- 30 d2) d2) (* (- 30 d2) d2)) (* 900 (* (- 30 d2) d2))))

prune689.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes50.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample1.0s

Algorithm
intervals
Results
866.0ms9043×body80valid
21.0ms57×body1280valid
14.0ms48×body640valid
6.0ms25×body320valid
2.0ms13×body160valid