Details

analyze3.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
100%	0%	0%	1

Compiler

Compiled 65 to 53 computations (18.5% saved)

sample51.0ms (0%)

Algorithm

1×

intervals

Results

33.0ms

256×

body

128

valid

Compiler

Compiled 129 to 106 computations (17.8% saved)

simplify145.0ms (0%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5204	79

prune13.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

14.0b

Counts

2 → 1

Compiler

Compiled 115 to 93 computations (19.1% saved)

localize27.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496)))))))))
0.0b	(+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))
0.0b	(+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))
0.0b	(+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))
0.2b	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
0.2b	(.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496)))))))
0.5b	(+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))
14.0b	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))

rewrite46.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-sqr-sqrt_binary64_2146`
21×	`*-un-lft-identity_binary64_2124`
20×	`add-cube-cbrt_binary64_2159` `times-frac_binary64_2130`
17×	`add-exp-log_binary64_2162`
15×	`associate-l_binary64_2065`
11×	`add-cbrt-cube_binary64_2160`
8×	`add-log-exp_binary64_2163`
7×	`pow1_binary64_2185`
5×	`flip3-+_binary64_2127` `flip-+_binary64_2098`
4×	`associate-/r/_binary64_2070` `prod-exp_binary64_2173` `div-exp_binary64_2175`
3×	`unswap-sqr_binary64_2092` `associate-/l_binary64_2069` `associate-/r_binary64_2068` `associate-r_binary64_2064`
2×	`cbrt-undiv_binary64_2158` `associate-+r+_binary64_2056` `distribute-rgt-in_binary64_2074` `associate-*r/_binary64_2066` `frac-times_binary64_2134` `1-exp_binary64_2168` `div-inv_binary64_2121` `distribute-lft-in_binary64_2073` `cbrt-unprod_binary64_2157` `rec-exp_binary64_2174`
1×	`flip--_binary64_2099` `pow-prod-down_binary64_2195` `clear-num_binary64_2123` `flip3--_binary64_2128` `cancel-sign-sub-inv_binary64_2090` `sum-log_binary64_2215` `-commutative_binary64_2055` `diff-log_binary64_2216` `associate-l/_binary64_2067` `+-commutative_binary64_2054` `sub-neg_binary64_2117` `pow-flip_binary64_2198` `inv-pow_binary64_2209` `frac-2neg_binary64_2135`

Counts

4 → 101

Calls

8 calls:

12.0ms	(.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496)))))))
5.0ms	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
4.0ms	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
4.0ms	(+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))
0.0ms	(+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))

series2.3s (0.1%)

Counts

4 → 12

Calls

4 calls:

1.1s	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
552.0ms	(+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))
510.0ms	(.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496)))))))
61.0ms	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))

Compiler

Compiled 1776 to 1440 computations (18.9% saved)

simplify118.0ms (0%)

Algorithm

1×	egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4921	6373
1	4921	6373

prune645.0ms (0%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	108	5	113
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	109	5	114

Error

14.0b

Counts

114 → 5

Compiler

Compiled 8880 to 6552 computations (26.2% saved)

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
0.0b	(+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))
0.0b	(+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))) (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))
0.0b	(+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))
0.2b	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
0.2b	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
0.2b	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
14.0b	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))) (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))

rewrite58.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-cube-cbrt_binary64_2159` `add-sqr-sqrt_binary64_2146` `*-un-lft-identity_binary64_2124`
27×	`times-frac_binary64_2130`
16×	`add-exp-log_binary64_2162`
10×	`add-cbrt-cube_binary64_2160`
9×	`associate-/l_binary64_2069` `associate-/r_binary64_2068`
7×	`pow1_binary64_2185`
6×	`associate-/r/_binary64_2070` `add-log-exp_binary64_2163` `div-exp_binary64_2175`
3×	`clear-num_binary64_2123` `cbrt-undiv_binary64_2158` `pow-flip_binary64_2198` `flip3-+_binary64_2127` `flip-+_binary64_2098` `1-exp_binary64_2168` `div-inv_binary64_2121` `inv-pow_binary64_2209` `frac-2neg_binary64_2135` `rec-exp_binary64_2174`
1×	`flip--_binary64_2099` `flip3--_binary64_2128` `cancel-sign-sub-inv_binary64_2090` `diff-log_binary64_2216` `sub-neg_binary64_2117`

