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)

sample44.0ms (0.5%)

Algorithm

1×

intervals

Results

32.0ms

256×

body

128

valid

Compiler

Compiled 347 to 94 computations (72.9% saved)

simplify236.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4944	106
1	4944	106

prune11.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: 32.9b

Counts

2 → 2

Compiler

Compiled 315 to 160 computations (49.2% saved)

localize46.0ms (0.6%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 3782789308857969/36028797018963968 (.f64 x x))
0.1b	(.f64 (.f64 x x) 1737369620307813/2251799813685248)
18.1b	(.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)))))
32.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))) (+.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))))

rewrite304.0ms (3.7%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`add-sqr-sqrt_binary64_2120`
22×	`add-cube-cbrt_binary64_2131` `*-un-lft-identity_binary64_2099`
21×	`add-cbrt-cube_binary64_2132` `add-exp-log_binary64_2134`
19×	`times-frac_binary64_2105` `associate-r_binary64_2041`
16×	`pow1_binary64_2157`
8×	`prod-exp_binary64_2145` `cbrt-unprod_binary64_2129`
7×	`associate-l_binary64_2042` `pow-prod-down_binary64_2167`
4×	`associate-/r/_binary64_2047` `add-log-exp_binary64_2135` `unswap-sqr_binary64_2067`
3×	`flip3-+_binary64_2102` `-commutative_binary64_2032` `associate-/r_binary64_2045` `associate-/l*_binary64_2046` `flip-+_binary64_2073`
2×	`cbrt-undiv_binary64_2130` `div-exp_binary64_2147` `associate-/l/_binary64_2048` `div-inv_binary64_2096`
1×	`associate-*r/_binary64_2043` `frac-2neg_binary64_2110` `clear-num_binary64_2098`

Counts

4 → 103

Calls

4 calls:

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))) (+.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))))
35.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)))))
7.0ms	(.f64 (.f64 x x) 1737369620307813/2251799813685248)
6.0ms	(.f64 3782789308857969/36028797018963968 (.f64 x x))

series482.0ms (5.9%)

Counts

4 → 12

Calls

4 calls:

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

simplify105.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5226	8726

prune861.0ms (10.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	112	3	115
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	114	3	117

Merged error: 0b

Counts

117 → 3

Compiler

Compiled 11030 to 8631 computations (21.7% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b

(+.f64 (/.f64 370645858300289935006419108089/2422807564493828181570755855648 (pow.f64 x 5)) (/.f64 1660320414109913/6603827387272392 (pow.f64 x 3)))

0.2b

(/.f64 370645858300289935006419108089/2422807564493828181570755855648 (pow.f64 x 5))

0.2b

(/.f64 1660320414109913/6603827387272392 (pow.f64 x 3))

rewrite79.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

59×	`times-frac_binary64_2105`
50×	`*-un-lft-identity_binary64_2099`
44×	`add-sqr-sqrt_binary64_2120` `add-cube-cbrt_binary64_2131`
24×	`unpow-prod-down_binary64_2175`
19×	`associate-/r*_binary64_2045`
13×	`add-exp-log_binary64_2134`
12×	`cube-prod_binary64_2124`
8×	`sqr-pow_binary64_2071`
7×	`add-cbrt-cube_binary64_2132`
6×	`div-exp_binary64_2147` `associate-/l*_binary64_2046`
5×	`add-log-exp_binary64_2135`
4×	`unpow3_binary64_2162` `cube-mult_binary64_2126`
3×	`pow1_binary64_2157`
2×	`distribute-lft-out_binary64_2052` `cbrt-undiv_binary64_2130` `pow-exp_binary64_2164` `pow-to-exp_binary64_2165` `frac-2neg_binary64_2110` `clear-num_binary64_2098` `div-inv_binary64_2096`
1×	`flip3-+_binary64_2102` `sum-log_binary64_2187` `+-commutative_binary64_2031` `flip-+_binary64_2073` `frac-add_binary64_2107`

Counts

3 → 124

Calls

3 calls:

53.0ms

(+.f64 (/.f64 370645858300289935006419108089/2422807564493828181570755855648 (pow.f64 x 5)) (/.f64 1660320414109913/6603827387272392 (pow.f64 x 3)))

9.0ms

(/.f64 1660320414109913/6603827387272392 (pow.f64 x 3))

5.0ms

(/.f64 370645858300289935006419108089/2422807564493828181570755855648 (pow.f64 x 5))

series283.0ms (3.4%)

Counts

3 → 9

Calls

3 calls:

171.0ms

(+.f64 (/.f64 370645858300289935006419108089/2422807564493828181570755855648 (pow.f64 x 5)) (/.f64 1660320414109913/6603827387272392 (pow.f64 x 3)))

61.0ms

(/.f64 370645858300289935006419108089/2422807564493828181570755855648 (pow.f64 x 5))

51.0ms

(/.f64 1660320414109913/6603827387272392 (pow.f64 x 3))

simplify83.0ms (1%)

Algorithm

1×	egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4965	1868
1	4965	1868

prune173.0ms (2.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	133	0	133
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	133	3	136

Merged error: 0b

Counts

136 → 3

Compiler

Compiled 2896 to 2279 computations (21.3% saved)

localize44.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (.f64 x x) 1737369620307813/2251799813685248)
11.1b	(cbrt.f64 (pow.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)))) 3))
18.1b	(.f64 x (cbrt.f64 (pow.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)))) 3)))
32.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))) (+.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))))

