Details

Time bar (total: 7.1s)

analyze1.3s (18.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
0%99.8%0.2%9
3.5%96.2%0.2%10
9.2%90.6%0.2%11
13.7%86%0.2%12
22.1%77.7%0.2%13
23%76.7%0.2%14
Compiler

Compiled 19 to 12 computations (36.8% saved)

sample1.4s (20.1%)

Results
882.0ms6957×body128valid
149.0ms505×body512valid
125.0ms349×body1024valid
90.0ms732×body128invalid
83.0ms380×body256valid
29.0ms65×body2048valid
Compiler

Compiled 56 to 35 computations (37.5% saved)

simplify128.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
1303×div-sub_binary64
658×fma-def_binary64
640×sub-neg_binary64
569×unsub-neg_binary64
393×neg-mul-1_binary64
Counts
1 → 2
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01219
12319
25819
314317
434417
596717
6228217
7364617
8370017
9409717
10425317
11454317
12471917
13547817

prune3.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
12.3b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶13.4b
(fma.f64 y (/.f64 (-.f64 t z) (-.f64 a t)) (+.f64 x y))
16.9b
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
Compiler

Compiled 100 to 56 computations (44% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (-.f64 t z) (-.f64 a t))
✓4.2b
(fma.f64 y (/.f64 (-.f64 t z) (-.f64 a t)) (+.f64 x y))

series61.0ms (0.9%)

Counts
2 → 96
Calls

2 calls:

40.0ms
(fma.f64 y (/.f64 (-.f64 t z) (-.f64 a t)) (+.f64 x y))
20.0ms
(/.f64 (-.f64 t z) (-.f64 a t))

rewrite12.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
38×*-un-lft-identity_binary64
38×add-sqr-sqrt_binary64
25×times-frac_binary64
14×add-cube-cbrt_binary64
12×distribute-lft-out--_binary64
Counts
2 → 64
Calls

2 calls:

6.0ms
(/.f64 (-.f64 t z) (-.f64 a t))
2.0ms
(fma.f64 y (/.f64 (-.f64 t z) (-.f64 a t)) (+.f64 x y))

simplify119.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
671×times-frac_binary64
644×fma-neg_binary64
523×cancel-sign-sub-inv_binary64
397×sub-neg_binary64
195×div-sub_binary64
Counts
160 → 137
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02734255
17404157
224803550
344303531
451673531

prune122.0ms (1.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1316137
Fresh101
Picked101
Done000
Total1336139
Error
0.0b
Counts
139 → 6
Alt Table
StatusErrorProgram
26.9b
(+.f64 y (+.f64 x (*.f64 (/.f64 y a) (-.f64 t z))))
36.6b
(*.f64 (-.f64 (+.f64 1 (/.f64 t (-.f64 a t))) (/.f64 z (-.f64 a t))) y)
▶13.4b
(fma.f64 y (/.f64 1 (/.f64 (-.f64 a t) (-.f64 t z))) (+.f64 x y))
29.0b
(-.f64 (+.f64 x (*.f64 (+.f64 1 (/.f64 a t)) (/.f64 (*.f64 y z) t))) (*.f64 y (*.f64 (+.f64 1 (/.f64 a t)) (/.f64 a t))))
24.8b
(+.f64 x (*.f64 (/.f64 y t) (-.f64 z a)))
26.8b
(-.f64 (+.f64 (/.f64 (*.f64 y z) t) x) (/.f64 (*.f64 a y) t))
Compiler

Compiled 3576 to 1200 computations (66.4% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (-.f64 a t) (-.f64 t z))
✓0.3b
(/.f64 1 (/.f64 (-.f64 a t) (-.f64 t z)))
✓4.2b
(fma.f64 y (/.f64 1 (/.f64 (-.f64 a t) (-.f64 t z))) (+.f64 x y))

series86.0ms (1.2%)

Counts
3 → 132
Calls

3 calls:

42.0ms
(fma.f64 y (/.f64 1 (/.f64 (-.f64 a t) (-.f64 t z))) (+.f64 x y))
22.0ms
(/.f64 1 (/.f64 (-.f64 a t) (-.f64 t z)))
22.0ms
(/.f64 (-.f64 a t) (-.f64 t z))

rewrite38.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
218×times-frac_binary64
195×*-un-lft-identity_binary64
195×add-sqr-sqrt_binary64
91×add-cube-cbrt_binary64
52×distribute-lft-out--_binary64
Counts
3 → 214
Calls

3 calls:

9.0ms
(/.f64 1 (/.f64 (-.f64 a t) (-.f64 t z)))
6.0ms
(/.f64 (-.f64 a t) (-.f64 t z))
0.0ms
(fma.f64 y (/.f64 1 (/.f64 (-.f64 a t) (-.f64 t z))) (+.f64 x y))

simplify196.0ms (2.8%)

Algorithm
1×egg-herbie
Rules
672×cancel-sign-sub-inv_binary64
565×sub-neg_binary64
292×fma-neg_binary64
225×+-commutative_binary64
218×associate--r+_binary64
Counts
346 → 344
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03988897
110398416
236808214
354598214

prune204.0ms (2.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New3440344
Fresh055
Picked011
Done000
Total3446350
Error
0.0b
Counts
350 → 6
Alt Table
StatusErrorProgram
26.9b
(+.f64 y (+.f64 x (*.f64 (/.f64 y a) (-.f64 t z))))
36.6b
(*.f64 (-.f64 (+.f64 1 (/.f64 t (-.f64 a t))) (/.f64 z (-.f64 a t))) y)
✓13.4b
(fma.f64 y (/.f64 1 (/.f64 (-.f64 a t) (-.f64 t z))) (+.f64 x y))
29.0b
(-.f64 (+.f64 x (*.f64 (+.f64 1 (/.f64 a t)) (/.f64 (*.f64 y z) t))) (*.f64 y (*.f64 (+.f64 1 (/.f64 a t)) (/.f64 a t))))
▶24.8b
(+.f64 x (*.f64 (/.f64 y t) (-.f64 z a)))
26.8b
(-.f64 (+.f64 (/.f64 (*.f64 y z) t) x) (/.f64 (*.f64 a y) t))
Compiler

Compiled 9419 to 2857 computations (69.7% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 x (*.f64 (/.f64 y t) (-.f64 z a)))
✓4.9b
(*.f64 (/.f64 y t) (-.f64 z a))

series44.0ms (0.6%)

Counts
2 → 108
Calls

2 calls:

26.0ms
(+.f64 x (*.f64 (/.f64 y t) (-.f64 z a)))
18.0ms
(*.f64 (/.f64 y t) (-.f64 z a))

rewrite21.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
46×add-sqr-sqrt_binary64
41×*-un-lft-identity_binary64
39×add-cube-cbrt_binary64
36×prod-diff_binary64
26×associate-+r+_binary64
Counts
2 → 108
Calls

2 calls:

8.0ms
(*.f64 (/.f64 y t) (-.f64 z a))
4.0ms
(+.f64 x (*.f64 (/.f64 y t) (-.f64 z a)))

simplify121.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
660×fma-def_binary64
488×distribute-rgt-in_binary64
459×distribute-lft-in_binary64
280×fma-neg_binary64
153×exp-prod_binary64
Counts
216 → 178
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02293204
14732592
215282538
346182538
450002538
549482538

prune122.0ms (1.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1762178
Fresh224
Picked011
Done011
Total1786184
Error
0b
Counts
184 → 6
Alt Table
StatusErrorProgram
26.9b
(+.f64 y (+.f64 x (*.f64 (/.f64 y a) (-.f64 t z))))
✓13.4b
(fma.f64 y (/.f64 1 (/.f64 (-.f64 a t) (-.f64 t z))) (+.f64 x y))
▶25.9b
(+.f64 x (/.f64 (neg.f64 y) (/.f64 t (-.f64 a z))))
26.8b
(+.f64 x (/.f64 (*.f64 (-.f64 z a) y) t))
29.0b
(-.f64 (+.f64 x (*.f64 (+.f64 1 (/.f64 a t)) (/.f64 (*.f64 y z) t))) (*.f64 y (*.f64 (+.f64 1 (/.f64 a t)) (/.f64 a t))))
✓24.8b
(+.f64 x (*.f64 (/.f64 y t) (-.f64 z a)))
Compiler

Compiled 3686 to 868 computations (76.5% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 x (/.f64 (neg.f64 y) (/.f64 t (-.f64 a z))))
✓0.0b
(/.f64 t (-.f64 a z))
✓4.5b
(/.f64 (neg.f64 y) (/.f64 t (-.f64 a z)))

series74.0ms (1%)

Counts
3 → 132
Calls

3 calls:

29.0ms
(+.f64 x (/.f64 (neg.f64 y) (/.f64 t (-.f64 a z))))
28.0ms
(/.f64 (neg.f64 y) (/.f64 t (-.f64 a z)))
16.0ms
(/.f64 t (-.f64 a z))

rewrite86.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Rules
390×times-frac_binary64
255×*-un-lft-identity_binary64
253×add-sqr-sqrt_binary64
179×add-cube-cbrt_binary64
66×distribute-lft-neg-in_binary64
Counts
3 → 318
Calls

3 calls:

34.0ms
(+.f64 x (/.f64 (neg.f64 y) (/.f64 t (-.f64 a z))))
11.0ms
(/.f64 (neg.f64 y) (/.f64 t (-.f64 a z)))
4.0ms
(/.f64 t (-.f64 a z))

simplify206.0ms (2.9%)

Algorithm
1×egg-herbie
Rules
574×fma-def_binary64
416×associate-/r/_binary64
312×associate-/l/_binary64
279×associate-*l/_binary64
275×associate-/l*_binary64
Counts
450 → 444
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
048610143
111899713
248239645
353889645

prune255.0ms (3.6%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New4431444
Fresh123
Picked011
Done022
Total4446450
Error
0b
Counts
450 → 6
Alt Table
StatusErrorProgram
29.0b
(-.f64 (+.f64 x (*.f64 (+.f64 1 (/.f64 a t)) (/.f64 (*.f64 y z) t))) (*.f64 y (*.f64 (+.f64 1 (/.f64 a t)) (/.f64 a t))))
26.8b
(+.f64 x (*.f64 (/.f64 -1 t) (*.f64 (-.f64 a z) y)))
26.9b
(+.f64 y (+.f64 x (*.f64 (/.f64 y a) (-.f64 t z))))
✓13.4b
(fma.f64 y (/.f64 1 (/.f64 (-.f64 a t) (-.f64 t z))) (+.f64 x y))
✓25.9b
(+.f64 x (/.f64 (neg.f64 y) (/.f64 t (-.f64 a z))))
✓24.8b
(+.f64 x (*.f64 (/.f64 y t) (-.f64 z a)))
Compiler

Compiled 9543 to 2094 computations (78.1% saved)

regimes2.3s (32.6%)

Accuracy

Total 4.9b remaining (98.5%)

Threshold costs 0b (0%)

Counts
157 → 5
Compiler

Compiled 18336 to 11334 computations (38.2% saved)

bsearch5.0ms (0.1%)

Compiler

Compiled 18 to 11 computations (38.9% saved)

simplify25.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
71×distribute-rgt-neg-in_binary64
60×cancel-sign-sub-inv_binary64
48×distribute-lft-neg-in_binary64
44×neg-sub0_binary64
44×neg-mul-1_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
039180
161154
282154
3108152
4125152
5146152
6157152
7163152
8177152
9192152
10219152
11256152
12304152
13347152
14368152
15384152
16390152
17395152
18400152
19402152
20398152

end88.0ms (1.3%)

Compiler

Compiled 324 to 145 computations (55.2% saved)

Profiling

Loading profile data...