Details

Time bar (total: 44.1s)

sample42.0ms

Algorithm
intervals
Results
28.0ms288×body80valid
0.0ms1×body640valid
0.0ms1×body320valid
0.0ms1×body160valid

simplify88.0ms

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

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

rewrite15.0ms

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

series33.0ms

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

simplify337.0ms

Counts
18 → 27
Calls
18 calls:
Slowest
125.0ms
(* (* (* d1 d1) d1) (* (* (+ d2 30) (+ d2 30)) (+ d2 30)))
91.0ms
(+ (* d2 d2) (- (* 30 30) (* d2 30)))
20.0ms
(+ (* d2 d1) (* 30 d1))
20.0ms
(+ (* d2 d1) (* 30 d1))
14.0ms
(* d1 (+ d2 30))

prune162.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 2 expressions with local error:

7.0b
(/ (* d1 (- (* d2 d2) (* 30 30))) (- d2 30))
5.0b
(* d1 (- (* d2 d2) (* 30 30)))

rewrite93.0ms

Algorithm
rewrite-expression-head
Rules
12×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-*r* associate-*r/
3×flip3-- associate-*l* flip-- difference-of-squares
2×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in div-exp prod-exp associate-/r/ cbrt-unprod insert-posit16 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
47.0ms
(/ (* d1 (- (* d2 d2) (* 30 30))) (- d2 30))
45.0ms
(* d1 (- (* d2 d2) (* 30 30)))

series185.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
102.0ms
(/ (* d1 (- (* d2 d2) (* 30 30))) (- d2 30))
82.0ms
(* d1 (- (* d2 d2) (* 30 30)))

simplify5.2s

Counts
46 → 62
Calls
46 calls:
Slowest
592.0ms
(/ (* (* (* d1 (- (* d2 d2) (* 30 30))) (* d1 (- (* d2 d2) (* 30 30)))) (* d1 (- (* d2 d2) (* 30 30)))) (* (* (- d2 30) (- d2 30)) (- d2 30)))
503.0ms
(- (+ (log d1) (log (- (* d2 d2) (* 30 30)))) (log (- d2 30)))
399.0ms
(/ (* (* (* d1 d1) d1) (* (* (- (* d2 d2) (* 30 30)) (- (* d2 d2) (* 30 30))) (- (* d2 d2) (* 30 30)))) (* (* (- d2 30) (- d2 30)) (- d2 30)))
398.0ms
(/ (- (* d2 d2) (* 30 30)) (- d2 30))
380.0ms
(* d1 (- (pow (* d2 d2) 3) (pow (* 30 30) 3)))

prune512.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

16.1b
(/ (* d1 (+ (pow d2 3) (pow 30 3))) (- 900 (* (- 30 d2) d2)))
3.1b
(* d1 (+ (pow d2 3) (pow 30 3)))
0.0b
(* (- 30 d2) d2)
0.0b
(- 900 (* (- 30 d2) d2))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
16×add-sqr-sqrt
13×add-cbrt-cube add-exp-log
12×associate-*r*
10×add-cube-cbrt
8×pow1 associate-*l*
6×add-log-exp
5×distribute-lft-out
4×unpow-prod-down cube-prod associate-*r/ insert-posit16
3×associate-/r* times-frac flip3-- prod-exp cbrt-unprod flip--
2×cbrt-undiv flip3-+ div-exp pow-prod-down associate-*l/ associate-/r/ *-commutative flip-+ unswap-sqr associate-/l/
1×distribute-rgt-in clear-num sub-neg frac-2neg distribute-lft-in diff-log sum-cubes div-inv associate-/l* distribute-lft-out-- difference-of-squares
Counts
4 → 91
Calls
4 calls:
Slowest
49.0ms
(* d1 (+ (pow d2 3) (pow 30 3)))
39.0ms
(/ (* d1 (+ (pow d2 3) (pow 30 3))) (- 900 (* (- 30 d2) d2)))
14.0ms
(* (- 30 d2) d2)
4.0ms
(- 900 (* (- 30 d2) d2))

series392.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
168.0ms
(/ (* d1 (+ (pow d2 3) (pow 30 3))) (- 900 (* (- 30 d2) d2)))
136.0ms
(* d1 (+ (pow d2 3) (pow 30 3)))
69.0ms
(* (- 30 d2) d2)
19.0ms
(- 900 (* (- 30 d2) d2))

simplify9.8s

