Details

Time bar (total: 1.8m)

sample29.0ms

Algorithm
intervals
Results
17.0ms283×body80valid
1.0ms2×body1280valid
0.0ms2×body640valid

simplify122.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
122.0ms
(+ (+ (* d1 10) (* d1 d2)) (* d1 20))

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (+ 30 d2) d1)

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt *-un-lft-identity
4×associate-*l*
3×pow1 add-cbrt-cube associate-*r* add-exp-log add-cube-cbrt
2×associate-*l/
1×expm1-log1p-u flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ insert-posit16 log1p-expm1-u distribute-lft-out add-log-exp unswap-sqr
Counts
1 → 24
Calls
1 calls:
Slowest
32.0ms
(* (+ 30 d2) d1)

series50.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
50.0ms
(* (+ 30 d2) d1)

simplify1.2s

Counts
14 → 27
Calls
14 calls:
Slowest
632.0ms
(* (* (* (+ 30 d2) (+ 30 d2)) (+ 30 d2)) (* (* d1 d1) d1))
208.0ms
(* (- (* 30 30) (* d2 d2)) d1)
191.0ms
(* (+ (pow 30 3) (pow d2 3)) d1)
27.0ms
(* (+ 30 d2) d1)
26.0ms
(+ (* d2 d1) (* 30 d1))

prune197.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 2 expressions with local error:

8.0b
(/ (* (- 900 (* d2 d2)) d1) (- 30 d2))
4.8b
(* (- 900 (* d2 d2)) d1)

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
10×*-un-lft-identity
9×add-cbrt-cube add-exp-log
6×add-cube-cbrt
5×associate-/r* times-frac
4×pow1 associate-*l* associate-*l/
3×flip3-- associate-*r* flip-- difference-of-squares
2×expm1-log1p-u cbrt-undiv div-exp prod-exp associate-/r/ cbrt-unprod insert-posit16 log1p-expm1-u distribute-lft-out-- add-log-exp associate-/l/
1×clear-num frac-2neg pow-prod-down *-commutative div-inv associate-/l* unswap-sqr
Counts
2 → 56
Calls
2 calls:
Slowest
31.0ms
(* (- 900 (* d2 d2)) d1)
28.0ms
(/ (* (- 900 (* d2 d2)) d1) (- 30 d2))

series129.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
70.0ms
(* (- 900 (* d2 d2)) d1)
59.0ms
(/ (* (- 900 (* d2 d2)) d1) (- 30 d2))

simplify3.2s

Counts
42 → 62
Calls
42 calls:
Slowest
380.0ms
(* (* (* (- 900 (* d2 d2)) (- 900 (* d2 d2))) (- 900 (* d2 d2))) (* (* d1 d1) d1))
373.0ms
(* (- (* 900 900) (* (* d2 d2) (* d2 d2))) d1)
333.0ms
(* (- (* 900 900) (* (* d2 d2) (* d2 d2))) d1)
304.0ms
(/ (* (* (* (- 900 (* d2 d2)) d1) (* (- 900 (* d2 d2)) d1)) (* (- 900 (* d2 d2)) d1)) (* (* (- 30 d2) (- 30 d2)) (- 30 d2)))
255.0ms
(* (- (pow 900 3) (pow (* d2 d2) 3)) d1)

prune394.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize15.0ms

Local error

Found 2 expressions with local error:

12.8b
(/ (- 900 (* d2 d2)) (/ (- 30 d2) d1))
0.0b
(/ (- 30 d2) d1)

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
166×times-frac
135×add-sqr-sqrt
115×*-un-lft-identity
77×add-cube-cbrt
39×difference-of-squares
22×associate-/r*
19×distribute-lft-out--
9×add-cbrt-cube add-exp-log associate-/l*
7×div-inv
4×cbrt-undiv div-exp associate-/l/
2×expm1-log1p-u pow1 clear-num frac-2neg flip3-- div-sub insert-posit16 log1p-expm1-u flip-- add-log-exp
1×associate-/r/
Counts
2 → 161
Calls
2 calls:
Slowest
33.0ms
(/ (- 900 (* d2 d2)) (/ (- 30 d2) d1))
22.0ms
(/ (- 30 d2) d1)

