Details

Time bar (total: 5.1s)

analyze140.0ms (2.7%)

Algorithm
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%50%50%4
0%50%50%5
12.5%37.5%50%6
18.7%31.2%50%7
28.1%21.9%50%8
32.8%17.2%50%9
38.2%11.7%50%10
41%9%50%11
43.9%6%50%12
45.4%4.6%50%13
46.9%3.1%50%14
Compiler

Compiled 31 to 22 computations (29% saved)

sample1.2s (22.9%)

Results
1.1s8256×body128valid
1.0msbody128invalid
Compiler

Compiled 92 to 65 computations (29.3% saved)

simplify16.0ms (0.3%)

Algorithm
egg-herbie
Rules
826×times-frac_binary64
467×associate-/r*_binary64
351×associate-/l*_binary64
245×associate-*l*_binary64
222×associate-*r*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02043
15843
219038
394936
Stop Event
node limit
Counts
1 → 2

prune4.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.3b
(/.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 t (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2))))) (-.f64 1 (*.f64 v v)))
0.3b
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (*.f64 (*.f64 (PI.f64) t) (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (-.f64 1 (*.f64 v v))))
Compiler

Compiled 166 to 113 computations (31.9% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))
0.0b
(/.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 t (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2))))) (-.f64 1 (*.f64 v v)))
0.2b
(*.f64 t (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2))))
0.2b
(/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 t (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))))

series218.0ms (4.3%)

Counts
4 → 84
Calls

4 calls:

110.0ms
(/.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 t (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2))))) (-.f64 1 (*.f64 v v)))
77.0ms
(/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 t (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))))
22.0ms
(*.f64 t (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2))))
8.0ms
(*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))

rewrite43.0ms (0.8%)

Algorithm
batch-egg-rewrite
Rules
187×add-sqr-sqrt_binary64
178×log1p-expm1-u_binary64
178×expm1-log1p-u_binary64
176×add-cbrt-cube_binary64
175×add-log-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01894
138794
Stop Event
node limit
Counts
4 → 115
Calls

4 calls:

40.0ms
(*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))
40.0ms
(/.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 t (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2))))) (-.f64 1 (*.f64 v v)))
40.0ms
(*.f64 t (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2))))
40.0ms
(/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 t (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))))

simplify55.0ms (1.1%)

Algorithm
egg-herbie
Rules
345×associate-/r*_binary64
307×fma-def_binary64
219×associate-*r*_binary64
202×associate-+r+_binary64
191×*-commutative_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
03554369
113744312
Stop Event
node limit
Counts
199 → 215

prune268.0ms (5.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New2105215
Fresh101
Picked101
Done000
Total2125217
Error
0b
Counts
217 → 5
Alt Table
StatusErrorProgram
0.4b
(/.f64 (*.f64 (fma.f64 v (*.f64 v -5) 1) (/.f64 (/.f64 1 (*.f64 t (PI.f64))) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))) (-.f64 1 (*.f64 v v)))
1.0b
(/.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 t (cbrt.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 (fma.f64 (*.f64 v v) -6 2) 3/2))))) (-.f64 1 (*.f64 v v)))
0.7b
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (*.f64 (-.f64 (PI.f64) (*.f64 (pow.f64 v 2) (PI.f64))) t)) (sqrt.f64 (/.f64 1 (-.f64 2 (*.f64 6 (pow.f64 v 2))))))
0.6b
(*.f64 (/.f64 (sqrt.f64 (fma.f64 v (*.f64 v -5) 1)) (-.f64 1 (*.f64 v v))) (/.f64 (sqrt.f64 (fma.f64 v (*.f64 v -5) 1)) (*.f64 (PI.f64) (*.f64 (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)) t))))
0.3b
(/.f64 (*.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) t) (/.f64 1 (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2))))) (-.f64 1 (*.f64 v v)))
Compiler

Compiled 9044 to 6040 computations (33.2% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))
0.0b
(/.f64 (*.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) t) (/.f64 1 (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2))))) (-.f64 1 (*.f64 v v)))
0.0b
(/.f64 1 (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2))))
0.3b
(*.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) t) (/.f64 1 (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))))

series206.0ms (4%)

Counts
3 → 60
Calls

3 calls:

114.0ms
(/.f64 (*.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) t) (/.f64 1 (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2))))) (-.f64 1 (*.f64 v v)))
80.0ms
(*.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) t) (/.f64 1 (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))))
11.0ms
(/.f64 1 (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2))))

rewrite41.0ms (0.8%)

Algorithm
batch-egg-rewrite
Rules
203×add-sqr-sqrt_binary64
193×log1p-expm1-u_binary64
193×expm1-log1p-u_binary64
191×add-cbrt-cube_binary64
190×add-log-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01980
141980
Stop Event
node limit
Counts
3 → 102
Calls

3 calls:

39.0ms
(/.f64 (*.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) t) (/.f64 1 (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2))))) (-.f64 1 (*.f64 v v)))
39.0ms
(/.f64 1 (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2))))
39.0ms
(*.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) t) (/.f64 1 (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))))

simplify75.0ms (1.5%)

Algorithm
egg-herbie
Rules
352×associate-/r*_binary64
304×fma-def_binary64
239×fma-neg_binary64
230×associate-+r+_binary64
215×+-commutative_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
03483925
112913853
247633853
Stop Event
node limit
Counts
162 → 175

prune279.0ms (5.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New2121213
Fresh134
Picked011
Done000
Total2135218
Error
0b
Counts
218 → 5
Alt Table
StatusErrorProgram
0.7b
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (*.f64 (-.f64 (PI.f64) (*.f64 (pow.f64 v 2) (PI.f64))) t)) (sqrt.f64 (/.f64 1 (-.f64 2 (*.f64 6 (pow.f64 v 2))))))
0.2b
(/.f64 (/.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))) t) (-.f64 1 (*.f64 v v)))
0.4b
(/.f64 (*.f64 (fma.f64 v (*.f64 v -5) 1) (/.f64 (/.f64 1 (*.f64 t (PI.f64))) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))) (-.f64 1 (*.f64 v v)))
0.6b
(*.f64 (/.f64 (sqrt.f64 (fma.f64 v (*.f64 v -5) 1)) (-.f64 1 (*.f64 v v))) (/.f64 (sqrt.f64 (fma.f64 v (*.f64 v -5) 1)) (*.f64 (PI.f64) (*.f64 (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)) t))))
0.3b
(/.f64 (*.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) t) (/.f64 1 (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2))))) (-.f64 1 (*.f64 v v)))
Compiler

Compiled 9100 to 6198 computations (31.9% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2))))
0.0b
(*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))
0.0b
(/.f64 (/.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))) t) (-.f64 1 (*.f64 v v)))
0.1b
(/.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))) t)

series202.0ms (3.9%)

Counts
3 → 60
Calls

3 calls:

111.0ms
(/.f64 (/.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))) t) (-.f64 1 (*.f64 v v)))
77.0ms
(/.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))) t)
13.0ms
(/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2))))

rewrite49.0ms (1%)

Algorithm
batch-egg-rewrite
Rules
191×add-sqr-sqrt_binary64
182×log1p-expm1-u_binary64
182×expm1-log1p-u_binary64
180×add-cbrt-cube_binary64
179×add-log-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01887
139387
Stop Event
node limit
Counts
3 → 120
Calls

3 calls:

46.0ms
(/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2))))
46.0ms
(/.f64 (/.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))) t) (-.f64 1 (*.f64 v v)))
46.0ms
(/.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))) t)

simplify83.0ms (1.6%)

Algorithm
egg-herbie
Rules
351×associate-/r*_binary64
306×fma-def_binary64
255×fma-neg_binary64
243×associate-+r+_binary64
228×+-commutative_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
03514051
113193977
248323977
Stop Event
node limit
Counts
180 → 193

prune258.0ms (5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New2301231
Fresh123
Picked011
Done011
Total2315236
Error
0b
Counts
236 → 5
Alt Table
StatusErrorProgram
0.4b
(/.f64 (*.f64 (fma.f64 v (*.f64 v -5) 1) (/.f64 (/.f64 1 (*.f64 t (PI.f64))) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))) (-.f64 1 (*.f64 v v)))
0.7b
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (*.f64 (-.f64 1 (pow.f64 v 2)) (*.f64 (PI.f64) t))) (sqrt.f64 (/.f64 1 (-.f64 2 (*.f64 6 (pow.f64 v 2))))))
0.2b
(/.f64 (/.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))) t) (-.f64 1 (*.f64 v v)))
0.6b
(*.f64 (/.f64 (sqrt.f64 (fma.f64 v (*.f64 v -5) 1)) (-.f64 1 (*.f64 v v))) (/.f64 (sqrt.f64 (fma.f64 v (*.f64 v -5) 1)) (*.f64 (PI.f64) (*.f64 (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)) t))))
0.3b
(/.f64 (*.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) t) (/.f64 1 (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2))))) (-.f64 1 (*.f64 v v)))
Compiler

