Details

analyze68.0ms (0.6%)

Algorithm

1×

Search

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

Compiler

Compiled 66 to 53 computations (19.7% saved)

sample49.0ms (0.5%)

Algorithm

1×

intervals

Results

41.0ms

256×

body

128

valid

Compiler

Compiled 132 to 106 computations (19.7% saved)

simplify62.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

660×	`fma-neg_binary64`
578×	`times-frac_binary64`
564×	`cancel-sign-sub-inv_binary64`
389×	`fma-def_binary64`
380×	`distribute-rgt-in_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	27	93
1	91	69
2	270	69
3	825	69
4	2840	69
5	4839	69
6	5074	69

prune6.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

14.8b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	14.8b	(-.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))))))

Status

Error

Program

▶

14.8b

(-.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))))))

Compiler

Compiled 241 to 190 computations (21.2% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	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.2b	(.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.8b	(-.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))))))

series950.0ms (9%)

Counts

4 → 48

Calls

4 calls:

420.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))))))
239.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))))))))
179.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)))))))
112.0ms	(.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)))))

rewrite44.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

37×	`add-sqr-sqrt_binary64`
30×	`associate-l_binary64`
25×	`*-un-lft-identity_binary64`
23×	`add-cube-cbrt_binary64`
22×	`times-frac_binary64`

Counts

4 → 128

Calls

4 calls:

15.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)))))))
9.0ms	(.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)))))
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))))))
3.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))))))))

simplify331.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

354×	`cancel-sign-sub-inv_binary64`
284×	`distribute-rgt-in_binary64`
281×	`fma-neg_binary64`
266×	`associate-l_binary64`
260×	`distribute-lft-in_binary64`

Counts

176 → 222

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	264	13102
1	855	10276
2	3168	10056
3	4786	10056
4	4896	10056

prune868.0ms (8.2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	214	8	222
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	215	8	223

Error

14.7b

Counts

223 → 8

Alt Table

Status	Error	Program
	15.6b	(-.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 (cbrt.f64 (pow.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) 3)))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
	14.8b	(+.f64 (fma.f64 1 1 (neg.f64 (.f64 (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) (.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)))))))))))) (fma.f64 (neg.f64 (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.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))))))))) (.f64 (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) (.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))))))))))))
	14.8b	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (expm1.f64 (log1p.f64 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) -5125037576950889/18014398509481984) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
▶	14.8b	(log.f64 (exp.f64 (-.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))))))))
	15.6b	(log.f64 (/.f64 (exp.f64 1) (exp.f64 (.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))))))))
	14.8b	(/.f64 (-.f64 (pow.f64 1 3) (pow.f64 (.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))))) 3)) (+.f64 (.f64 1 1) (+.f64 (.f64 (.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))))) (.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)))))) (.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)))))))))
	14.8b	(exp.f64 (log1p.f64 (/.f64 (/.f64 (-.f64 -2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) -5125037576950889/18014398509481984) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (exp.f64 (*.f64 x x))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))))
	14.8b	(/.f64 (+.f64 1 (.f64 (/.f64 -1 (pow.f64 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1) 2)) (.f64 (.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) -5125037576950889/18014398509481984) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) -5125037576950889/18014398509481984) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))) (pow.f64 (exp.f64 -1) (.f64 2 (.f64 x x)))))) (+.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) -5125037576950889/18014398509481984) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) (exp.f64 (.f64 x x)))))

Compiler

Compiled 20789 to 15505 computations (25.4% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(.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.8b	(-.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))))))
✓	14.8b	(log.f64 (exp.f64 (-.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))))))))

series384.0ms (3.6%)

Counts

1 → 12

Calls

1 calls:

384.0ms

(log.f64 (exp.f64 (-.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))))))))

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`log-prod_binary64`
5×	`exp-sum_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-sqr-sqrt_binary64`
4×	`add-cube-cbrt_binary64`

Counts

1 → 23

Calls

1 calls:

4.0ms

(log.f64 (exp.f64 (-.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))))))))

simplify141.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

488×	`cancel-sign-sub-inv_binary64`
463×	`fma-neg_binary64`
249×	`exp-prod_binary64`
197×	`fma-def_binary64`
192×	`distribute-rgt-in_binary64`

Counts

35 → 42

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	107	4917
1	232	3413
2	720	2991
3	2626	2967
4	4549	2967
5	4854	2967

prune871.0ms (8.2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	185	2	187
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	187	8	195

Error

14.7b

Counts

195 → 8

Alt Table

Status	Error	Program
	15.6b	(-.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 (cbrt.f64 (pow.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) 3)))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
	14.8b	(+.f64 (fma.f64 1 1 (neg.f64 (.f64 (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) (.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)))))))))))) (fma.f64 (neg.f64 (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.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))))))))) (.f64 (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) (.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))))))))))))
▶	14.8b	(log.f64 (exp.f64 (-.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 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))))
	14.8b	(/.f64 (-.f64 (pow.f64 1 3) (pow.f64 (.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))))) 3)) (+.f64 (.f64 1 1) (+.f64 (.f64 (.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))))) (.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)))))) (.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)))))))))
	14.8b	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (expm1.f64 (log1p.f64 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) -5125037576950889/18014398509481984) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
	14.8b	(exp.f64 (log.f64 (log.f64 (exp.f64 (-.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))))))))))
	14.8b	(exp.f64 (log1p.f64 (/.f64 (/.f64 (-.f64 -2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) -5125037576950889/18014398509481984) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (exp.f64 (*.f64 x x))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))))
	14.8b	(/.f64 (+.f64 1 (.f64 (/.f64 -1 (pow.f64 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1) 2)) (.f64 (.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) -5125037576950889/18014398509481984) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) -5125037576950889/18014398509481984) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))) (pow.f64 (exp.f64 -1) (.f64 2 (.f64 x x)))))) (+.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) -5125037576950889/18014398509481984) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) (exp.f64 (.f64 x x)))))

Compiler

Compiled 18635 to 13923 computations (25.3% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))))
✓	0.5b	(+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))
✓	14.8b	(-.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 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
✓	14.8b	(log.f64 (exp.f64 (-.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 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))))

series1.3s (12.2%)

Counts

4 → 48

Calls

4 calls:

428.0ms	(log.f64 (exp.f64 (-.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 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))))
424.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 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
238.0ms	(+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))
204.0ms	(.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))))

rewrite50.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64`
21×	`*-un-lft-identity_binary64`
18×	`add-cube-cbrt_binary64`
15×	`associate-l_binary64`
13×	`add-exp-log_binary64`

