Details

Time bar (total: 2.2s)

analyze10.0ms (0.5%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%50%50%3
25%25%50%4
37.5%12.5%50%5
43.7%6.2%50%6
46.9%3.1%50%7
48.4%1.6%50%8
49.2%0.8%50%9
49.6%0.4%50%10
49.8%0.2%50%11
49.9%0.1%50%12
49.9%0%50%13
49.9%0%50%14
Compiler

Compiled 13 to 11 computations (15.4% saved)

sample1.1s (51.9%)

Results
1.1s8256×body128valid
Compiler

Compiled 38 to 32 computations (15.8% saved)

simplify36.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
396×fma-neg_binary64
375×fma-def_binary64
260×div-sub_binary64
123×times-frac_binary64
116×associate-/l*_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01017
11917
22517
33517
45717
57317
610217
715817
824017
929917
1039117
1153617
1277717
1382617
1479917
1572217

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
(*.f64 2 (atan.f64 (sqrt.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)))))
Compiler

Compiled 36 to 30 computations (16.7% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

series9.0ms (0.4%)

Counts
2 → 24
Calls

2 calls:

6.0ms
(sqrt.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)))
3.0ms
(/.f64 (-.f64 1 x) (+.f64 1 x))

rewrite25.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Rules
78×*-un-lft-identity_binary64
55×add-sqr-sqrt_binary64
49×times-frac_binary64
30×sqrt-prod_binary64
25×add-cube-cbrt_binary64
Counts
2 → 97
Calls

2 calls:

7.0ms
(/.f64 (-.f64 1 x) (+.f64 1 x))
7.0ms
(sqrt.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)))

simplify111.0ms (5%)

Algorithm
1×egg-herbie
Rules
686×fma-neg_binary64
573×div-sub_binary64
247×associate-/r*_binary64
244×sub-neg_binary64
227×fma-def_binary64
Counts
121 → 120
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01722420
13992303
210842291
333392286
447352286
557042286

prune97.0ms (4.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1182120
Fresh000
Picked101
Done000
Total1192121
Error
0b
Counts
121 → 2
Alt Table
StatusErrorProgram
0.0b
(*.f64 2 (atan.f64 (log.f64 (exp.f64 (sqrt.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)))))))
▶0.0b
(*.f64 2 (atan.f64 (sqrt.f64 (exp.f64 (-.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))))))
Compiler

Compiled 2401 to 1958 computations (18.5% saved)

localize8.0ms (0.4%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(sqrt.f64 (exp.f64 (-.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))))
✓0.0b
(-.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))

series11.0ms (0.5%)

Counts
2 → 24
Calls

2 calls:

7.0ms
(sqrt.f64 (exp.f64 (-.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))))
4.0ms
(-.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))

rewrite12.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
24×add-sqr-sqrt_binary64
23×*-un-lft-identity_binary64
19×add-cube-cbrt_binary64
18×prod-diff_binary64
16×sqrt-prod_binary64
Counts
2 → 67
Calls

2 calls:

5.0ms
(sqrt.f64 (exp.f64 (-.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))))
3.0ms
(-.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))

simplify76.0ms (3.5%)

Algorithm
1×egg-herbie
Rules
528×times-frac_binary64
468×fma-def_binary64
441×associate-*l*_binary64
377×associate-*r*_binary64
192×associate-/r*_binary64
Counts
91 → 118
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02151993
14581434
213541376
344451376
450501376

prune74.0ms (3.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1180118
Fresh011
Picked011
Done000
Total1182120
Error
0b
Counts
120 → 2
Alt Table
StatusErrorProgram
▶0.0b
(*.f64 2 (atan.f64 (log.f64 (exp.f64 (sqrt.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)))))))
✓0.0b
(*.f64 2 (atan.f64 (sqrt.f64 (exp.f64 (-.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))))))
Compiler

Compiled 2630 to 1374 computations (47.8% saved)

localize10.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series17.0ms (0.8%)

Counts
2 → 24
Calls

2 calls:

11.0ms
(exp.f64 (sqrt.f64 (/.f64 (-.f64 1 x) (+.f64 1 x))))
6.0ms
(log.f64 (exp.f64 (sqrt.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)))))

rewrite27.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Rules
75×*-un-lft-identity_binary64
66×exp-prod_binary64
60×sqrt-prod_binary64
51×add-sqr-sqrt_binary64
48×times-frac_binary64
Counts
2 → 90
Calls

2 calls:

9.0ms
(log.f64 (exp.f64 (sqrt.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)))))
8.0ms
(exp.f64 (sqrt.f64 (/.f64 (-.f64 1 x) (+.f64 1 x))))

simplify176.0ms (8%)

Algorithm
1×egg-herbie
Rules
946×fma-neg_binary64
408×associate-/r*_binary64
353×associate-+l+_binary64
261×associate--l+_binary64
215×fma-def_binary64
Counts
114 → 139
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01972401
14092178
211522140
343352139
451712139

prune201.0ms (9.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New2590259
Fresh000
Picked011
Done011
Total2592261
Error
0b
Counts
261 → 2
Alt Table
StatusErrorProgram
✓0.0b
(*.f64 2 (atan.f64 (log.f64 (exp.f64 (sqrt.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)))))))
✓0.0b
(*.f64 2 (atan.f64 (sqrt.f64 (exp.f64 (-.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))))))
Compiler

Compiled 5946 to 4957 computations (16.6% saved)

regimes97.0ms (4.4%)

Accuracy

Total 0.0b remaining (37%)

Threshold costs 0.0b (37%)

Counts
21 → 1
Compiler

Compiled 1594 to 1373 computations (13.9% saved)

simplify2.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
01119
11819
22319
32619
42719
52719

end53.0ms (2.4%)

Compiler

Compiled 50 to 42 computations (16% saved)

Profiling

Loading profile data...