Details

analyze286.0ms (0.9%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5240	106
0	1	1
1	1	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)

sample89.0ms (0.3%)

Algorithm

1×

intervals

Results

66.0ms

256×

body

128

valid

Compiler

Compiled 347 to 94 computations (72.9% saved)

simplify114.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (102.0ms)

Iter	Nodes	Cost
0	5240	106

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

Error

28.4b

Counts

2 → 2

Compiler

Compiled 315 to 160 computations (49.2% saved)

localize87.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 763919671262763/18014398509481984 (pow.f64 x 4))
0.3b	(.f64 3782789308857969/36028797018963968 (.f64 x x))
11.6b	(.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)))))
27.9b	(/.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))))

rewrite204.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

35×	`add-sqr-sqrt_binary64_3510`
24×	`add-cube-cbrt_binary64_3523` `*-un-lft-identity_binary64_3488`
23×	`associate-r_binary64_3428`
21×	`add-exp-log_binary64_3526`
19×	`times-frac_binary64_3494`
18×	`add-cbrt-cube_binary64_3524`
11×	`pow1_binary64_3549`
9×	`associate-l_binary64_3429`
8×	`prod-exp_binary64_3537`
6×	`unswap-sqr_binary64_3456` `cbrt-unprod_binary64_3521`
4×	`associate-/r/_binary64_3434` `unpow-prod-down_binary64_3567` `pow-prod-down_binary64_3559` `add-log-exp_binary64_3527`
3×	`associate-/r_binary64_3432` `flip-+_binary64_3462` `flip3-+_binary64_3491` `associate-/l_binary64_3433` `*-commutative_binary64_3419`
2×	`associate-/l/_binary64_3435` `sqr-pow_binary64_3460` `div-exp_binary64_3539` `cbrt-undiv_binary64_3522` `div-inv_binary64_3485`
1×	`pow-exp_binary64_3556` `clear-num_binary64_3487` `pow-to-exp_binary64_3557` `associate-*r/_binary64_3430` `frac-2neg_binary64_3499`

Counts

4 → 109

Calls

4 calls:

67.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))))
59.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)))))
11.0ms	(.f64 3782789308857969/36028797018963968 (.f64 x x))
11.0ms	(*.f64 763919671262763/18014398509481984 (pow.f64 x 4))

series770.0ms (2.5%)

Counts

4 → 26

Calls

4 calls:

319.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)))))
286.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))))
90.0ms	(*.f64 763919671262763/18014398509481984 (pow.f64 x 4))
75.0ms	(.f64 3782789308857969/36028797018963968 (.f64 x x))

Compiler

Compiled 1196 to 1002 computations (16.2% saved)

simplify253.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 0 (104.0ms)

Iter	Nodes	Cost
0	4914	9004
1	4914	9004

prune1.8s (5.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	132	3	135
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	134	3	137

Error

Counts

137 → 3

Compiler

Compiled 11693 to 9115 computations (22% saved)

localize96.0ms (0.3%)

Local error

Found 4 expressions with local error:

2.8b	(sqrt.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))))
11.6b	(.f64 x (/.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))) (sqrt.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))))) (sqrt.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))))))
23.2b	(/.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))) (sqrt.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)))))
24.8b	(/.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))) (sqrt.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))))) (sqrt.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)))))

rewrite768.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Rules

550×	`times-frac_binary64_3494`
314×	`add-sqr-sqrt_binary64_3510`
289×	`add-cube-cbrt_binary64_3523` `*-un-lft-identity_binary64_3488`
284×	`sqrt-prod_binary64_3504`
150×	`associate-r_binary64_3428`
34×	`sqrt-div_binary64_3505`
32×	`associate-/r/_binary64_3434`
27×	`associate-/l*_binary64_3433`
20×	`add-cbrt-cube_binary64_3524` `add-exp-log_binary64_3526`
18×	`flip-+_binary64_3462` `flip3-+_binary64_3491`
16×	`div-inv_binary64_3485`
12×	`associate-/r*_binary64_3432`
7×	`unswap-sqr_binary64_3456` `div-exp_binary64_3539` `cbrt-undiv_binary64_3522` `pow1_binary64_3549`
4×	`add-log-exp_binary64_3527`
3×	`associate-/l/_binary64_3435` `associate-l_binary64_3429` `cbrt-unprod_binary64_3521` `prod-exp_binary64_3537`
2×	`clear-num_binary64_3487` `frac-2neg_binary64_3499`
1×	`associate-r/_binary64_3430` `pow-prod-down_binary64_3559` `pow1/2_binary64_3568` `-commutative_binary64_3419` `sqrt-pow1_binary64_3506` `rem-sqrt-square_binary64_3501`

