Details

analyze10.0ms

Algorithm

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

sample45.0ms

Algorithm

intervals

Results

33.0ms

256×

body

valid

simplify81.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	5241	106

prune11.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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: 22.9b

Counts

2 → 2

localize44.0ms

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 x x) 1737369620307813/2251799813685248)
0.2b	(*.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))
11.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)))))
22.5b	(/.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))))

rewrite85.0ms

Algorithm

rewrite-expression-head

Rules

35×	`add-sqr-sqrt_binary64_575`
25×	`associate-r_binary64_649`
24×	`add-cube-cbrt_binary64_561` `*-un-lft-identity_binary64_590`
21×	`add-exp-log_binary64_554`
19×	`times-frac_binary64_585`
18×	`add-cbrt-cube_binary64_562`
11×	`pow1_binary64_532`
8×	`prod-exp_binary64_537`
7×	`associate-l_binary64_650`
6×	`cbrt-unprod_binary64_559` `unswap-sqr_binary64_618`
4×	`pow-prod-down_binary64_513` `unpow-prod-down_binary64_521` `add-log-exp_binary64_555` `associate-/r/_binary64_655`
3×	`flip-+_binary64_615` `-commutative_binary64_658` `associate-/l_binary64_654` `associate-/r*_binary64_653` `flip3-+_binary64_588`
2×	`div-inv_binary64_591` `cbrt-undiv_binary64_560` `sqr-pow_binary64_622` `associate-/l/_binary64_656` `div-exp_binary64_539`
1×	`pow-to-exp_binary64_511` `frac-2neg_binary64_583` `clear-num_binary64_593` `pow-exp_binary64_510` `associate-*r/_binary64_651`

Counts

4 → 109

Calls

4 calls:

6.0ms	(.f64 (.f64 x x) 1737369620307813/2251799813685248)
6.0ms	(*.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))
32.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)))))
37.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))))

series254.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(.f64 (.f64 x x) 1737369620307813/2251799813685248)
36.0ms	(*.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))
110.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)))))
89.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))))

simplify162.0ms

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	4928	8801
1	4928	8801

prune657.0ms

Filtered

85 candidates to 121 candidates (-42.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	117	4	121
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	119	4	123

Merged error: 0b

Counts

123 → 4

localize44.0ms

Local error

Found 4 expressions with local error:

0.1b	(.f64 3782789308857969/36028797018963968 (.f64 x x))
0.2b	(.f64 (.f64 x x) 1737369620307813/2251799813685248)
0.2b	(*.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))
22.4b	(.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 1 (+.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)))))

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

41×	`add-exp-log_binary64_554`
28×	`add-cbrt-cube_binary64_562`
26×	`associate-r_binary64_649`
23×	`add-sqr-sqrt_binary64_575`
21×	`prod-exp_binary64_537`
19×	`pow1_binary64_532`
16×	`add-cube-cbrt_binary64_561` `*-un-lft-identity_binary64_590`
13×	`cbrt-unprod_binary64_559`
9×	`pow-prod-down_binary64_513` `times-frac_binary64_585`
8×	`associate-l_binary64_650`
5×	`unswap-sqr_binary64_618` `associate-*r/_binary64_651`
4×	`unpow-prod-down_binary64_521` `*-commutative_binary64_658` `add-log-exp_binary64_555` `div-exp_binary64_539`
3×	`flip-+_binary64_615` `flip3-+_binary64_588`
2×	`cbrt-undiv_binary64_560` `rec-exp_binary64_538` `frac-times_binary64_582` `sqr-pow_binary64_622` `associate-/r/_binary64_655` `associate-*l/_binary64_652` `1-exp_binary64_550`
1×	`pow-to-exp_binary64_511` `div-inv_binary64_591` `pow-exp_binary64_510` `un-div-inv_binary64_592`

Counts

4 → 107

Calls

4 calls:

6.0ms	(.f64 3782789308857969/36028797018963968 (.f64 x x))
6.0ms	(.f64 (.f64 x x) 1737369620307813/2251799813685248)
6.0ms	(*.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))
41.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 1 (+.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)))))

series189.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(.f64 3782789308857969/36028797018963968 (.f64 x x))
22.0ms	(.f64 (.f64 x x) 1737369620307813/2251799813685248)
33.0ms	(*.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))
115.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 1 (+.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)))))

simplify126.0ms

Algorithm

egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4912	5515
1	4912	5515

prune376.0ms

Filtered

68 candidates to 119 candidates (-75.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	119	0	119
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	119	4	123

Merged error: 0b

Counts

123 → 4

localize50.0ms

Local error

Found 4 expressions with local error:

0.5b	(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.0b	(.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))))))
18.3b	(/.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)))))
21.9b	(/.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)))))

rewrite234.0ms

Algorithm

rewrite-expression-head

Rules

