Details

Time bar (total: 4.5s)

analyze414.0ms (9.1%)

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
49.9%49.9%0.2%6
49.9%49.9%0.2%7
49.9%49.9%0.2%8
49.9%49.9%0.2%9
49.9%49.9%0.2%10
74.8%24.9%0.2%11
74.8%24.9%0.2%12
74.8%24.9%0.2%13
74.8%24.9%0.2%14
Compiler

Compiled 15 to 10 computations (33.3% saved)

sample1.5s (32.7%)

Results
1.3s8256×body128valid
Compiler

Compiled 44 to 29 computations (34.1% saved)

simplify91.0ms (2%)

Algorithm
1×egg-herbie
Rules
946×fma-def_binary64
719×fma-neg_binary64
235×cancel-sign-sub-inv_binary64
163×distribute-rgt-in_binary64
116×distribute-lft-in_binary64
Counts
1 → 2
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01013
11613
23111
36211
413011
523111
639011
763911
895511
9127211
10138111
11144911
12147411
13147111
14147111
15139811

prune6.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Compiled 76 to 45 computations (40.8% saved)

localize12.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

series74.0ms (1.6%)

Counts
2 → 88
Calls

2 calls:

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

rewrite15.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
20×*-un-lft-identity_binary64
20×add-sqr-sqrt_binary64
15×times-frac_binary64
12×add-cube-cbrt_binary64
5×associate-/l*_binary64
Counts
2 → 50
Calls

2 calls:

9.0ms
(/.f64 (-.f64 z t) a)
1.0ms
(fma.f64 y (/.f64 (-.f64 z t) a) x)

simplify121.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
699×distribute-rgt-in_binary64
686×distribute-lft-in_binary64
589×times-frac_binary64
434×fma-def_binary64
215×div-sub_binary64
Counts
138 → 77
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01091877
12381462
25291460
313441460
449471460
550501460