Counts

4 → 425

Calls

4 calls:

170.0ms	(.f64 x (/.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))) (sqrt.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))))) (sqrt.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))))))
105.0ms	(/.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))) (sqrt.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))))) (sqrt.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)))))
78.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))) (sqrt.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)))))
33.0ms	(sqrt.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))))

series1.4s (4.3%)

Counts

4 → 41

Calls

4 calls:

447.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))) (sqrt.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)))))
341.0ms	(.f64 x (/.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))) (sqrt.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))))) (sqrt.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))))))
290.0ms	(/.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))) (sqrt.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))))) (sqrt.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)))))
278.0ms	(sqrt.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))))

Compiler

Compiled 2280 to 1945 computations (14.7% saved)

simplify1.4s (4.5%)

Algorithm

1×	egg-herbie

Counts

466 → 466

Iterations

Useful iterations: 0 (156.0ms)

Iter	Nodes	Cost
0	4906	80438
1	4906	80438

prune16.3s (52.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	466	0	466
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	466	3	469

Error

Counts

469 → 3

Compiler

Compiled 78316 to 61849 computations (21% saved)

localize81.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)
0.3b	(*.f64 763919671262763/18014398509481984 (pow.f64 x 4))
0.3b	(.f64 3782789308857969/36028797018963968 (.f64 x x))
27.9b	(/.f64 (.f64 x (+.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))))

