Details

Time bar (total: 7.4s)

analyze1.2s (15.7%)

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%100%0%3
0%100%0%4
0%100%0%5
0%100%0%6
0%100%0%7
0%100%0%8
0%100%0%9
0%100%0%10
0%100%0%11
0%100%0%12
3%46.9%50%13
3.1%46.8%50%14
Compiler

Compiled 16 to 11 computations (31.3% saved)

sample3.7s (50.5%)

Results
2.3s4098×body2048valid
875.0ms2065×body1024valid
328.0ms1048×body512valid
116.0ms549×body256valid
60.0ms496×body128valid
1.0ms10×body128invalid
Compiler

Compiled 32 to 22 computations (31.3% saved)

preprocess37.0ms (0.5%)

Algorithm
egg-herbie
Rules
685×div-sub_binary64
303×associate-/r*_binary64
302×fma-def_binary64
296×fma-neg_binary64
220×associate-/l/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01019
13119
27617
321517
464017
5182817
6439417
011
Stop Event
saturated
node limit
Compiler

Compiled 15 to 10 computations (33.3% saved)

simplify30.0ms (0.4%)

Algorithm
egg-herbie
Rules
685×div-sub_binary64
303×associate-/r*_binary64
302×fma-def_binary64
296×fma-neg_binary64
220×associate-/l/_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01019
13119
27617
321517
464017
5182817
6439417
Stop Event
node limit
Counts
1 → 2

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.3b
Counts
3 → 1
Alt Table
StatusErrorProgram
0.3b
(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
Compiler

Compiled 53 to 36 computations (32.1% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.3b
(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))

series2.0ms (0%)

Counts
1 → 12
Calls

3 calls:

1.0ms
(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
v
0
1.0ms
(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
v
-inf
1.0ms
(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
v
inf

rewrite54.0ms (0.7%)

Algorithm
batch-egg-rewrite
Rules
891×log1p-expm1-u_binary64
891×expm1-log1p-u_binary64
98×add-sqr-sqrt_binary64
91×add-cbrt-cube_binary64
90×add-log-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01017
119917
2234517
Stop Event
node limit
Counts
1 → 34

simplify37.0ms (0.5%)

Algorithm
egg-herbie
Rules
862×fma-neg_binary64
343×div-sub_binary64
335×fma-def_binary64
247×sub-neg_binary64
215×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
010204
117204
224204
333204
451204
592204
6174204
7384204
8782204
92473204
104586204
Stop Event
node limit
Counts
46 → 36

prune45.0ms (0.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New33336
Fresh000
Picked011
Done000
Total33437
Error
0.3b
Counts
37 → 4
Alt Table
StatusErrorProgram
2.2b
(+.f64 (fma.f64 (*.f64 (cbrt.f64 (*.f64 (PI.f64) 1/2)) (cbrt.f64 (*.f64 (PI.f64) 1/2))) (cbrt.f64 (*.f64 (PI.f64) 1/2)) (neg.f64 (*.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) (*.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))))) (fma.f64 (neg.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (*.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (*.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) (*.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))))))
0.3b
(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
1.3b
(pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) 3)
1.8b
(+.f64 (fma.f64 (*.f64 (cbrt.f64 (*.f64 (PI.f64) 1/2)) (cbrt.f64 (*.f64 (PI.f64) 1/2))) (cbrt.f64 (*.f64 (PI.f64) 1/2)) (neg.f64 (*.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 1))) (fma.f64 (neg.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) 1 (*.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 1)))
Compiler

Compiled 1926 to 1397 computations (27.5% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.3b
(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
1.0b
(cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))
1.5b
(pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) 3)

series219.0ms (3%)

Counts
2 → 24
Calls

6 calls:

46.0ms
(cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))
v
-inf
45.0ms
(pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) 3)
v
inf
36.0ms
(pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) 3)
v
-inf
36.0ms
(cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))
v
inf
31.0ms
(pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) 3)
v
0

rewrite58.0ms (0.8%)

Algorithm
batch-egg-rewrite
Rules
502×log-prod_binary64
202×expm1-udef_binary64
202×log1p-udef_binary64
184×pow3_binary64
172×log-pow_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01336
125936
2282536
Stop Event
node limit
Counts
2 → 66

simplify44.0ms (0.6%)

Algorithm
egg-herbie
Rules
853×fma-neg_binary64
362×unswap-sqr_binary64
323×fma-def_binary64
246×sub-neg_binary64
196×associate-+l+_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
012432
125432
237432
355432
495432
5219432
6649432
71512432
81978432
93799432
Stop Event
node limit
Counts
90 → 69

