Details

Time bar (total: 16.2s)

sample29.0ms

Algorithm
intervals
Results
19.0ms288×body80valid
0.0ms1×body640valid
0.0ms1×body320valid

simplify127.0ms

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

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (+ 30 d2) d1)

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
3×associate-*l*
2×add-sqr-sqrt *-un-lft-identity associate-*l/ add-cube-cbrt
1×expm1-log1p-u pow1 flip3-+ add-cbrt-cube add-exp-log *-commutative flip-+ insert-posit16 log1p-expm1-u add-log-exp
Calls
1 calls:
Slowest
7.0ms
(* (+ 30 d2) d1)

series23.0ms

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

simplify327.0ms

Calls
7 calls:
Slowest
226.0ms
(* (- (* 30 30) (* d2 d2)) d1)
49.0ms
(* (+ (pow 30 3) (pow d2 3)) d1)
13.0ms
(+ (* d2 d1) (* 30 d1))
12.0ms
(+ (* d2 d1) (* 30 d1))
11.0ms
(+ (* d2 d1) (* 30 d1))

prune128.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize7.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (sqrt (+ 30 d2)) (* (sqrt (+ 30 d2)) d1))
0.1b
(* (sqrt (+ 30 d2)) d1)
0.0b
(sqrt (+ 30 d2))
0.0b
(sqrt (+ 30 d2))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
18×sqrt-div
12×add-sqr-sqrt associate-*l* sqrt-prod
10×*-un-lft-identity associate-*l/ add-cube-cbrt
9×flip3-+ flip-+
6×pow1 add-cbrt-cube add-exp-log
4×expm1-log1p-u frac-times insert-posit16 log1p-expm1-u add-log-exp
2×rem-sqrt-square pow1/2 associate-*r/ *-commutative
1×associate-*r* pow-prod-down prod-exp cbrt-unprod
Calls
4 calls:
Slowest
21.0ms
(* (sqrt (+ 30 d2)) (* (sqrt (+ 30 d2)) d1))
4.0ms
(* (sqrt (+ 30 d2)) d1)
1.0ms
(sqrt (+ 30 d2))
1.0ms
(sqrt (+ 30 d2))

series100.0ms

Calls
4 calls:
Slowest
58.0ms
(* (sqrt (+ 30 d2)) d1)
15.0ms
(* (sqrt (+ 30 d2)) (* (sqrt (+ 30 d2)) d1))
13.0ms
(sqrt (+ 30 d2))
13.0ms
(sqrt (+ 30 d2))

simplify3.4s

Calls
51 calls:
Slowest
598.0ms
(* (* (* (sqrt (+ 30 d2)) (sqrt (+ 30 d2))) (sqrt (+ 30 d2))) (* (* (* (sqrt (+ 30 d2)) d1) (* (sqrt (+ 30 d2)) d1)) (* (sqrt (+ 30 d2)) d1)))
545.0ms
(- (+ (* (sqrt 30) d1) (* 1/2 (/ (* d2 d1) (sqrt 30)))) (* 1/8 (/ (* (pow d2 2) d1) (pow (sqrt 30) 3))))
221.0ms
(* (sqrt (- (* 30 30) (* d2 d2))) (* (sqrt (+ (pow 30 3) (pow d2 3))) d1))
196.0ms
(* (sqrt (- (* 30 30) (* d2 d2))) (* (sqrt (+ 30 d2)) d1))
185.0ms
(- (+ (* 1/2 (/ d2 (sqrt 30))) (sqrt 30)) (* 1/8 (/ (pow d2 2) (pow (sqrt 30) 3))))

prune726.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize61.0ms

Local error

Found 4 expressions with local error:

10.5b
(sqrt (fma d2 (+ -30 d2) 900))
5.9b
(sqrt (fma (* d2 d2) d2 27000))
2.3b
(* d1 (sqrt (fma (* d2 d2) d2 27000)))
0.2b
(/ (* (* d1 (sqrt (fma (* d2 d2) d2 27000))) (sqrt (- 900 (* d2 d2)))) (* (sqrt (- 30 d2)) (sqrt (fma d2 (+ -30 d2) 900))))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
16×add-cbrt-cube add-exp-log
10×add-sqr-sqrt
9×sqrt-prod
8×*-un-lft-identity add-cube-cbrt
6×associate-*r*
4×expm1-log1p-u pow1 cbrt-undiv sqrt-div div-exp prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
2×rem-sqrt-square flip3-- pow1/2 associate-*l/ associate-*r/ associate-/r/ flip-- associate-/l/
1×clear-num associate-/r* frac-2neg times-frac *-commutative div-inv associate-/l*
Calls
4 calls:
Slowest
18.0ms
(/ (* (* d1 (sqrt (fma (* d2 d2) d2 27000))) (sqrt (- 900 (* d2 d2)))) (* (sqrt (- 30 d2)) (sqrt (fma d2 (+ -30 d2) 900))))
2.0ms
(* d1 (sqrt (fma (* d2 d2) d2 27000)))
2.0ms
(sqrt (fma (* d2 d2) d2 27000))
1.0ms
(sqrt (fma d2 (+ -30 d2) 900))

