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)

sample49.0ms (0.3%)

Algorithm

1×

intervals

Results

36.0ms

256×

body

128

valid

Compiler

Compiled 347 to 94 computations (72.9% saved)

simplify148.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5240	106

prune15.0ms (0.1%)

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.6b

Counts

2 → 2

Compiler

Compiled 315 to 160 computations (49.2% saved)

localize44.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (.f64 x x) (*.f64 x x))
0.2b	(.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))
13.7b	(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 825478423409049/4611686018427387904) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x))))) x)
29.1b	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 825478423409049/4611686018427387904) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x)))))

rewrite1.0s (5.6%)

Algorithm

1×	rewrite-expression-head

Rules

470×	`pow1_binary64_2867`
376×	`add-exp-log_binary64_2844` `add-cbrt-cube_binary64_2842`
330×	`pow-prod-down_binary64_2877`
316×	`prod-exp_binary64_2855` `cbrt-unprod_binary64_2839`
36×	`pow-prod-up_binary64_2876`
26×	`add-sqr-sqrt_binary64_2828`
22×	`pow-sqr_binary64_2779`
21×	`*-un-lft-identity_binary64_2806` `add-cube-cbrt_binary64_2841`
19×	`associate-l_binary64_2747` `times-frac_binary64_2812`
18×	`pow-plus_binary64_2869`
13×	`pow2_binary64_2887`
5×	`associate-r_binary64_2746`
4×	`add-log-exp_binary64_2845` `associate-/r/_binary64_2752`
3×	`-commutative_binary64_2737` `associate-/r_binary64_2750` `flip-+_binary64_2780` `flip3-+_binary64_2809` `associate-/l*_binary64_2751` `unswap-sqr_binary64_2774`
2×	`associate-/l/_binary64_2753` `div-inv_binary64_2803` `div-exp_binary64_2857` `cbrt-undiv_binary64_2840`
1×	`swap-sqr_binary64_2773` `clear-num_binary64_2805` `associate-*l/_binary64_2749` `frac-2neg_binary64_2817`

Counts

4 → 281

Calls

4 calls:

676.0ms	(.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))
94.0ms	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 825478423409049/4611686018427387904) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x)))))
83.0ms	(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 825478423409049/4611686018427387904) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x))))) x)
10.0ms	(.f64 (.f64 x x) (*.f64 x x))

series235.0ms (1.3%)

Counts

4 → 12

Calls

4 calls:

91.0ms	(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 825478423409049/4611686018427387904) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x))))) x)
80.0ms	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 825478423409049/4611686018427387904) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x)))))
41.0ms	(.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))
22.0ms	(.f64 (.f64 x x) (*.f64 x x))

simplify206.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

293 → 293

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5010	9766

prune1.9s (10.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	289	4	293
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	291	4	295

Merged error: 0.0b

Counts

295 → 4

Compiler

Compiled 47045 to 15527 computations (67% saved)

localize43.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 825478423409049/4611686018427387904 (pow.f64 x 10))
0.3b	(/.f64 1 (/.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 (+.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)))))
13.7b	(.f64 (/.f64 1 (/.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 (+.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))))) x)
25.7b	(/.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 (+.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))))

rewrite180.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

168×	`times-frac_binary64_2812`
116×	`add-sqr-sqrt_binary64_2828`
99×	`*-un-lft-identity_binary64_2806`
97×	`add-cube-cbrt_binary64_2841`
53×	`associate-l_binary64_2747`
41×	`add-exp-log_binary64_2844`
22×	`add-cbrt-cube_binary64_2842`
18×	`associate-/r*_binary64_2750` `associate-/r/_binary64_2752`
15×	`div-exp_binary64_2857`
10×	`div-inv_binary64_2803` `prod-exp_binary64_2855` `associate-r_binary64_2746`
9×	`flip-+_binary64_2780` `flip3-+_binary64_2809`
8×	`unswap-sqr_binary64_2774`
7×	`cbrt-undiv_binary64_2840` `pow1_binary64_2867`
6×	`associate-/l*_binary64_2751`
4×	`1-exp_binary64_2850` `rec-exp_binary64_2856` `cbrt-unprod_binary64_2839` `unpow-prod-down_binary64_2885` `add-log-exp_binary64_2845`
2×	`associate-/l/_binary64_2753` `*-commutative_binary64_2737` `sqr-pow_binary64_2778` `clear-num_binary64_2805` `frac-2neg_binary64_2817`
1×	`pow-exp_binary64_2874` `pow-flip_binary64_2880` `pow-to-exp_binary64_2875` `inv-pow_binary64_2891` `pow-prod-down_binary64_2877` `associate-*l/_binary64_2749`

