Details

analyze995.0ms (5%)

Algorithm

1×

Search

True	Other	False	Iter
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
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
37.4%	62.4%	0.1%	8
37.4%	62.4%	0.1%	9
37.4%	62.4%	0.1%	10
43.7%	56.2%	0.1%	11
43.7%	56.2%	0.1%	12
43.7%	56.2%	0.1%	13
61.7%	38.2%	0.1%	14

Compiler

Compiled 38 to 30 computations (21.1% saved)

sample30.0ms (0.1%)

Algorithm

1×

intervals

Results

21.0ms

256×

body

128

valid

Compiler

Compiled 75 to 62 computations (17.3% saved)

simplify126.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5236	55

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

Merged error: 28.5b

Counts

2 → 1

Compiler

Compiled 74 to 58 computations (21.6% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x)
0.0b	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x)
0.1b	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x)
27.6b	(/.f64 (.f64 (-.f64 x 2) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x) z)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x) 172293041005667/549755813888) x) 6624073998258585/140737488355328))

rewrite78.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64_7943`
15×	`add-cbrt-cube_binary64_7957` `add-exp-log_binary64_7959`
12×	`add-cube-cbrt_binary64_7956` `*-un-lft-identity_binary64_7921`
10×	`pow1_binary64_7982`
9×	`associate-r_binary64_7861` `associate-l_binary64_7862`
8×	`associate-*l/_binary64_7864` `associate-/l/_binary64_7868`
7×	`flip3-+_binary64_7924` `flip-+_binary64_7895`
4×	`add-log-exp_binary64_7960` `frac-times_binary64_7931` `prod-exp_binary64_7970` `cbrt-unprod_binary64_7954`
3×	`flip3--_binary64_7925` `unswap-sqr_binary64_7889` `times-frac_binary64_7927` `-commutative_binary64_7852` `associate-/r_binary64_7865` `flip--_binary64_7896` `pow-prod-down_binary64_7992`
2×	`associate-*r/_binary64_7863` `associate-/r/_binary64_7867` `div-exp_binary64_7972` `cbrt-undiv_binary64_7955`
1×	`clear-num_binary64_7920` `frac-2neg_binary64_7932` `associate-/l*_binary64_7866` `div-inv_binary64_7918`

Counts

4 → 91

Calls

4 calls:

31.0ms	(/.f64 (.f64 (-.f64 x 2) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x) z)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x) 172293041005667/549755813888) x) 6624073998258585/140737488355328))
14.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x)
11.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x)
7.0ms	(.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x)

series1.5s (7.8%)

Counts

4 → 48

Calls

4 calls:

1.3s	(/.f64 (.f64 (-.f64 x 2) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x) z)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x) 172293041005667/549755813888) x) 6624073998258585/140737488355328))
156.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x)
76.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x)
25.0ms	(.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x)

Compiler

Compiled 4359 to 3598 computations (17.5% saved)

simplify95.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

139 → 139

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5138	6032

prune629.0ms (3.2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	130	9	139
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	131	9	140

Merged error: 22.2b

Counts

140 → 9

Compiler

Compiled 7585 to 5366 computations (29.3% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104))
0.0b	(.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))
0.1b	(.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y))
24.9b	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))

rewrite72.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64_7943`
18×	`add-cube-cbrt_binary64_7956` `*-un-lft-identity_binary64_7921`
12×	`add-cbrt-cube_binary64_7957` `add-exp-log_binary64_7959`
10×	`pow1_binary64_7982`
9×	`associate-r_binary64_7861` `times-frac_binary64_7927` `associate-l_binary64_7862`
6×	`associate-*r/_binary64_7863`
5×	`flip3-+_binary64_7924` `flip-+_binary64_7895`
4×	`add-log-exp_binary64_7960`
3×	`distribute-lft-in_binary64_7870` `unswap-sqr_binary64_7889` `prod-exp_binary64_7970` `distribute-rgt-in_binary64_7871` `cbrt-unprod_binary64_7954` `-commutative_binary64_7852` `associate-/l_binary64_7866` `associate-/r*_binary64_7865` `pow-prod-down_binary64_7992`
2×	`associate-/r/_binary64_7867` `associate-/l/_binary64_7868`
1×	`clear-num_binary64_7920` `frac-2neg_binary64_7932` `div-exp_binary64_7972` `cbrt-undiv_binary64_7955` `div-inv_binary64_7918`

Counts

4 → 97

Calls

4 calls:

28.0ms	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))
13.0ms	(.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y))
10.0ms	(.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104))
7.0ms	(.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))

series1.3s (6.4%)

Counts

4 → 45

Calls

4 calls:

1.0s	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))
147.0ms	(.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y))
83.0ms	(.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104))
29.0ms	(.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))

Compiler

Compiled 3388 to 2812 computations (17% saved)

simplify107.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5019	5233