Counts

4 → 111

Calls

8 calls:

11.0ms	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))) (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
5.0ms	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
5.0ms	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
5.0ms	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
0.0ms	(+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))

series1.3s (0.1%)

Counts

4 → 12

Calls

4 calls:

1.1s	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))) (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
62.0ms	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
58.0ms	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
54.0ms	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))

Compiler

Compiled 1826 to 1462 computations (19.9% saved)

simplify105.0ms (0%)

Algorithm

1×	egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4947	3566
1	4947	3566

prune635.0ms (0%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	120	3	123
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	122	6	128

Error

14.0b

Counts

128 → 6

Compiler

Compiled 10201 to 7574 computations (25.8% saved)

localize36.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
0.0b	(+.f64 -6544414927309881/4503599627370496 (.f64 (.f64 (/.f64 1 (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)))) (-.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))
0.0b	(+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (.f64 (/.f64 1 (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)))) (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))) (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))
0.0b	(+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (.f64 (/.f64 1 (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)))) (-.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))
0.5b	(*.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)
0.7b	(/.f64 1 (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016))))
13.4b	(.f64 (/.f64 1 (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)))) (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
14.0b	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (.f64 (/.f64 1 (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)))) (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))) (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))

rewrite62.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`add-sqr-sqrt_binary64_2146`
23×	`*-un-lft-identity_binary64_2124`
22×	`add-cube-cbrt_binary64_2159`
20×	`times-frac_binary64_2130`
19×	`add-exp-log_binary64_2162`
18×	`associate-l_binary64_2065`
13×	`add-cbrt-cube_binary64_2160`
9×	`pow1_binary64_2185`
6×	`add-log-exp_binary64_2163` `associate-r_binary64_2064`
5×	`flip--_binary64_2099` `flip3--_binary64_2128` `prod-exp_binary64_2173`
4×	`associate-/r/_binary64_2070` `unswap-sqr_binary64_2092` `div-exp_binary64_2175`
3×	`cancel-sign-sub-inv_binary64_2090` `associate-/l_binary64_2069` `associate-/r_binary64_2068` `sub-neg_binary64_2117` `cbrt-unprod_binary64_2157`
2×	`pow-prod-down_binary64_2195` `cbrt-undiv_binary64_2158` `-commutative_binary64_2055` `distribute-rgt-in_binary64_2074` `associate-r/_binary64_2066` `frac-times_binary64_2134` `1-exp_binary64_2168` `div-inv_binary64_2121` `distribute-lft-in_binary64_2073` `rec-exp_binary64_2174`
1×	`clear-num_binary64_2123` `diff-log_binary64_2216` `associate-*l/_binary64_2067` `pow-flip_binary64_2198` `inv-pow_binary64_2209` `frac-2neg_binary64_2135`

Counts

4 → 108

Calls

8 calls:

12.0ms	(.f64 (/.f64 1 (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)))) (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
11.0ms	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (.f64 (/.f64 1 (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)))) (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))) (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
6.0ms	(/.f64 1 (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016))))
4.0ms	(*.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)
0.0ms	(+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (.f64 (/.f64 1 (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)))) (-.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))

series4.2s (0.2%)

Counts

4 → 21

Calls

4 calls:

4.0s	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (.f64 (/.f64 1 (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)))) (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))) (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
72.0ms	(.f64 (/.f64 1 (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)))) (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
42.0ms	(/.f64 1 (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016))))
31.0ms	(*.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)

Compiler

Compiled 4428 to 3434 computations (22.4% saved)

