Details

Time bar (total: 4.0s)

analyze1.2s (28.9%)

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
6.2%93.6%0.2%8
6.2%93.6%0.2%9
9.4%90.4%0.2%10
22.2%77.6%0.2%11
40.4%59.5%0.2%12
47.4%52.4%0.2%13
55.3%44.5%0.2%14
Compiler

Compiled 22 to 15 computations (31.8% saved)

sample1.2s (31.1%)

Results
1.2s8256×body128valid
Compiler

Compiled 65 to 44 computations (32.3% saved)

simplify56.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
508×fma-neg_binary64
504×associate-*l/_binary64
466×div-sub_binary64
450×cancel-sign-sub-inv_binary64
403×sub-neg_binary64
Counts
1 → 2
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01425
13025
27025
317722
448619
5108719
6253419
7443419
8515619

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
2.0b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶2.6b
(-.f64 x (/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z)))))
11.1b
(-.f64 x (/.f64 (*.f64 (*.f64 y 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 y t))))
Compiler

Compiled 110 to 70 computations (36.4% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 x (/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z)))))
✓4.6b
(/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))
✓5.8b
(/.f64 (*.f64 y t) (*.f64 2 z))

series96.0ms (2.4%)

Counts
3 → 120
Calls

3 calls:

46.0ms
(-.f64 x (/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z)))))
29.0ms
(/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))
21.0ms
(/.f64 (*.f64 y t) (*.f64 2 z))

rewrite116.0ms (2.9%)

Algorithm
2×batch-egg-rewrite
Rules
267×expm1-udef_binary64
267×log1p-udef_binary64
146×add-sqr-sqrt_binary64
140×log1p-expm1-u_binary64
140×expm1-log1p-u_binary64
Counts
3 → 128
Calls

3 calls:

110.0ms
(-.f64 x (/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z)))))
110.0ms
(/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))
110.0ms
(/.f64 (*.f64 y t) (*.f64 2 z))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01245
127945
2415545
3498945
4493945
000
100

simplify114.0ms (2.8%)

Algorithm
1×egg-herbie
Rules
621×fma-neg_binary64
529×times-frac_binary64
345×associate-/l*_binary64
300×associate-/r*_binary64
245×associate-*r*_binary64
Counts
248 → 166
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0912594
12732584
28992544
342722534
449572534

prune125.0ms (3.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New1633166
Fresh011
Picked101
Done000
Total1644168
Error
0.0b
Counts
168 → 4
Alt Table
StatusErrorProgram
▶2.6b
(-.f64 x (pow.f64 (/.f64 (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))) y) -1))
11.1b
(-.f64 x (/.f64 (*.f64 (*.f64 y 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 y t))))
25.2b
(fma.f64 2 (/.f64 z t) x)
21.4b
(-.f64 x (/.f64 y z))
Compiler

Compiled 3742 to 2059 computations (45% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 x (pow.f64 (/.f64 (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))) y) -1))
✓0.4b
(pow.f64 (/.f64 (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))) y) -1)
✓4.5b
(/.f64 (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))) y)
5.8b
(/.f64 (*.f64 y t) (*.f64 2 z))

series96.0ms (2.4%)

Counts
3 → 120
Calls

3 calls:

49.0ms
(-.f64 x (pow.f64 (/.f64 (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))) y) -1))
27.0ms
(pow.f64 (/.f64 (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))) y) -1)
19.0ms
(/.f64 (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))) y)

rewrite88.0ms (2.2%)

Algorithm
2×batch-egg-rewrite
Rules
297×log1p-udef_binary64
166×add-sqr-sqrt_binary64
159×log1p-expm1-u_binary64
159×expm1-log1p-u_binary64
154×add-cbrt-cube_binary64
Counts
3 → 119
Calls

3 calls:

85.0ms
(-.f64 x (pow.f64 (/.f64 (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))) y) -1))
85.0ms
(pow.f64 (/.f64 (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))) y) -1)
85.0ms
(/.f64 (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))) y)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01457
132351
2466951
3509551
000
100

simplify140.0ms (3.5%)

Algorithm
1×egg-herbie
Rules
621×fma-neg_binary64
529×times-frac_binary64
349×associate-/l*_binary64
300×associate-/r*_binary64
244×associate-*r*_binary64
Counts
239 → 161
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0972636
12872626
29212532
343112522
449862522
549942522
649542522

