Details

Time bar (total: 6.0s)

sample31.0ms

Algorithm
intervals
Results
10.0ms224×body80valid
2.0ms15×body640valid
1.0ms18×body320valid
1.0ms11×body1280valid
1.0ms11×body160valid

simplify86.0ms

Counts
1 → 1
Iterations

Useful iterations: 4 (15.0ms)

IterNodesCost
0226
1526
21116
32136
45175
510515
620555
732805
850025
done50025

prune9.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 12.8b

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ y (- a t))
13.8b
(fma (/ y (- a t)) (- t z) (+ x y))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt *-un-lft-identity
15×times-frac
12×add-cube-cbrt
5×associate-/r*
4×add-exp-log add-cbrt-cube distribute-lft-out-- difference-of-squares
3×associate-/l*
2×pow1 expm1-log1p-u associate-/r/ log1p-expm1-u add-log-exp
1×cbrt-undiv flip3-- frac-2neg div-exp clear-num flip-- fma-udef div-inv
Counts
2 → 49
Calls
2 calls:
12.0ms
(/ y (- a t))
0.0ms
(fma (/ y (- a t)) (- t z) (+ x y))

series123.0ms

Counts
2 → 6
Calls
2 calls:
31.0ms
(/ y (- a t))
91.0ms
(fma (/ y (- a t)) (- t z) (+ x y))

simplify48.0ms

Counts
55 → 55
Iterations

Useful iterations: 1 (7.0ms)

IterNodesCost
0170278
1468257
21400257
35002257
done5002257

prune190.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 6.6b

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- a t) y)
0.5b
(/ 1 (/ (- a t) y))
13.7b
(fma (/ 1 (/ (- a t) y)) (- t z) (+ x y))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
132×times-frac
101×add-sqr-sqrt *-un-lft-identity
69×add-cube-cbrt
22×associate-/r*
16×add-exp-log distribute-lft-out-- difference-of-squares
10×add-cbrt-cube
8×div-exp associate-/l*
6×div-inv
4×pow1 cbrt-undiv
3×expm1-log1p-u log1p-expm1-u add-log-exp
2×rec-exp frac-2neg 1-exp clear-num associate-/l/
1×flip3-- pow-flip div-sub associate-/r/ flip-- fma-udef inv-pow
Counts
3 → 152
Calls
3 calls:
17.0ms
(/ (- a t) y)
18.0ms
(/ 1 (/ (- a t) y))
0.0ms
(fma (/ 1 (/ (- a t) y)) (- t z) (+ x y))

series209.0ms

Counts
3 → 9
Calls
3 calls:
29.0ms
(/ (- a t) y)
79.0ms
(/ 1 (/ (- a t) y))
101.0ms
(fma (/ 1 (/ (- a t) y)) (- t z) (+ x y))

simplify55.0ms

Counts
161 → 161
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
04661086
11950958
25001852
done5001852

prune344.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 6.6b

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- a t) y)
3.4b
(+ (/ (- t z) (/ (- a t) y)) (+ x y))
10.9b
(/ (- t z) (/ (- a t) y))

rewrite211.0ms

Algorithm
rewrite-expression-head
Rules
370×times-frac
309×*-un-lft-identity
304×add-sqr-sqrt
152×add-cube-cbrt
100×fma-def
76×distribute-lft-out-- difference-of-squares
22×associate-/r*
14×div-inv
10×add-exp-log add-cbrt-cube associate-/l*
8×add-log-exp
4×cbrt-undiv div-exp associate-/l/
3×pow1 expm1-log1p-u div-sub sum-log log1p-expm1-u distribute-lft-out
2×flip3-- frac-2neg flip3-+ frac-add clear-num associate-/r/ flip-- flip-+
1×+-commutative associate-+l- associate-+r+
Counts
3 → 299
Calls
3 calls:
18.0ms
(/ (- a t) y)
138.0ms
(+ (/ (- t z) (/ (- a t) y)) (+ x y))
32.0ms
(/ (- t z) (/ (- a t) y))

series403.0ms

Counts
3 → 9
Calls
3 calls:
33.0ms
(/ (- a t) y)
246.0ms
(+ (/ (- t z) (/ (- a t) y)) (+ x y))
125.0ms
(/ (- t z) (/ (- a t) y))

simplify102.0ms

Counts
308 → 308
Iterations

Useful iterations: 2 (83.0ms)

IterNodesCost
08921815
135651754
250011752
done50011752

prune861.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 3.1b

localize21.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
3.6b
(/ (* (cbrt (- t z)) (cbrt (- t z))) (/ (* (cbrt (- a t)) (cbrt (- a t))) (* (cbrt y) (cbrt y))))
12.7b
(fma (/ (* (cbrt (- t z)) (cbrt (- t z))) (/ (* (cbrt (- a t)) (cbrt (- a t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (- t z)) (/ (cbrt (- a t)) (cbrt y))) (+ x y))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
45×add-exp-log
19×add-cbrt-cube
18×cbrt-undiv div-exp
13×prod-exp cbrt-unprod
12×cbrt-div
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-/l/
7×times-frac
6×cbrt-prod flip3-- flip--
5×associate-/r*
4×pow1 expm1-log1p-u frac-times log1p-expm1-u add-log-exp
3×div-inv
2×pow1/3 associate-*r/ associate-*l/
1×frac-2neg clear-num associate-/r/ fma-udef associate-/l*
Counts
4 → 88
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
41.0ms
(/ (* (cbrt (- t z)) (cbrt (- t z))) (/ (* (cbrt (- a t)) (cbrt (- a t))) (* (cbrt y) (cbrt y))))
0.0ms
(fma (/ (* (cbrt (- t z)) (cbrt (- t z))) (/ (* (cbrt (- a t)) (cbrt (- a t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (- t z)) (/ (cbrt (- a t)) (cbrt y))) (+ x y))

series1.5s

Counts
4 → 12
Calls
4 calls:
186.0ms
(cbrt y)
192.0ms
(cbrt y)
356.0ms
(/ (* (cbrt (- t z)) (cbrt (- t z))) (/ (* (cbrt (- a t)) (cbrt (- a t))) (* (cbrt y) (cbrt y))))
790.0ms
(fma (/ (* (cbrt (- t z)) (cbrt (- t z))) (/ (* (cbrt (- a t)) (cbrt (- a t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (- t z)) (/ (cbrt (- a t)) (cbrt y))) (+ x y))

simplify64.0ms

Counts
100 → 100
Iterations

Useful iterations: 2 (54.0ms)

IterNodesCost
04621426
122411116
250011016
done50011016

prune385.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 3.1b

regimes315.0ms

Accuracy

39.3% (4.9b remaining)

Error of 8.0b against oracle of 3.1b and baseline of 11.2b

bsearch97.0ms

Steps
ItersRangePoint
7
1.3117186922518368e+92
2.8263588712796393e+93
4.1353266180722703e+92
9
-1.3369289895841206e+59
-5.892119085235431e+53
-1.1798649418320112e+59

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03549
13549
done3549

end0.0ms

sample740.0ms

Algorithm
intervals
Results
229.0ms7357×body80valid
56.0ms476×body640valid
38.0ms287×body1280valid
32.0ms410×body320valid
13.0ms235×body160valid
3.0ms20×body2560valid