Details

analyze94.0ms (0.2%)

Algorithm

1×

Search

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

Compiler

Compiled 66 to 53 computations (19.7% saved)

sample91.0ms (0.2%)

Algorithm

1×

intervals

Results

79.0ms

256×

body

128

valid

Compiler

Compiled 132 to 106 computations (19.7% saved)

simplify86.0ms (0.1%)

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

prune11.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

14.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	14.0b	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))

Status

Error

Program

▶

14.0b

(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (*.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))))

Compiler

Compiled 205 to 158 computations (22.9% saved)

localize37.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))
✓	0.2b	(/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))
✓	0.5b	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)))
✓	14.0b	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))

rewrite167.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

60×	`*-un-lft-identity_binary64`
42×	`add-sqr-sqrt_binary64`
39×	`add-cube-cbrt_binary64`
37×	`times-frac_binary64`
24×	`prod-diff_binary64`

Counts

4 → 132

Calls

4 calls:

62.0ms	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))
36.0ms	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)))
30.0ms	(/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))
4.0ms	(/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))

series3.0s (5.1%)

Counts

4 → 48

Calls

4 calls:

2.1s	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))
400.0ms	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)))
358.0ms	(/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))
115.0ms	(/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))

simplify700.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

715×	`associate-/l*_binary64`
455×	`times-frac_binary64`
275×	`+-commutative_binary64`
256×	`fma-def_binary64`
249×	`associate-+r+_binary64`

Counts

180 → 328

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1026	21328
1	3076	18426
2	5469	18426

prune1.0s (1.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	322	6	328
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	323	6	329

Error

13.9b

Counts

329 → 6

Alt Table

Status	Error	Program
	14.0b	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 (sqrt.f64 4780145094533421/4503599627370496) (sqrt.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (/.f64 (sqrt.f64 4780145094533421/4503599627370496) (sqrt.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))))
▶	14.0b	(log.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))))
	14.0b	(-.f64 1 (/.f64 (cbrt.f64 (pow.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) 3)) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))
	14.0b	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (-.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (pow.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) 3)) (/.f64 6401478394306903/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) 2)))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))
	15.1b	(/.f64 (-.f64 1 (pow.f64 (cbrt.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x))))) 6)) (+.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x))))))
	14.0b	(/.f64 (-.f64 1 (pow.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))) 3)) (+.f64 1 (.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))) (+.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (*.f64 x x))))))))

Compiler

Compiled 26601 to 19366 computations (27.2% saved)

localize21.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))
✓	0.5b	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)))
✓	14.0b	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))
✓	14.0b	(log.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))))

rewrite100.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

63×	`*-un-lft-identity_binary64`
48×	`prod-diff_binary64`
45×	`add-sqr-sqrt_binary64`
39×	`add-cube-cbrt_binary64`
36×	`log-prod_binary64`

Counts

3 → 122

Calls

3 calls:

32.0ms

(log.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (*.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))))))

25.0ms

(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (*.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))))

18.0ms

(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)))

series14.0s (23.7%)

Counts

3 → 36

Calls

3 calls:

10.7s

(log.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (*.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))))))

2.9s

(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (*.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))))

422.0ms

(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)))

simplify1.5s (2.6%)

Algorithm

1×	egg-herbie

Rules

467×	`+-commutative_binary64`
447×	`fma-def_binary64`
444×	`associate-+r+_binary64`
444×	`times-frac_binary64`
214×	`*-commutative_binary64`

Counts

158 → 289

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1198	33885
1	3763	32405
2	4888	32405
3	4953	32405

prune2.4s (4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	347	3	350
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	349	7	356

Error

13.9b

Counts

356 → 7

Alt Table

Status	Error	Program
	14.0b	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 (sqrt.f64 4780145094533421/4503599627370496) (sqrt.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (/.f64 (sqrt.f64 4780145094533421/4503599627370496) (sqrt.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))))
	14.0b	(-.f64 1 (/.f64 (cbrt.f64 (pow.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) 3)) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))
▶	14.0b	(log.f64 (exp.f64 (-.f64 1 (/.f64 (log.f64 (exp.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))))
	14.0b	(.f64 (.f64 (cbrt.f64 (log.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))))) (cbrt.f64 (log.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x))))))))) (cbrt.f64 (log.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))))))
	15.1b	(/.f64 (-.f64 1 (pow.f64 (cbrt.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x))))) 6)) (+.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x))))))
	15.2b	(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x))))))) (cbrt.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x))))))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))))))))
	14.0b	(/.f64 (-.f64 1 (pow.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))) 3)) (+.f64 1 (.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))) (+.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (*.f64 x x))))))))

Compiler

Compiled 40424 to 29534 computations (26.9% saved)

