Details

Time bar (total: 2.3s)

analyze5.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
50%50%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.9%0.1%0%12
99.9%0%0%13
99.9%0%0%14
Compiler

Compiled 21 to 17 computations (19% saved)

sample1.0s (44.1%)

Results
910.0ms8256×body128valid
Compiler

Compiled 62 to 50 computations (19.4% saved)

simplify88.0ms (3.8%)

Algorithm
1×egg-herbie
Rules
708×fma-def_binary64
684×fma-neg_binary64
640×associate-/l*_binary64
583×associate-/r*_binary64
496×distribute-neg-frac_binary64
Counts
1 → 2
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
01728
13422
25922
39422
413122
517120
625020
742320
881020
9137620
10219720
11235520
12387820
13482220
14465620

prune4.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.1b
Counts
3 → 2
Alt Table
StatusErrorProgram
0.1b
(fma.f64 x -70711/100000 (/.f64 (fma.f64 x 1913510371/10000000000 16316775383/10000000000) (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1)))
▶0.1b
(*.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (*.f64 x 27061/100000)) (+.f64 1 (*.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))) x))
Compiler

Compiled 107 to 83 computations (22.4% saved)

localize11.0ms (0.5%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))
✓0.4b
(*.f64 x 27061/100000)
✓0.4b
(*.f64 x 4481/100000)
✓15.0b
(/.f64 (+.f64 230753/100000 (*.f64 x 27061/100000)) (+.f64 1 (*.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))

series9.0ms (0.4%)

Counts
4 → 48
Calls

4 calls:

4.0ms
(/.f64 (+.f64 230753/100000 (*.f64 x 27061/100000)) (+.f64 1 (*.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
2.0ms
(*.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))
1.0ms
(*.f64 x 4481/100000)
1.0ms
(*.f64 x 27061/100000)

rewrite20.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
24×add-sqr-sqrt_binary64
18×*-un-lft-identity_binary64
18×add-cube-cbrt_binary64
12×add-cbrt-cube_binary64
12×add-exp-log_binary64
Counts
4 → 97
Calls

4 calls:

5.0ms
(*.f64 x 27061/100000)
5.0ms
(/.f64 (+.f64 230753/100000 (*.f64 x 27061/100000)) (+.f64 1 (*.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
4.0ms
(*.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))
2.0ms
(*.f64 x 4481/100000)

simplify107.0ms (4.6%)

Algorithm
1×egg-herbie
Rules
531×distribute-rgt-in_binary64
505×distribute-lft-in_binary64
504×fma-def_binary64
382×times-frac_binary64
354×fma-neg_binary64
Counts
145 → 163
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02042128
14811708
214661697
340651691
448311691
550451691

prune153.0ms (6.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1612163
Fresh011
Picked101
Done000
Total1623165
Error
0.1b
Counts
165 → 3
Alt Table
StatusErrorProgram
0.1b
(fma.f64 x -70711/100000 (/.f64 (fma.f64 x 1913510371/10000000000 16316775383/10000000000) (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1)))
30.6b
(*.f64 70711/100000 (-.f64 (-.f64 (+.f64 230753/100000 (*.f64 1900161040244073/1000000000000000 (pow.f64 x 2))) (*.f64 20191289437/10000000000 x)) x))
▶0.1b
(*.f64 70711/100000 (-.f64 (*.f64 (+.f64 230753/100000 (*.f64 x 27061/100000)) (/.f64 1 (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1))) x))
Compiler

Compiled 4342 to 3421 computations (21.2% saved)

localize11.0ms (0.5%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.2b
(fma.f64 x 4481/100000 99229/100000)
✓0.2b
(/.f64 1 (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1))
0.4b
(*.f64 x 27061/100000)
✓14.7b
(*.f64 (+.f64 230753/100000 (*.f64 x 27061/100000)) (/.f64 1 (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1)))

series7.0ms (0.3%)

Counts
3 → 36
Calls

3 calls:

3.0ms
(*.f64 (+.f64 230753/100000 (*.f64 x 27061/100000)) (/.f64 1 (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1)))
3.0ms
(/.f64 1 (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1))
1.0ms
(fma.f64 x 4481/100000 99229/100000)

rewrite15.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
26×add-sqr-sqrt_binary64
20×times-frac_binary64
20×*-un-lft-identity_binary64
19×add-cube-cbrt_binary64
16×add-exp-log_binary64
Counts
3 → 85
Calls

3 calls:

7.0ms
(*.f64 (+.f64 230753/100000 (*.f64 x 27061/100000)) (/.f64 1 (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1)))
2.0ms
(/.f64 1 (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1))
0.0ms
(fma.f64 x 4481/100000 99229/100000)

simplify105.0ms (4.5%)

Algorithm
1×egg-herbie
Rules
768×times-frac_binary64
521×fma-neg_binary64
376×associate-*l*_binary64
365×fma-def_binary64
306×associate-*r*_binary64
Counts
121 → 150
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01642173
14091887
211871868
334201858
449961858
550351858

prune158.0ms (6.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1720172
Fresh022
Picked011
Done000
Total1723175
Error
0.1b
Counts
175 → 3
Alt Table
StatusErrorProgram
▶0.1b
(fma.f64 x -70711/100000 (/.f64 (fma.f64 x 1913510371/10000000000 16316775383/10000000000) (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1)))
30.6b
(*.f64 70711/100000 (-.f64 (-.f64 (+.f64 230753/100000 (*.f64 1900161040244073/1000000000000000 (pow.f64 x 2))) (*.f64 20191289437/10000000000 x)) x))
✓0.1b
(*.f64 70711/100000 (-.f64 (*.f64 (+.f64 230753/100000 (*.f64 x 27061/100000)) (/.f64 1 (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1))) x))
Compiler

Compiled 4513 to 3609 computations (20% saved)

localize10.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.1b
(fma.f64 x -70711/100000 (/.f64 (fma.f64 x 1913510371/10000000000 16316775383/10000000000) (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1)))
✓0.2b
(fma.f64 x 1913510371/10000000000 16316775383/10000000000)
0.2b
(fma.f64 x 4481/100000 99229/100000)
✓15.0b
(/.f64 (fma.f64 x 1913510371/10000000000 16316775383/10000000000) (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1))

series6.0ms (0.3%)

Counts
3 → 36
Calls

3 calls:

3.0ms
(/.f64 (fma.f64 x 1913510371/10000000000 16316775383/10000000000) (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1))
2.0ms
(fma.f64 x -70711/100000 (/.f64 (fma.f64 x 1913510371/10000000000 16316775383/10000000000) (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1)))
1.0ms
(fma.f64 x 1913510371/10000000000 16316775383/10000000000)

rewrite5.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
11×*-un-lft-identity_binary64
11×add-sqr-sqrt_binary64
11×add-cube-cbrt_binary64
9×times-frac_binary64
5×add-cbrt-cube_binary64
Counts
3 → 49
Calls

3 calls:

2.0ms
(/.f64 (fma.f64 x 1913510371/10000000000 16316775383/10000000000) (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1))
0.0ms
(fma.f64 x -70711/100000 (/.f64 (fma.f64 x 1913510371/10000000000 16316775383/10000000000) (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1)))
0.0ms
(fma.f64 x 1913510371/10000000000 16316775383/10000000000)

simplify82.0ms (3.5%)

Algorithm
1×egg-herbie
Rules
675×fma-def_binary64
512×fma-neg_binary64
336×cancel-sign-sub-inv_binary64
281×distribute-rgt-in_binary64
267×distribute-lft-in_binary64
Counts
85 → 87
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01241561
12671427
26711415
316901397
444411397
549281397

prune99.0ms (4.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New985103
Fresh101
Picked011
Done011
Total997106
Error
0.0b
Counts
106 → 7
Alt Table
StatusErrorProgram
✓0.1b
(fma.f64 x -70711/100000 (/.f64 (fma.f64 x 1913510371/10000000000 16316775383/10000000000) (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1)))
30.6b
(fma.f64 x (fma.f64 x 134362287316698645903/100000000000000000000 -2134856267379707/1000000000000000) 16316775383/10000000000)
✓0.1b
(*.f64 70711/100000 (-.f64 (*.f64 (+.f64 230753/100000 (*.f64 x 27061/100000)) (/.f64 1 (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1))) x))
1.5b
(*.f64 (*.f64 (cbrt.f64 (fma.f64 x -70711/100000 (/.f64 (fma.f64 x 1913510371/10000000000 16316775383/10000000000) (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1)))) (cbrt.f64 (fma.f64 x -70711/100000 (/.f64 (fma.f64 x 1913510371/10000000000 16316775383/10000000000) (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1))))) (cbrt.f64 (fma.f64 x -70711/100000 (/.f64 (fma.f64 x 1913510371/10000000000 16316775383/10000000000) (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1)))))
21.1b
(cbrt.f64 (pow.f64 (fma.f64 x -70711/100000 (/.f64 (fma.f64 x 1913510371/10000000000 16316775383/10000000000) (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1))) 3))
▶1.0b
(fma.f64 x -70711/100000 16316775383/10000000000)
32.4b
(-.f64 (*.f64 1913510371/448100000 (/.f64 1 x)) (*.f64 70711/100000 x))
Compiler

Compiled 2251 to 1726 computations (23.3% saved)

localize2.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.1b
(fma.f64 x -70711/100000 16316775383/10000000000)

series2.0ms (0.1%)

Counts
1 → 12
Calls

1 calls:

2.0ms
(fma.f64 x -70711/100000 16316775383/10000000000)

rewrite1.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
1×*-un-lft-identity_binary64
1×add-sqr-sqrt_binary64
1×add-cube-cbrt_binary64
1×add-cbrt-cube_binary64
1×add-exp-log_binary64
Counts
1 → 10
Calls

1 calls:

0.0ms
(fma.f64 x -70711/100000 16316775383/10000000000)

simplify77.0ms (3.3%)

Algorithm
1×egg-herbie
Rules
566×fma-def_binary64
484×unsub-neg_binary64
482×associate-*l*_binary64
478×distribute-rgt-out_binary64
430×distribute-rgt-in_binary64
Counts
22 → 16
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
019160
126131
250131
3162131
4600131
52297131
64137131
74376131
84819131

prune17.0ms (0.7%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New16016
Fresh044
Picked011
Done022
Total16723
Error
0.0b
Counts
23 → 7
Alt Table
StatusErrorProgram
✓0.1b
(fma.f64 x -70711/100000 (/.f64 (fma.f64 x 1913510371/10000000000 16316775383/10000000000) (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1)))
30.6b
(fma.f64 x (fma.f64 x 134362287316698645903/100000000000000000000 -2134856267379707/1000000000000000) 16316775383/10000000000)
✓0.1b
(*.f64 70711/100000 (-.f64 (*.f64 (+.f64 230753/100000 (*.f64 x 27061/100000)) (/.f64 1 (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1))) x))
1.5b
(*.f64 (*.f64 (cbrt.f64 (fma.f64 x -70711/100000 (/.f64 (fma.f64 x 1913510371/10000000000 16316775383/10000000000) (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1)))) (cbrt.f64 (fma.f64 x -70711/100000 (/.f64 (fma.f64 x 1913510371/10000000000 16316775383/10000000000) (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1))))) (cbrt.f64 (fma.f64 x -70711/100000 (/.f64 (fma.f64 x 1913510371/10000000000 16316775383/10000000000) (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1)))))
21.1b
(cbrt.f64 (pow.f64 (fma.f64 x -70711/100000 (/.f64 (fma.f64 x 1913510371/10000000000 16316775383/10000000000) (fma.f64 x (fma.f64 x 4481/100000 99229/100000) 1))) 3))
✓1.0b
(fma.f64 x -70711/100000 16316775383/10000000000)
32.4b
(-.f64 (*.f64 1913510371/448100000 (/.f64 1 x)) (*.f64 70711/100000 x))
Compiler

Compiled 237 to 188 computations (20.7% saved)

regimes164.0ms (7.1%)

Accuracy

Total 0.0b remaining (32.9%)

Threshold costs 0.0b (32.9%)

Counts
53 → 1
Compiler

Compiled 2804 to 2198 computations (21.6% 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
01525
12125
22525
32725
42825
52725

end138.0ms (6%)

Compiler

Compiled 167 to 130 computations (22.2% saved)

Profiling

Loading profile data...