Details

analyze198.0ms (0.1%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5204	79
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
100%	0%	0%	1

Compiler

Compiled 65 to 53 computations (18.5% saved)

sample45.0ms (0%)

Algorithm

1×

intervals

Results

33.0ms

256×

body

128

valid

Compiler

Compiled 129 to 106 computations (17.8% saved)

simplify58.0ms (0%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5204	79

prune7.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

13.6b

Counts

2 → 1

Compiler

Compiled 115 to 93 computations (19.1% saved)

localize25.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
0.2b	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
0.4b	(+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))
13.4b	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))

rewrite669.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

13.5b

Rules

20×	`add-cube-cbrt_binary64_1818` `add-sqr-sqrt_binary64_1805` `*-un-lft-identity_binary64_1783`
18×	`times-frac_binary64_1789`
12×	`add-exp-log_binary64_1821`
8×	`add-log-exp_binary64_1822` `add-cbrt-cube_binary64_1819`
6×	`pow1_binary64_1844` `associate-/l_binary64_1728` `associate-/r_binary64_1727`
4×	`div-exp_binary64_1834` `associate-/r/_binary64_1729`
3×	`flip3-+_binary64_1786` `flip-+_binary64_1757`
2×	`associate-+r+_binary64_1715` `inv-pow_binary64_1868` `pow-flip_binary64_1857` `1-exp_binary64_1827` `rec-exp_binary64_1833` `cbrt-undiv_binary64_1817` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `div-inv_binary64_1780`
1×	`diff-log_binary64_1875` `flip3--_binary64_1787` `sub-neg_binary64_1776` `flip--_binary64_1758` `cancel-sign-sub-inv_binary64_1749` `sum-log_binary64_1874` `distribute-rgt-in_binary64_1733` `distribute-lft-in_binary64_1732` `+-commutative_binary64_1713`

Counts

4 → 91

Calls

4 calls:

6.0ms	(+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))
6.0ms	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
5.0ms	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
4.0ms	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))

Compiler

Compiled 7320 to 5496 computations (24.9% saved)

series2.9s (1.9%)

Error

13.5b

Counts

4 → 12

Calls

4 calls:

1.8s	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
852.0ms	(+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))
89.0ms	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
87.0ms	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))

Compiler

Compiled 2274 to 1818 computations (20.1% saved)

simplify87.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4924	4010
1	4924	4010

prune478.0ms (0.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	98	5	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	99	5	104

Error

13.4b

Counts

104 → 5

Compiler

Compiled 5790 to 4323 computations (25.3% saved)

localize35.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
0.2b	(/.f64 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (sqrt.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
0.4b	(+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (sqrt.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) 4780145094533421/4503599627370496))))))))
13.4b	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (sqrt.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))

rewrite2.5s (1.6%)

Algorithm

1×	rewrite-expression-head

Error

13.4b

Rules

279×	`times-frac_binary64_1789`
153×	`add-cube-cbrt_binary64_1818` `add-sqr-sqrt_binary64_1805` `*-un-lft-identity_binary64_1783`
138×	`sqrt-prod_binary64_1799`
27×	`associate-/l*_binary64_1728`
18×	`associate-/r/_binary64_1729`
17×	`add-exp-log_binary64_1821`
16×	`sqrt-div_binary64_1800`
11×	`add-cbrt-cube_binary64_1819`
10×	`flip3-+_binary64_1786` `flip-+_binary64_1757`
9×	`div-inv_binary64_1780` `associate-/r*_binary64_1727`
8×	`add-log-exp_binary64_1822` `div-exp_binary64_1834`
5×	`pow1_binary64_1844`
4×	`cbrt-undiv_binary64_1817`
2×	`associate-+r+_binary64_1715` `1-exp_binary64_1827` `rec-exp_binary64_1833` `frac-2neg_binary64_1794` `clear-num_binary64_1782`
1×	`diff-log_binary64_1875` `flip3--_binary64_1787` `sub-neg_binary64_1776` `flip--_binary64_1758` `cancel-sign-sub-inv_binary64_1749` `sum-log_binary64_1874` `distribute-rgt-in_binary64_1733` `distribute-lft-in_binary64_1732` `+-commutative_binary64_1713` `associate-/l/_binary64_1730` `inv-pow_binary64_1868` `pow-flip_binary64_1857`

Counts

4 → 251

Calls

4 calls:

