Details

Time bar (total: 2.5s)

analyze395.0ms (15.8%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
25%75%0%3
25%50%25%4
25%37.5%37.5%5
25%31.2%43.8%6
25%28.1%46.9%7
25%26.5%48.5%8
25%25.8%49.2%9
25%25.4%49.6%10
25%25.2%49.8%11
25%25.1%49.9%12
25%25%50%13
25%25%50%14
Compiler

Compiled 11 to 8 computations (27.3% saved)

sample1.8s (72.3%)

Alt Table
StatusErrorProgram
▶31.3b
(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))
Results
851.0ms8256×body128valid
774.0ms8186×body128invalid
Compiler

Compiled 52 to 37 computations (28.8% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))
✓29.1b
(sqrt.f64 (-.f64 (*.f64 x x) 1))

series10.0ms (0.4%)

Counts
2 → 24
Calls

2 calls:

6.0ms
(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))
4.0ms
(sqrt.f64 (-.f64 (*.f64 x x) 1))

rewrite47.0ms (1.9%)

Algorithm
2×batch-egg-rewrite
Rules
831×log1p-expm1-u_binary64
831×expm1-log1p-u_binary64
85×add-sqr-sqrt_binary64
81×add-log-exp_binary64
80×add-cbrt-cube_binary64
Counts
2 → 48
Calls

2 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0819
117419
2208919
3497419
000
100

prune38.0ms (1.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New70272
Fresh000
Picked011
Done000
Total70373
Error
0b
Counts
73 → 3
Alt Table
StatusErrorProgram
31.3b
(log.f64 (+.f64 x (exp.f64 (log.f64 (sqrt.f64 (fma.f64 x x -1))))))
▶0.5b
(log.f64 (+.f64 x x))
✓31.3b
(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))
Compiler

Compiled 1084 to 824 computations (24% saved)

localize3.0ms (0.1%)

prune2.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New000
Fresh011
Picked011
Done011
Total033
Error
0b
Counts
3 → 3
Alt Table
StatusErrorProgram
▶31.3b
(log.f64 (+.f64 x (exp.f64 (log.f64 (sqrt.f64 (fma.f64 x x -1))))))
✓0.5b
(log.f64 (+.f64 x x))
✓31.3b
(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))
Compiler

Compiled 37 to 26 computations (29.7% saved)

localize9.0ms (0.4%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(log.f64 (+.f64 x (exp.f64 (log.f64 (sqrt.f64 (fma.f64 x x -1))))))
✓5.6b
(exp.f64 (log.f64 (sqrt.f64 (fma.f64 x x -1))))
✓29.1b
(sqrt.f64 (fma.f64 x x -1))

series13.0ms (0.5%)

Counts
3 → 36
Calls

3 calls:

6.0ms
(log.f64 (+.f64 x (exp.f64 (log.f64 (sqrt.f64 (fma.f64 x x -1))))))
4.0ms
(sqrt.f64 (fma.f64 x x -1))
4.0ms
(exp.f64 (log.f64 (sqrt.f64 (fma.f64 x x -1))))

rewrite47.0ms (1.9%)

Algorithm
2×batch-egg-rewrite
Rules
733×log1p-expm1-u_binary64
733×expm1-log1p-u_binary64
615×prod-diff_binary64
77×add-sqr-sqrt_binary64
72×add-log-exp_binary64
Counts
3 → 70
Calls

3 calls:

45.0ms
(log.f64 (+.f64 x (exp.f64 (log.f64 (sqrt.f64 (fma.f64 x x -1))))))
45.0ms
(exp.f64 (log.f64 (sqrt.f64 (fma.f64 x x -1))))
45.0ms
(sqrt.f64 (fma.f64 x x -1))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0926
115626
2185926
3562626
000
100

prune56.0ms (2.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1060106
Fresh000
Picked011
Done022
Total1063109
Error
0b
Counts
109 → 3
Alt Table
StatusErrorProgram
✓31.3b
(log.f64 (+.f64 x (exp.f64 (log.f64 (sqrt.f64 (fma.f64 x x -1))))))
✓0.5b
(log.f64 (+.f64 x x))
✓31.3b
(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))
Compiler

Compiled 1621 to 1247 computations (23.1% saved)

regimes23.0ms (0.9%)

Accuracy

Total 0.5b remaining (91.5%)

Threshold costs 0.5b (91.5%)

Counts
6 → 1
Compiler

Compiled 201 to 142 computations (29.4% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
046
146

end40.0ms (1.6%)

Compiler

Compiled 36 to 24 computations (33.3% saved)

Profiling

Loading profile data...