Details

Time bar (total: 2.0s)

analyze74.0ms (3.7%)

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)

sample848.0ms (42.7%)

Results
809.0ms8256×body128valid
7.0ms78×body128invalid
Compiler

Compiled 35 to 29 computations (17.1% saved)

simplify7.0ms (0.4%)

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
Counts
1 → 2
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01110
11810
2328
3568
4688
5748
6668

prune5.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.4b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.4b
(*.f64 (*.f64 (-.f64 x (/.f64 16 116)) 3) y)
0.4b
(*.f64 (fma.f64 x 3 -12/29) y)
Compiler

Compiled 55 to 43 computations (21.8% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 (-.f64 x (/.f64 16 116)) 3)
✓0.4b
(*.f64 (*.f64 (-.f64 x (/.f64 16 116)) 3) y)

series7.0ms (0.4%)

Counts
2 → 36
Calls

2 calls:

5.0ms
(*.f64 (*.f64 (-.f64 x (/.f64 16 116)) 3) y)
2.0ms
(*.f64 (-.f64 x (/.f64 16 116)) 3)

rewrite23.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Rules
12×add-sqr-sqrt_binary64
9×add-cbrt-cube_binary64
9×add-exp-log_binary64
9×pow1_binary64
7×associate-*l*_binary64
Counts
2 → 47
Calls

2 calls:

13.0ms
(*.f64 (*.f64 (-.f64 x (/.f64 16 116)) 3) y)
7.0ms
(*.f64 (-.f64 x (/.f64 16 116)) 3)

simplify101.0ms (5.1%)

Algorithm
1×egg-herbie
Rules
888×fma-def_binary64
495×associate-*r*_binary64
206×sqr-pow_binary64
195×distribute-rgt-in_binary64
194×distribute-lft-in_binary64
Counts
83 → 85
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
099921
1206672
2611666
31677666
42385666
53622666
64778666
74997666
84869666

