Details

Time bar (total: 2.6s)

analyze6.0ms (0.2%)

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

Results
1.1s8256×body128valid
Compiler

Compiled 38 to 32 computations (15.8% saved)

simplify36.0ms (1.4%)

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))

series11.0ms (0.4%)

Counts
3 → 24
Calls

3 calls:

6.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 (0.8%)

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))))

simplify134.0ms (5.1%)

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

prune106.0ms (4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Compiled 2600 to 2121 computations (18.4% saved)

localize11.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series10.0ms (0.4%)

Counts
3 → 36
Calls

3 calls:

4.0ms
(*.f64 (*.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)) (/.f64 (-.f64 1 x) (+.f64 1 x))) (/.f64 (-.f64 1 x) (+.f64 1 x)))
3.0ms
(*.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)) (/.f64 (-.f64 1 x) (+.f64 1 x)))
3.0ms
(cbrt.f64 (*.f64 (*.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)) (/.f64 (-.f64 1 x) (+.f64 1 x))) (/.f64 (-.f64 1 x) (+.f64 1 x))))

rewrite103.0ms (3.9%)

Algorithm
1×rewrite-expression-head
Rules
290×*-un-lft-identity_binary64
173×times-frac_binary64
153×add-sqr-sqrt_binary64
66×add-cube-cbrt_binary64
65×add-cbrt-cube_binary64
Counts
3 → 246
Calls

3 calls:

24.0ms
(*.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)) (/.f64 (-.f64 1 x) (+.f64 1 x)))
23.0ms
(*.f64 (*.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)) (/.f64 (-.f64 1 x) (+.f64 1 x))) (/.f64 (-.f64 1 x) (+.f64 1 x)))
17.0ms
(cbrt.f64 (*.f64 (*.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)) (/.f64 (-.f64 1 x) (+.f64 1 x))) (/.f64 (-.f64 1 x) (+.f64 1 x))))

simplify244.0ms (9.4%)

Algorithm
1×egg-herbie
Rules
666×distribute-rgt-in_binary64
463×fma-def_binary64
251×associate-*l*_binary64
246×associate-*r/_binary64
220×associate-*r*_binary64
Counts
282 → 306
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02738813
17976605
227725889
352995889

prune521.0ms (20%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New5040504
Fresh000
Picked011
Done011
Total5042506
Error
0b
Counts
506 → 2
Alt Table
StatusErrorProgram
✓0.0b
(*.f64 2 (atan.f64 (sqrt.f64 (cbrt.f64 (*.f64 (*.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)) (/.f64 (-.f64 1 x) (+.f64 1 x))) (/.f64 (-.f64 1 x) (+.f64 1 x)))))))
✓0.0b
(*.f64 2 (atan.f64 (sqrt.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)))))
Compiler

Compiled 17957 to 14159 computations (21.2% saved)

regimes197.0ms (7.5%)

Accuracy

Total 0.0b remaining (27.4%)

Threshold costs 0.0b (27.4%)

Counts
45 → 1
Compiler

Compiled 4636 to 3908 computations (15.7% saved)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01343
12043
22443
32643
42743
52643

end68.0ms (2.6%)

Compiler

Compiled 99 to 79 computations (20.2% saved)

Profiling

Loading profile data...