Details

Time bar (total: 21.8s)

sample34.0ms

Algorithm
intervals
Results
21.0ms294×body80valid
1.0ms3×body640valid
0.0ms1×body1280valid
0.0ms1×body320valid

simplify94.0ms

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

prune7.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize8.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))

series47.0ms

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

simplify365.0ms

Counts
18 → 27
Calls
18 calls:
Slowest
140.0ms
(* (* (* d1 d1) d1) (* (* (+ d2 30) (+ d2 30)) (+ d2 30)))
101.0ms
(+ (* d2 d2) (- (* 30 30) (* d2 30)))
20.0ms
(* d1 (+ d2 30))
17.0ms
(+ (* d2 d1) (* 30 d1))
11.0ms
(+ (log d1) (log (+ d2 30)))

prune168.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 2 expressions with local error:

0.2b
(+ (+ (* d1 10) (* d1 d2)) (* d1 20))
0.0b
(+ (* d1 10) (* d1 d2))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
4×sum-log
3×distribute-lft-out
2×add-sqr-sqrt pow1 +-commutative *-un-lft-identity flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ insert-posit16
1×associate-+l+
Counts
2 → 28
Calls
2 calls:
Slowest
25.0ms
(+ (+ (* d1 10) (* d1 d2)) (* d1 20))
7.0ms
(+ (* d1 10) (* d1 d2))

series112.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
67.0ms
(+ (+ (* d1 10) (* d1 d2)) (* d1 20))
45.0ms
(+ (* d1 10) (* d1 d2))

simplify1.7s

Counts
12 → 34
Calls
12 calls:
Slowest
813.0ms
(* (* (exp (* d1 10)) (exp (* d1 d2))) (exp (* d1 20)))
546.0ms
(* (exp (+ (* d1 10) (* d1 d2))) (exp (* d1 20)))
197.0ms
(* (exp (* d1 10)) (exp (* d1 d2)))
20.0ms
(+ (* d2 d1) (* 30 d1))
19.0ms
(+ (+ 10 d2) 20)

prune274.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize15.0ms

Local error

Found 2 expressions with local error:

8.9b
(/ (* d1 (- (* d2 d2) (* 30 30))) (- d2 30))
5.5b
(* d1 (- (* d2 d2) (* 30 30)))

rewrite59.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
37.0ms
(/ (* d1 (- (* d2 d2) (* 30 30))) (- d2 30))
21.0ms
(* d1 (- (* d2 d2) (* 30 30)))

series195.0ms

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

simplify5.4s

Counts
46 → 62
Calls
46 calls:
Slowest
818.0ms
(/ (* (* (* d1 (- (* d2 d2) (* 30 30))) (* d1 (- (* d2 d2) (* 30 30)))) (* d1 (- (* d2 d2) (* 30 30)))) (* (* (- d2 30) (- d2 30)) (- d2 30)))
551.0ms
(- (+ (log d1) (log (- (* d2 d2) (* 30 30)))) (log (- d2 30)))
355.0ms
(/ (* (* (* d1 d1) d1) (* (* (- (* d2 d2) (* 30 30)) (- (* d2 d2) (* 30 30))) (- (* d2 d2) (* 30 30)))) (* (* (- d2 30) (- d2 30)) (- d2 30)))
354.0ms
(/ (- (* d2 d2) (* 30 30)) (- d2 30))
343.0ms
(* d1 (- (pow (* d2 d2) 3) (pow (* 30 30) 3)))

prune395.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

18.0b
(/ (* d1 (+ (pow d2 3) (pow 30 3))) (- 900 (* (- 30 d2) d2)))
3.5b
(* d1 (+ (pow d2 3) (pow 30 3)))
0.0b
(* (- 30 d2) d2)
0.0b
(+ (pow d2 3) (pow 30 3))

rewrite146.0ms

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

series399.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
167.0ms
(/ (* d1 (+ (pow d2 3) (pow 30 3))) (- 900 (* (- 30 d2) d2)))
107.0ms
(* d1 (+ (pow d2 3) (pow 30 3)))
78.0ms
(+ (pow d2 3) (pow 30 3))
47.0ms
(* (- 30 d2) d2)

simplify10.1s

Counts
73 → 108
Calls
73 calls:
Slowest
841.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))))
782.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))))
574.0ms
(* d1 (+ (pow (pow d2 3) 3) (pow (pow 30 3) 3)))
492.0ms
(+ (log d1) (log (+ (pow d2 3) (pow 30 3))))
483.0ms
(/ (+ (pow d2 3) (pow 30 3)) (cbrt (- 900 (* (- 30 d2) d2))))

prune1.1s

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes95.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.0s

Algorithm
intervals
Results
743.0ms9032×body80valid
37.0ms56×body640valid
22.0ms62×body1280valid
4.0ms19×body320valid
2.0ms13×body160valid