Counts

4 → 107

Calls

4 calls:

24.0ms	(.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))))
8.0ms	(log.f64 (exp.f64 (-.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 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))))
3.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 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
3.0ms	(+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))

simplify412.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

878×	`fma-def_binary64`
572×	`times-frac_binary64`
300×	`fma-neg_binary64`
267×	`cancel-sign-sub-inv_binary64`
171×	`distribute-rgt-neg-in_binary64`

Counts

155 → 176

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	242	12828
1	661	11443
2	2182	10932
3	4716	10932
4	4987	10932
5	4897	10932

prune834.0ms (7.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	175	1	176
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	177	7	184

Error

14.7b

Counts

184 → 7

Alt Table

Status	Error	Program
	15.6b	(-.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 (cbrt.f64 (pow.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) 3)))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
	14.8b	(+.f64 (fma.f64 1 1 (neg.f64 (.f64 (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) (.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)))))))))))) (fma.f64 (neg.f64 (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.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))))))))) (.f64 (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) (.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))))))))))))
	14.8b	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (expm1.f64 (log1p.f64 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) -5125037576950889/18014398509481984) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
▶	14.8b	(exp.f64 (log.f64 (log.f64 (exp.f64 (-.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 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))))))
	14.8b	(/.f64 (-.f64 (pow.f64 1 3) (pow.f64 (.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))))) 3)) (+.f64 (.f64 1 1) (+.f64 (.f64 (.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))))) (.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)))))) (.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)))))))))
	14.8b	(exp.f64 (log1p.f64 (/.f64 (/.f64 (-.f64 -2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) -5125037576950889/18014398509481984) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (exp.f64 (*.f64 x x))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))))
	14.8b	(/.f64 (+.f64 1 (.f64 (/.f64 -1 (pow.f64 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1) 2)) (.f64 (.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) -5125037576950889/18014398509481984) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) -5125037576950889/18014398509481984) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))) (pow.f64 (exp.f64 -1) (.f64 2 (.f64 x x)))))) (+.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) -5125037576950889/18014398509481984) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) (exp.f64 (.f64 x x)))))

Compiler

Compiled 16431 to 11872 computations (27.7% saved)

localize31.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))
✓	1.3b	(exp.f64 (log.f64 (log.f64 (exp.f64 (-.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 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))))))
	14.8b	(-.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 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
	14.8b	(log.f64 (exp.f64 (-.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 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))))

series445.0ms (4.2%)

Counts

1 → 12

Calls

1 calls:

444.0ms

(exp.f64 (log.f64 (log.f64 (exp.f64 (-.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 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))))))

rewrite7.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`exp-sum_binary64`
7×	`log-prod_binary64`
7×	`exp-prod_binary64`
5×	`log-pow_binary64`
4×	`*-un-lft-identity_binary64`

Counts

1 → 21

Calls

1 calls:

4.0ms

(exp.f64 (log.f64 (log.f64 (exp.f64 (-.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 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))))))

simplify129.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

820×	`fma-def_binary64`
480×	`distribute-rgt-in_binary64`
434×	`fma-neg_binary64`
381×	`cancel-sign-sub-inv_binary64`
322×	`exp-prod_binary64`

Counts

