Details

Time bar (total: 2.5s)

analyze475.0ms (19.2%)

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
0%99.9%0.1%5
0%99.9%0.1%6
12.5%87.4%0.1%7
18.7%81.1%0.1%8
23.4%71%5.6%9
35.1%56.2%8.7%10
41%49.9%9.1%11
45.1%41.2%13.7%12
52.6%31.2%16.2%13
56.3%27.3%16.4%14
Compiler

Compiled 11 to 7 computations (36.4% saved)

sample863.0ms (34.8%)

Results
759.0ms8256×body128valid
89.0ms929×body128invalid
Compiler

Compiled 22 to 14 computations (36.4% saved)

preprocess15.0ms (0.6%)

Algorithm
2×egg-herbie
Rules
8×fma-def_binary64
4×+-commutative_binary64
4×*-commutative_binary64
4×associate-/l*_binary64
4×associate-/r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01540
12740
23332
34132
44532
033
Stop Event
1×saturated
1×saturated
Compiler

Compiled 10 to 6 computations (40% saved)

simplify6.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
2×fma-def_binary64
1×+-commutative_binary64
1×*-commutative_binary64
1×associate-/l*_binary64
1×associate-/r/_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0710
11010
2128
3148
4158
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.0b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.1b
(fma.f64 y (/.f64 y z) x)
5.6b
(+.f64 x (/.f64 (*.f64 y y) z))
Compiler

Compiled 54 to 30 computations (44.4% saved)

localize7.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.1b
(fma.f64 y (/.f64 y z) x)

series10.0ms (0.4%)

Counts
1 → 36
Calls

9 calls:

1.0ms
(fma.f64 y (/.f64 y z) x)
y
-inf
1.0ms
(fma.f64 y (/.f64 y z) x)
y
inf
1.0ms
(fma.f64 y (/.f64 y z) x)
x
-inf
1.0ms
(fma.f64 y (/.f64 y z) x)
x
0
1.0ms
(fma.f64 y (/.f64 y z) x)
x
inf

rewrite38.0ms (1.5%)

Algorithm
1×batch-egg-rewrite
Rules
612×log1p-expm1-u_binary64
612×expm1-log1p-u_binary64
323×log-prod_binary64
119×expm1-udef_binary64
119×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
068
11248
216358
Stop Event
1×node limit
Counts
1 → 29

simplify47.0ms (1.9%)

Algorithm
1×egg-herbie
Rules
434×unswap-sqr_binary64
423×associate-*r/_binary64
392×associate-/r*_binary64
388×associate-/r/_binary64
331×*-commutative_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
08303
114303
223303
340249
487249
5271249
61088249
73509249
84341249
94551249
104767249
Stop Event
1×node limit
Counts
65 → 34

prune16.0ms (0.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New33134
Fresh011
Picked011
Done000
Total33336
Error
0.0b
Counts
36 → 3
Alt Table
StatusErrorProgram
✓0.1b
(fma.f64 y (/.f64 y z) x)
▶5.6b
(+.f64 x (/.f64 (*.f64 y y) z))
30.8b
(pow.f64 (sqrt.f64 (fma.f64 y (/.f64 y z) x)) 2)
Compiler

Compiled 430 to 135 computations (68.6% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 x (/.f64 (*.f64 y y) z))
✓10.4b
(/.f64 (*.f64 y y) z)

series40.0ms (1.6%)

Counts
2 → 60
Calls

15 calls:

21.0ms
(+.f64 x (/.f64 (*.f64 y y) z))
z
-inf
2.0ms
(/.f64 (*.f64 y y) z)
z
-inf
2.0ms
(+.f64 x (/.f64 (*.f64 y y) z))
x
0
2.0ms
(+.f64 x (/.f64 (*.f64 y y) z))
x
-inf
1.0ms
(+.f64 x (/.f64 (*.f64 y y) z))
x
inf

rewrite44.0ms (1.8%)

Algorithm
1×batch-egg-rewrite
Rules
855×expm1-log1p-u_binary64
741×prod-diff_binary64
81×add-sqr-sqrt_binary64
78×log1p-expm1-u_binary64
77×add-cbrt-cube_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0717
115617
2228917
Stop Event
1×node limit
Counts
2 → 70

simplify60.0ms (2.4%)

Algorithm
1×egg-herbie
Rules
434×unswap-sqr_binary64
423×associate-*r/_binary64
397×associate-/r/_binary64
392×associate-/r*_binary64
335×*-commutative_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
08471
114471
223471
340417
487417
5271417
61094417
73526417
84358417
94568417
104784417
Stop Event
1×node limit
Counts
130 → 75

prune38.0ms (1.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New72375
Fresh101
Picked011
Done011
Total73578
Error
0.0b
Counts
78 → 5
Alt Table
StatusErrorProgram
✓0.1b
(fma.f64 y (/.f64 y z) x)
✓5.6b
(+.f64 x (/.f64 (*.f64 y y) z))
▶5.7b
(+.f64 x (pow.f64 (/.f64 z (*.f64 y y)) -1))
30.1b
(+.f64 x (pow.f64 (/.f64 y (sqrt.f64 z)) 2))
5.9b
(+.f64 x (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 z) 2)) (/.f64 (*.f64 y y) (cbrt.f64 z))))
Compiler

