Details

Time bar (total: 2.2s)

analyze5.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%50%50%3
12.5%25%62.5%4
18.7%12.5%68.8%5
21.9%6.2%71.9%6
23.4%3.1%73.5%7
24.2%1.6%74.2%8
24.6%0.8%74.6%9
24.8%0.4%74.8%10
24.9%0.2%74.9%11
24.9%0.1%75%12
25%0%75%13
25%0%75%14
Compiler

Compiled 15 to 11 computations (26.7% saved)

sample1.7s (75.4%)

Results
1.5s8256×body128valid
0.0ms4×body128invalid
Compiler

Compiled 44 to 32 computations (27.3% saved)

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.0b
(log.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))
Compiler

Compiled 42 to 30 computations (28.6% saved)

localize8.0ms (0.4%)

Local error

Found 3 expressions with local error:

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

series18.0ms (0.8%)

Counts
3 → 36
Calls

3 calls:

9.0ms
(log.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))
5.0ms
(/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)
4.0ms
(+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x))

rewrite78.0ms (3.5%)

Algorithm
1×batch-egg-rewrite
Rules
519×log-prod_binary64
399×fma-def_binary64
203×fma-neg_binary64
189×expm1-udef_binary64
188×log1p-udef_binary64
Counts
3 → 178
Calls

3 calls:

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

Useful iterations: 2 (0.0ms)

IterNodesCost
01050
122350
2293148
3558248

prune165.0ms (7.4%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New2131214
Fresh000
Picked101
Done000
Total2141215
Error
0b
Counts
215 → 1
Alt Table
StatusErrorProgram
▶0b
(*.f64 2 (log.f64 (/.f64 (sqrt.f64 (fma.f64 x (sqrt.f64 (-.f64 1 (*.f64 x x))) x)) x)))
Compiler

Compiled 4354 to 2778 computations (36.2% saved)

localize10.0ms (0.4%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 x (sqrt.f64 (-.f64 1 (*.f64 x x))) x)
✓0.3b
(/.f64 (sqrt.f64 (fma.f64 x (sqrt.f64 (-.f64 1 (*.f64 x x))) x)) x)

series14.0ms (0.6%)

Counts
2 → 20
Calls

2 calls:

11.0ms
(/.f64 (sqrt.f64 (fma.f64 x (sqrt.f64 (-.f64 1 (*.f64 x x))) x)) x)
4.0ms
(fma.f64 x (sqrt.f64 (-.f64 1 (*.f64 x x))) x)

rewrite55.0ms (2.4%)

Algorithm
1×batch-egg-rewrite
Rules
880×log1p-expm1-u_binary64
880×expm1-log1p-u_binary64
258×prod-diff_binary64
91×add-sqr-sqrt_binary64
86×add-cbrt-cube_binary64
Counts
2 → 61
Calls

2 calls:

53.0ms
(fma.f64 x (sqrt.f64 (-.f64 1 (*.f64 x x))) x)
53.0ms
(/.f64 (sqrt.f64 (fma.f64 x (sqrt.f64 (-.f64 1 (*.f64 x x))) x)) x)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0931
118931
2223731
3585131

prune52.0ms (2.3%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New81081
Fresh000
Picked011
Done000
Total81182
Error
0b
Counts
82 → 1
Alt Table
StatusErrorProgram
✓0b
(*.f64 2 (log.f64 (/.f64 (sqrt.f64 (fma.f64 x (sqrt.f64 (-.f64 1 (*.f64 x x))) x)) x)))
Compiler

Compiled 1913 to 1336 computations (30.2% saved)

regimes99.0ms (4.4%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts
34 → 1
Compiler

Compiled 1468 to 1093 computations (25.5% saved)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01223
12023
22623
33023
43223
53123

end43.0ms (1.9%)

Compiler

Compiled 48 to 33 computations (31.3% saved)

Profiling

Loading profile data...