rewrite179.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Rules

78×	`cbrt-prod_binary64_2127`
61×	`add-sqr-sqrt_binary64_2120`
47×	`times-frac_binary64_2105`
45×	`add-cube-cbrt_binary64_2131` `*-un-lft-identity_binary64_2099`
42×	`associate-r_binary64_2041`
32×	`unpow-prod-down_binary64_2175` `cube-prod_binary64_2124`
13×	`add-exp-log_binary64_2134`
12×	`add-cbrt-cube_binary64_2132`
11×	`pow1_binary64_2157`
10×	`associate-/r/_binary64_2047`
8×	`unswap-sqr_binary64_2067`
6×	`flip3-+_binary64_2102` `flip-+_binary64_2073`
5×	`div-inv_binary64_2096`
4×	`associate-l_binary64_2042` `prod-exp_binary64_2145` `add-log-exp_binary64_2135` `pow-prod-down_binary64_2167` `cbrt-unprod_binary64_2129`
3×	`sqr-pow_binary64_2071` `associate-/r_binary64_2045` `associate-/l_binary64_2046`
2×	`cbrt-div_binary64_2128` `*-commutative_binary64_2032` `associate-/l/_binary64_2048` `cube-div_binary64_2125` `unpow3_binary64_2162` `cube-mult_binary64_2126`
1×	`cbrt-undiv_binary64_2130` `associate-*r/_binary64_2043` `pow1/3_binary64_2178` `div-exp_binary64_2147` `frac-2neg_binary64_2110` `clear-num_binary64_2098` `rem-cbrt-cube_binary64_2122`

Counts

4 → 157

Calls

4 calls:

45.0ms	(.f64 x (cbrt.f64 (pow.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)))) 3)))
40.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))))
32.0ms	(cbrt.f64 (pow.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)))) 3))
7.0ms	(.f64 (.f64 x x) 1737369620307813/2251799813685248)

series616.0ms (7.5%)

Counts

4 → 12

Calls

4 calls:

231.0ms	(.f64 x (cbrt.f64 (pow.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)))) 3)))
173.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))))
172.0ms	(cbrt.f64 (pow.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)))) 3))
40.0ms	(.f64 (.f64 x x) 1737369620307813/2251799813685248)

simplify211.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

169 → 169

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4979	18276
1	4979	18276