550×	`times-frac_binary64_585`
314×	`add-sqr-sqrt_binary64_575`
289×	`add-cube-cbrt_binary64_561` `*-un-lft-identity_binary64_590`
284×	`sqrt-prod_binary64_569`
150×	`associate-r_binary64_649`
34×	`sqrt-div_binary64_570`
32×	`associate-/r/_binary64_655`
27×	`associate-/l*_binary64_654`
20×	`add-cbrt-cube_binary64_562` `add-exp-log_binary64_554`
18×	`flip-+_binary64_615` `flip3-+_binary64_588`
16×	`div-inv_binary64_591`
12×	`associate-/r*_binary64_653`
7×	`unswap-sqr_binary64_618` `cbrt-undiv_binary64_560` `pow1_binary64_532` `div-exp_binary64_539`
4×	`add-log-exp_binary64_555`
3×	`cbrt-unprod_binary64_559` `prod-exp_binary64_537` `associate-l_binary64_650` `associate-/l/_binary64_656`
2×	`frac-2neg_binary64_583` `clear-num_binary64_593`
1×	`rem-sqrt-square_binary64_578` `pow-prod-down_binary64_513` `-commutative_binary64_658` `pow1/2_binary64_522` `sqrt-pow1_binary64_571` `associate-r/_binary64_651`

Counts

4 → 425

Calls

4 calls:

25.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))))
84.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))))))
39.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)))))
56.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)))))

series379.0ms

Counts

4 → 12

Calls

4 calls:

56.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))))
115.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))))))
107.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)))))
100.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)))))

simplify746.0ms

Algorithm

egg-herbie

Counts

437 → 437

Iterations

Useful iterations: 0 (103.0ms)

Iter	Nodes	Cost
0	4961	80538
1	4961	80538

prune4.9s

Filtered

221 candidates to 437 candidates (-97.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	437	0	437
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	437	4	441

Merged error: 0b

Counts

441 → 4

localize11.0ms

Local error

Found 3 expressions with local error:

0.1b

(*.f64 21556931916393198394382988102651/81129638414606681695789005144064 (pow.f64 x 5))

0.1b

(*.f64 (pow.f64 x 3) 24015124616067039/36028797018963968)

15.2b

(-.f64 (+.f64 x (*.f64 21556931916393198394382988102651/81129638414606681695789005144064 (pow.f64 x 5))) (*.f64 (pow.f64 x 3) 24015124616067039/36028797018963968))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64_575`
15×	`associate-l_binary64_650`
13×	`add-exp-log_binary64_554`
10×	`add-cube-cbrt_binary64_561` `-un-lft-identity_binary64_590` `associate-r*_binary64_649`
8×	`unpow-prod-down_binary64_521` `add-log-exp_binary64_555`
7×	`add-cbrt-cube_binary64_562` `unswap-sqr_binary64_618`
6×	`prod-exp_binary64_537`
4×	`sqr-pow_binary64_622` `cube-prod_binary64_563`
3×	`pow1_binary64_532`
2×	`cbrt-unprod_binary64_559` `pow-to-exp_binary64_511` `*-commutative_binary64_658` `diff-log_binary64_501` `pow-exp_binary64_510`
1×	`sub-neg_binary64_594` `flip--_binary64_616` `associate--l+_binary64_646` `cube-mult_binary64_565` `flip3--_binary64_589` `unpow3_binary64_530` `sum-log_binary64_500`

Counts

3 → 69

Calls

3 calls:

6.0ms

(*.f64 21556931916393198394382988102651/81129638414606681695789005144064 (pow.f64 x 5))

6.0ms

(*.f64 (pow.f64 x 3) 24015124616067039/36028797018963968)

7.0ms

(-.f64 (+.f64 x (*.f64 21556931916393198394382988102651/81129638414606681695789005144064 (pow.f64 x 5))) (*.f64 (pow.f64 x 3) 24015124616067039/36028797018963968))

series89.0ms

Counts

3 → 9

Calls

3 calls:

31.0ms

(*.f64 21556931916393198394382988102651/81129638414606681695789005144064 (pow.f64 x 5))

25.0ms

(*.f64 (pow.f64 x 3) 24015124616067039/36028797018963968)

33.0ms

(-.f64 (+.f64 x (*.f64 21556931916393198394382988102651/81129638414606681695789005144064 (pow.f64 x 5))) (*.f64 (pow.f64 x 3) 24015124616067039/36028797018963968))

simplify94.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	5028	1008

prune59.0ms

Filtered

50 candidates to 78 candidates (-56.0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	78	0	78
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	78	4	82

Merged error: 0b

Counts

82 → 4

regimes37.0ms

Accuracy

100% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 29.4b

bsearch135.0ms

Steps

Iters	Range		Point
10	0.026906334407112768	1095240865.588088	711.3199125379759
9	-4.2348007546944455e+20	-134788770257092.8	-3.538392030426441e+16

simplify5.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	100	145
1	100	145

end0.0ms

sample1.0s

Algorithm

intervals

Results

931.0ms

8000×

body

valid

Details

analyze10.0ms

sample45.0ms

simplify81.0ms

prune11.0ms

localize44.0ms

rewrite85.0ms

series254.0ms

simplify162.0ms

prune657.0ms

localize44.0ms

rewrite63.0ms

series189.0ms

simplify126.0ms

prune376.0ms

localize50.0ms

rewrite234.0ms

series379.0ms

simplify746.0ms

prune4.9s

localize11.0ms

rewrite21.0ms

series89.0ms

simplify94.0ms

prune59.0ms

regimes37.0ms

bsearch135.0ms

simplify5.0ms

end0.0ms

sample1.0s

Profiling