Details

Time bar (total: 1.9s)

analyze4.0ms (0.2%)

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
75%12.5%12.5%5
75%6.2%18.8%6
75%3.1%21.9%7
75%1.6%23.5%8
75%0.8%24.3%9
75%0.4%24.6%10
75%0.2%24.8%11
75%0.1%24.9%12
75%0%24.9%13
75%0%25%14
Compiler

Compiled 11 to 9 computations (18.2% saved)

sample698.0ms (37%)

Results
659.0ms8256×body128valid
0.0ms3×body128invalid
Compiler

Compiled 32 to 26 computations (18.8% saved)

simplify17.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
271×fma-def_binary64
256×fma-neg_binary64
75×cancel-sign-sub-inv_binary64
54×sub-neg_binary64
30×distribute-rgt-neg-in_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
0913
12511
26511
314711
42919
54869
67189
710499
811669
911859
Stop Event
1×saturated
Counts
1 → 2

prune3.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
0.1b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.1b
(-.f64 1 (*.f64 x (+.f64 253/1000 (*.f64 x 3/25))))
Compiler

Compiled 37 to 29 computations (21.6% saved)

localize5.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 253/1000 (*.f64 x 3/25))
✓0.2b
(*.f64 x (+.f64 253/1000 (*.f64 x 3/25)))
✓0.3b
(*.f64 x 3/25)

series6.0ms (0.3%)

Counts
3 → 36
Calls

3 calls:

2.0ms
(*.f64 x (+.f64 253/1000 (*.f64 x 3/25)))
2.0ms
(*.f64 x 3/25)
1.0ms
(+.f64 253/1000 (*.f64 x 3/25))

rewrite48.0ms (2.5%)

Algorithm
1×batch-egg-rewrite
Rules
769×log1p-expm1-u_binary64
769×expm1-log1p-u_binary64
275×prod-diff_binary64
79×add-sqr-sqrt_binary64
75×add-cbrt-cube_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0721
115817
2205917
Stop Event
1×node limit
Counts
3 → 73
Calls

3 calls:

47.0ms
(+.f64 253/1000 (*.f64 x 3/25))
47.0ms
(*.f64 x (+.f64 253/1000 (*.f64 x 3/25)))
47.0ms
(*.f64 x 3/25)

simplify66.0ms (3.5%)

Algorithm
1×egg-herbie
Rules
543×associate-*l*_binary64
434×unswap-sqr_binary64
370×sqr-pow_binary64
366×fma-def_binary64
301×*-commutative_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
011237
122219
236192
362192
4155192
5477192
61677192
72931192
83135192
93348192
103568192
113873192
124275192
134785192
Stop Event
1×node limit
Counts
109 → 82

prune81.0ms (4.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New77582
Fresh000
Picked011
Done000
Total77683
Error
0.0b
Counts
83 → 6
Alt Table
StatusErrorProgram
0.4b
(-.f64 1 (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 x 3/25 253/1000))) 3))
7.6b
(-.f64 1 (/.f64 (*.f64 (-.f64 64009/1000000 (pow.f64 (*.f64 x 3/25) 2)) x) (-.f64 253/1000 (*.f64 x 3/25))))
9.6b
(-.f64 1 (/.f64 (*.f64 (+.f64 16194277/1000000000 (*.f64 27/15625 (pow.f64 x 3))) x) (+.f64 64009/1000000 (-.f64 (pow.f64 (*.f64 x 3/25) 2) (*.f64 759/25000 x)))))
7.8b
(-.f64 1 (*.f64 x (+.f64 253/1000 (cbrt.f64 (*.f64 27/15625 (pow.f64 x 3))))))
▶0.1b
(-.f64 1 (+.f64 (*.f64 3/25 (pow.f64 x 2)) (*.f64 253/1000 x)))
✓0.1b
(-.f64 1 (*.f64 x (+.f64 253/1000 (*.f64 x 3/25))))
Compiler

Compiled 1273 to 1035 computations (18.7% saved)

