Details

Time bar (total: 1.5s)

analyze4.0ms (0.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
75%25%0%4
87.5%12.5%0%5
93.7%6.2%0%6
96.8%3.1%0%7
98.4%1.6%0%8
99.2%0.8%0%9
99.6%0.4%0%10
99.8%0.2%0%11
99.8%0.1%0.1%12
99.8%0%0.1%13
99.8%0%0.2%14
Compiler

Compiled 11 to 10 computations (9.1% saved)

sample734.0ms (48%)

Results
701.0ms8255×body128valid
0.0ms4×body128invalid
0.0ms1×body512valid
Compiler

Compiled 32 to 29 computations (9.4% saved)

simplify6.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
2×fma-def_binary64
1×+-commutative_binary64
1×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0125
1155
2165
Stop Event
1×saturated
Counts
1 → 2

prune8.0ms (0.5%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.1b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.1b
(fma.f64 841/108 x 4/29)
Compiler

Compiled 24 to 20 computations (16.7% saved)

localize2.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.1b
(fma.f64 841/108 x 4/29)

series2.0ms (0.1%)

Counts
1 → 12
Calls

1 calls:

2.0ms
(fma.f64 841/108 x 4/29)

rewrite32.0ms (2.1%)

Algorithm
1×batch-egg-rewrite
Rules
407×log1p-expm1-u_binary64
407×expm1-log1p-u_binary64
380×add-log-exp_binary64
365×pow1_binary64
179×unpow-prod-down_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
055
11025
210785
Stop Event
1×node limit
Counts
1 → 37
Calls

1 calls:

32.0ms
(fma.f64 841/108 x 4/29)

simplify7.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
2×fma-def_binary64
1×+-commutative_binary64
1×*-commutative_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0672
1854
21054
Stop Event
1×saturated
Counts
49 → 40

prune31.0ms (2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New35540
Fresh000
Picked101
Done000
Total36541
Error
0.0b
Counts
41 → 5
Alt Table
StatusErrorProgram
22.3b
(/.f64 (+.f64 (pow.f64 (*.f64 841/108 x) 3) 64/24389) (+.f64 (pow.f64 (*.f64 841/108 x) 2) (-.f64 16/841 (*.f64 (*.f64 841/108 x) 4/29))))
1.6b
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2) 3) (cbrt.f64 (fma.f64 841/108 x 4/29)))
▶0.9b
(-.f64 (+.f64 1 (fma.f64 841/108 x 4/29)) 1)
18.6b
(pow.f64 (sqrt.f64 (fma.f64 841/108 x 4/29)) 2)
1.8b
(pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 3)
Compiler

Compiled 517 to 446 computations (13.7% saved)

localize4.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 1 (fma.f64 841/108 x 4/29))
0.1b
(fma.f64 841/108 x 4/29)
✓0.8b
(-.f64 (+.f64 1 (fma.f64 841/108 x 4/29)) 1)

series3.0ms (0.2%)

Counts
2 → 24
Calls

2 calls:

2.0ms
(-.f64 (+.f64 1 (fma.f64 841/108 x 4/29)) 1)
1.0ms
(+.f64 1 (fma.f64 841/108 x 4/29))

rewrite43.0ms (2.8%)

Algorithm
1×batch-egg-rewrite
Rules
768×log1p-expm1-u_binary64
768×expm1-log1p-u_binary64
257×prod-diff_binary64
81×egg-rr
79×add-sqr-sqrt_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0819
117912
2208212
Stop Event
1×node limit
Counts
2 → 81
Calls

2 calls:

42.0ms
(+.f64 1 (fma.f64 841/108 x 4/29))
42.0ms
(-.f64 (+.f64 1 (fma.f64 841/108 x 4/29)) 1)

simplify9.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
4×fma-def_binary64
2×+-commutative_binary64
1×*-commutative_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
08144
111108
215108
Stop Event
1×saturated
Counts
105 → 86