simplify122.0ms (0%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5201	6628

prune958.0ms (0%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	128	1	129
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	130	5	135

Error

14.0b

Counts

135 → 5

Compiler

Compiled 13043 to 9421 computations (27.8% saved)

localize50.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)))) 4780145094533421/4503599627370496)) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
0.0b	(+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)))) 4780145094533421/4503599627370496)) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
0.0b	(+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)))) 4780145094533421/4503599627370496)) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
0.0b	(/.f64 (-.f64 1 (pow.f64 (/.f64 (/.f64 (+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (/.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)))) 4780145094533421/4503599627370496)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (pow.f64 (exp.f64 x) x)) 3)) (+.f64 1 (.f64 (/.f64 (/.f64 (+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (/.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)))) 4780145094533421/4503599627370496)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (pow.f64 (exp.f64 x) x)) (+.f64 1 (/.f64 (/.f64 (+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (/.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)))) 4780145094533421/4503599627370496)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (pow.f64 (exp.f64 x) x))))))
13.4b	(-.f64 1 (pow.f64 (/.f64 (/.f64 (+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (/.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)))) 4780145094533421/4503599627370496)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (pow.f64 (exp.f64 x) x)) 3))
14.2b	(/.f64 (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (-.f64 1 (.f64 x (*.f64 x 2176625624901896097756115991881/20282409603651670423947251286016))))
14.2b	(/.f64 (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (-.f64 1 (.f64 x (*.f64 x 2176625624901896097756115991881/20282409603651670423947251286016))))
14.2b	(/.f64 (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (-.f64 1 (.f64 x (*.f64 x 2176625624901896097756115991881/20282409603651670423947251286016))))

rewrite462.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

567×	`times-frac_binary64_2130`
469×	`*-un-lft-identity_binary64_2124`
315×	`add-sqr-sqrt_binary64_2146`
308×	`cancel-sign-sub-inv_binary64_2090`
299×	`unpow-prod-down_binary64_2203`
241×	`add-cube-cbrt_binary64_2159`
165×	`cube-prod_binary64_2152`
126×	`distribute-lft-out_binary64_2075`
53×	`sqr-pow_binary64_2096`
34×	`associate-/r/_binary64_2070`
32×	`difference-of-squares_binary64_2093`
19×	`div-inv_binary64_2121`
14×	`flip3-+_binary64_2127` `flip-+_binary64_2098`
10×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
9×	`associate-/l_binary64_2069` `associate-/r_binary64_2068`
7×	`flip--_binary64_2099` `flip3--_binary64_2128`
6×	`add-log-exp_binary64_2163` `associate-/l/_binary64_2071`
4×	`pow1_binary64_2185`
3×	`clear-num_binary64_2123` `cbrt-undiv_binary64_2158` `div-sub_binary64_2129` `div-exp_binary64_2175` `frac-2neg_binary64_2135`
1×	`unpow3_binary64_2190` `cube-mult_binary64_2154` `distribute-lft-out--_binary64_2076` `diff-log_binary64_2216` `sub-neg_binary64_2117`

Counts

4 → 448

Calls

8 calls:

172.0ms	(-.f64 1 (pow.f64 (/.f64 (/.f64 (+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (/.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)))) 4780145094533421/4503599627370496)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (pow.f64 (exp.f64 x) x)) 3))
8.0ms	(/.f64 (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (-.f64 1 (.f64 x (*.f64 x 2176625624901896097756115991881/20282409603651670423947251286016))))
8.0ms	(/.f64 (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (-.f64 1 (.f64 x (*.f64 x 2176625624901896097756115991881/20282409603651670423947251286016))))
8.0ms	(/.f64 (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (-.f64 1 (.f64 x (*.f64 x 2176625624901896097756115991881/20282409603651670423947251286016))))
0.0ms	(/.f64 (-.f64 1 (pow.f64 (/.f64 (/.f64 (+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (/.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)))) 4780145094533421/4503599627370496)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (pow.f64 (exp.f64 x) x)) 3)) (+.f64 1 (.f64 (/.f64 (/.f64 (+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (/.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)))) 4780145094533421/4503599627370496)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (pow.f64 (exp.f64 x) x)) (+.f64 1 (/.f64 (/.f64 (+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (/.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)))) 4780145094533421/4503599627370496)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (pow.f64 (exp.f64 x) x))))))

series31.2min (97.5%)

Counts

4 → 24

Calls

4 calls:

