Details

Time bar (total: 2.2s)

analyze70.0ms (3.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
25%74.9%0.1%5
50%50%0.1%6
62.4%31.2%6.3%7
71.8%21.9%6.3%8
76.5%14%9.5%9
80.4%10.1%9.5%10
82.3%6.6%11%11
84.1%4.9%11%12
85%3.2%11.8%13
85.8%2.4%11.8%14
Compiler

Compiled 12 to 10 computations (16.7% saved)

sample808.0ms (36.9%)

Results
786.0ms8256×body128valid
7.0ms82×body128invalid
Compiler

Compiled 24 to 20 computations (16.7% saved)

preprocess19.0ms (0.9%)

Algorithm
2×egg-herbie
Rules
36×fma-def_binary64
24×distribute-rgt-in_binary64
22×distribute-lft-in_binary64
15×*-commutative_binary64
14×associate-*l*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01420
12620
24916
39716
416816
518016
022
Stop Event
1×saturated
1×saturated
Compiler

Compiled 11 to 9 computations (18.2% saved)

simplify7.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
18×fma-def_binary64
13×distribute-lft-in_binary64
13×distribute-rgt-in_binary64
10×*-commutative_binary64
9×associate-*l*_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01110
11810
2338
3658
41018
51078
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.2b
Counts
3 → 2
Alt Table
StatusErrorProgram
0.2b
(*.f64 (*.f64 (-.f64 x (/.f64 16 116)) 3) y)
▶0.2b
(*.f64 (fma.f64 x 3 -12/29) y)
Compiler

Compiled 55 to 43 computations (21.8% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 x 3 -12/29)
✓0.2b
(*.f64 (fma.f64 x 3 -12/29) y)

series8.0ms (0.4%)

Counts
2 → 36
Calls

9 calls:

2.0ms
(*.f64 (fma.f64 x 3 -12/29) y)
y
inf
1.0ms
(*.f64 (fma.f64 x 3 -12/29) y)
y
-inf
1.0ms
(*.f64 (fma.f64 x 3 -12/29) y)
y
0
1.0ms
(*.f64 (fma.f64 x 3 -12/29) y)
x
-inf
1.0ms
(*.f64 (fma.f64 x 3 -12/29) y)
x
inf

rewrite38.0ms (1.7%)

Algorithm
1×batch-egg-rewrite
Rules
583×log1p-expm1-u_binary64
583×expm1-log1p-u_binary64
287×log-prod_binary64
173×pow2_binary64
123×expm1-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0713
114113
2156113
Stop Event
1×node limit
Counts
2 → 50

simplify33.0ms (1.5%)

Algorithm
1×egg-herbie
Rules
315×fma-def_binary64
170×fma-neg_binary64
60×cancel-sign-sub-inv_binary64
48×distribute-rgt-neg-in_binary64
29×distribute-rgt-in_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
014345
129240
252240
369240
4110240
5192240
6343240
7622240
8916240
91021240
101023240
Stop Event
1×saturated
Counts
86 → 60

prune48.0ms (2.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New55560
Fresh101
Picked011
Done000
Total56662
Error
0.0b
Counts
62 → 6
Alt Table
StatusErrorProgram
36.2b
(pow.f64 (sqrt.f64 (*.f64 (fma.f64 x 3 -12/29) y)) 2)
13.9b
(*.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x 3) 3) -1728/24389) (+.f64 (pow.f64 (*.f64 x 3) 2) (-.f64 144/841 (*.f64 (*.f64 x 3) -12/29)))) y)
0.6b
(*.f64 (*.f64 (cbrt.f64 (fma.f64 x 3 -12/29)) (pow.f64 (cbrt.f64 (fma.f64 x 3 -12/29)) 2)) y)
▶0.2b
(-.f64 (*.f64 3 (*.f64 y x)) (*.f64 12/29 y))
25.0b
(*.f64 (log1p.f64 (expm1.f64 (fma.f64 x 3 -12/29))) y)
✓0.2b
(*.f64 (fma.f64 x 3 -12/29) y)
Compiler