Counts
62 → 103
Calls
62 calls:
Slowest
985.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))))
795.0ms
(/ (* (* (* d1 d1) d1) (* (* (+ (pow d2 3) (pow 30 3)) (+ (pow d2 3) (pow 30 3))) (+ (pow d2 3) (pow 30 3)))) (* (* (- 900 (* (- 30 d2) d2)) (- 900 (* (- 30 d2) d2))) (- 900 (* (- 30 d2) d2))))
629.0ms
(/ (+ (pow d2 3) (pow 30 3)) (- 900 (* (- 30 d2) d2)))
536.0ms
(* d1 (+ (pow (pow d2 3) 3) (pow (pow 30 3) 3)))
484.0ms
(/ (+ (pow d2 3) (pow 30 3)) (cbrt (- 900 (* (- 30 d2) d2))))

prune1.1s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize34.0ms

Local error

Found 4 expressions with local error:

14.0b
(* (/ d1 (sqrt (- 900 (* (- 30 d2) d2)))) (/ (+ 27000 (* (* d2 d2) d2)) (sqrt (- 900 (* (- 30 d2) d2)))))
10.6b
(sqrt (- 900 (* (- 30 d2) d2)))
10.6b
(sqrt (- 900 (* (- 30 d2) d2)))
4.7b
(/ (+ 27000 (* (* d2 d2) d2)) (sqrt (- 900 (* (- 30 d2) d2))))

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
79×add-sqr-sqrt
66×times-frac
47×*-un-lft-identity add-cube-cbrt
42×sqrt-prod
24×associate-*r* associate-*l*
18×add-cbrt-cube add-exp-log
10×sqrt-div
9×unswap-sqr
8×pow1
6×associate-/r* associate-/r/
5×cbrt-undiv flip3-- div-exp flip--
4×prod-exp cbrt-unprod insert-posit16 add-log-exp
3×div-inv associate-/l*
2×rem-sqrt-square sqrt-pow1 pow1/2 associate-/l/
1×frac-times clear-num frac-2neg flip3-+ pow-prod-down associate-*l/ associate-*r/ *-commutative flip-+
Counts
4 → 154
Calls
4 calls:
Slowest
45.0ms
(/ (+ 27000 (* (* d2 d2) d2)) (sqrt (- 900 (* (- 30 d2) d2))))
45.0ms
(* (/ d1 (sqrt (- 900 (* (- 30 d2) d2)))) (/ (+ 27000 (* (* d2 d2) d2)) (sqrt (- 900 (* (- 30 d2) d2)))))
6.0ms
(sqrt (- 900 (* (- 30 d2) d2)))
5.0ms
(sqrt (- 900 (* (- 30 d2) d2)))

series357.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
185.0ms
(* (/ d1 (sqrt (- 900 (* (- 30 d2) d2)))) (/ (+ 27000 (* (* d2 d2) d2)) (sqrt (- 900 (* (- 30 d2) d2)))))
75.0ms
(/ (+ 27000 (* (* d2 d2) d2)) (sqrt (- 900 (* (- 30 d2) d2))))
53.0ms
(sqrt (- 900 (* (- 30 d2) d2)))
44.0ms
(sqrt (- 900 (* (- 30 d2) d2)))

simplify22.0s

Counts
153 → 166
Calls
153 calls:
Slowest
688.0ms
(* (/ (* (* d1 d1) d1) (* (* (sqrt (- 900 (* (- 30 d2) d2))) (sqrt (- 900 (* (- 30 d2) d2)))) (sqrt (- 900 (* (- 30 d2) d2))))) (/ (* (* (+ 27000 (* (* d2 d2) d2)) (+ 27000 (* (* d2 d2) d2))) (+ 27000 (* (* d2 d2) d2))) (* (* (sqrt (- 900 (* (- 30 d2) d2))) (sqrt (- 900 (* (- 30 d2) d2)))) (sqrt (- 900 (* (- 30 d2) d2))))))
602.0ms
(/ d1 (sqrt (- (pow 900 3) (pow (* (- 30 d2) d2) 3))))
544.0ms
(sqrt (- (pow 900 3) (pow (* (- 30 d2) d2) 3)))
539.0ms
(sqrt (- (pow 900 3) (pow (* (- 30 d2) d2) 3)))
427.0ms
(* (* (* (/ d1 (sqrt (- 900 (* (- 30 d2) d2)))) (/ d1 (sqrt (- 900 (* (- 30 d2) d2))))) (/ d1 (sqrt (- 900 (* (- 30 d2) d2))))) (/ (* (* (+ 27000 (* (* d2 d2) d2)) (+ 27000 (* (* d2 d2) d2))) (+ 27000 (* (* d2 d2) d2))) (* (* (sqrt (- 900 (* (- 30 d2) d2))) (sqrt (- 900 (* (- 30 d2) d2)))) (sqrt (- 900 (* (- 30 d2) d2))))))

prune1.9s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes75.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample1.4s

Algorithm
intervals
Results
1.2s9025×body80valid
38.0ms36×body640valid
24.0ms64×body1280valid
3.0ms15×body320valid
1.0ms7×body160valid