prune372.0ms (1.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	140	2	142
Fresh	2	6	8
Picked	0	1	1
Done	0	0	0
Total	142	9	151

Merged error: 0.9b

Counts

151 → 9

Compiler

Compiled 7171 to 5081 computations (29.1% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

7.9b	(sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))
15.3b	(/.f64 (-.f64 x 2) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)))
15.5b	(.f64 (/.f64 (-.f64 x 2) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))) (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))))
21.8b	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)))

rewrite177.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

126×	`add-sqr-sqrt_binary64_7943`
108×	`times-frac_binary64_7927`
95×	`*-un-lft-identity_binary64_7921`
69×	`add-cube-cbrt_binary64_7956`
63×	`sqrt-prod_binary64_7937`
36×	`associate-l_binary64_7862`
24×	`associate-r_binary64_7861`
20×	`add-cbrt-cube_binary64_7957` `add-exp-log_binary64_7959`
13×	`distribute-lft-out--_binary64_7873` `difference-of-squares_binary64_7890`
12×	`associate-/r*_binary64_7865`
10×	`sqrt-div_binary64_7938`
9×	`unswap-sqr_binary64_7889`
8×	`associate-/r/_binary64_7867` `associate-/l*_binary64_7866`
7×	`pow1_binary64_7982`
6×	`div-exp_binary64_7972` `cbrt-undiv_binary64_7955` `flip3-+_binary64_7924` `flip-+_binary64_7895`
4×	`add-log-exp_binary64_7960` `prod-exp_binary64_7970` `cbrt-unprod_binary64_7954` `associate-/l/_binary64_7868` `div-inv_binary64_7918`
2×	`clear-num_binary64_7920` `frac-2neg_binary64_7932`
1×	`div-sub_binary64_7926` `flip3--_binary64_7925` `frac-times_binary64_7931` `associate-r/_binary64_7863` `sqrt-pow1_binary64_7939` `rem-sqrt-square_binary64_7934` `associate-l/_binary64_7864` `pow1/2_binary64_8001` `*-commutative_binary64_7852` `flip--_binary64_7896` `pow-prod-down_binary64_7992`

Counts

4 → 205

Calls

4 calls:

66.0ms	(.f64 (/.f64 (-.f64 x 2) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))) (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))))
28.0ms	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)))
18.0ms	(/.f64 (-.f64 x 2) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)))
13.0ms	(sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))

series2.5s (12.5%)

Counts

4 → 63

Calls

4 calls:

1.3s	(.f64 (/.f64 (-.f64 x 2) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))) (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))))
1.1s	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)))
62.0ms	(/.f64 (-.f64 x 2) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)))
60.0ms	(sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))

Compiler

Compiled 7030 to 5852 computations (16.8% saved)

simplify216.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

268 → 268

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4938	18862
1	4938	18862

prune1.5s (7.7%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	268	0	268
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	268	9	277

Merged error: 0.9b

Counts

277 → 9

Compiler

Compiled 20097 to 14727 computations (26.7% saved)

localize54.0ms (0.3%)

Local error

Found 4 expressions with local error:

24.1b	(/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 (.f64 x 172293041005667/549755813888) (+.f64 (.f64 1158907574534893/4398046511104 (.f64 x x)) (+.f64 6624073998258585/140737488355328 (.f64 6099563062176297/140737488355328 (pow.f64 x 3)))))))
24.1b	(/.f64 (.f64 x x) (+.f64 (pow.f64 x 4) (+.f64 (.f64 x 172293041005667/549755813888) (+.f64 (.f64 1158907574534893/4398046511104 (.f64 x x)) (+.f64 6624073998258585/140737488355328 (*.f64 6099563062176297/140737488355328 (pow.f64 x 3)))))))
24.4b	(/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 (.f64 x 172293041005667/549755813888) (+.f64 (.f64 1158907574534893/4398046511104 (.f64 x x)) (+.f64 6624073998258585/140737488355328 (.f64 6099563062176297/140737488355328 (pow.f64 x 3)))))))
26.9b	(/.f64 (pow.f64 x 5) (+.f64 (pow.f64 x 4) (+.f64 (.f64 x 172293041005667/549755813888) (+.f64 (.f64 1158907574534893/4398046511104 (.f64 x x)) (+.f64 6624073998258585/140737488355328 (.f64 6099563062176297/140737488355328 (pow.f64 x 3)))))))

rewrite191.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

132×	`*-un-lft-identity_binary64_7921`
108×	`times-frac_binary64_7927`
70×	`add-cube-cbrt_binary64_7956` `add-sqr-sqrt_binary64_7943`
45×	`unpow-prod-down_binary64_8000`
31×	`distribute-lft-out_binary64_7872`
27×	`associate-/l*_binary64_7866`
24×	`add-exp-log_binary64_7959`
16×	`associate-/r*_binary64_7865`
15×	`cube-prod_binary64_7949` `add-cbrt-cube_binary64_7957` `sqr-pow_binary64_7893`
11×	`div-exp_binary64_7972`
8×	`associate-/r/_binary64_7867`
5×	`unpow3_binary64_7987` `cube-mult_binary64_7951` `cbrt-undiv_binary64_7955`
4×	`add-log-exp_binary64_7960` `clear-num_binary64_7920` `frac-2neg_binary64_7932` `pow1_binary64_7982` `flip3-+_binary64_7924` `flip-+_binary64_7895` `div-inv_binary64_7918`
3×	`pow-exp_binary64_7989` `pow-to-exp_binary64_7990`
1×	`prod-exp_binary64_7970` `cbrt-unprod_binary64_7954`