31.2min	(-.f64 1 (pow.f64 (/.f64 (/.f64 (+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (/.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016)))) 4780145094533421/4503599627370496)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (pow.f64 (exp.f64 x) x)) 3))
108.0ms	(/.f64 (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (-.f64 1 (.f64 x (*.f64 x 2176625624901896097756115991881/20282409603651670423947251286016))))
108.0ms	(/.f64 (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (-.f64 1 (.f64 x (*.f64 x 2176625624901896097756115991881/20282409603651670423947251286016))))
107.0ms	(/.f64 (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (-.f64 1 (.f64 x (*.f64 x 2176625624901896097756115991881/20282409603651670423947251286016))))

Compiler

Compiled 57199 to 43330 computations (24.2% saved)

simplify2.2s (0.1%)

Algorithm

1×	egg-herbie

Counts

472 → 472

Iterations

Useful iterations: 0 (15.0ms)

Iter	Nodes	Cost
0	6133	147657

prune28.6s (1.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	468	4	472
Fresh	2	2	4
Picked	1	0	1
Done	0	0	0
Total	471	6	477

Error

13.9b

Counts

477 → 6

Compiler

Compiled 165575 to 122631 computations (25.9% saved)

simplify179.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	2115	9694
1	2115	9694

regimes377.0ms (0%)

Compiler: Compiled 6243 to 4763 computations (23.7% saved)

bsearch0.0ms (0%)

regimes296.0ms (0%)

Compiler: Compiled 4882 to 3748 computations (23.2% saved)

bsearch0.0ms (0%)

regimes265.0ms (0%)

Compiler: Compiled 4385 to 3377 computations (23% saved)

bsearch0.0ms (0%)

regimes25.0ms (0%)

Compiler: Compiled 313 to 261 computations (16.6% saved)

bsearch0.0ms (0%)

regimes23.0ms (0%)

Compiler: Compiled 244 to 204 computations (16.4% saved)

bsearch0.0ms (0%)

regimes18.0ms (0%)

Compiler: Compiled 188 to 158 computations (16% saved)

bsearch0.0ms (0%)

regimes12.0ms (0%)

Compiler: Compiled 56 to 49 computations (12.5% saved)

bsearch0.0ms (0%)

regimes8.0ms (0%)

Accuracy

Total 0.1b remaining (0.5%)

Threshold costs 0.1b (0.5%)

Compiler

Compiled 5 to 8 computations (-60% saved)

bsearch31.0ms (0%)

Compiler: Compiled 860 to 669 computations (22.2% saved)

simplify26.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (15.0ms)

Iter	Nodes	Cost
0	655	1333
1	655	1333

end0.0ms (0%)

sample4.9s (0.3%)

Algorithm

1×

intervals

Results

908.0ms

8000×

body

128

valid

Compiler

Compiled 7166 to 5484 computations (23.5% saved)

Pareto

0.8317523435882881

Details

analyze3.0ms (0%)

sample51.0ms (0%)

simplify145.0ms (0%)

prune13.0ms (0%)

localize27.0ms (0%)

rewrite46.0ms (0%)

series2.3s (0.1%)

simplify118.0ms (0%)

prune645.0ms (0%)

localize25.0ms (0%)

rewrite58.0ms (0%)

series1.3s (0.1%)

simplify105.0ms (0%)

prune635.0ms (0%)

localize36.0ms (0%)

rewrite62.0ms (0%)

series4.2s (0.2%)

simplify122.0ms (0%)

prune958.0ms (0%)

localize50.0ms (0%)

rewrite462.0ms (0%)

series31.2min (97.5%)

simplify2.2s (0.1%)

prune28.6s (1.5%)

simplify179.0ms (0%)

regimes377.0ms (0%)

bsearch0.0ms (0%)

regimes296.0ms (0%)

bsearch0.0ms (0%)

regimes265.0ms (0%)

bsearch0.0ms (0%)

regimes25.0ms (0%)

bsearch0.0ms (0%)

regimes23.0ms (0%)

bsearch0.0ms (0%)

regimes18.0ms (0%)

bsearch0.0ms (0%)

regimes12.0ms (0%)

bsearch0.0ms (0%)

regimes8.0ms (0%)

bsearch31.0ms (0%)

simplify26.0ms (0%)

end0.0ms (0%)

sample4.9s (0.3%)

Profiling