prune70.0ms (4.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1242126
Fresh134
Picked011
Done000
Total1256131
Error
0.0b
Counts
131 → 6
Alt Table
StatusErrorProgram
17.9b
(/.f64 1 (/.f64 (+.f64 (fma.f64 841/108 x 4/29) 2) (+.f64 (pow.f64 (+.f64 (*.f64 841/108 x) 33/29) 2) -1)))
1.6b
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2) 3) (cbrt.f64 (fma.f64 841/108 x 4/29)))
✓0.9b
(-.f64 (+.f64 1 (fma.f64 841/108 x 4/29)) 1)
▶0.1b
(+.f64 (fma.f64 841/108 x 4/29) 0)
18.6b
(pow.f64 (sqrt.f64 (fma.f64 841/108 x 4/29)) 2)
1.8b
(pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 3)
Compiler

Compiled 1798 to 1586 computations (11.8% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.1b
(fma.f64 841/108 x 4/29)

prune26.0ms (1.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New40040
Fresh044
Picked011
Done011
Total40646
Error
0.0b
Counts
46 → 6
Alt Table
StatusErrorProgram
17.9b
(/.f64 1 (/.f64 (+.f64 (fma.f64 841/108 x 4/29) 2) (+.f64 (pow.f64 (+.f64 (*.f64 841/108 x) 33/29) 2) -1)))
▶1.6b
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2) 3) (cbrt.f64 (fma.f64 841/108 x 4/29)))
✓0.9b
(-.f64 (+.f64 1 (fma.f64 841/108 x 4/29)) 1)
✓0.1b
(+.f64 (fma.f64 841/108 x 4/29) 0)
18.6b
(pow.f64 (sqrt.f64 (fma.f64 841/108 x 4/29)) 2)
1.8b
(pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 3)
Compiler

Compiled 589 to 520 computations (11.7% saved)

localize8.0ms (0.5%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2)
✓0.3b
(cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))
✓0.3b
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2) 3)
✓0.8b
(cbrt.f64 (fma.f64 841/108 x 4/29))

series30.0ms (2%)

Counts
4 → 40
Calls

4 calls:

13.0ms
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2) 3)
7.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2)
5.0ms
(cbrt.f64 (fma.f64 841/108 x 4/29))
4.0ms
(cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))

rewrite47.0ms (3.1%)

Algorithm
1×batch-egg-rewrite
Rules
782×log1p-expm1-u_binary64
782×expm1-log1p-u_binary64
99×egg-rr
97×add-sqr-sqrt_binary64
94×add-cbrt-cube_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01140
122738
2226338
Stop Event
1×node limit
Counts
4 → 99
Calls

4 calls:

46.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2)
46.0ms
(cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))
46.0ms
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2) 3)
46.0ms
(cbrt.f64 (fma.f64 841/108 x 4/29))

simplify47.0ms (3.1%)

Algorithm
1×egg-herbie
Rules
644×fma-def_binary64
448×associate-*l*_binary64
343×times-frac_binary64
270×associate-/l*_binary64
239×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01731939
15121849
216441458
Stop Event
1×node limit
Counts
139 → 178

prune176.0ms (11.5%)

Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New2142216
Fresh033
Picked011
Done022
Total2148222
Error
0.0b
Counts
222 → 8
Alt Table
StatusErrorProgram
1.9b
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2) 3) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2) (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))))))
18.6b
(pow.f64 (sqrt.f64 (fma.f64 841/108 x 4/29)) 2)
17.9b
(/.f64 1 (/.f64 (+.f64 (fma.f64 841/108 x 4/29) 2) (+.f64 (pow.f64 (+.f64 (*.f64 841/108 x) 33/29) 2) -1)))
✓1.6b
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2) 3) (cbrt.f64 (fma.f64 841/108 x 4/29)))
✓0.9b
(-.f64 (+.f64 1 (fma.f64 841/108 x 4/29)) 1)
✓0.1b
(+.f64 (fma.f64 841/108 x 4/29) 0)
1.6b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) (cbrt.f64 (fma.f64 841/108 x 4/29)))
1.8b
(pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 3)
Compiler

Compiled 5982 to 5275 computations (11.8% saved)

regimes109.0ms (7.1%)

Accuracy

Total 0.0b remaining (43%)

Threshold costs 0.0b (43%)

Counts
37 → 1
Compiler

Compiled 1219 to 1063 computations (12.8% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×+-rgt-identity_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
075
185
Stop Event
1×saturated

end125.0ms (8.2%)

Compiler

Compiled 144 to 126 computations (12.5% saved)

Profiling

Loading profile data...