Details

Time bar (total: 1.6s)

analyze51.0ms (3.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
50%50%0.1%6
68.7%31.2%0.1%7
81.2%18.7%0.1%8
89%10.9%0.1%9
92.1%7.8%0.1%10
95.6%4.3%0.1%11
96.4%3.5%0.1%12
98%1.9%0.1%13
98.2%1.7%0.1%14
Compiler

Compiled 12 to 8 computations (33.3% saved)

sample866.0ms (55.1%)

Results
839.0ms8256×body128valid
Compiler

Compiled 24 to 16 computations (33.3% saved)

preprocess37.0ms (2.4%)

Algorithm
2×egg-herbie
Rules
968×fma-neg_binary64
788×div-sub_binary64
502×times-frac_binary64
281×associate-/r*_binary64
270×fma-def_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01226
12726
27126
316826
432726
572026
6156622
7407622
022
Stop Event
1×saturated
1×node limit
Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify32.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
546×times-frac_binary64
408×fma-def_binary64
310×div-sub_binary64
277×associate-/l*_binary64
265×associate-/r*_binary64
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
0813
11613
24113
38713
417813
535613
665211
7139811
Stop Event
1×node limit
Counts
1 → 2

prune3.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.0b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶7.3b
(/.f64 x (fma.f64 1/2 (/.f64 x y) -1/2))
12.3b
(/.f64 (*.f64 (*.f64 x 2) y) (-.f64 x y))
Compiler

Compiled 61 to 40 computations (34.4% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓7.3b
(/.f64 x (fma.f64 1/2 (/.f64 x y) -1/2))

series9.0ms (0.6%)

Counts
1 → 24
Calls

6 calls:

2.0ms
(/.f64 x (fma.f64 1/2 (/.f64 x y) -1/2))
x
-inf
1.0ms
(/.f64 x (fma.f64 1/2 (/.f64 x y) -1/2))
x
inf
1.0ms
(/.f64 x (fma.f64 1/2 (/.f64 x y) -1/2))
x
0
1.0ms
(/.f64 x (fma.f64 1/2 (/.f64 x y) -1/2))
y
inf
1.0ms
(/.f64 x (fma.f64 1/2 (/.f64 x y) -1/2))
y
-inf

rewrite39.0ms (2.5%)

Algorithm
1×batch-egg-rewrite
Rules
809×log1p-expm1-u_binary64
809×expm1-log1p-u_binary64
84×add-sqr-sqrt_binary64
79×add-log-exp_binary64
78×add-cube-cbrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0811
117111
2215811
Stop Event
1×node limit
Counts
1 → 33

simplify29.0ms (1.9%)

Algorithm
1×egg-herbie
Rules
411×fma-neg_binary64
367×cancel-sign-sub-inv_binary64
294×associate-/l/_binary64
277×associate-/r/_binary64
216×fma-def_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
040510
1134492
2469444
31988432
Stop Event
1×node limit
Counts
57 → 47

prune30.0ms (1.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New44347
Fresh101
Picked011
Done000
Total45449
Error
0b
Counts
49 → 4
Alt Table
StatusErrorProgram
7.4b
(pow.f64 (/.f64 (fma.f64 1/2 (/.f64 x y) -1/2) x) -1)
✓7.3b
(/.f64 x (fma.f64 1/2 (/.f64 x y) -1/2))
▶7.3b
(*.f64 x (/.f64 1 (fma.f64 1/2 (/.f64 x y) -1/2)))
32.0b
(*.f64 2 y)
Compiler

Compiled 756 to 485 computations (35.8% saved)

localize6.0ms (0.4%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.3b
(/.f64 1 (fma.f64 1/2 (/.f64 x y) -1/2))
✓7.0b
(*.f64 x (/.f64 1 (fma.f64 1/2 (/.f64 x y) -1/2)))

series20.0ms (1.3%)

Counts
2 → 48
Calls

12 calls:

5.0ms
(/.f64 1 (fma.f64 1/2 (/.f64 x y) -1/2))
x
inf
2.0ms
(*.f64 x (/.f64 1 (fma.f64 1/2 (/.f64 x y) -1/2)))
x
-inf
2.0ms
(/.f64 1 (fma.f64 1/2 (/.f64 x y) -1/2))
x
-inf
1.0ms
(*.f64 x (/.f64 1 (fma.f64 1/2 (/.f64 x y) -1/2)))
x
inf
1.0ms
(/.f64 1 (fma.f64 1/2 (/.f64 x y) -1/2))
y
0

rewrite45.0ms (2.9%)

Algorithm
1×batch-egg-rewrite
Rules
895×log1p-expm1-u_binary64
895×expm1-log1p-u_binary64
99×add-sqr-sqrt_binary64
92×add-cbrt-cube_binary64
92×add-log-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01022
120822
2248722
Stop Event
1×node limit
Counts
2 → 48

simplify44.0ms (2.8%)

Algorithm
1×egg-herbie
Rules
654×fma-neg_binary64
416×fma-def_binary64
284×times-frac_binary64
241×distribute-rgt-neg-in_binary64
194×associate-/l*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0691038
1228999
2807876
33350861
Stop Event
1×node limit
Counts
96 → 77

prune47.0ms (3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New77077
Fresh022
Picked011
Done011
Total77481
Error
0b
Counts
81 → 4
Alt Table
StatusErrorProgram
▶7.4b
(pow.f64 (/.f64 (fma.f64 1/2 (/.f64 x y) -1/2) x) -1)
✓7.3b
(/.f64 x (fma.f64 1/2 (/.f64 x y) -1/2))
✓7.3b
(*.f64 x (/.f64 1 (fma.f64 1/2 (/.f64 x y) -1/2)))
32.0b
(*.f64 2 y)
Compiler

Compiled 1173 to 755 computations (35.6% saved)

localize6.0ms (0.4%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.2b
(pow.f64 (/.f64 (fma.f64 1/2 (/.f64 x y) -1/2) x) -1)
✓7.3b
(/.f64 (fma.f64 1/2 (/.f64 x y) -1/2) x)

series37.0ms (2.4%)

Counts
2 → 48
Calls

12 calls:

18.0ms
(/.f64 (fma.f64 1/2 (/.f64 x y) -1/2) x)
x
0
3.0ms
(pow.f64 (/.f64 (fma.f64 1/2 (/.f64 x y) -1/2) x) -1)
y
0
2.0ms
(pow.f64 (/.f64 (fma.f64 1/2 (/.f64 x y) -1/2) x) -1)
x
-inf
2.0ms
(/.f64 (fma.f64 1/2 (/.f64 x y) -1/2) x)
x
-inf
2.0ms
(pow.f64 (/.f64 (fma.f64 1/2 (/.f64 x y) -1/2) x) -1)
x
inf

rewrite62.0ms (4%)

Algorithm
1×batch-egg-rewrite
Rules
461×log-prod_binary64
257×pow2_binary64
179×pow1/3_binary64
176×expm1-udef_binary64
176×log1p-udef_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01025
121222
2260222
Stop Event
1×node limit
Counts
2 → 82

simplify35.0ms (2.3%)

Algorithm
1×egg-herbie
Rules
415×fma-neg_binary64
371×cancel-sign-sub-inv_binary64
294×associate-/l/_binary64
280×associate-/r/_binary64
223×fma-def_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
050714
1156696
2504648
32051636
Stop Event
1×node limit
Counts
130 → 102

prune56.0ms (3.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1020102
Fresh011
Picked011
Done022
Total1024106
Error
0b
Counts
106 → 4
Alt Table
StatusErrorProgram
✓7.4b
(pow.f64 (/.f64 (fma.f64 1/2 (/.f64 x y) -1/2) x) -1)
✓7.3b
(/.f64 x (fma.f64 1/2 (/.f64 x y) -1/2))
✓7.3b
(*.f64 x (/.f64 1 (fma.f64 1/2 (/.f64 x y) -1/2)))
▶32.0b
(*.f64 2 y)
Compiler

Compiled 1598 to 1031 computations (35.5% saved)

localize2.0ms (0.1%)

prune2.0ms (0.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done033
Total044
Error
0b
Counts
4 → 4
Alt Table
StatusErrorProgram
✓7.4b
(pow.f64 (/.f64 (fma.f64 1/2 (/.f64 x y) -1/2) x) -1)
✓7.3b
(/.f64 x (fma.f64 1/2 (/.f64 x y) -1/2))
✓7.3b
(*.f64 x (/.f64 1 (fma.f64 1/2 (/.f64 x y) -1/2)))
✓32.0b
(*.f64 2 y)
Compiler

Compiled 39 to 29 computations (25.6% saved)

regimes50.0ms (3.2%)

Accuracy

Total 0.2b remaining (95.9%)

Threshold costs 0.2b (95.9%)

Counts
16 → 1
Compiler

Compiled 571 to 412 computations (27.8% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01013
11113
Stop Event
1×saturated

end56.0ms (3.5%)

Stop Event
1×done
Compiler

Compiled 61 to 47 computations (23% saved)

Profiling

Loading profile data...