Compiled 737 to 567 computations (23.1% saved)

localize9.0ms (0.4%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (*.f64 3 (*.f64 y x)) (*.f64 12/29 y))
✓0.1b
(*.f64 12/29 y)
✓0.2b
(*.f64 3 (*.f64 y x))

series25.0ms (1.1%)

Counts
3 → 15
Calls

15 calls:

14.0ms
(-.f64 (*.f64 3 (*.f64 y x)) (*.f64 12/29 y))
x
0
1.0ms
(-.f64 (*.f64 3 (*.f64 y x)) (*.f64 12/29 y))
y
-inf
1.0ms
(-.f64 (*.f64 3 (*.f64 y x)) (*.f64 12/29 y))
y
inf
1.0ms
(-.f64 (*.f64 3 (*.f64 y x)) (*.f64 12/29 y))
y
0
1.0ms
(-.f64 (*.f64 3 (*.f64 y x)) (*.f64 12/29 y))
x
inf

rewrite64.0ms (2.9%)

Algorithm
1×batch-egg-rewrite
Rules
495×log-prod_binary64
410×fma-def_binary64
219×egg-rr
202×fma-neg_binary64
178×expm1-udef_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0924
120522
2262022
Stop Event
1×node limit
Counts
3 → 219

simplify21.0ms (1%)

Algorithm
1×egg-herbie
Rules
176×fma-def_binary64
142×fma-neg_binary64
49×associate-*l*_binary64
48×associate-*r*_binary64
37×distribute-rgt-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
016114
137114
279114
3187114
4382114
5572114
6813114
7905114
Stop Event
1×saturated
Counts
234 → 226