localize48.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(exp.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))))
✓	1.0b	(log.f64 (exp.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)))))
✓	14.0b	(-.f64 1 (/.f64 (log.f64 (exp.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))
✓	14.0b	(log.f64 (exp.f64 (-.f64 1 (/.f64 (log.f64 (exp.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))))

rewrite280.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

84×	`*-un-lft-identity_binary64`
72×	`prod-diff_binary64`
64×	`times-frac_binary64`
64×	`add-sqr-sqrt_binary64`
58×	`add-cube-cbrt_binary64`

Counts

4 → 172

Calls

4 calls:

61.0ms	(log.f64 (exp.f64 (-.f64 1 (/.f64 (log.f64 (exp.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))))
54.0ms	(-.f64 1 (/.f64 (log.f64 (exp.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))
42.0ms	(exp.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))))
39.0ms	(log.f64 (exp.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)))))

series19.6s (33.3%)

Counts

4 → 48

Calls

4 calls:

9.8s	(log.f64 (exp.f64 (-.f64 1 (/.f64 (log.f64 (exp.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))))
5.0s	(-.f64 1 (/.f64 (log.f64 (exp.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))
4.6s	(log.f64 (exp.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)))))
280.0ms	(exp.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))))

simplify576.0ms (1%)

Algorithm

1×	egg-herbie

Rules

639×	`times-frac_binary64`
571×	`fma-def_binary64`
374×	`exp-prod_binary64`
171×	`cancel-sign-sub-inv_binary64`
164×	`sub-neg_binary64`

Counts

220 → 428

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	347	27573
1	694	21948
2	2166	14504
3	4469	14486
4	5007	14486

prune959.0ms (1.6%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	427	1	428
Fresh	0	6	6
Picked	1	0	1
Done	0	0	0
Total	428	7	435

Error

13.9b

Counts

435 → 7

Alt Table

Status	Error	Program
▶	14.0b	(exp.f64 (log.f64 (log.f64 (exp.f64 (-.f64 1 (/.f64 (log.f64 (exp.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))))))
	14.0b	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 (sqrt.f64 4780145094533421/4503599627370496) (sqrt.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (/.f64 (sqrt.f64 4780145094533421/4503599627370496) (sqrt.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))))
	14.0b	(-.f64 1 (/.f64 (cbrt.f64 (pow.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) 3)) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))
	14.0b	(.f64 (.f64 (cbrt.f64 (log.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))))) (cbrt.f64 (log.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x))))))))) (cbrt.f64 (log.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))))))
	15.1b	(/.f64 (-.f64 1 (pow.f64 (cbrt.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x))))) 6)) (+.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x))))))
	15.2b	(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x))))))) (cbrt.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x))))))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))))))))
	14.0b	(/.f64 (-.f64 1 (pow.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))) 3)) (+.f64 1 (.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))) (+.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (*.f64 x x))))))))

Compiler

Compiled 32135 to 24302 computations (24.4% saved)

localize35.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.0b	(log.f64 (exp.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)))))
✓	1.3b	(exp.f64 (log.f64 (log.f64 (exp.f64 (-.f64 1 (/.f64 (log.f64 (exp.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))))))
	14.0b	(-.f64 1 (/.f64 (log.f64 (exp.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))
	14.0b	(log.f64 (exp.f64 (-.f64 1 (/.f64 (log.f64 (exp.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))))))

rewrite32.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`exp-sum_binary64`
10×	`log-prod_binary64`
10×	`exp-prod_binary64`
8×	`log-pow_binary64`
7×	`*-un-lft-identity_binary64`

Counts

1 → 24

Calls

1 calls:

29.0ms

(exp.f64 (log.f64 (log.f64 (exp.f64 (-.f64 1 (/.f64 (log.f64 (exp.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))))) (*.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))))))))

series8.2s (14%)

Counts

1 → 12

Calls

1 calls:

8.2s

(exp.f64 (log.f64 (log.f64 (exp.f64 (-.f64 1 (/.f64 (log.f64 (exp.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))))) (*.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))))))))

simplify130.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

838×	`times-frac_binary64`
503×	`distribute-rgt-in_binary64`
497×	`distribute-lft-in_binary64`
364×	`fma-def_binary64`
157×	`cancel-sign-sub-inv_binary64`

Counts

36 → 69

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	172	5936
1	363	5508
2	1382	3366
3	5655	3366