rewrite121.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64_3510` `add-exp-log_binary64_3526`
18×	`add-cbrt-cube_binary64_3524`
13×	`associate-l_binary64_3429` `add-cube-cbrt_binary64_3523` `*-un-lft-identity_binary64_3488`
11×	`associate-r_binary64_3428`
10×	`prod-exp_binary64_3537`
9×	`pow1_binary64_3549`
8×	`unpow-prod-down_binary64_3567`
7×	`unswap-sqr_binary64_3456`
6×	`cbrt-unprod_binary64_3521`
4×	`add-log-exp_binary64_3527` `sqr-pow_binary64_3460`
3×	`associate-/r_binary64_3432` `times-frac_binary64_3494` `pow-prod-down_binary64_3559` `-commutative_binary64_3419`
2×	`pow-exp_binary64_3556` `associate-/l/_binary64_3435` `flip-+_binary64_3462` `flip3-+_binary64_3491` `associate-/r/_binary64_3434` `pow-to-exp_binary64_3557` `associate-*r/_binary64_3430` `div-exp_binary64_3539` `cbrt-undiv_binary64_3522`
1×	`clear-num_binary64_3487` `associate-/l*_binary64_3433` `frac-2neg_binary64_3499` `div-inv_binary64_3485`

Counts

4 → 94

Calls

4 calls:

57.0ms	(/.f64 (.f64 x (+.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))))
11.0ms	(.f64 3782789308857969/36028797018963968 (.f64 x x))
10.0ms	(*.f64 763919671262763/18014398509481984 (pow.f64 x 4))
10.0ms	(*.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)

series566.0ms (1.8%)

Counts

4 → 19

Calls

4 calls:

323.0ms	(/.f64 (.f64 x (+.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))))
85.0ms	(*.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)
85.0ms	(*.f64 763919671262763/18014398509481984 (pow.f64 x 4))
72.0ms	(.f64 3782789308857969/36028797018963968 (.f64 x x))

Compiler

Compiled 1431 to 1176 computations (17.8% saved)

simplify185.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 0 (111.0ms)

Iter	Nodes	Cost
0	4893	3868
1	4893	3868

prune919.0ms (2.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	113	0	113
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	113	3	116

Error

Counts

116 → 3

Compiler

Compiled 8520 to 6633 computations (22.1% saved)

localize11.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (/.f64 1/2 x) (/.f64 1660320414109913/6603827387272392 (pow.f64 x 3)))
0.5b	(/.f64 1660320414109913/6603827387272392 (pow.f64 x 3))

rewrite69.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`times-frac_binary64_3494`
33×	`*-un-lft-identity_binary64_3488`
27×	`add-sqr-sqrt_binary64_3510` `add-cube-cbrt_binary64_3523`
12×	`associate-/r*_binary64_3432` `unpow-prod-down_binary64_3567` `cube-prod_binary64_3516`
7×	`add-exp-log_binary64_3526`
4×	`unpow3_binary64_3554` `add-cbrt-cube_binary64_3524` `add-log-exp_binary64_3527` `sqr-pow_binary64_3460` `cube-mult_binary64_3518`
3×	`associate-/l*_binary64_3433` `div-exp_binary64_3539`
2×	`distribute-lft-out_binary64_3439` `pow1_binary64_3549`
1×	`pow-exp_binary64_3556` `clear-num_binary64_3487` `frac-add_binary64_3496` `flip-+_binary64_3462` `flip3-+_binary64_3491` `+-commutative_binary64_3418` `pow-to-exp_binary64_3557` `frac-2neg_binary64_3499` `sum-log_binary64_3579` `cbrt-undiv_binary64_3522` `div-inv_binary64_3485`

Counts

2 → 79

Calls

2 calls:

48.0ms	(+.f64 (/.f64 1/2 x) (/.f64 1660320414109913/6603827387272392 (pow.f64 x 3)))
10.0ms	(/.f64 1660320414109913/6603827387272392 (pow.f64 x 3))

series163.0ms (0.5%)

Counts

2 → 9

Calls

2 calls:

100.0ms	(+.f64 (/.f64 1/2 x) (/.f64 1660320414109913/6603827387272392 (pow.f64 x 3)))
63.0ms	(/.f64 1660320414109913/6603827387272392 (pow.f64 x 3))

Compiler

Compiled 143 to 131 computations (8.4% saved)

simplify104.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4977	1153
1	4977	1153

prune130.0ms (0.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	88	0	88
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	88	3	91

Error

Counts

91 → 3

Compiler

Compiled 1224 to 915 computations (25.2% saved)

regimes477.0ms (1.5%)

Accuracy

Total 0.0b remaining (94.6%)

Threshold costs 0.0b (94.6%)

Compiler

Compiled 3418 to 2368 computations (30.7% saved)

bsearch184.0ms (0.6%)

Steps

Iters	Range		Point
4	267634.0362969345	420040.9285910752	272396.75168112636
9	-2.155837261393017e+18	-217316118359.6774	-2174397257215313.8

Compiler

Compiled 1 to 1 computations (0% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	94	246
1	94	246

end0.0ms (0%)

sample4.6s (14.9%)

Algorithm

1×

intervals

Results

1.9s

8000×

body

128

valid

Compiler

Compiled 1872 to 1315 computations (29.8% saved)

Details

analyze286.0ms (0.9%)

sample89.0ms (0.3%)

simplify114.0ms (0.4%)

prune21.0ms (0.1%)

localize87.0ms (0.3%)

rewrite204.0ms (0.7%)

series770.0ms (2.5%)

simplify253.0ms (0.8%)

prune1.8s (5.9%)

localize96.0ms (0.3%)

rewrite768.0ms (2.5%)

series1.4s (4.3%)

simplify1.4s (4.5%)

prune16.3s (52.1%)

localize81.0ms (0.3%)

rewrite121.0ms (0.4%)

series566.0ms (1.8%)

simplify185.0ms (0.6%)

prune919.0ms (2.9%)

localize11.0ms (0%)

rewrite69.0ms (0.2%)

series163.0ms (0.5%)

simplify104.0ms (0.3%)

prune130.0ms (0.4%)

regimes477.0ms (1.5%)

bsearch184.0ms (0.6%)

simplify7.0ms (0%)

end0.0ms (0%)

sample4.6s (14.9%)

Profiling