Details

Time bar (total: 8.7s)

sample24.0ms

Algorithm
intervals
Results
9.0ms348×body80valid

simplify676.0ms

Counts
1 → 1
Iterations

Useful iterations: 5 (50.0ms)

IterNodesCost
099
1169
2329
3679
41489
52428
63278
73998
84578
95798
105968
done5968

prune7.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite11.0ms

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

series84.0ms

Counts
2 → 6
Calls
2 calls:
32.0ms
(/ (- t z) a)
52.0ms
(fma (/ (- t z) a) y x)

simplify1.8s

Counts
56 → 56
Iterations

Useful iterations: 4 (648.0ms)

IterNodesCost
095558
1194536
2432500
31089490
43089489
done5000489

prune163.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
103×add-sqr-sqrt *-un-lft-identity
71×add-cube-cbrt
26×associate-/r*
16×add-exp-log distribute-lft-out-- difference-of-squares
11×associate-/r/
10×add-cbrt-cube
8×div-exp
6×div-inv associate-/l*
5×flip3-- flip--
4×pow1 cbrt-undiv
3×expm1-log1p-u log1p-expm1-u add-log-exp
2×rec-exp frac-2neg 1-exp clear-num
1×pow-flip fma-udef inv-pow
Counts
3 → 159
Calls
3 calls:
5.0ms
(/ a (- t z))
10.0ms
(/ 1 (/ a (- t z)))
0.0ms
(fma (/ 1 (/ a (- t z))) y x)

series126.0ms

Counts
3 → 9
Calls
3 calls:
35.0ms
(/ a (- t z))
35.0ms
(/ 1 (/ a (- t z)))
56.0ms
(fma (/ 1 (/ a (- t z))) y x)

simplify2.0s

Counts
168 → 168
Iterations

Useful iterations: done (2.0s)

IterNodesCost
02282280
14791939
29771704
325381642
done50001641

prune313.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite90.0ms

Algorithm
rewrite-expression-head
Rules
246×times-frac
172×*-un-lft-identity
170×add-sqr-sqrt
120×add-cube-cbrt
68×fma-def
26×associate-/r*
25×distribute-lft-out-- difference-of-squares
18×associate-/r/
10×add-exp-log add-cbrt-cube div-inv
8×flip3-- flip--
6×associate-/l*
5×add-log-exp
4×cbrt-undiv div-exp
3×pow1 expm1-log1p-u log1p-expm1-u
2×frac-2neg clear-num
1×+-commutative flip3-+ sum-log flip-+ distribute-lft-out
Counts
3 → 225
Calls
3 calls:
5.0ms
(/ a (- t z))
61.0ms
(+ (/ y (/ a (- t z))) x)
9.0ms
(/ y (/ a (- t z)))

series142.0ms

Counts
3 → 9
Calls
3 calls:
30.0ms
(/ a (- t z))
55.0ms
(+ (/ y (/ a (- t z))) x)
57.0ms
(/ y (/ a (- t z)))

simplify812.0ms

Counts
234 → 234
Iterations

Useful iterations: 2 (214.0ms)

IterNodesCost
02512339
15592186
218282093
done50002093

prune676.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 1 expressions with local error:

2.5b
(fma (/ y a) (- t z) x)

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
0.0ms
(fma (/ y a) (- t z) x)

series46.0ms

Counts
1 → 3
Calls
1 calls:
46.0ms
(fma (/ y a) (- t z) x)

simplify760.0ms

Counts
13 → 13
Iterations

Useful iterations: 3 (28.0ms)

IterNodesCost
024154
141154
292138
3219123
4987123
done5001123

prune35.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

regimes187.0ms

Accuracy

45.9% (1.4b remaining)

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

bsearch85.0ms

Steps
ItersRangePoint
7
1.6177227840808692e-162
1.2226609533383404e-160
6.102226148835496e-161
7
-1.8985754831455064e-66
-5.754632274452905e-68
-1.875169924565739e-66

simplify2.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02338
12738
done2738

end0.0ms

sample631.0ms

Algorithm
intervals
Results
308.0ms10761×body80valid