Counts

4 → 218

Calls

4 calls:

44.0ms	(.f64 (/.f64 1 (/.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 (+.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))))) x)
38.0ms	(/.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 (+.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.0ms	(/.f64 1 (/.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 (+.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)))))
6.0ms	(*.f64 825478423409049/4611686018427387904 (pow.f64 x 10))

series203.0ms (1.1%)

Counts

4 → 12

Calls

4 calls:

65.0ms	(.f64 (/.f64 1 (/.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 (+.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))))) x)
52.0ms	(/.f64 1 (/.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 (+.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)))))
50.0ms	(/.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 (+.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))))
36.0ms	(*.f64 825478423409049/4611686018427387904 (pow.f64 x 10))

simplify273.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

230 → 230

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5003	26650

prune2.7s (15.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	229	1	230
Fresh	1	2	3
Picked	0	1	1
Done	0	0	0
Total	230	4	234

Merged error: 0b

Counts

234 → 4

Compiler

Compiled 26601 to 20843 computations (21.6% saved)

localize90.0ms (0.5%)

Local error

Found 4 expressions with local error:

13.7b	(sqrt.f64 (/.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)))))
13.7b	(sqrt.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 825478423409049/4611686018427387904) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x))))))
29.1b	(/.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))))
29.1b	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 825478423409049/4611686018427387904) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x)))))

rewrite519.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`add-sqr-sqrt_binary64_2828`
38×	`times-frac_binary64_2812`
34×	`*-un-lft-identity_binary64_2806` `add-cube-cbrt_binary64_2841`
30×	`sqrt-prod_binary64_2822`
8×	`add-exp-log_binary64_2844` `add-cbrt-cube_binary64_2842` `associate-/r/_binary64_2752`
6×	`associate-/r_binary64_2750` `flip-+_binary64_2780` `flip3-+_binary64_2809` `associate-/l_binary64_2751` `pow1_binary64_2867`
4×	`associate-/l/_binary64_2753` `div-inv_binary64_2803` `rem-sqrt-square_binary64_2819` `add-log-exp_binary64_2845`
2×	`sqrt-div_binary64_2823` `pow1/2_binary64_2886` `div-exp_binary64_2857` `cbrt-undiv_binary64_2840` `sqrt-pow1_binary64_2824` `clear-num_binary64_2805` `frac-2neg_binary64_2817`

Counts

4 → 116

Calls

4 calls:

299.0ms	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 825478423409049/4611686018427387904) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x)))))
80.0ms	(sqrt.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 825478423409049/4611686018427387904) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x))))))
36.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))))
26.0ms	(sqrt.f64 (/.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)))))

series259.0ms (1.4%)

Counts

4 → 12

Calls

4 calls:

81.0ms	(sqrt.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 825478423409049/4611686018427387904) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x))))))
71.0ms	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 825478423409049/4611686018427387904) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x)))))
58.0ms	(sqrt.f64 (/.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)))))
48.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))))

simplify224.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4938	16626
1	4938	16626