prune175.0ms (8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New2233226
Fresh314
Picked101
Done011
Total2275232
Error
0.0b
Counts
232 → 5
Alt Table
StatusErrorProgram
▶0.1b
(fma.f64 (*.f64 3 y) x (*.f64 y -12/29))
0.6b
(*.f64 (*.f64 (cbrt.f64 (fma.f64 x 3 -12/29)) (pow.f64 (cbrt.f64 (fma.f64 x 3 -12/29)) 2)) y)
0.3b
(+.f64 (*.f64 3 (*.f64 y x)) (fma.f64 y -12/29 (fma.f64 y -12/29 (*.f64 y 12/29))))
✓0.2b
(*.f64 (fma.f64 x 3 -12/29) y)
0.5b
(fma.f64 (cbrt.f64 (*.f64 3 (*.f64 y x))) (pow.f64 (cbrt.f64 (*.f64 3 (*.f64 y x))) 2) (*.f64 y -12/29))
Compiler

Compiled 4315 to 2724 computations (36.9% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(fma.f64 (*.f64 3 y) x (*.f64 y -12/29))
✓0.1b
(*.f64 y -12/29)

series7.0ms (0.3%)

Counts
2 → 36
Calls

9 calls:

1.0ms
(fma.f64 (*.f64 3 y) x (*.f64 y -12/29))
y
-inf
1.0ms
(fma.f64 (*.f64 3 y) x (*.f64 y -12/29))
y
inf
1.0ms
(fma.f64 (*.f64 3 y) x (*.f64 y -12/29))
x
-inf
1.0ms
(fma.f64 (*.f64 3 y) x (*.f64 y -12/29))
x
inf
1.0ms
(fma.f64 (*.f64 3 y) x (*.f64 y -12/29))
y
0

rewrite38.0ms (1.7%)

Algorithm
1×batch-egg-rewrite
Rules
668×log1p-expm1-u_binary64
668×expm1-log1p-u_binary64
158×prod-diff_binary64
141×expm1-udef_binary64
141×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0815
116115
2180415
Stop Event
1×node limit
Counts
2 → 36

simplify23.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
203×fma-def_binary64
135×fma-neg_binary64
52×cancel-sign-sub-inv_binary64
46×associate-*l*_binary64
44×associate-*r*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
018234
144234
293234
3203234
4438234
5670234
6872234
7962234
Stop Event
1×saturated
Counts
72 → 43

prune31.0ms (1.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New43043
Fresh033
Picked011
Done011
Total43548
Error
0.0b
Counts
48 → 5
Alt Table
StatusErrorProgram
✓0.1b
(fma.f64 (*.f64 3 y) x (*.f64 y -12/29))
0.6b
(*.f64 (*.f64 (cbrt.f64 (fma.f64 x 3 -12/29)) (pow.f64 (cbrt.f64 (fma.f64 x 3 -12/29)) 2)) y)
▶0.3b
(+.f64 (*.f64 3 (*.f64 y x)) (fma.f64 y -12/29 (fma.f64 y -12/29 (*.f64 y 12/29))))
✓0.2b
(*.f64 (fma.f64 x 3 -12/29) y)
0.5b
(fma.f64 (cbrt.f64 (*.f64 3 (*.f64 y x))) (pow.f64 (cbrt.f64 (*.f64 3 (*.f64 y x))) 2) (*.f64 y -12/29))
Compiler

Compiled 638 to 422 computations (33.9% saved)

localize9.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.1b
(fma.f64 y -12/29 (fma.f64 y -12/29 (*.f64 y 12/29)))
✓0.1b
(*.f64 y 12/29)
0.2b
(*.f64 3 (*.f64 y x))
✓59.6b
(fma.f64 y -12/29 (*.f64 y 12/29))

series7.0ms (0.3%)

Counts
3 → 36
Calls

9 calls:

1.0ms
(fma.f64 y -12/29 (fma.f64 y -12/29 (*.f64 y 12/29)))
y
-inf
1.0ms
(fma.f64 y -12/29 (fma.f64 y -12/29 (*.f64 y 12/29)))
y
inf
1.0ms
(fma.f64 y -12/29 (*.f64 y 12/29))
y
inf
1.0ms
(fma.f64 y -12/29 (*.f64 y 12/29))
y
-inf
1.0ms
(fma.f64 y -12/29 (fma.f64 y -12/29 (*.f64 y 12/29)))
y
0

rewrite43.0ms (2%)

Algorithm
1×batch-egg-rewrite
Rules
574×log1p-expm1-u_binary64
574×expm1-log1p-u_binary64
281×log-prod_binary64
159×prod-diff_binary64
120×expm1-udef_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0724
114116
2154716
Stop Event
1×node limit
Counts
3 → 76

simplify9.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
2×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07108
19108
Stop Event
1×saturated
Counts
112 → 80

prune88.0ms (4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New96096
Fresh022
Picked011
Done022
Total965101
Error
0.0b
Counts
101 → 5
Alt Table
StatusErrorProgram
✓0.1b
(fma.f64 (*.f64 3 y) x (*.f64 y -12/29))
0.6b
(*.f64 (*.f64 (cbrt.f64 (fma.f64 x 3 -12/29)) (pow.f64 (cbrt.f64 (fma.f64 x 3 -12/29)) 2)) y)
✓0.3b
(+.f64 (*.f64 3 (*.f64 y x)) (fma.f64 y -12/29 (fma.f64 y -12/29 (*.f64 y 12/29))))
✓0.2b
(*.f64 (fma.f64 x 3 -12/29) y)
0.5b
(fma.f64 (cbrt.f64 (*.f64 3 (*.f64 y x))) (pow.f64 (cbrt.f64 (*.f64 3 (*.f64 y x))) 2) (*.f64 y -12/29))
Compiler

Compiled 1798 to 1207 computations (32.9% saved)

regimes486.0ms (22.2%)

Accuracy

Total 0.2b remaining (94.7%)

Threshold costs 0.2b (94.7%)

Counts
109 → 1
Compiler

Compiled 7245 to 5386 computations (25.7% saved)

simplify5.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
2×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0811
11011
Stop Event
1×saturated

end106.0ms (4.8%)

Stop Event
1×fuel
Compiler

Compiled 92 to 67 computations (27.2% saved)

Profiling

Loading profile data...