prune1.1s (1.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	442	3	445
Fresh	3	3	6
Picked	1	0	1
Done	0	0	0
Total	446	6	452

Error

13.2b

Counts

452 → 6

Alt Table

Status	Error	Program
	14.0b	(pow.f64 (exp.f64 (.f64 (cbrt.f64 (log.f64 (log.f64 (exp.f64 (-.f64 1 (/.f64 (log.f64 (exp.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x))))))))) (cbrt.f64 (log.f64 (log.f64 (exp.f64 (-.f64 1 (/.f64 (log.f64 (exp.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x))))))))))) (cbrt.f64 (log.f64 (log.f64 (exp.f64 (-.f64 1 (/.f64 (log.f64 (exp.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (*.f64 x x))))))))))
	14.0b	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 (sqrt.f64 4780145094533421/4503599627370496) (sqrt.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (/.f64 (sqrt.f64 4780145094533421/4503599627370496) (sqrt.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))))
	14.0b	(exp.f64 (log.f64 (+.f64 (log.f64 (exp.f64 1)) (log.f64 (exp.f64 (.f64 (neg.f64 (/.f64 (sqrt.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (/.f64 (log.f64 (exp.f64 (sqrt.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)))))) (exp.f64 (.f64 x x)))))))))
	15.1b	(/.f64 (-.f64 1 (pow.f64 (cbrt.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x))))) 6)) (+.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x))))))
	15.2b	(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x))))))) (cbrt.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (.f64 x x))))))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))))))))
	13.5b	(pow.f64 (exp.f64 (.f64 (cbrt.f64 (log1p.f64 (neg.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 x 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 x 1))) (fma.f64 1475339155889891/4503599627370496 x 1))) (fma.f64 1475339155889891/4503599627370496 x 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 x 1) (exp.f64 (.f64 x x))))))) (cbrt.f64 (log1p.f64 (neg.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 x 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 x 1))) (fma.f64 1475339155889891/4503599627370496 x 1))) (fma.f64 1475339155889891/4503599627370496 x 1))) (.f64 (fma.f64 1475339155889891/4503599627370496 x 1) (exp.f64 (.f64 x x))))))))) (cbrt.f64 (log.f64 (log.f64 (exp.f64 (-.f64 1 (/.f64 (log.f64 (exp.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1)) -6544414927309881/4503599627370496) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))) (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1))))) (.f64 (fma.f64 1475339155889891/4503599627370496 (fabs.f64 x) 1) (exp.f64 (*.f64 x x))))))))))

Compiler

Compiled 36409 to 27932 computations (23.3% saved)

regimes2.6s (4.4%)

Accuracy

Total 0.6b remaining (4.1%)

Threshold costs 0.6b (4.1%)

Compiler

Compiled 67407 to 51864 computations (23.1% saved)

simplify19.0ms (0%)

Algorithm

1×	egg-herbie

Rules

20×	`+-commutative_binary64`
13×	`*-commutative_binary64`
12×	`sub-neg_binary64`
11×	`neg-sub0_binary64`
11×	`neg-mul-1_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	47	211
1	66	211
2	80	207
3	92	207
4	105	207
5	114	207
6	124	207
7	132	207
8	142	207
9	151	207
10	154	207
11	155	207
12	149	207

end3.0ms (0%)

Compiler: Compiled 138 to 109 computations (21% saved)

sample2.1s (3.6%)

Algorithm

1×

intervals

Results

1.5s

8000×

body

128

valid

Compiler

Compiled 902 to 696 computations (22.8% saved)

Iter	Nodes	Cost
0	47	211
1	66	211
2	80	207
3	92	207
4	105	207
5	114	207
6	124	207
7	132	207
8	142	207
9	151	207
10	154	207
11	155	207
12	149	207

Iter	Nodes	Cost
0	47	211
1	66	211
2	80	207
3	92	207
4	105	207
5	114	207
6	124	207
7	132	207
8	142	207
9	151	207
10	154	207
11	155	207
12	149	207

Details

analyze94.0ms (0.2%)

sample91.0ms (0.2%)

simplify86.0ms (0.1%)

prune11.0ms (0%)

localize37.0ms (0.1%)

rewrite167.0ms (0.3%)

series3.0s (5.1%)

simplify700.0ms (1.2%)

prune1.0s (1.7%)

localize21.0ms (0%)

rewrite100.0ms (0.2%)

series14.0s (23.7%)

simplify1.5s (2.6%)

prune2.4s (4%)

localize48.0ms (0.1%)

rewrite280.0ms (0.5%)

series19.6s (33.3%)

simplify576.0ms (1%)

prune959.0ms (1.6%)

localize35.0ms (0.1%)

rewrite32.0ms (0.1%)

series8.2s (14%)

simplify130.0ms (0.2%)

prune1.1s (1.8%)

regimes2.6s (4.4%)

simplify19.0ms (0%)

end3.0ms (0%)

sample2.1s (3.6%)

Profiling

Iter	Nodes	Cost
0	47	211
1	66	211
2	80	207
3	92	207
4	105	207
5	114	207
6	124	207
7	132	207
8	142	207
9	151	207
10	154	207
11	155	207
12	149	207