series133.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
96.0ms
(/ (- 900 (* d2 d2)) (/ (- 30 d2) d1))
36.0ms
(/ (- 30 d2) d1)

simplify17.5s

Counts
227 → 167
Calls
227 calls:
Slowest
440.0ms
(- (pow 900 3) (pow (* d2 d2) 3))
377.0ms
(/ (sqrt (- 900 (* d2 d2))) (/ 1 (sqrt d1)))
372.0ms
(- (* 900 900) (* (* d2 d2) (* d2 d2)))
323.0ms
(/ (* (cbrt (- 900 (* d2 d2))) (cbrt (- 900 (* d2 d2)))) (/ (* (cbrt (- 30 d2)) (cbrt (- 30 d2))) (* (cbrt d1) (cbrt d1))))
278.0ms
(/ (- (sqrt 900) d2) (/ (- 30 d2) (sqrt d1)))

prune1.4s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize34.0ms

Local error

Found 2 expressions with local error:

10.3b
(/ (- 900 (* d2 d2)) (- 30 d2))
0.3b
(/ (/ (- 900 (* d2 d2)) (- 30 d2)) (/ 1 d1))

rewrite93.0ms

Algorithm
rewrite-expression-head
Rules
881×times-frac
540×add-sqr-sqrt
464×*-un-lft-identity
342×add-cube-cbrt
137×difference-of-squares
61×distribute-lft-out--
43×div-inv
31×associate-/r/
30×associate-/l*
26×add-exp-log
18×associate-/r*
17×div-exp
16×flip3-- add-cbrt-cube flip--
9×cbrt-undiv
3×div-sub associate-/l/
2×expm1-log1p-u pow1 rec-exp clear-num frac-2neg 1-exp insert-posit16 log1p-expm1-u add-log-exp
Counts
2 → 454
Calls
2 calls:
Slowest
37.0ms
(/ (/ (- 900 (* d2 d2)) (- 30 d2)) (/ 1 d1))
27.0ms
(/ (- 900 (* d2 d2)) (- 30 d2))

series193.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
121.0ms
(/ (- 900 (* d2 d2)) (- 30 d2))
72.0ms
(/ (/ (- 900 (* d2 d2)) (- 30 d2)) (/ 1 d1))

simplify1.4m

Counts
789 → 460
Calls
789 calls:
Slowest
486.0ms
(/ (/ (* (cbrt (- 900 (* d2 d2))) (cbrt (- 900 (* d2 d2)))) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt d1) (cbrt d1))))
472.0ms
(/ (/ (- 900 (* d2 d2)) (- 30 d2)) (/ (sqrt 1) (cbrt d1)))
457.0ms
(/ (/ (* (cbrt (- 900 (* d2 d2))) (cbrt (- 900 (* d2 d2)))) (* (cbrt (- 30 d2)) (cbrt (- 30 d2)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt d1)))
447.0ms
(/ (/ (* (cbrt (- 900 (* d2 d2))) (cbrt (- 900 (* d2 d2)))) (sqrt (- 30 d2))) (/ (sqrt 1) (* (cbrt d1) (cbrt d1))))
445.0ms
(/ (/ (* (cbrt (- 900 (* d2 d2))) (cbrt (- 900 (* d2 d2)))) (sqrt (- 30 d2))) (/ 1 (* (cbrt d1) (cbrt d1))))

prune2.6s

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes48.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample773.0ms

Algorithm
intervals
Results
597.0ms9023×body80valid
18.0ms66×body1280valid
9.0ms43×body640valid
2.0ms15×body320valid
2.0ms17×body160valid