localize7.0ms (0.4%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 (*.f64 3/25 (pow.f64 x 2)) (*.f64 253/1000 x))
✓0.1b
(*.f64 253/1000 x)
✓0.2b
(*.f64 3/25 (pow.f64 x 2))

series7.0ms (0.4%)

Counts
3 → 3
Calls

3 calls:

3.0ms
(+.f64 (*.f64 3/25 (pow.f64 x 2)) (*.f64 253/1000 x))
3.0ms
(*.f64 3/25 (pow.f64 x 2))
1.0ms
(*.f64 253/1000 x)

rewrite45.0ms (2.4%)

Algorithm
1×batch-egg-rewrite
Rules
852×log1p-expm1-u_binary64
852×expm1-log1p-u_binary64
92×add-sqr-sqrt_binary64
89×add-cbrt-cube_binary64
88×add-log-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0922
119622
2234822
Stop Event
1×node limit
Counts
3 → 65
Calls

3 calls:

44.0ms
(+.f64 (*.f64 3/25 (pow.f64 x 2)) (*.f64 253/1000 x))
44.0ms
(*.f64 253/1000 x)
44.0ms
(*.f64 3/25 (pow.f64 x 2))

simplify56.0ms (3%)

Algorithm
1×egg-herbie
Rules
626×sqr-pow_binary64
513×associate-*l*_binary64
434×unswap-sqr_binary64
285×cube-prod_binary64
280×fabs-mul_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0818
11518
22618
35118
412418
536718
6138418
7227218
8243618
9265018
10287018
11317118
12357118
13405718
14461818
Stop Event
1×node limit
Counts
68 → 68

prune58.0ms (3.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New67168
Fresh314
Picked011
Done011
Total70474
Error
0.0b
Counts
74 → 4
Alt Table
StatusErrorProgram
▶0.2b
(-.f64 1 (+.f64 (pow.f64 (*.f64 x (sqrt.f64 3/25)) 2) (*.f64 253/1000 x)))
7.8b
(-.f64 1 (*.f64 x (+.f64 253/1000 (cbrt.f64 (*.f64 27/15625 (pow.f64 x 3))))))
✓0.1b
(-.f64 1 (+.f64 (*.f64 3/25 (pow.f64 x 2)) (*.f64 253/1000 x)))
✓0.1b
(-.f64 1 (*.f64 x (+.f64 253/1000 (*.f64 x 3/25))))
Compiler

Compiled 1178 to 855 computations (27.4% saved)

localize8.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 (pow.f64 (*.f64 x (sqrt.f64 3/25)) 2) (*.f64 253/1000 x))
✓0.0b
(*.f64 x (sqrt.f64 3/25))
0.1b
(*.f64 253/1000 x)
✓0.3b
(pow.f64 (*.f64 x (sqrt.f64 3/25)) 2)

series15.0ms (0.8%)

Counts
3 → 36
Calls

3 calls:

7.0ms
(+.f64 (pow.f64 (*.f64 x (sqrt.f64 3/25)) 2) (*.f64 253/1000 x))
5.0ms
(pow.f64 (*.f64 x (sqrt.f64 3/25)) 2)
3.0ms
(*.f64 x (sqrt.f64 3/25))

rewrite48.0ms (2.5%)

Algorithm
1×batch-egg-rewrite
Rules
433×log-prod_binary64
313×fma-def_binary64
249×pow2_binary64
174×expm1-udef_binary64
174×log1p-udef_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01030
121824
2259624
Stop Event
1×node limit
Counts
3 → 112
Calls

3 calls:

46.0ms
(+.f64 (pow.f64 (*.f64 x (sqrt.f64 3/25)) 2) (*.f64 253/1000 x))
46.0ms
(*.f64 x (sqrt.f64 3/25))
46.0ms
(pow.f64 (*.f64 x (sqrt.f64 3/25)) 2)

simplify56.0ms (3%)

Algorithm
1×egg-herbie
Rules
667×associate-*l*_binary64
649×fma-def_binary64
468×associate-*r*_binary64
290×distribute-lft-in_binary64
290×distribute-rgt-in_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
012388
125273
247264
3124246
4460246
52306246
62663246
72991246
83416246
94039246
Stop Event
1×node limit
Counts
148 → 118

