Details

Time bar (total: 2.5s)

analyze10.0ms (0.4%)

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.1s (44.4%)

Results
984.0ms8256×body128valid
Compiler

Compiled 62 to 50 computations (19.4% saved)

simplify90.0ms (3.7%)

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

prune5.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)

localize13.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)))))

series10.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)))))
3.0ms
(*.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))
2.0ms
(*.f64 x 4481/100000)
2.0ms
(*.f64 x 27061/100000)

rewrite21.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:

6.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)))
3.0ms
(*.f64 x 4481/100000)
3.0ms
(*.f64 x 27061/100000)

simplify110.0ms (4.5%)

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

prune170.0ms (6.9%)

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)

localize13.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)))

series21.0ms (0.8%)

Counts
3 → 36
Calls

3 calls:

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

rewrite17.0ms (0.7%)

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:

8.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))
2.0ms
(fma.f64 x 4481/100000 99229/100000)

simplify110.0ms (4.4%)

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

prune172.0ms (7%)

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))

series7.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))
3.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)))
2.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 1913510371/10000000000 16316775383/10000000000)
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)))

simplify85.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

prune107.0ms (4.4%)

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
32.4b
(-.f64 (*.f64 1913510371/448100000 (/.f64 1 x)) (*.f64 70711/100000 x))
✓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)))
▶1.0b
(fma.f64 x -70711/100000 16316775383/10000000000)
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))
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.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)))))
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.1%)

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

prune19.0ms (0.8%)

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
32.4b
(-.f64 (*.f64 1913510371/448100000 (/.f64 1 x)) (*.f64 70711/100000 x))
✓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)))
✓1.0b
(fma.f64 x -70711/100000 16316775383/10000000000)
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))
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.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)))))
Compiler

Compiled 237 to 188 computations (20.7% saved)

regimes165.0ms (6.7%)

Accuracy

Total 0.1b remaining (46.2%)

Threshold costs 0.1b (46.2%)

Counts
53 → 1
Compiler

Compiled 2804 to 2198 computations (21.6% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01524
11724
21624

end127.0ms (5.1%)

Compiler

Compiled 165 to 128 computations (22.4% saved)

Profiling

Loading profile data...