Details

Time bar (total: 3.1s)

analyze96.0ms (3.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
25%74.9%0.1%5
37.5%62.4%0.1%6
50%37.5%12.6%7
56.2%31.2%12.6%8
62.4%18.7%18.8%9
65.6%15.6%18.8%10
68.7%9.4%22%11
70.2%7.8%22%12
71.8%4.7%23.5%13
72.6%3.9%23.5%14
Compiler

Compiled 10 to 7 computations (30% saved)

sample739.0ms (24%)

Results
712.0ms8256×body128valid
13.0ms155×body128invalid
Compiler

Compiled 20 to 14 computations (30% saved)

preprocess41.0ms (1.3%)

Algorithm
2×egg-herbie
Rules
303×fma-neg_binary64
296×fma-def_binary64
164×distribute-rgt-in_binary64
100×distribute-lft-in_binary64
92×unsub-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01020
12320
26620
315020
434120
549320
679120
7128720
8160320
9175820
10183020
11183020
12183020
022
Stop Event
1×saturated
1×saturated
Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify18.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
601×fma-def_binary64
148×fma-neg_binary64
84×distribute-rgt-in_binary64
51×cancel-sign-sub-inv_binary64
50×distribute-lft-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11510
23810
38510
419410
529210
644910
769210
8132610
9140210
10143810
Stop Event
1×saturated
Counts
1 → 2

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.1b
Counts
3 → 2
Alt Table
StatusErrorProgram
5.6b
(*.f64 x (fma.f64 y (neg.f64 y) y))
▶0.1b
(*.f64 (*.f64 x y) (-.f64 1 y))
Compiler

Compiled 52 to 31 computations (40.4% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 (*.f64 x y) (-.f64 1 y))

series6.0ms (0.2%)

Counts
1 → 24
Calls

6 calls:

1.0ms
(*.f64 (*.f64 x y) (-.f64 1 y))
x
-inf
1.0ms
(*.f64 (*.f64 x y) (-.f64 1 y))
x
0
1.0ms
(*.f64 (*.f64 x y) (-.f64 1 y))
y
-inf
1.0ms
(*.f64 (*.f64 x y) (-.f64 1 y))
y
inf
1.0ms
(*.f64 (*.f64 x y) (-.f64 1 y))
x
inf

rewrite33.0ms (1.1%)

Algorithm
1×batch-egg-rewrite
Rules
692×log1p-expm1-u_binary64
692×expm1-log1p-u_binary64
132×prod-diff_binary64
128×expm1-udef_binary64
127×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
114510
2183410
Stop Event
1×node limit
Counts
1 → 21

simplify34.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
423×fma-neg_binary64
330×associate-*r*_binary64
269×distribute-rgt-in_binary64
231×cancel-sign-sub-inv_binary64
223×fma-def_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
016232
141232
287232
3203232
4631232
51929232
64328232
Stop Event
1×node limit
Counts
45 → 28

prune22.0ms (0.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New24428
Fresh011
Picked011
Done000
Total24630
Error
0.0b
Counts
30 → 6
Alt Table
StatusErrorProgram
5.6b
(*.f64 x (fma.f64 y (neg.f64 y) y))
✓0.1b
(*.f64 (*.f64 x y) (-.f64 1 y))
29.5b
(pow.f64 (sqrt.f64 (*.f64 x (*.f64 y (-.f64 1 y)))) 2)
6.6b
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 y (-.f64 1 y)))) 3)
13.3b
(/.f64 (*.f64 (-.f64 1 (pow.f64 y 3)) (*.f64 x y)) (+.f64 1 (fma.f64 y y y)))
▶5.6b
(-.f64 (*.f64 y x) (*.f64 (pow.f64 y 2) x))
Compiler

Compiled 412 to 256 computations (37.9% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (*.f64 y x) (*.f64 (pow.f64 y 2) x))
✓9.4b
(*.f64 (pow.f64 y 2) x)