17.0ms	(/.f64 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (sqrt.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
5.0ms	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
4.0ms	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (sqrt.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
4.0ms	(+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (sqrt.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) 4780145094533421/4503599627370496))))))))

Compiler

Compiled 19290 to 14640 computations (24.1% saved)

series3.0s (2%)

Error

13.4b

Counts

4 → 12

Calls

4 calls:

1.8s	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (sqrt.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
886.0ms	(+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (sqrt.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) 4780145094533421/4503599627370496))))))))
129.0ms	(/.f64 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (sqrt.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
92.0ms	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))

Compiler

Compiled 2410 to 1921 computations (20.3% saved)

simplify165.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

263 → 263

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4933	11614
1	4933	11614

prune1.1s (0.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	260	3	263
Fresh	2	2	4
Picked	0	1	1
Done	0	0	0
Total	262	6	268

Error

13.4b

Counts

268 → 6

Compiler

Compiled 10506 to 7907 computations (24.7% saved)

localize42.0ms (0%)

Local error

Found 4 expressions with local error:

0.4b	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))
0.5b	(.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (.f64 x x))) (+.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x)))))
0.7b	(pow.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (.f64 x x))) 3)
12.9b	(-.f64 1 (pow.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (.f64 x x))) 3))

rewrite6.4s (4.3%)

Algorithm

1×	rewrite-expression-head

Error

12.7b

Rules

465×	`times-frac_binary64_1789`
326×	`*-un-lft-identity_binary64_1783`
265×	`add-sqr-sqrt_binary64_1805`
222×	`add-cube-cbrt_binary64_1818`
122×	`unpow-prod-down_binary64_1862` `cube-prod_binary64_1811` `cancel-sign-sub-inv_binary64_1749`
58×	`associate-l_binary64_1724`
47×	`distribute-lft-out_binary64_1734`
30×	`associate-/r/_binary64_1729`
20×	`div-inv_binary64_1780`
19×	`add-cbrt-cube_binary64_1819`
18×	`flip3-+_binary64_1786` `flip-+_binary64_1757`
16×	`difference-of-squares_binary64_1752`
15×	`add-exp-log_binary64_1821`
8×	`add-log-exp_binary64_1822`
7×	`pow1_binary64_1844`
6×	`div-exp_binary64_1834` `cbrt-undiv_binary64_1817`
4×	`sqr-pow_binary64_1755` `associate-r_binary64_1723`
3×	`pow-unpow_binary64_1860` `pow-exp_binary64_1851` `rem-cube-cbrt_binary64_1806` `prod-exp_binary64_1832` `cbrt-unprod_binary64_1816` `unswap-sqr_binary64_1751`
2×	`unpow3_binary64_1849` `cube-mult_binary64_1813` `frac-times_binary64_1793` `associate-*r/_binary64_1725`
1×	`diff-log_binary64_1875` `flip3--_binary64_1787` `sub-neg_binary64_1776` `flip--_binary64_1758` `distribute-lft-out--_binary64_1735` `pow-pow_binary64_1855` `pow-to-exp_binary64_1852` `cube-div_binary64_1812` `pow-prod-down_binary64_1854` `distribute-rgt-in_binary64_1733` `distribute-lft-in_binary64_1732` `associate-l/_binary64_1726` `-commutative_binary64_1714` `sum-log_binary64_1874` `+-commutative_binary64_1713`

Counts

4 → 387

Calls

4 calls:

110.0ms	(.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (.f64 x x))) (+.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x)))))
89.0ms	(-.f64 1 (pow.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (.f64 x x))) 3))
53.0ms	(pow.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (.f64 x x))) 3)
35.0ms	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))

Compiler

Compiled 48623 to 35538 computations (26.9% saved)

series2.2min (88.3%)

Compiler: Compiled 4363 to 3347 computations (23.3% saved)

Details

analyze198.0ms (0.1%)

sample45.0ms (0%)

simplify58.0ms (0%)

prune7.0ms (0%)

localize25.0ms (0%)

rewrite669.0ms (0.4%)

series2.9s (1.9%)

simplify87.0ms (0.1%)

prune478.0ms (0.3%)

localize35.0ms (0%)

rewrite2.5s (1.6%)

series3.0s (2%)

simplify165.0ms (0.1%)

prune1.1s (0.7%)

localize42.0ms (0%)

rewrite6.4s (4.3%)

series2.2min (88.3%)

Profiling