prune89.0ms (2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New73477
Fresh101
Picked101
Done000
Total75479
Error
0b
Counts
79 → 4
Alt Table
StatusErrorProgram
2.9b
(fma.f64 y (/.f64 1 (/.f64 a (-.f64 z t))) x)
33.7b
(fma.f64 y (*.f64 (/.f64 1 (sqrt.f64 a)) (/.f64 (-.f64 z t) (sqrt.f64 a))) x)
▶1.9b
(fma.f64 (/.f64 y a) (-.f64 z t) x)
8.2b
(-.f64 (+.f64 (/.f64 (*.f64 y z) a) x) (/.f64 (*.f64 y t) a))
Compiler

Compiled 1161 to 337 computations (71% saved)

localize11.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓1.9b
(fma.f64 (/.f64 y a) (-.f64 z t) x)

series43.0ms (1%)

Counts
1 → 60
Calls

1 calls:

43.0ms
(fma.f64 (/.f64 y a) (-.f64 z t) x)

rewrite2.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
1×*-un-lft-identity_binary64
1×add-sqr-sqrt_binary64
1×add-cube-cbrt_binary64
1×add-cbrt-cube_binary64
1×add-exp-log_binary64
Counts
1 → 10
Calls

1 calls:

1.0ms
(fma.f64 (/.f64 y a) (-.f64 z t) x)

simplify132.0ms (2.9%)

Algorithm
1×egg-herbie
Rules
429×distribute-lft-neg-out_binary64
429×distribute-rgt-neg-out_binary64
368×distribute-rgt-in_binary64
367×distribute-lft-in_binary64
237×distribute-rgt-out_binary64
Counts
70 → 26
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0381133
175750
2165733
3447733
42165733
54627733
64940733

prune19.0ms (0.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New26026
Fresh033
Picked011
Done000
Total26430
Error
0b
Counts
30 → 4
Alt Table
StatusErrorProgram
▶2.9b
(fma.f64 y (/.f64 1 (/.f64 a (-.f64 z t))) x)
33.7b
(fma.f64 y (*.f64 (/.f64 1 (sqrt.f64 a)) (/.f64 (-.f64 z t) (sqrt.f64 a))) x)
✓1.9b
(fma.f64 (/.f64 y a) (-.f64 z t) x)
8.2b
(-.f64 (+.f64 (/.f64 (*.f64 y z) a) x) (/.f64 (*.f64 y t) a))
Compiler

Compiled 393 to 132 computations (66.4% saved)

localize10.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series68.0ms (1.5%)

Counts
3 → 120
Calls

3 calls:

35.0ms
(fma.f64 y (/.f64 1 (/.f64 a (-.f64 z t))) x)
17.0ms
(/.f64 a (-.f64 z t))
16.0ms
(/.f64 1 (/.f64 a (-.f64 z t)))

rewrite29.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
138×times-frac_binary64
103×*-un-lft-identity_binary64
103×add-sqr-sqrt_binary64
71×add-cube-cbrt_binary64
26×associate-/r*_binary64
Counts
3 → 159
Calls

3 calls:

7.0ms
(/.f64 1 (/.f64 a (-.f64 z t)))
4.0ms
(/.f64 a (-.f64 z t))
0.0ms
(fma.f64 y (/.f64 1 (/.f64 a (-.f64 z t))) x)

simplify236.0ms (5.2%)

Algorithm
1×egg-herbie
Rules
727×fma-neg_binary64
346×times-frac_binary64
328×associate-/l*_binary64
274×fma-def_binary64
229×associate-/r*_binary64
Counts
279 → 228
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02024651
14213949
212163759
341433759
449633759

prune291.0ms (6.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New2280228
Fresh022
Picked011
Done011
Total2284232
Error
0b
Counts
232 → 4
Alt Table
StatusErrorProgram
✓2.9b
(fma.f64 y (/.f64 1 (/.f64 a (-.f64 z t))) x)
33.7b
(fma.f64 y (*.f64 (/.f64 1 (sqrt.f64 a)) (/.f64 (-.f64 z t) (sqrt.f64 a))) x)
✓1.9b
(fma.f64 (/.f64 y a) (-.f64 z t) x)
▶8.2b
(-.f64 (+.f64 (/.f64 (*.f64 y z) a) x) (/.f64 (*.f64 y t) a))
Compiler

Compiled 4273 to 1488 computations (65.2% saved)

localize20.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series90.0ms (2%)

Counts
4 → 27
Calls

4 calls:

29.0ms
(-.f64 (+.f64 (/.f64 (*.f64 y z) a) x) (/.f64 (*.f64 y t) a))
24.0ms
(/.f64 (*.f64 y t) a)
21.0ms
(/.f64 (*.f64 y z) a)
16.0ms
(+.f64 (/.f64 (*.f64 y z) a) x)

rewrite30.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
51×*-un-lft-identity_binary64
30×add-sqr-sqrt_binary64
28×prod-diff_binary64
28×add-cube-cbrt_binary64
24×times-frac_binary64
Counts
4 → 126
Calls

4 calls:

9.0ms
(-.f64 (+.f64 (/.f64 (*.f64 y z) a) x) (/.f64 (*.f64 y t) a))
5.0ms
(+.f64 (/.f64 (*.f64 y z) a) x)
3.0ms
(/.f64 (*.f64 y z) a)
3.0ms
(/.f64 (*.f64 y t) a)

simplify128.0ms (2.8%)

Algorithm
1×egg-herbie
Rules
900×times-frac_binary64
728×fma-def_binary64
192×cancel-sign-sub-inv_binary64
179×fma-neg_binary64
144×neg-mul-1_binary64
Counts
153 → 189
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02083562
15292239
218601914
342811914
449171914
548971914

prune173.0ms (3.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1890189
Fresh011
Picked011
Done022
Total1894193
Error
0b
Counts
193 → 4
Alt Table
StatusErrorProgram
✓2.9b
(fma.f64 y (/.f64 1 (/.f64 a (-.f64 z t))) x)
33.7b
(fma.f64 y (*.f64 (/.f64 1 (sqrt.f64 a)) (/.f64 (-.f64 z t) (sqrt.f64 a))) x)
✓1.9b
(fma.f64 (/.f64 y a) (-.f64 z t) x)
✓8.2b
(-.f64 (+.f64 (/.f64 (*.f64 y z) a) x) (/.f64 (*.f64 y t) a))
Compiler

Compiled 4362 to 780 computations (82.1% saved)

regimes830.0ms (18.3%)

Accuracy

Total 1.0b remaining (97.9%)

Threshold costs 0b (0%)

Counts
49 → 3
Compiler

Compiled 6478 to 4317 computations (33.4% saved)

bsearch2.0ms (0.1%)

Compiler

Compiled 10 to 7 computations (30% saved)

simplify7.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
3×+-commutative_binary64
2×*-commutative_binary64
2×sub-neg_binary64
1×neg-sub0_binary64
1×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01950
12650
23150
33350
43450
53450

end111.0ms (2.5%)

Compiler

Compiled 143 to 77 computations (46.2% saved)

Profiling

Loading profile data...