prune166.0ms (8.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1292131
Fresh101
Picked101
Done022
Total1314135
Error
0b
Counts
135 → 4
Alt Table
StatusErrorProgram
▶0.1b
(-.f64 1 (+.f64 (*.f64 (sqrt.f64 3/25) (*.f64 x (*.f64 x (sqrt.f64 3/25)))) (*.f64 253/1000 x)))
✓0.1b
(-.f64 1 (+.f64 (*.f64 3/25 (pow.f64 x 2)) (*.f64 253/1000 x)))
0.1b
(-.f64 1 (fma.f64 x (*.f64 (sqrt.f64 3/25) (*.f64 x (sqrt.f64 3/25))) (*.f64 x 253/1000)))
✓0.1b
(-.f64 1 (*.f64 x (+.f64 253/1000 (*.f64 x 3/25))))
Compiler

Compiled 2261 to 1706 computations (24.5% saved)

localize8.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(*.f64 x (sqrt.f64 3/25))
0.1b
(*.f64 253/1000 x)
✓0.2b
(*.f64 x (*.f64 x (sqrt.f64 3/25)))
✓0.2b
(*.f64 (sqrt.f64 3/25) (*.f64 x (*.f64 x (sqrt.f64 3/25))))

series16.0ms (0.8%)

Counts
2 → 24
Calls

2 calls:

12.0ms
(*.f64 (sqrt.f64 3/25) (*.f64 x (*.f64 x (sqrt.f64 3/25))))
4.0ms
(*.f64 x (*.f64 x (sqrt.f64 3/25)))

rewrite78.0ms (4.1%)

Algorithm
1×batch-egg-rewrite
Rules
555×log1p-expm1-u_binary64
555×expm1-log1p-u_binary64
338×log-prod_binary64
162×pow2_binary64
117×pow1/3_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0723
114316
2160616
Stop Event
1×node limit
Counts
2 → 42
Calls

2 calls:

77.0ms
(*.f64 x (*.f64 x (sqrt.f64 3/25)))
77.0ms
(*.f64 (sqrt.f64 3/25) (*.f64 x (*.f64 x (sqrt.f64 3/25))))

simplify66.0ms (3.5%)

Algorithm
1×egg-herbie
Rules
744×associate-*l*_binary64
538×sqr-pow_binary64
505×associate-*r*_binary64
476×*-commutative_binary64
256×cube-prod_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
09252
119192
241192
3107192
4444192
52404192
62517192
72713192
82909192
93140192
103445192
114087192
124562192
Stop Event
1×node limit
Counts
66 → 46

prune129.0ms (6.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New82082
Fresh011
Picked011
Done022
Total82486
Error
0b
Counts
86 → 4
Alt Table
StatusErrorProgram
✓0.1b
(-.f64 1 (+.f64 (*.f64 (sqrt.f64 3/25) (*.f64 x (*.f64 x (sqrt.f64 3/25)))) (*.f64 253/1000 x)))
✓0.1b
(-.f64 1 (+.f64 (*.f64 3/25 (pow.f64 x 2)) (*.f64 253/1000 x)))
0.1b
(-.f64 1 (fma.f64 x (*.f64 (sqrt.f64 3/25) (*.f64 x (sqrt.f64 3/25))) (*.f64 x 253/1000)))
✓0.1b
(-.f64 1 (*.f64 x (+.f64 253/1000 (*.f64 x 3/25))))
Compiler

Compiled 1518 to 1209 computations (20.4% saved)

regimes128.0ms (6.8%)

Accuracy

Total 0.1b remaining (86.8%)

Threshold costs 0.1b (86.8%)

Counts
43 → 1
Compiler

Compiled 1669 to 1356 computations (18.8% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0914
11514
21914
32114
42214
Stop Event
1×saturated

end65.0ms (3.5%)

Compiler

Compiled 75 to 59 computations (21.3% saved)

Profiling

Loading profile data...