Counts

4 → 215

Calls

4 calls:

21.0ms	(/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 (.f64 x 172293041005667/549755813888) (+.f64 (.f64 1158907574534893/4398046511104 (.f64 x x)) (+.f64 6624073998258585/140737488355328 (.f64 6099563062176297/140737488355328 (pow.f64 x 3)))))))
18.0ms	(/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 (.f64 x 172293041005667/549755813888) (+.f64 (.f64 1158907574534893/4398046511104 (.f64 x x)) (+.f64 6624073998258585/140737488355328 (.f64 6099563062176297/140737488355328 (pow.f64 x 3)))))))
17.0ms	(/.f64 (pow.f64 x 5) (+.f64 (pow.f64 x 4) (+.f64 (.f64 x 172293041005667/549755813888) (+.f64 (.f64 1158907574534893/4398046511104 (.f64 x x)) (+.f64 6624073998258585/140737488355328 (.f64 6099563062176297/140737488355328 (pow.f64 x 3)))))))
16.0ms	(/.f64 (.f64 x x) (+.f64 (pow.f64 x 4) (+.f64 (.f64 x 172293041005667/549755813888) (+.f64 (.f64 1158907574534893/4398046511104 (.f64 x x)) (+.f64 6624073998258585/140737488355328 (*.f64 6099563062176297/140737488355328 (pow.f64 x 3)))))))

series351.0ms (1.8%)

Counts

4 → 22

Calls

4 calls:

109.0ms	(/.f64 (pow.f64 x 5) (+.f64 (pow.f64 x 4) (+.f64 (.f64 x 172293041005667/549755813888) (+.f64 (.f64 1158907574534893/4398046511104 (.f64 x x)) (+.f64 6624073998258585/140737488355328 (.f64 6099563062176297/140737488355328 (pow.f64 x 3)))))))
92.0ms	(/.f64 (.f64 x x) (+.f64 (pow.f64 x 4) (+.f64 (.f64 x 172293041005667/549755813888) (+.f64 (.f64 1158907574534893/4398046511104 (.f64 x x)) (+.f64 6624073998258585/140737488355328 (*.f64 6099563062176297/140737488355328 (pow.f64 x 3)))))))
83.0ms	(/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 (.f64 x 172293041005667/549755813888) (+.f64 (.f64 1158907574534893/4398046511104 (.f64 x x)) (+.f64 6624073998258585/140737488355328 (.f64 6099563062176297/140737488355328 (pow.f64 x 3)))))))
67.0ms	(/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 (.f64 x 172293041005667/549755813888) (+.f64 (.f64 1158907574534893/4398046511104 (.f64 x x)) (+.f64 6624073998258585/140737488355328 (.f64 6099563062176297/140737488355328 (pow.f64 x 3)))))))

Compiler

Compiled 6809 to 5001 computations (26.6% saved)

simplify136.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

237 → 237

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5708	10932

prune5.7s (28.5%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	237	0	237
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	237	9	246

Merged error: 0.9b

Counts

246 → 9

Compiler

Compiled 54057 to 37519 computations (30.6% saved)

regimes1.1s (5.4%)

Compiler: Compiled 9968 to 7704 computations (22.7% saved)

bsearch57.0ms (0.3%)

Steps

Iters	Range		Point
7	2.0963939200668332e+33	2.5165462553505488e+35	2.47176536862874e+35
8	-3.746459145021636e+64	-2.1332328484971124e+61	-3.6911105542400877e+64

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	68	76
1	68	76

end0.0ms (0%)

sample2.5s (12.7%)

Algorithm

1×

intervals

Results

674.0ms	8000×	body	128	valid
1.0ms	7×	body	128	invalid

Compiler

Compiled 2636 to 2030 computations (23% saved)

Details

analyze995.0ms (5%)

sample30.0ms (0.1%)

simplify126.0ms (0.6%)

prune8.0ms (0%)

localize22.0ms (0.1%)

rewrite78.0ms (0.4%)

series1.5s (7.8%)

simplify95.0ms (0.5%)

prune629.0ms (3.2%)

localize27.0ms (0.1%)

rewrite72.0ms (0.4%)

series1.3s (6.4%)

simplify107.0ms (0.5%)

prune372.0ms (1.9%)

localize26.0ms (0.1%)

rewrite177.0ms (0.9%)

series2.5s (12.5%)

simplify216.0ms (1.1%)

prune1.5s (7.7%)

localize54.0ms (0.3%)

rewrite191.0ms (1%)

series351.0ms (1.8%)

simplify136.0ms (0.7%)

prune5.7s (28.5%)

regimes1.1s (5.4%)

bsearch57.0ms (0.3%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.5s (12.7%)

Profiling