33 → 35

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	110	3633
1	190	3020
2	525	2876
3	1816	2724
4	4487	2724
5	5087	2724

prune618.0ms (5.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	131	3	134
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	134	7	141

Error

13.9b

Counts

141 → 7

Alt Table

Status	Error	Program
	15.6b	(-.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 (cbrt.f64 (pow.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) 3)))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
	14.8b	(+.f64 (fma.f64 1 1 (neg.f64 (.f64 (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) (.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)))))))))))) (fma.f64 (neg.f64 (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.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))))))))) (.f64 (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) (.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))))))))))))
	14.8b	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (expm1.f64 (log1p.f64 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) -5125037576950889/18014398509481984) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
	14.8b	(.f64 (exp.f64 (log.f64 (.f64 (cbrt.f64 (log.f64 (exp.f64 (-.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 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))))) (cbrt.f64 (log.f64 (exp.f64 (-.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 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))))))))) (exp.f64 (log.f64 (cbrt.f64 (log.f64 (exp.f64 (-.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 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))))))))
	14.0b	(pow.f64 (exp.f64 (.f64 (cbrt.f64 (log1p.f64 (/.f64 (-.f64 -2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (.f64 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1) (exp.f64 (.f64 x x)))))) (cbrt.f64 (log1p.f64 (/.f64 (-.f64 -2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (.f64 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1) (exp.f64 (.f64 x x)))))))) (cbrt.f64 (log.f64 (log.f64 (exp.f64 (-.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 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))))
	14.7b	(.f64 (.f64 (cbrt.f64 (exp.f64 (log.f64 (log.f64 (exp.f64 (-.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 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))))))) (cbrt.f64 (exp.f64 (log.f64 (log.f64 (exp.f64 (-.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 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))))))))) (cbrt.f64 (exp.f64 (log.f64 (log.f64 (exp.f64 (-.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 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))))))))
	14.8b	(/.f64 (+.f64 1 (.f64 (/.f64 -1 (pow.f64 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1) 2)) (.f64 (.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) -5125037576950889/18014398509481984) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) -5125037576950889/18014398509481984) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)))) (pow.f64 (exp.f64 -1) (.f64 2 (.f64 x x)))))) (+.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) -5125037576950889/18014398509481984) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1))) (fma.f64 (fabs.f64 x) 1475339155889891/4503599627370496 1)) (exp.f64 (.f64 x x)))))

Compiler

Compiled 13102 to 9458 computations (27.8% saved)

regimes708.0ms (6.7%)

Accuracy

Total 0.0b remaining (0.2%)

Threshold costs 0.0b (0.2%)

Counts

62 → 1

Compiler

Compiled 26731 to 20470 computations (23.4% saved)

simplify17.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

23×	`+-commutative_binary64`
21×	`*-commutative_binary64`
18×	`sub-neg_binary64`
16×	`neg-sub0_binary64`
16×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	235
1	69	235
2	95	235
3	125	235
4	151	235
5	167	235
6	176	235
7	186	235
8	195	235
9	198	235
10	199	235
11	192	235

end3.0ms (0%)

Compiler: Compiled 153 to 115 computations (24.8% saved)

sample2.2s (20.7%)

Algorithm

1×

intervals

Results

1.4s

8000×

body

128

valid

Compiler

Compiled 1182 to 893 computations (24.5% saved)

Iter	Nodes	Cost
0	44	235
1	69	235
2	95	235
3	125	235
4	151	235
5	167	235
6	176	235
7	186	235
8	195	235
9	198	235
10	199	235
11	192	235

Iter	Nodes	Cost
0	44	235
1	69	235
2	95	235
3	125	235
4	151	235
5	167	235
6	176	235
7	186	235
8	195	235
9	198	235
10	199	235
11	192	235

Details

analyze68.0ms (0.6%)

sample49.0ms (0.5%)

simplify62.0ms (0.6%)

prune6.0ms (0.1%)

localize23.0ms (0.2%)

series950.0ms (9%)

rewrite44.0ms (0.4%)

simplify331.0ms (3.1%)

prune868.0ms (8.2%)

localize25.0ms (0.2%)

series384.0ms (3.6%)

rewrite8.0ms (0.1%)

simplify141.0ms (1.3%)

prune871.0ms (8.2%)

localize25.0ms (0.2%)

series1.3s (12.2%)

rewrite50.0ms (0.5%)

simplify412.0ms (3.9%)

prune834.0ms (7.9%)

localize31.0ms (0.3%)

series445.0ms (4.2%)

rewrite7.0ms (0.1%)

simplify129.0ms (1.2%)

prune618.0ms (5.8%)

regimes708.0ms (6.7%)

simplify17.0ms (0.2%)

end3.0ms (0%)

sample2.2s (20.7%)

Profiling

Iter	Nodes	Cost
0	44	235
1	69	235
2	95	235
3	125	235
4	151	235
5	167	235
6	176	235
7	186	235
8	195	235
9	198	235
10	199	235
11	192	235