Details

Time bar (total: 13.3s)

sample45.0ms

Algorithm
intervals
Results
19.0ms266×body80valid

simplify35.0ms

Counts
1 → 1

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.3b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (+ a 1.0) (/ (* y b) t))
4.3b
(/ (* y z) t)
4.6b
(/ (* y b) t)
13.0b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite147.0ms

Algorithm
rewrite-expression-head
Rules
61×*-un-lft-identity
26×times-frac
24×distribute-lft-out
19×add-sqr-sqrt add-cube-cbrt
16×add-exp-log add-cbrt-cube
11×associate-/r*
9×add-log-exp
6×associate-/l*
5×cbrt-undiv flip3-+ div-exp flip-+
4×pow1 frac-add associate-/r/
3×frac-2neg clear-num sum-log div-inv
2×prod-exp cbrt-unprod associate-/l/
1×+-commutative associate-+l+
Counts
4 → 106
Calls
4 calls:
39.0ms
(+ (+ a 1.0) (/ (* y b) t))
10.0ms
(/ (* y z) t)
13.0ms
(/ (* y b) t)
81.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series229.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(+ (+ a 1.0) (/ (* y b) t))
31.0ms
(/ (* y z) t)
25.0ms
(/ (* y b) t)
137.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify767.0ms

Counts
118 → 118

prune461.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 10.9b

localize32.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
3.5b
(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
4.3b
(/ (* y z) t)
13.0b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

rewrite198.0ms

Algorithm
rewrite-expression-head
Rules
47×add-sqr-sqrt
43×times-frac
39×*-un-lft-identity
32×add-exp-log
31×add-cube-cbrt
25×add-cbrt-cube
22×associate-*r*
14×cbrt-prod
10×cbrt-undiv div-exp
9×prod-exp cbrt-unprod
8×associate-/r/
7×associate-*l*
6×pow1 frac-add associate-/r* unswap-sqr
5×flip3-+ flip-+ associate-/l*
4×div-inv distribute-lft-out add-log-exp
3×frac-times associate-*r/ associate-*l/
2×frac-2neg clear-num associate-/l/
1×pow1/3 pow-prod-down *-commutative
Counts
4 → 132
Calls
4 calls:
2.0ms
(cbrt t)
71.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
18.0ms
(/ (* y z) t)
97.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

series554.0ms

Counts
4 → 12
Calls
4 calls:
238.0ms
(cbrt t)
78.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
29.0ms
(/ (* y z) t)
208.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

simplify1.2s

Counts
144 → 144

prune601.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 10.7b

localize21.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
3.5b
(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
4.1b
(* y (/ z t))
13.0b
(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

rewrite131.0ms

Algorithm
rewrite-expression-head
Rules
57×add-sqr-sqrt
47×times-frac
36×add-cube-cbrt *-un-lft-identity
35×associate-*r*
32×add-exp-log
25×add-cbrt-cube
14×cbrt-prod
10×associate-*l* prod-exp cbrt-unprod
9×cbrt-undiv div-exp
8×pow1 associate-/r/ unswap-sqr
6×frac-add
5×flip3-+ flip-+
4×associate-*r/ div-inv add-log-exp
3×frac-times associate-*l/ associate-/r* associate-/l*
2×pow-prod-down *-commutative associate-/l/
1×frac-2neg pow1/3 clear-num
Counts
4 → 139
Calls
4 calls:
1.0ms
(cbrt t)
48.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
14.0ms
(* y (/ z t))
62.0ms
(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

series457.0ms

Counts
4 → 12
Calls
4 calls:
223.0ms
(cbrt t)
54.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
26.0ms
(* y (/ z t))
155.0ms
(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

simplify1.6s

Counts
151 → 151

prune717.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 10.7b

localize47.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
3.4b
(* (/ y (* (cbrt t) (cbrt t))) (/ (* (cbrt b) (cbrt b)) (cbrt 1)))
4.1b
(* y (/ z t))
13.0b
(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (* (* (/ y (* (cbrt t) (cbrt t))) (/ (* (cbrt b) (cbrt b)) (cbrt 1))) (/ (cbrt b) (cbrt t)))))

rewrite157.0ms

Algorithm
rewrite-expression-head
Rules
47×add-exp-log
45×add-sqr-sqrt
38×times-frac
29×add-cbrt-cube
28×*-un-lft-identity
26×add-cube-cbrt
23×associate-*r*
17×prod-exp cbrt-unprod
16×associate-/r/
14×cbrt-undiv div-exp frac-add
11×frac-times associate-*l/
10×cbrt-prod associate-*l* unswap-sqr
9×flip3-+ flip-+
8×pow1 associate-*r/
4×div-inv add-log-exp
3×associate-/r* associate-/l*
2×pow-prod-down *-commutative associate-/l/
1×frac-2neg pow1/3 clear-num
Counts
4 → 143
Calls
4 calls:
1.0ms
(cbrt t)
56.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ (* (cbrt b) (cbrt b)) (cbrt 1)))
14.0ms
(* y (/ z t))
79.0ms
(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (* (* (/ y (* (cbrt t) (cbrt t))) (/ (* (cbrt b) (cbrt b)) (cbrt 1))) (/ (cbrt b) (cbrt t)))))

series584.0ms

Counts
4 → 12
Calls
4 calls:
287.0ms
(cbrt t)
110.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ (* (cbrt b) (cbrt b)) (cbrt 1)))
33.0ms
(* y (/ z t))
154.0ms
(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (* (* (/ y (* (cbrt t) (cbrt t))) (/ (* (cbrt b) (cbrt b)) (cbrt 1))) (/ (cbrt b) (cbrt t)))))

simplify1.7s

Counts
155 → 155

prune877.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 10.7b

regimes612.0ms

Accuracy

-10.1% (6.1b remaining)

Error of 16.8b against oracle of 10.7b and baseline of 16.3b

bsearch98.0ms

Steps
ItersRangePoint
7
7.519088318537357e-199
2.5436250634974332e-197
2.5169594849587127e-197
5
-9.629592718262021e+31
-3.8588992466565663e+31
-3.89960207249468e+31

simplify722.0ms

end0.0ms

sample1.3s

Algorithm
intervals
Results
725.0ms8285×body80valid