Details

Time bar (total: 4.5s)

analyze398.0ms (8.9%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
50%50%0%2
50%50%0%3
62.5%37.5%0%4
68.7%31.2%0%5
71.8%28.1%0%6
73.4%26.5%0%7
74.2%25.8%0%8
74.6%25.4%0%9
74.8%25.2%0%10
74.9%25.1%0%11
74.9%25%0%12
74.9%25%0%13
75%25%0%14
Compiler

Compiled 11 to 8 computations (27.3% saved)

sample3.3s (74.9%)

Alt Table
StatusErrorProgram
▶53.1b
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
Results
1.6s2713×body1024valid
735.0ms1168×body2048valid
488.0ms1305×body512valid
271.0ms2383×body128valid
152.0ms648×body256valid
32.0ms39×body4096valid
Compiler

Compiled 52 to 37 computations (28.8% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.7b
(+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))
✓4.2b
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
✓13.6b
(sqrt.f64 (+.f64 (*.f64 x x) 1))

series14.0ms (0.3%)

Counts
3 → 36
Calls

3 calls:

7.0ms
(sqrt.f64 (+.f64 (*.f64 x x) 1))
4.0ms
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
3.0ms
(+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))

rewrite49.0ms (1.1%)

Algorithm
2×batch-egg-rewrite
Rules
801×log1p-expm1-u_binary64
801×expm1-log1p-u_binary64
138×log1p-udef_binary64
84×egg-rr
81×add-sqr-sqrt_binary64
Counts
3 → 84
Calls

3 calls:

47.0ms
(+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))
47.0ms
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
47.0ms
(sqrt.f64 (+.f64 (*.f64 x x) 1))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0829
116920
2201420
3502720
000
100

prune61.0ms (1.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1173120
Fresh000
Picked101
Done000
Total1183121
Error
0b
Counts
121 → 3
Alt Table
StatusErrorProgram
▶29.1b
(-.f64 (+.f64 (*.f64 3/40 (pow.f64 x 5)) x) (*.f64 1/6 (pow.f64 x 3)))
45.8b
(log.f64 (+.f64 x (hypot.f64 1 x)))
49.2b
(log.f64 (/.f64 -1/2 x))
Compiler

Compiled 1590 to 1201 computations (24.5% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 3/40 (pow.f64 x 5))
✓0.1b
(*.f64 1/6 (pow.f64 x 3))
✓17.7b
(-.f64 (+.f64 (*.f64 3/40 (pow.f64 x 5)) x) (*.f64 1/6 (pow.f64 x 3)))

series11.0ms (0.2%)

Counts
3 → 6
Calls

3 calls:

4.0ms
(*.f64 3/40 (pow.f64 x 5))
4.0ms
(-.f64 (+.f64 (*.f64 3/40 (pow.f64 x 5)) x) (*.f64 1/6 (pow.f64 x 3)))
3.0ms
(*.f64 1/6 (pow.f64 x 3))

rewrite71.0ms (1.6%)

Algorithm
2×batch-egg-rewrite
Rules
556×fma-def_binary64
289×fma-neg_binary64
231×expm1-udef_binary64
231×log1p-udef_binary64
153×egg-rr
Counts
3 → 153
Calls

3 calls:

66.0ms
(*.f64 3/40 (pow.f64 x 5))
66.0ms
(*.f64 1/6 (pow.f64 x 3))
66.0ms
(-.f64 (+.f64 (*.f64 3/40 (pow.f64 x 5)) x) (*.f64 1/6 (pow.f64 x 3)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01231
127931
2330429
3479029
000
100

prune122.0ms (2.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1590159
Fresh022
Picked011
Done000
Total1593162
Error
0b
Counts
162 → 3
Alt Table
StatusErrorProgram
✓29.1b
(-.f64 (+.f64 (*.f64 3/40 (pow.f64 x 5)) x) (*.f64 1/6 (pow.f64 x 3)))
▶45.8b
(log.f64 (+.f64 x (hypot.f64 1 x)))
49.2b
(log.f64 (/.f64 -1/2 x))
Compiler

Compiled 3477 to 2727 computations (21.6% saved)

localize4.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(hypot.f64 1 x)
✓0.7b
(+.f64 x (hypot.f64 1 x))
✓4.2b
(log.f64 (+.f64 x (hypot.f64 1 x)))

series10.0ms (0.2%)

Counts
3 → 36
Calls

3 calls:

4.0ms
(log.f64 (+.f64 x (hypot.f64 1 x)))
3.0ms
(+.f64 x (hypot.f64 1 x))
2.0ms
(hypot.f64 1 x)

rewrite102.0ms (2.3%)

Algorithm
2×batch-egg-rewrite
Rules
575×log1p-expm1-u_binary64
575×expm1-log1p-u_binary64
462×prod-diff_binary64
347×fma-udef_binary64
185×fma-def_binary64
Counts
3 → 85
Calls

3 calls:

101.0ms
(hypot.f64 1 x)
101.0ms
(+.f64 x (hypot.f64 1 x))
101.0ms
(log.f64 (+.f64 x (hypot.f64 1 x)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0620
112020
2143620
3483120
4480420
5497620
000
100

prune52.0ms (1.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1210121
Fresh011
Picked011
Done011
Total1213124
Error
0b
Counts
124 → 3
Alt Table
StatusErrorProgram
✓29.1b
(-.f64 (+.f64 (*.f64 3/40 (pow.f64 x 5)) x) (*.f64 1/6 (pow.f64 x 3)))
✓45.8b
(log.f64 (+.f64 x (hypot.f64 1 x)))
▶49.2b
(log.f64 (/.f64 -1/2 x))
Compiler

Compiled 1558 to 1173 computations (24.7% saved)

localize3.0ms (0.1%)

prune2.0ms (0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done022
Total033
Error
0b
Counts
3 → 3
Alt Table
StatusErrorProgram
✓29.1b
(-.f64 (+.f64 (*.f64 3/40 (pow.f64 x 5)) x) (*.f64 1/6 (pow.f64 x 3)))
✓45.8b
(log.f64 (+.f64 x (hypot.f64 1 x)))
✓49.2b
(log.f64 (/.f64 -1/2 x))
Compiler

Compiled 26 to 20 computations (23.1% saved)

regimes96.0ms (2.1%)

Accuracy

Total 0.1b remaining (53.1%)

Threshold costs 0.1b (53.1%)

Counts
23 → 3
Compiler

Compiled 705 to 535 computations (24.1% saved)

bsearch44.0ms (1%)

Steps
ItersRangePoint
10
3.08042433273409e-8
805269.0388429543
0.008183541869942034
10
-770347622.350186
-0.0001958338778048188
-1.3291109624821573
Compiler

Compiled 2 to 1 computations (50% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
4×+-commutative_binary64
3×*-commutative_binary64
3×sub-neg_binary64
2×distribute-lft-neg-in_binary64
2×distribute-rgt-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02544
13544
24244
34644
44944
55044
64844

end65.0ms (1.5%)

Compiler

Compiled 88 to 66 computations (25% saved)

Profiling

Loading profile data...