series16.0ms (0.5%)

Counts
2 → 15
Calls

12 calls:

2.0ms
(*.f64 (pow.f64 y 2) x)
x
-inf
2.0ms
(-.f64 (*.f64 y x) (*.f64 (pow.f64 y 2) x))
x
-inf
2.0ms
(-.f64 (*.f64 y x) (*.f64 (pow.f64 y 2) x))
x
inf
2.0ms
(-.f64 (*.f64 y x) (*.f64 (pow.f64 y 2) x))
x
0
1.0ms
(*.f64 (pow.f64 y 2) x)
x
0

rewrite59.0ms (1.9%)

Algorithm
1×batch-egg-rewrite
Rules
873×log1p-expm1-u_binary64
873×expm1-log1p-u_binary64
90×add-sqr-sqrt_binary64
86×add-cbrt-cube_binary64
85×add-log-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0817
118617
2248117
Stop Event
1×node limit
Counts
2 → 68

simplify34.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
522×fma-neg_binary64
390×unsub-neg_binary64
322×fma-def_binary64
321×distribute-rgt-in_binary64
262×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
014142
135142
285142
3227142
4785142
52080142
64655142
Stop Event
1×node limit
Counts
83 → 74

prune59.0ms (1.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New72274
Fresh224
Picked011
Done011
Total74680
Error
0.0b
Counts
80 → 6
Alt Table
StatusErrorProgram
✓0.1b
(*.f64 (*.f64 x y) (-.f64 1 y))
29.5b
(pow.f64 (sqrt.f64 (*.f64 x (*.f64 y (-.f64 1 y)))) 2)
13.3b
(/.f64 (*.f64 (-.f64 1 (pow.f64 y 3)) (*.f64 x y)) (+.f64 1 (fma.f64 y y y)))
✓5.6b
(-.f64 (*.f64 y x) (*.f64 (pow.f64 y 2) x))
31.4b
(-.f64 (*.f64 y x) (pow.f64 (*.f64 y (sqrt.f64 x)) 2))
▶0.5b
(-.f64 (*.f64 y x) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y x))) 3))
Compiler

Compiled 1400 to 382 computations (72.7% saved)

localize6.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (*.f64 y x) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y x))) 3))
✓0.1b
(*.f64 y (*.f64 y x))
✓0.5b
(pow.f64 (cbrt.f64 (*.f64 y (*.f64 y x))) 3)
✓21.6b
(cbrt.f64 (*.f64 y (*.f64 y x)))

series121.0ms (3.9%)

Counts
4 → 48
Calls

24 calls:

51.0ms
(-.f64 (*.f64 y x) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y x))) 3))
x
-inf
19.0ms
(pow.f64 (cbrt.f64 (*.f64 y (*.f64 y x))) 3)
x
-inf
8.0ms
(cbrt.f64 (*.f64 y (*.f64 y x)))
x
-inf
8.0ms
(pow.f64 (cbrt.f64 (*.f64 y (*.f64 y x))) 3)
y
0
3.0ms
(pow.f64 (cbrt.f64 (*.f64 y (*.f64 y x))) 3)
x
0

rewrite55.0ms (1.8%)

Algorithm
1×batch-egg-rewrite
Rules
856×log1p-expm1-u_binary64
856×expm1-log1p-u_binary64
124×egg-rr
86×add-sqr-sqrt_binary64
82×add-cbrt-cube_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0936
119433
2239033
Stop Event
1×node limit
Counts
4 → 124

simplify41.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
528×fma-neg_binary64
389×unsub-neg_binary64
323×distribute-rgt-in_binary64
323×fma-def_binary64
277×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
015400
140400
293400
3244400
4803400
52109400
64688400
Stop Event
1×node limit
Counts
172 → 122