Compiled 1057 to 393 computations (62.8% saved)

localize5.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 x (pow.f64 (/.f64 z (*.f64 y y)) -1))
✓0.6b
(pow.f64 (/.f64 z (*.f64 y y)) -1)
✓10.3b
(/.f64 z (*.f64 y y))

series111.0ms (4.5%)

Counts
3 → 84
Calls

21 calls:

14.0ms
(pow.f64 (/.f64 z (*.f64 y y)) -1)
z
-inf
13.0ms
(pow.f64 (/.f64 z (*.f64 y y)) -1)
z
0
11.0ms
(pow.f64 (/.f64 z (*.f64 y y)) -1)
z
inf
9.0ms
(+.f64 x (pow.f64 (/.f64 z (*.f64 y y)) -1))
x
-inf
7.0ms
(/.f64 z (*.f64 y y))
z
0

rewrite70.0ms (2.8%)

Algorithm
1×batch-egg-rewrite
Rules
653×prod-diff_binary64
191×fma-def_binary64
171×expm1-udef_binary64
171×log1p-udef_binary64
157×log-pow_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0930
119724
2273024
Stop Event
1×node limit
Counts
3 → 137

simplify69.0ms (2.8%)

Algorithm
1×egg-herbie
Rules
434×unswap-sqr_binary64
423×associate-*r/_binary64
401×associate-/r/_binary64
343×associate-/l/_binary64
332×*-commutative_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
09639
115639
225639
343585
495585
5293585
61135585
73179585
84011585
94221585
104437585
114769585
Stop Event
1×node limit
Counts
221 → 143

prune100.0ms (4.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1403143
Fresh202
Picked011
Done112
Total1435148
Error
0.0b
Counts
148 → 5
Alt Table
StatusErrorProgram
✓0.1b
(fma.f64 y (/.f64 y z) x)
✓5.7b
(+.f64 x (pow.f64 (/.f64 z (*.f64 y y)) -1))
5.9b
(+.f64 x (pow.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) 1) (/.f64 (cbrt.f64 z) (*.f64 y y))) -1))
0.2b
(+.f64 x (pow.f64 (*.f64 (/.f64 z y) (/.f64 1 y)) -1))
▶0.1b
(+.f64 x (/.f64 y (/.f64 z y)))
Compiler

Compiled 1948 to 933 computations (52.1% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 x (/.f64 y (/.f64 z y)))
✓0.2b
(/.f64 y (/.f64 z y))

series23.0ms (0.9%)

Counts
2 → 60
Calls

15 calls:

3.0ms
(+.f64 x (/.f64 y (/.f64 z y)))
y
0
2.0ms
(/.f64 y (/.f64 z y))
z
-inf
2.0ms
(+.f64 x (/.f64 y (/.f64 z y)))
x
inf
2.0ms
(+.f64 x (/.f64 y (/.f64 z y)))
x
0
1.0ms
(+.f64 x (/.f64 y (/.f64 z y)))
x
-inf

rewrite49.0ms (2%)

Algorithm
1×batch-egg-rewrite
Rules
927×prod-diff_binary64
919×expm1-log1p-u_binary64
84×add-sqr-sqrt_binary64
80×log1p-expm1-u_binary64
79×add-cbrt-cube_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0717
116015
2246815
Stop Event
1×node limit
Counts
2 → 77

simplify54.0ms (2.2%)

Algorithm
1×egg-herbie
Rules
434×unswap-sqr_binary64
423×associate-*r/_binary64
397×associate-/r/_binary64
392×associate-/r*_binary64
335×*-commutative_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
08471
114471
223471
340417
487417
5271417
61094417
73526417
84358417
94568417
104784417
Stop Event
1×node limit
Counts
137 → 80

prune57.0ms (2.3%)

Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New77380
Fresh022
Picked011
Done022
Total77885
Error
0b
Counts
85 → 8
Alt Table
StatusErrorProgram
34.8b
(+.f64 x (*.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (/.f64 y z))))
✓5.7b
(+.f64 x (pow.f64 (/.f64 z (*.f64 y y)) -1))
0.5b
(+.f64 x (*.f64 (*.f64 (/.f64 y z) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y)))
✓0.1b
(fma.f64 y (/.f64 y z) x)
35.8b
(+.f64 x (*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) (/.f64 1 y))))
5.9b
(+.f64 x (pow.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) 1) (/.f64 (cbrt.f64 z) (*.f64 y y))) -1))
0.2b
(+.f64 x (pow.f64 (*.f64 (/.f64 z y) (/.f64 1 y)) -1))
✓0.1b
(+.f64 x (/.f64 y (/.f64 z y)))
Compiler

Compiled 1138 to 402 computations (64.7% saved)

regimes149.0ms (6%)

Accuracy

Total 0.1b remaining (92.4%)

Threshold costs 0.1b (92.4%)

Counts
26 → 1
Compiler

Compiled 2255 to 1455 computations (35.5% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
068
Stop Event
1×saturated

end112.0ms (4.5%)

Stop Event
1×fuel
Compiler

Compiled 129 to 81 computations (37.2% saved)

Profiling

Loading profile data...