prune143.0ms (3.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New2141215
Fresh123
Picked101
Done000
Total2163219
Error
0b
Counts
219 → 3
Alt Table
StatusErrorProgram
25.2b
(fma.f64 2 (/.f64 z t) x)
21.4b
(-.f64 x (/.f64 y z))
▶0.1b
(-.f64 x (pow.f64 (fma.f64 -1/2 (/.f64 t z) (/.f64 z y)) -1))
Compiler

Compiled 4850 to 2753 computations (43.2% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 x (pow.f64 (fma.f64 -1/2 (/.f64 t z) (/.f64 z y)) -1))
✓0.4b
(pow.f64 (fma.f64 -1/2 (/.f64 t z) (/.f64 z y)) -1)

series63.0ms (1.6%)

Counts
2 → 84
Calls

2 calls:

37.0ms
(-.f64 x (pow.f64 (fma.f64 -1/2 (/.f64 t z) (/.f64 z y)) -1))
26.0ms
(pow.f64 (fma.f64 -1/2 (/.f64 t z) (/.f64 z y)) -1)

rewrite67.0ms (1.7%)

Algorithm
2×batch-egg-rewrite
Rules
578×prod-diff_binary64
237×expm1-udef_binary64
237×log1p-udef_binary64
133×add-sqr-sqrt_binary64
126×log1p-expm1-u_binary64
Counts
2 → 80
Calls

2 calls:

65.0ms
(-.f64 x (pow.f64 (fma.f64 -1/2 (/.f64 t z) (/.f64 z y)) -1))
65.0ms
(pow.f64 (fma.f64 -1/2 (/.f64 t z) (/.f64 z y)) -1)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01231
126231
2330931
3518631
000
100

simplify84.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
615×fma-neg_binary64
529×times-frac_binary64
332×associate-/l*_binary64
297×associate-/r*_binary64
235×associate-*r*_binary64
Counts
164 → 118
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0922232
12692222
28812182
341932172
450032172

prune87.0ms (2.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1180118
Fresh022
Picked011
Done000
Total1183121
Error
0b
Counts
121 → 3
Alt Table
StatusErrorProgram
25.2b
(fma.f64 2 (/.f64 z t) x)
▶21.4b
(-.f64 x (/.f64 y z))
✓0.1b
(-.f64 x (pow.f64 (fma.f64 -1/2 (/.f64 t z) (/.f64 z y)) -1))
Compiler

Compiled 3359 to 1726 computations (48.6% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 x (/.f64 y z))

series9.0ms (0.2%)

Counts
1 → 9
Calls

1 calls:

9.0ms
(-.f64 x (/.f64 y z))

rewrite59.0ms (1.5%)

Algorithm
2×batch-egg-rewrite
Rules
760×log1p-expm1-u_binary64
760×expm1-log1p-u_binary64
532×prod-diff_binary64
106×egg-rr
72×add-sqr-sqrt_binary64
Counts
1 → 106
Calls

1 calls:

54.0ms
(-.f64 x (/.f64 y z))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
11357
218847
357587
000
100

simplify10.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
14×fma-def_binary64
8×sub-neg_binary64
4×+-commutative_binary64
4×fma-neg_binary64
3×*-commutative_binary64
Counts
115 → 109
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0729
11129
21729
32329
42929
53529
64029
74529
85329
95029
104129

prune48.0ms (1.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1090109
Fresh011
Picked011
Done011
Total1093112
Error
0b
Counts
112 → 3
Alt Table
StatusErrorProgram
25.2b
(fma.f64 2 (/.f64 z t) x)
✓21.4b
(-.f64 x (/.f64 y z))
✓0.1b
(-.f64 x (pow.f64 (fma.f64 -1/2 (/.f64 t z) (/.f64 z y)) -1))
Compiler

Compiled 2899 to 805 computations (72.2% saved)

regimes113.0ms (2.8%)

Accuracy

Total 0.1b remaining (86.3%)

Threshold costs 0.1b (86.3%)

Counts
16 → 1
Compiler

Compiled 1528 to 1072 computations (29.8% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01217
11417
21817
32017
42117
52117

end57.0ms (1.4%)

Compiler

Compiled 67 to 46 computations (31.3% saved)

Profiling

Loading profile data...