Details

analyze10.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	4
50%	50%	0%	5
81.2%	18.7%	0%	6
100%	0%	0%	7

Compiler

Compiled 174 to 47 computations (73% saved)

sample47.0ms (0.6%)

Algorithm

1×

intervals

Results

35.0ms

256×

body

128

valid

Compiler

Compiled 347 to 94 computations (72.9% saved)

simplify228.0ms (3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4944	106
1	4944	106

prune14.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 29.1b

Counts

2 → 2

Compiler

Compiled 315 to 160 computations (49.2% saved)

localize39.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)
0.3b	(*.f64 825478423409049/4611686018427387904 (pow.f64 x 10))
14.0b	(.f64 x (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (.f64 825478423409049/4611686018427387904 (pow.f64 x 10))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (.f64 825478423409049/2305843009213693952 (pow.f64 x 12)))))
28.4b	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (.f64 825478423409049/4611686018427387904 (pow.f64 x 10))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (*.f64 825478423409049/2305843009213693952 (pow.f64 x 12))))

rewrite114.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Rules

41×	`add-sqr-sqrt_binary64_2794`
26×	`add-cube-cbrt_binary64_2805` `*-un-lft-identity_binary64_2773`
25×	`associate-r_binary64_2715`
21×	`add-exp-log_binary64_2808`
19×	`times-frac_binary64_2779`
15×	`add-cbrt-cube_binary64_2806`
13×	`associate-l_binary64_2716`
8×	`unpow-prod-down_binary64_2849` `unswap-sqr_binary64_2741` `prod-exp_binary64_2819`
6×	`pow1_binary64_2831`
4×	`cbrt-unprod_binary64_2803` `sqr-pow_binary64_2745` `associate-/r/_binary64_2721` `add-log-exp_binary64_2809`
3×	`flip3-+_binary64_2776` `associate-/r_binary64_2719` `-commutative_binary64_2706` `associate-/l*_binary64_2720` `flip-+_binary64_2747`
2×	`pow-exp_binary64_2838` `cbrt-undiv_binary64_2804` `associate-/l/_binary64_2722` `pow-to-exp_binary64_2839` `div-inv_binary64_2770` `div-exp_binary64_2821`
1×	`frac-2neg_binary64_2784` `pow-prod-down_binary64_2841` `clear-num_binary64_2772` `associate-*r/_binary64_2717`

Counts

4 → 115

Calls

4 calls:

38.0ms	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (.f64 825478423409049/4611686018427387904 (pow.f64 x 10))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (*.f64 825478423409049/2305843009213693952 (pow.f64 x 12))))
37.0ms	(.f64 x (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (.f64 825478423409049/4611686018427387904 (pow.f64 x 10))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (.f64 825478423409049/2305843009213693952 (pow.f64 x 12)))))
6.0ms	(*.f64 825478423409049/4611686018427387904 (pow.f64 x 10))
6.0ms	(*.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)

series571.0ms (7.4%)

Counts

4 → 12

Calls

4 calls:

233.0ms	(.f64 x (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (.f64 825478423409049/4611686018427387904 (pow.f64 x 10))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (.f64 825478423409049/2305843009213693952 (pow.f64 x 12)))))
184.0ms	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (.f64 825478423409049/4611686018427387904 (pow.f64 x 10))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (*.f64 825478423409049/2305843009213693952 (pow.f64 x 12))))
79.0ms	(*.f64 825478423409049/4611686018427387904 (pow.f64 x 10))
75.0ms	(*.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)

simplify105.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	4931	8921
1	4931	8921

prune966.0ms (12.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	125	2	127
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	127	2	129

Merged error: 0b

Counts

129 → 2

Compiler

Compiled 12008 to 9375 computations (21.9% saved)

localize55.0ms (0.7%)

Local error

Found 4 expressions with local error:

14.0b	(.f64 x (/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) 3) (pow.f64 (.f64 825478423409049/4611686018427387904 (pow.f64 x 10)) 3)) (.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (.f64 825478423409049/2305843009213693952 (pow.f64 x 12))) (+.f64 (.f64 681414627513889176066775084401/21267647932558653966460912964485513216 (pow.f64 x 20)) (.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (-.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (.f64 825478423409049/4611686018427387904 (pow.f64 x 10))))))))
23.8b	(+.f64 (.f64 681414627513889176066775084401/21267647932558653966460912964485513216 (pow.f64 x 20)) (.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (-.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (*.f64 825478423409049/4611686018427387904 (pow.f64 x 10)))))
27.4b	(-.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (.f64 825478423409049/4611686018427387904 (pow.f64 x 10)))
30.8b	(/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) 3) (pow.f64 (.f64 825478423409049/4611686018427387904 (pow.f64 x 10)) 3)) (.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (.f64 825478423409049/2305843009213693952 (pow.f64 x 12))) (+.f64 (.f64 681414627513889176066775084401/21267647932558653966460912964485513216 (pow.f64 x 20)) (.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (-.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (*.f64 825478423409049/4611686018427387904 (pow.f64 x 10)))))))