series328.0ms

Calls
4 calls:
Slowest
224.0ms
(/ (* (* d1 (sqrt (fma (* d2 d2) d2 27000))) (sqrt (- 900 (* d2 d2)))) (* (sqrt (- 30 d2)) (sqrt (fma d2 (+ -30 d2) 900))))
48.0ms
(* d1 (sqrt (fma (* d2 d2) d2 27000)))
35.0ms
(sqrt (fma d2 (+ -30 d2) 900))
21.0ms
(sqrt (fma (* d2 d2) d2 27000))

simplify8.6s

Calls
42 calls:
Slowest
1.6s
(/ (* (* (* (* d1 (sqrt (fma (* d2 d2) d2 27000))) (sqrt (- 900 (* d2 d2)))) (* (* d1 (sqrt (fma (* d2 d2) d2 27000))) (sqrt (- 900 (* d2 d2))))) (* (* d1 (sqrt (fma (* d2 d2) d2 27000))) (sqrt (- 900 (* d2 d2))))) (* (* (* (sqrt (- 30 d2)) (sqrt (- 30 d2))) (sqrt (- 30 d2))) (* (* (sqrt (fma d2 (+ -30 d2) 900)) (sqrt (fma d2 (+ -30 d2) 900))) (sqrt (fma d2 (+ -30 d2) 900)))))
1.4s
(/ (* (* (* (* d1 (sqrt (fma (* d2 d2) d2 27000))) (* d1 (sqrt (fma (* d2 d2) d2 27000)))) (* d1 (sqrt (fma (* d2 d2) d2 27000)))) (* (* (sqrt (- 900 (* d2 d2))) (sqrt (- 900 (* d2 d2)))) (sqrt (- 900 (* d2 d2))))) (* (* (* (sqrt (- 30 d2)) (sqrt (- 30 d2))) (sqrt (- 30 d2))) (* (* (sqrt (fma d2 (+ -30 d2) 900)) (sqrt (fma d2 (+ -30 d2) 900))) (sqrt (fma d2 (+ -30 d2) 900)))))
1.2s
(/ (* (* (* (* d1 (sqrt (fma (* d2 d2) d2 27000))) (* d1 (sqrt (fma (* d2 d2) d2 27000)))) (* d1 (sqrt (fma (* d2 d2) d2 27000)))) (* (* (sqrt (- 900 (* d2 d2))) (sqrt (- 900 (* d2 d2)))) (sqrt (- 900 (* d2 d2))))) (* (* (* (sqrt (- 30 d2)) (sqrt (fma d2 (+ -30 d2) 900))) (* (sqrt (- 30 d2)) (sqrt (fma d2 (+ -30 d2) 900)))) (* (sqrt (- 30 d2)) (sqrt (fma d2 (+ -30 d2) 900)))))
1.2s
(/ (* (* (* (* d1 (sqrt (fma (* d2 d2) d2 27000))) (sqrt (- 900 (* d2 d2)))) (* (* d1 (sqrt (fma (* d2 d2) d2 27000))) (sqrt (- 900 (* d2 d2))))) (* (* d1 (sqrt (fma (* d2 d2) d2 27000))) (sqrt (- 900 (* d2 d2))))) (* (* (* (sqrt (- 30 d2)) (sqrt (fma d2 (+ -30 d2) 900))) (* (sqrt (- 30 d2)) (sqrt (fma d2 (+ -30 d2) 900)))) (* (sqrt (- 30 d2)) (sqrt (fma d2 (+ -30 d2) 900)))))
419.0ms
(- (+ (log (* d1 (sqrt (fma (* d2 d2) d2 27000)))) (log (sqrt (- 900 (* d2 d2))))) (log (* (sqrt (- 30 d2)) (sqrt (fma d2 (+ -30 d2) 900)))))

prune1.2s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes81.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample957.0ms

Algorithm
intervals
Results
786.0ms8963×body80valid
22.0ms61×body1280valid
15.0ms55×body640valid
6.0ms27×body320valid
1.0ms10×body160valid