prune1.8s (21.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	169	0	169
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	169	3	172

Merged error: 0b

Counts

172 → 3

Compiler

Compiled 18275 to 14384 computations (21.3% saved)

localize41.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)
0.1b	(.f64 3782789308857969/36028797018963968 (.f64 x x))
0.1b	(.f64 (.f64 x x) 1737369620307813/2251799813685248)
32.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 (+.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))))

rewrite79.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-exp-log_binary64_2134`
21×	`add-cbrt-cube_binary64_2132`
18×	`add-sqr-sqrt_binary64_2120`
14×	`pow1_binary64_2157`
11×	`associate-l_binary64_2042` `add-cube-cbrt_binary64_2131` `*-un-lft-identity_binary64_2099`
10×	`prod-exp_binary64_2145`
8×	`cbrt-unprod_binary64_2129`
7×	`associate-r_binary64_2041`
6×	`pow-prod-down_binary64_2167`
5×	`unswap-sqr_binary64_2067`
4×	`unpow-prod-down_binary64_2175` `add-log-exp_binary64_2135`
3×	`-commutative_binary64_2032` `times-frac_binary64_2105` `associate-/r_binary64_2045`
2×	`sqr-pow_binary64_2071` `cbrt-undiv_binary64_2130` `associate-*r/_binary64_2043` `flip3-+_binary64_2102` `div-exp_binary64_2147` `associate-/l/_binary64_2048` `associate-/r/_binary64_2047` `flip-+_binary64_2073`
1×	`pow-exp_binary64_2164` `pow-to-exp_binary64_2165` `frac-2neg_binary64_2110` `clear-num_binary64_2098` `associate-/l*_binary64_2046` `div-inv_binary64_2096`

Counts

4 → 88

Calls

4 calls:

39.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))))
9.0ms	(.f64 (.f64 x x) 1737369620307813/2251799813685248)
6.0ms	(.f64 3782789308857969/36028797018963968 (.f64 x x))
6.0ms	(*.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)

series344.0ms (4.2%)

Counts

4 → 12

Calls

4 calls:

230.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))))
45.0ms	(*.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)
35.0ms	(.f64 (.f64 x x) 1737369620307813/2251799813685248)
34.0ms	(.f64 3782789308857969/36028797018963968 (.f64 x x))

simplify98.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

100 → 100

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4895	3701
1	4895	3701

prune525.0ms (6.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	100	0	100
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	100	3	103

Merged error: 0b

Counts

103 → 3

Compiler

Compiled 7969 to 6220 computations (21.9% saved)

regimes39.0ms (0.5%)

Compiler: Compiled 162 to 132 computations (18.5% saved)

bsearch149.0ms (1.8%)

Steps

Iters	Range		Point
11	2.672289199511966e-08	1086264010429674.8	683.3863222185051
9	-90055472.77998364	-0.9074294326198158	-2962.141837447438

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	99	147
1	99	147

end0.0ms (0%)

sample1.4s (16.7%)

Algorithm

1×

intervals

Results

1.0s

8000×

body

128

valid

Compiler

Compiled 432 to 257 computations (40.5% saved)

Details

analyze10.0ms (0.1%)

sample44.0ms (0.5%)

simplify236.0ms (2.9%)

prune11.0ms (0.1%)

localize46.0ms (0.6%)

rewrite304.0ms (3.7%)

series482.0ms (5.9%)

simplify105.0ms (1.3%)

prune861.0ms (10.5%)

localize11.0ms (0.1%)

rewrite79.0ms (1%)

series283.0ms (3.4%)

simplify83.0ms (1%)

prune173.0ms (2.1%)

localize44.0ms (0.5%)

rewrite179.0ms (2.2%)

series616.0ms (7.5%)

simplify211.0ms (2.6%)

prune1.8s (21.8%)

localize41.0ms (0.5%)

rewrite79.0ms (1%)

series344.0ms (4.2%)

simplify98.0ms (1.2%)

prune525.0ms (6.4%)

regimes39.0ms (0.5%)

bsearch149.0ms (1.8%)

simplify4.0ms (0%)

end0.0ms (0%)

sample1.4s (16.7%)

Profiling