rewrite194.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-log-exp_binary64_2809`
18×	`add-exp-log_binary64_2808` `add-cbrt-cube_binary64_2806`
17×	`associate-r_binary64_2715`
16×	`associate-/r/_binary64_2721`
15×	`*-un-lft-identity_binary64_2773`
14×	`flip3-+_binary64_2776` `flip-+_binary64_2747`
11×	`sum-log_binary64_2861` `add-sqr-sqrt_binary64_2794`
10×	`times-frac_binary64_2779`
9×	`add-cube-cbrt_binary64_2805`
8×	`frac-times_binary64_2783`
6×	`pow1_binary64_2831`
5×	`cbrt-unprod_binary64_2803` `diff-log_binary64_2862` `associate-r/_binary64_2717` `prod-exp_binary64_2819` `associate-/l_binary64_2720`
4×	`cbrt-undiv_binary64_2804` `div-exp_binary64_2821` `associate-+r+_binary64_2707` `associate-*l/_binary64_2718`
3×	`sub-neg_binary64_2766` `associate-l_binary64_2716` `distribute-lft-out_binary64_2726` `associate--l+_binary64_2712` `sum-cubes_binary64_2774`
2×	`distribute-rgt-in_binary64_2725` `associate-/l/_binary64_2722` `div-inv_binary64_2770` `distribute-lft-in_binary64_2724`
1×	`frac-2neg_binary64_2784` `pow-prod-down_binary64_2841` `unswap-sqr_binary64_2741` `flip3--_binary64_2777` `associate-/r_binary64_2719` `flip--_binary64_2748` `-commutative_binary64_2706` `clear-num_binary64_2772` `+-commutative_binary64_2705`

Counts

4 → 103

Calls

4 calls:

50.0ms	(/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) 3) (pow.f64 (.f64 825478423409049/4611686018427387904 (pow.f64 x 10)) 3)) (.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (.f64 825478423409049/2305843009213693952 (pow.f64 x 12))) (+.f64 (.f64 681414627513889176066775084401/21267647932558653966460912964485513216 (pow.f64 x 20)) (.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (-.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (*.f64 825478423409049/4611686018427387904 (pow.f64 x 10)))))))
47.0ms	(.f64 x (/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) 3) (pow.f64 (.f64 825478423409049/4611686018427387904 (pow.f64 x 10)) 3)) (.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (.f64 825478423409049/2305843009213693952 (pow.f64 x 12))) (+.f64 (.f64 681414627513889176066775084401/21267647932558653966460912964485513216 (pow.f64 x 20)) (.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (-.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (.f64 825478423409049/4611686018427387904 (pow.f64 x 10))))))))
25.0ms	(-.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (.f64 825478423409049/4611686018427387904 (pow.f64 x 10)))
20.0ms	(+.f64 (.f64 681414627513889176066775084401/21267647932558653966460912964485513216 (pow.f64 x 20)) (.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (-.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (*.f64 825478423409049/4611686018427387904 (pow.f64 x 10)))))

series983.0ms (12.7%)

Counts

4 → 12

Calls

4 calls:

448.0ms	(.f64 x (/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) 3) (pow.f64 (.f64 825478423409049/4611686018427387904 (pow.f64 x 10)) 3)) (.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (.f64 825478423409049/2305843009213693952 (pow.f64 x 12))) (+.f64 (.f64 681414627513889176066775084401/21267647932558653966460912964485513216 (pow.f64 x 20)) (.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (-.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (.f64 825478423409049/4611686018427387904 (pow.f64 x 10))))))))
340.0ms	(/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) 3) (pow.f64 (.f64 825478423409049/4611686018427387904 (pow.f64 x 10)) 3)) (.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 1737369620307813/2251799813685248)) (.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (.f64 825478423409049/2305843009213693952 (pow.f64 x 12))) (+.f64 (.f64 681414627513889176066775084401/21267647932558653966460912964485513216 (pow.f64 x 20)) (.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (-.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (*.f64 825478423409049/4611686018427387904 (pow.f64 x 10)))))))
117.0ms	(+.f64 (.f64 681414627513889176066775084401/21267647932558653966460912964485513216 (pow.f64 x 20)) (.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (-.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (*.f64 825478423409049/4611686018427387904 (pow.f64 x 10)))))
78.0ms	(-.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (.f64 825478423409049/4611686018427387904 (pow.f64 x 10)))

simplify225.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4940	18686
1	4940	18686

prune2.1s (27.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0b

Counts

117 → 2

Compiler

Compiled 21189 to 16659 computations (21.4% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.1b	(/.f64 370645858300289935006419108089/2422807564493828181570755855648 (pow.f64 x 5))
0.2b	(/.f64 1660320414109913/6603827387272392 (pow.f64 x 3))

rewrite24.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

57×	`times-frac_binary64_2779`
43×	`add-cube-cbrt_binary64_2805` `add-sqr-sqrt_binary64_2794` `*-un-lft-identity_binary64_2773`
24×	`unpow-prod-down_binary64_2849`
19×	`associate-/r*_binary64_2719`
12×	`add-exp-log_binary64_2808` `cube-prod_binary64_2798`
8×	`sqr-pow_binary64_2745`
6×	`div-exp_binary64_2821` `add-cbrt-cube_binary64_2806` `associate-/l*_binary64_2720`
4×	`unpow3_binary64_2836` `cube-mult_binary64_2800`
2×	`pow-exp_binary64_2838` `cbrt-undiv_binary64_2804` `frac-2neg_binary64_2784` `pow-to-exp_binary64_2839` `pow1_binary64_2831` `div-inv_binary64_2770` `add-log-exp_binary64_2809` `clear-num_binary64_2772`

Counts

2 → 110

Calls

2 calls:

6.0ms	(/.f64 1660320414109913/6603827387272392 (pow.f64 x 3))
5.0ms	(/.f64 370645858300289935006419108089/2422807564493828181570755855648 (pow.f64 x 5))

series113.0ms (1.5%)

Counts

2 → 6

Calls

2 calls:

64.0ms	(/.f64 370645858300289935006419108089/2422807564493828181570755855648 (pow.f64 x 5))
49.0ms	(/.f64 1660320414109913/6603827387272392 (pow.f64 x 3))

simplify97.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4919	1500
1	4919	1500

prune137.0ms (1.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0b

Counts

118 → 2

Compiler

Compiled 2382 to 1848 computations (22.4% saved)

regimes37.0ms (0.5%)

Compiler: Compiled 156 to 126 computations (19.2% saved)

bsearch159.0ms (2.1%)

Steps

Iters	Range		Point
10	0.08025154831043377	154318335891404.78	670.5577587950825
9	-582909413347.912	-72584.77820676212	-383021.038910037

Compiler

Compiled 1 to 1 computations (0% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	136	244
1	136	244

end0.0ms (0%)

sample1.5s (18.9%)

Algorithm

1×

intervals

Results

1.0s

8000×

body

128

valid

Compiler

Compiled 491 to 302 computations (38.5% saved)

Details

analyze10.0ms (0.1%)

sample47.0ms (0.6%)

simplify228.0ms (3%)

prune14.0ms (0.2%)

localize39.0ms (0.5%)

rewrite114.0ms (1.5%)

series571.0ms (7.4%)

simplify105.0ms (1.4%)

prune966.0ms (12.5%)

localize55.0ms (0.7%)

rewrite194.0ms (2.5%)

series983.0ms (12.7%)

simplify225.0ms (2.9%)

prune2.1s (27.6%)

localize10.0ms (0.1%)

rewrite24.0ms (0.3%)

series113.0ms (1.5%)

simplify97.0ms (1.3%)

prune137.0ms (1.8%)

regimes37.0ms (0.5%)

bsearch159.0ms (2.1%)

simplify5.0ms (0.1%)

end0.0ms (0%)

sample1.5s (18.9%)

Profiling