prune104.0ms (1.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1032105
Fresh112
Picked101
Done011
Total1054109
Error
0.3b
Counts
109 → 4
Alt Table
StatusErrorProgram
2.2b
(+.f64 (fma.f64 (*.f64 (cbrt.f64 (*.f64 (PI.f64) 1/2)) (cbrt.f64 (*.f64 (PI.f64) 1/2))) (cbrt.f64 (*.f64 (PI.f64) 1/2)) (neg.f64 (*.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) (*.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))))) (fma.f64 (neg.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (*.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (*.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) (*.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))))))
0.3b
(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
1.3b
(pow.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))) 3)
1.8b
(fma.f64 (*.f64 (cbrt.f64 (*.f64 (PI.f64) 1/2)) (cbrt.f64 (*.f64 (PI.f64) 1/2))) (cbrt.f64 (*.f64 (PI.f64) 1/2)) (neg.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))
Compiler

Compiled 4214 to 3106 computations (26.3% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
1.0b
(expm1.f64 (log1p.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))))
1.0b
(log1p.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))
1.0b
(cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))
1.5b
(pow.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))) 3)

series777.0ms (10.5%)

Counts
3 → 36
Calls

9 calls:

202.0ms
(log1p.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))
v
inf
185.0ms
(log1p.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))
v
-inf
168.0ms
(log1p.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))
v
0
46.0ms
(pow.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))) 3)
v
-inf
46.0ms
(pow.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))) 3)
v
inf

rewrite67.0ms (0.9%)

Algorithm
batch-egg-rewrite
Rules
540×log-prod_binary64
217×expm1-udef_binary64
217×log1p-udef_binary64
187×log-pow_binary64
142×prod-diff_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01557
128057
2303157
Stop Event
node limit
Counts
3 → 95

simplify82.0ms (1.1%)

Algorithm
egg-herbie
Rules
856×fma-neg_binary64
362×unswap-sqr_binary64
357×fma-def_binary64
246×sub-neg_binary64
204×associate-+l+_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
014684
129684
242684
360684
4103684
5231684
6672684
71547684
82018684
93855684
Stop Event
node limit
Counts
131 → 99

prune117.0ms (1.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1242126
Fresh112
Picked101
Done011
Total1264130
Error
0.3b
Counts
130 → 4
Alt Table
StatusErrorProgram
2.2b
(+.f64 (fma.f64 (*.f64 (cbrt.f64 (*.f64 (PI.f64) 1/2)) (cbrt.f64 (*.f64 (PI.f64) 1/2))) (cbrt.f64 (*.f64 (PI.f64) 1/2)) (neg.f64 (*.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) (*.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))))) (fma.f64 (neg.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (*.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (*.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) (*.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))))))
0.3b
(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
1.8b
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 2))) 3) (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))
1.3b
(pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 2))) 3)
Compiler

Compiled 4208 to 3170 computations (24.7% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(pow.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 2)
0.3b
(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
1.0b
(sqrt.f64 (cbrt.f64 (pow.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 2)))
1.5b
(pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 2))) 3)

series206.0ms (2.8%)

Counts
3 → 36
Calls

9 calls:

39.0ms
(pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 2))) 3)
v
-inf
37.0ms
(pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 2))) 3)
v
inf
32.0ms
(pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 2))) 3)
v
0
32.0ms
(sqrt.f64 (cbrt.f64 (pow.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 2)))
v
-inf
32.0ms
(sqrt.f64 (cbrt.f64 (pow.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 2)))
v
inf

rewrite72.0ms (1%)

Algorithm
batch-egg-rewrite
Rules
580×log-prod_binary64
235×expm1-udef_binary64
235×log1p-udef_binary64
206×log-pow_binary64
144×add-sqr-sqrt_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01669
132556
2351956
Stop Event
node limit
Counts
3 → 98

simplify55.0ms (0.7%)

Algorithm
egg-herbie
Rules
796×unswap-sqr_binary64
323×fma-def_binary64
309×associate-*l*_binary64
201×associate-*r*_binary64
144×sqr-pow_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
014672
130672
247672
376672
4141672
5357672
61203672
72901672
83503672
Stop Event
node limit
Counts
134 → 102

prune121.0ms (1.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1380138
Fresh022
Picked011
Done011
Total1384142
Error
0.3b
Counts
142 → 4
Alt Table
StatusErrorProgram
2.2b
(+.f64 (fma.f64 (*.f64 (cbrt.f64 (*.f64 (PI.f64) 1/2)) (cbrt.f64 (*.f64 (PI.f64) 1/2))) (cbrt.f64 (*.f64 (PI.f64) 1/2)) (neg.f64 (*.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) (*.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))))) (fma.f64 (neg.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (*.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (*.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) (*.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))))))
0.3b
(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
1.8b
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 2))) 3) (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))
1.3b
(pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 2))) 3)
Compiler

Compiled 5126 to 3840 computations (25.1% saved)

regimes124.0ms (1.7%)

Accuracy

Total 0.0b remaining (1.6%)

Threshold costs 0.0b (1.6%)

Counts
27 → 1
Compiler

Compiled 3054 to 2308 computations (24.4% saved)

simplify2.0ms (0%)

Algorithm
egg-herbie
Rules
*-commutative_binary64
1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01017
11317
Stop Event
saturated

end197.0ms (2.7%)

Stop Event
fuel
Compiler

Compiled 232 to 170 computations (26.7% saved)

Profiling

Loading profile data...