prune99.0ms (3.2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New1202122
Fresh123
Picked011
Done022
Total1217128
Error
0.0b
Counts
128 → 7
Alt Table
StatusErrorProgram
✓5.6b
(-.f64 (*.f64 y x) (*.f64 (pow.f64 y 2) x))
34.1b
(-.f64 (*.f64 y x) (*.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (*.f64 y x))))
✓0.1b
(*.f64 (*.f64 x y) (-.f64 1 y))
13.3b
(/.f64 (*.f64 (-.f64 1 (pow.f64 y 3)) (*.f64 x y)) (+.f64 1 (fma.f64 y y y)))
▶0.5b
(-.f64 (*.f64 y x) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y x))) 2)) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 y (*.f64 y x)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y x))) 2))))
31.4b
(-.f64 (*.f64 y x) (pow.f64 (*.f64 y (sqrt.f64 x)) 2))
✓0.5b
(-.f64 (*.f64 y x) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y x))) 3))
Compiler

Compiled 2108 to 670 computations (68.2% saved)

localize11.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.4b
(pow.f64 (cbrt.f64 (*.f64 y (*.f64 y x))) 2)
✓0.6b
(cbrt.f64 (cbrt.f64 (*.f64 y (*.f64 y x))))
✓13.7b
(cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y x))) 2))
21.6b
(cbrt.f64 (*.f64 y (*.f64 y x)))

series1.1s (36.7%)

Counts
3 → 48
Calls

18 calls:

206.0ms
(cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y x))) 2))
x
-inf
182.0ms
(cbrt.f64 (cbrt.f64 (*.f64 y (*.f64 y x))))
x
-inf
92.0ms
(cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y x))) 2))
y
0
80.0ms
(cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y x))) 2))
y
-inf
79.0ms
(cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y x))) 2))
y
inf

rewrite44.0ms (1.4%)

Algorithm
1×batch-egg-rewrite
Rules
720×log1p-expm1-u_binary64
720×expm1-log1p-u_binary64
149×expm1-udef_binary64
149×log1p-udef_binary64
88×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01037
119537
2213437
Stop Event
1×node limit
Counts
3 → 75

simplify49.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
673×fma-neg_binary64
402×fma-def_binary64
237×associate-*l*_binary64
211×associate-*r*_binary64
182×exp-prod_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
076956
1191860
2450788
31249788
44698788
Stop Event
1×node limit
Counts
123 → 93

prune187.0ms (6.1%)

Pruning

7 alts after pruning (3 fresh and 4 done)

PrunedKeptTotal
New1940194
Fresh033
Picked011
Done033
Total1947201
Error
0.0b
Counts
201 → 7
Alt Table
StatusErrorProgram
✓5.6b
(-.f64 (*.f64 y x) (*.f64 (pow.f64 y 2) x))
34.1b
(-.f64 (*.f64 y x) (*.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (*.f64 y x))))
✓0.1b
(*.f64 (*.f64 x y) (-.f64 1 y))
13.3b
(/.f64 (*.f64 (-.f64 1 (pow.f64 y 3)) (*.f64 x y)) (+.f64 1 (fma.f64 y y y)))
✓0.5b
(-.f64 (*.f64 y x) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y x))) 2)) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 y (*.f64 y x)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y x))) 2))))
31.4b
(-.f64 (*.f64 y x) (pow.f64 (*.f64 y (sqrt.f64 x)) 2))
✓0.5b
(-.f64 (*.f64 y x) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y x))) 3))
Compiler

Compiled 6869 to 2210 computations (67.8% saved)

regimes76.0ms (2.5%)

Accuracy

Total 0.1b remaining (74.9%)

Threshold costs 0.1b (74.9%)

Counts
26 → 1
Compiler

Compiled 1071 to 611 computations (43% 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
0710
11310
21710
31910
42010
Stop Event
1×saturated

end87.0ms (2.8%)

Stop Event
1×fuel
Compiler

Compiled 129 to 74 computations (42.6% saved)

Profiling

Loading profile data...