prune64.0ms (3.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New78785
Fresh101
Picked101
Done000
Total80787
Error
0b
Counts
87 → 7
Alt Table
StatusErrorProgram
0.4b
(*.f64 (*.f64 (-.f64 x 4/29) 3) y)
0.3b
(*.f64 3 (*.f64 y (-.f64 x 4/29)))
14.4b
(*.f64 (expm1.f64 (log1p.f64 (fma.f64 3 x -12/29))) y)
▶0.3b
(*.f64 (-.f64 x (/.f64 16 116)) (*.f64 3 y))
0.4b
(*.f64 (pow.f64 (fma.f64 3 x -12/29) 1) y)
9.7b
(*.f64 (/.f64 (*.f64 3 (fma.f64 x x -16/841)) (+.f64 x (/.f64 16 116))) y)
32.3b
(*.f64 (*.f64 (fma.f64 3 x -12/29) (sqrt.f64 y)) (sqrt.f64 y))
Compiler

Compiled 1354 to 1052 computations (22.3% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.3b
(*.f64 (-.f64 x (/.f64 16 116)) (*.f64 3 y))

series7.0ms (0.3%)

Counts
1 → 24
Calls

1 calls:

7.0ms
(*.f64 (-.f64 x (/.f64 16 116)) (*.f64 3 y))

rewrite9.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
7×add-sqr-sqrt_binary64
6×associate-*l*_binary64
6×add-cbrt-cube_binary64
6×add-exp-log_binary64
6×pow1_binary64
Counts
1 → 25
Calls

1 calls:

8.0ms
(*.f64 (-.f64 x (/.f64 16 116)) (*.f64 3 y))

simplify76.0ms (3.8%)

Algorithm
1×egg-herbie
Rules
668×fma-def_binary64
545×associate-*l*_binary64
389×associate-*r*_binary64
207×unswap-sqr_binary64
175×fma-neg_binary64
Counts
49 → 43
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
077656
1172447
2499447
31627443
42444443
53664443
64975443
74985443

prune29.0ms (1.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New42143
Fresh156
Picked011
Done000
Total43750
Error
0b
Counts
50 → 7
Alt Table
StatusErrorProgram
0.4b
(*.f64 y (fma.f64 3 x -12/29))
✓0.3b
(*.f64 (-.f64 x (/.f64 16 116)) (*.f64 3 y))
0.4b
(*.f64 (*.f64 (-.f64 x 4/29) 3) y)
▶0.3b
(*.f64 3 (*.f64 y (-.f64 x 4/29)))
14.4b
(*.f64 (expm1.f64 (log1p.f64 (fma.f64 3 x -12/29))) y)
9.7b
(*.f64 (/.f64 (*.f64 3 (fma.f64 x x -16/841)) (+.f64 x (/.f64 16 116))) y)
32.3b
(*.f64 (*.f64 (fma.f64 3 x -12/29) (sqrt.f64 y)) (sqrt.f64 y))
Compiler

Compiled 777 to 603 computations (22.4% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 y (-.f64 x 4/29))
✓0.3b
(*.f64 3 (*.f64 y (-.f64 x 4/29)))

series10.0ms (0.5%)

Counts
2 → 28
Calls

2 calls:

6.0ms
(*.f64 3 (*.f64 y (-.f64 x 4/29)))
4.0ms
(*.f64 y (-.f64 x 4/29))

rewrite30.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Rules
65×distribute-lft-in_binary64
65×distribute-rgt-in_binary64
54×prod-diff_binary64
51×add-sqr-sqrt_binary64
49×*-un-lft-identity_binary64
Counts
2 → 124
Calls

2 calls:

11.0ms
(*.f64 3 (*.f64 y (-.f64 x 4/29)))
6.0ms
(*.f64 y (-.f64 x 4/29))

simplify106.0ms (5.3%)

Algorithm
1×egg-herbie
Rules
738×fma-def_binary64
474×*-commutative_binary64
412×unsub-neg_binary64
391×neg-mul-1_binary64
389×neg-sub0_binary64
Counts
152 → 166
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02131710
12931349
27211349
317301347
431941347
549891347
649001347

prune118.0ms (5.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1660166
Fresh055
Picked011
Done011
Total1667173
Error
0b
Counts
173 → 7
Alt Table
StatusErrorProgram
0.4b
(*.f64 y (fma.f64 3 x -12/29))
✓0.3b
(*.f64 (-.f64 x (/.f64 16 116)) (*.f64 3 y))
▶0.4b
(*.f64 (*.f64 (-.f64 x 4/29) 3) y)
✓0.3b
(*.f64 3 (*.f64 y (-.f64 x 4/29)))
14.4b
(*.f64 (expm1.f64 (log1p.f64 (fma.f64 3 x -12/29))) y)
9.7b
(*.f64 (/.f64 (*.f64 3 (fma.f64 x x -16/841)) (+.f64 x (/.f64 16 116))) y)
32.3b
(*.f64 (*.f64 (fma.f64 3 x -12/29) (sqrt.f64 y)) (sqrt.f64 y))
Compiler

Compiled 3232 to 2493 computations (22.9% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 (-.f64 x 4/29) 3)
✓0.4b
(*.f64 (*.f64 (-.f64 x 4/29) 3) y)

series7.0ms (0.4%)

Counts
2 → 36
Calls

2 calls:

6.0ms
(*.f64 (*.f64 (-.f64 x 4/29) 3) y)
2.0ms
(*.f64 (-.f64 x 4/29) 3)

rewrite14.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
9×add-sqr-sqrt_binary64
9×add-cbrt-cube_binary64
9×add-exp-log_binary64
9×pow1_binary64
7×*-un-lft-identity_binary64
Counts
2 → 46
Calls

2 calls:

7.0ms
(*.f64 (*.f64 (-.f64 x 4/29) 3) y)
5.0ms
(*.f64 (-.f64 x 4/29) 3)

simplify67.0ms (3.4%)

Algorithm
1×egg-herbie
Rules
837×fma-def_binary64
494×associate-*r*_binary64
302×unswap-sqr_binary64
206×sqr-pow_binary64
193×distribute-rgt-in_binary64
Counts
82 → 80
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
090907
1194658
2589654
31637654
42330654
53543654
64965654

prune44.0ms (2.2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New79180
Fresh134
Picked011
Done022
Total80787
Error
0b
Counts
87 → 7
Alt Table
StatusErrorProgram
0.4b
(*.f64 y (fma.f64 3 x -12/29))
✓0.3b
(*.f64 (-.f64 x (/.f64 16 116)) (*.f64 3 y))
✓0.4b
(*.f64 (*.f64 (-.f64 x 4/29) 3) y)
✓0.3b
(*.f64 3 (*.f64 y (-.f64 x 4/29)))
14.4b
(*.f64 (expm1.f64 (log1p.f64 (fma.f64 3 x -12/29))) y)
9.7b
(*.f64 (/.f64 (*.f64 3 (fma.f64 x x -16/841)) (+.f64 x 4/29)) y)
32.3b
(*.f64 (*.f64 (fma.f64 3 x -12/29) (sqrt.f64 y)) (sqrt.f64 y))
Compiler

Compiled 1021 to 754 computations (26.2% saved)

regimes236.0ms (11.9%)

Accuracy

Total 0.2b remaining (93.5%)

Threshold costs 0.2b (93.5%)

Counts
44 → 1
Compiler

Compiled 3877 to 3096 computations (20.1% saved)

simplify5.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
5×*-commutative_binary64
3×+-commutative_binary64
3×sub-neg_binary64
2×distribute-lft-neg-in_binary64
2×distribute-rgt-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0913
11813
22613
33013
43313
53413
63313

end79.0ms (4%)

Compiler

Compiled 95 to 71 computations (25.3% saved)

Profiling

Loading profile data...