Details

Time bar (total: 2.1s)

analyze6.0ms (0.3%)

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 (52.5%)

Results
1.0s8256×body128valid
Compiler

Compiled 38 to 32 computations (15.8% saved)

simplify36.0ms (1.7%)

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 3 expressions with local error:

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

series10.0ms (0.5%)

Counts
3 → 24
Calls

3 calls:

5.0ms
(sqrt.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)))
3.0ms
(/.f64 (-.f64 1 x) (+.f64 1 x))
2.0ms
(atan.f64 (sqrt.f64 (/.f64 (-.f64 1 x) (+.f64 1 x))))

rewrite21.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
79×*-un-lft-identity_binary64
56×add-sqr-sqrt_binary64
49×times-frac_binary64
30×sqrt-prod_binary64
26×add-cube-cbrt_binary64
Counts
3 → 106
Calls

3 calls:

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

simplify137.0ms (6.4%)

Algorithm
1×egg-herbie
Rules
697×fma-neg_binary64
247×associate-/r*_binary64
244×sub-neg_binary64
227×fma-def_binary64
215×associate-*l*_binary64
Counts
130 → 130
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01822612
14102466
210962454
333532449
447512449
549852449
649202449

prune100.0ms (4.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1282130
Fresh000
Picked011
Done000
Total1283131
Error
0b
Counts
131 → 3
Alt Table
StatusErrorProgram
▶0.0b
(*.f64 2 (atan.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)) 3)))))
0.8b
(*.f64 2 (atan.f64 (-.f64 1 x)))
✓0.0b
(*.f64 2 (atan.f64 (sqrt.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)))))
Compiler

Compiled 2586 to 2113 computations (18.3% saved)

localize9.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series10.0ms (0.5%)

Counts
3 → 36
Calls

3 calls:

5.0ms
(sqrt.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)) 3)))
2.0ms
(cbrt.f64 (pow.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)) 3))
2.0ms
(pow.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)) 3)

rewrite55.0ms (2.6%)

Algorithm
1×rewrite-expression-head
Rules
217×*-un-lft-identity_binary64
153×add-sqr-sqrt_binary64
146×times-frac_binary64
138×cbrt-prod_binary64
92×cube-prod_binary64
Counts
3 → 249
Calls

3 calls:

12.0ms
(sqrt.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)) 3)))
10.0ms
(cbrt.f64 (pow.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)) 3))
8.0ms
(pow.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)) 3)

simplify173.0ms (8.1%)

Algorithm
1×egg-herbie
Rules
918×times-frac_binary64
454×fma-def_binary64
324×unswap-sqr_binary64
220×fma-neg_binary64
145×sqr-pow_binary64
Counts
285 → 228
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02786240
16865862
220745799
347635799
450325799

prune349.0ms (16.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New2940294
Fresh011
Picked011
Done011
Total2943297
Error
0b
Counts
297 → 3
Alt Table
StatusErrorProgram
✓0.0b
(*.f64 2 (atan.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)) 3)))))
▶0.8b
(*.f64 2 (atan.f64 (-.f64 1 x)))
✓0.0b
(*.f64 2 (atan.f64 (sqrt.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)))))
Compiler

Compiled 6617 to 5533 computations (16.4% saved)

localize4.0ms (0.2%)

prune2.0ms (0.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done022
Total033
Error
0b
Counts
3 → 3
Alt Table
StatusErrorProgram
✓0.0b
(*.f64 2 (atan.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)) 3)))))
✓0.8b
(*.f64 2 (atan.f64 (-.f64 1 x)))
✓0.0b
(*.f64 2 (atan.f64 (sqrt.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)))))
Compiler

Compiled 34 to 29 computations (14.7% saved)

regimes36.0ms (1.7%)

Accuracy

Total 0.0b remaining (40%)

Threshold costs 0.0b (40%)

Counts
7 → 1
Compiler

Compiled 522 to 439 computations (15.9% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01017
11617
22017
32217
42317
52217

end55.0ms (2.6%)

Compiler

Compiled 58 to 49 computations (15.5% saved)

Profiling

Loading profile data...