prune2.0s (11.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	128	0	128
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	128	4	132

Merged error: 0b

Counts

132 → 4

Compiler

Compiled 30984 to 16778 computations (45.8% saved)

localize74.0ms (0.4%)

Local error

Found 4 expressions with local error:

14.5b	(cbrt.f64 (/.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 (+.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.7b	(/.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 (+.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.7b	(/.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 (+.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.7b	(/.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 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 3782789308857969/36028797018963968)) (.f64 (pow.f64 x 4) 763919671262763/18014398509481984)) (.f64 (pow.f64 x 6) 8375303961237363/1152921504606846976)) (.f64 (pow.f64 x 8) 583843369866023/1152921504606846976)) (*.f64 (pow.f64 x 10) 825478423409049/4611686018427387904)))

rewrite207.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

36×	`times-frac_binary64_2812`
35×	`add-sqr-sqrt_binary64_2828` `*-un-lft-identity_binary64_2806` `add-cube-cbrt_binary64_2841`
15×	`cbrt-prod_binary64_2837`
10×	`add-exp-log_binary64_2844` `add-cbrt-cube_binary64_2842`
9×	`associate-/r_binary64_2750` `associate-/l_binary64_2751`
8×	`associate-/r/_binary64_2752`
7×	`flip-+_binary64_2780` `flip3-+_binary64_2809`
6×	`associate-/l/_binary64_2753`
4×	`div-inv_binary64_2803` `add-log-exp_binary64_2845` `pow1_binary64_2867`
3×	`div-exp_binary64_2857` `cbrt-undiv_binary64_2840` `clear-num_binary64_2805` `frac-2neg_binary64_2817`
1×	`cbrt-div_binary64_2838` `pow1/3_binary64_2888`

Counts

4 → 117

Calls

4 calls:

44.0ms	(/.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 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 3782789308857969/36028797018963968)) (.f64 (pow.f64 x 4) 763919671262763/18014398509481984)) (.f64 (pow.f64 x 6) 8375303961237363/1152921504606846976)) (.f64 (pow.f64 x 8) 583843369866023/1152921504606846976)) (*.f64 (pow.f64 x 10) 825478423409049/4611686018427387904)))
37.0ms	(/.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 (+.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))))
37.0ms	(/.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 (+.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	(cbrt.f64 (/.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 (+.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)))))

series223.0ms (1.2%)

Counts

4 → 12

Calls

4 calls:

80.0ms	(cbrt.f64 (/.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 (+.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)))))
51.0ms	(/.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 (+.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))))
46.0ms	(/.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 (+.f64 (+.f64 (+.f64 1 (.f64 (.f64 x x) 3782789308857969/36028797018963968)) (.f64 (pow.f64 x 4) 763919671262763/18014398509481984)) (.f64 (pow.f64 x 6) 8375303961237363/1152921504606846976)) (.f64 (pow.f64 x 8) 583843369866023/1152921504606846976)) (*.f64 (pow.f64 x 10) 825478423409049/4611686018427387904)))
45.0ms	(/.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 (+.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))))

simplify196.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5534	17348

prune3.7s (20.6%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	129	4	133

Merged error: 0b

Counts

133 → 4

Compiler

Compiled 33613 to 26692 computations (20.6% saved)

regimes368.0ms (2.1%)

Compiler: Compiled 5568 to 3748 computations (32.7% saved)

bsearch116.0ms (0.6%)

Steps

Iters	Range		Point
9	0.002731683422996318	259522.89479235915	6580.707290942831
8	-445177347.19745505	-1472034.2814523566	-5411240.723711077

Compiler

Compiled 1 to 1 computations (0% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	92	136
1	92	136

end0.0ms (0%)

sample2.9s (16%)

Algorithm

1×

intervals

Results

958.0ms

8000×

body

128

valid

Compiler

Compiled 2875 to 1948 computations (32.2% saved)

Details

analyze10.0ms (0.1%)

sample49.0ms (0.3%)

simplify148.0ms (0.8%)

prune15.0ms (0.1%)

localize44.0ms (0.2%)

rewrite1.0s (5.6%)

series235.0ms (1.3%)

simplify206.0ms (1.1%)

prune1.9s (10.8%)

localize43.0ms (0.2%)

rewrite180.0ms (1%)

series203.0ms (1.1%)

simplify273.0ms (1.5%)

prune2.7s (15.1%)

localize90.0ms (0.5%)

rewrite519.0ms (2.9%)

series259.0ms (1.4%)

simplify224.0ms (1.2%)

prune2.0s (11.3%)

localize74.0ms (0.4%)

rewrite207.0ms (1.2%)

series223.0ms (1.2%)

simplify196.0ms (1.1%)

prune3.7s (20.6%)

regimes368.0ms (2.1%)

bsearch116.0ms (0.6%)

simplify4.0ms (0%)

end0.0ms (0%)

sample2.9s (16%)

Profiling