Compiled 9922 to 6738 computations (32.1% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(/.f64 (*.f64 (fma.f64 v (*.f64 v -5) 1) (/.f64 (/.f64 1 (*.f64 t (PI.f64))) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))) (-.f64 1 (*.f64 v v)))
0.3b
(*.f64 t (PI.f64))
0.3b
(/.f64 1 (*.f64 t (PI.f64)))
0.4b
(/.f64 (/.f64 1 (*.f64 t (PI.f64))) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))

series191.0ms (3.7%)

Counts
4 → 72
Calls

4 calls:

112.0ms
(/.f64 (*.f64 (fma.f64 v (*.f64 v -5) 1) (/.f64 (/.f64 1 (*.f64 t (PI.f64))) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))) (-.f64 1 (*.f64 v v)))
62.0ms
(/.f64 (/.f64 1 (*.f64 t (PI.f64))) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))
14.0ms
(/.f64 1 (*.f64 t (PI.f64)))
2.0ms
(*.f64 t (PI.f64))

rewrite44.0ms (0.8%)

Algorithm
batch-egg-rewrite
Rules
201×add-sqr-sqrt_binary64
191×log1p-expm1-u_binary64
191×expm1-log1p-u_binary64
189×add-cbrt-cube_binary64
188×add-log-exp_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01972
141567
Stop Event
node limit
Counts
4 → 115
Calls

4 calls:

41.0ms
(/.f64 (*.f64 (fma.f64 v (*.f64 v -5) 1) (/.f64 (/.f64 1 (*.f64 t (PI.f64))) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))) (-.f64 1 (*.f64 v v)))
41.0ms
(*.f64 t (PI.f64))
41.0ms
(/.f64 1 (*.f64 t (PI.f64)))
41.0ms
(/.f64 (/.f64 1 (*.f64 t (PI.f64))) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))

simplify60.0ms (1.2%)

Algorithm
egg-herbie
Rules
364×cancel-sign-sub-inv_binary64
247×associate-/r*_binary64
220×fma-def_binary64
218×sub-neg_binary64
201×distribute-neg-in_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02533068
19652964
234792963
Stop Event
node limit
Counts
187 → 168

prune178.0ms (3.5%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New1680168
Fresh022
Picked011
Done022
Total1685173
Error
0b
Counts
173 → 5
Alt Table
StatusErrorProgram
0.4b
(/.f64 (*.f64 (fma.f64 v (*.f64 v -5) 1) (/.f64 (/.f64 1 (*.f64 t (PI.f64))) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))) (-.f64 1 (*.f64 v v)))
0.7b
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (*.f64 (-.f64 1 (pow.f64 v 2)) (*.f64 (PI.f64) t))) (sqrt.f64 (/.f64 1 (-.f64 2 (*.f64 6 (pow.f64 v 2))))))
0.2b
(/.f64 (/.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))) t) (-.f64 1 (*.f64 v v)))
0.6b
(*.f64 (/.f64 (sqrt.f64 (fma.f64 v (*.f64 v -5) 1)) (-.f64 1 (*.f64 v v))) (/.f64 (sqrt.f64 (fma.f64 v (*.f64 v -5) 1)) (*.f64 (PI.f64) (*.f64 (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)) t))))
0.3b
(/.f64 (*.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) t) (/.f64 1 (*.f64 (PI.f64) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2))))) (-.f64 1 (*.f64 v v)))
Compiler

Compiled 6902 to 4478 computations (35.1% saved)

regimes1.4s (26.7%)

Accuracy

Total 0.1b remaining (95.5%)

Threshold costs 0.1b (95.5%)

Counts
214 → 1
Compiler

Compiled 31753 to 23026 computations (27.5% saved)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01836
12736
23436
33836
44036
Stop Event
saturated

end118.0ms (2.3%)

Compiler

Compiled 199 to 145 computations (27.1% saved)

Profiling

Loading profile data...