Details

analyze77.0ms (0.1%)

Algorithm

1×

Search

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

Compiler

Compiled 66 to 53 computations (19.7% saved)

sample42.0ms (0.1%)

Algorithm

1×

intervals

Results

34.0ms

256×

body

128

valid

Compiler

Compiled 132 to 106 computations (19.7% saved)

simplify65.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

578×	`times-frac_binary64`
564×	`cancel-sign-sub-inv_binary64`
457×	`div-sub_binary64`
380×	`distribute-rgt-in_binary64`
359×	`distribute-lft-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	27	93
1	91	79
2	252	79
3	750	79
4	2536	79
5	4602	79
6	5204	79

prune9.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

12.4b

Counts

2 → 2

Alt Table

Status	Error	Program
	12.4b	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (*.f64 x x)))))
▶	12.4b	(-.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

12.4b

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

▶

12.4b

(-.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 286 to 227 computations (20.6% saved)

localize24.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
0.2b	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
0.4b	(+.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))))))))
12.3b	(-.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))))))

rewrite479.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

12.3b

Rules

20×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
18×	`times-frac_binary64`
12×	`add-exp-log_binary64`
8×	`add-log-exp_binary64` `add-cbrt-cube_binary64`
6×	`pow1_binary64` `associate-/l_binary64` `associate-/r_binary64`

Counts

4 → 91

Calls

4 calls:

7.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))))))))
6.0ms	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
5.0ms	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
4.0ms	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))

Compiler

Compiled 7321 to 5496 computations (24.9% saved)

series310.0ms (0.4%)

Error

12.3b

Counts

4 → 12

Calls

4 calls:

165.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))))))
86.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))))))))
19.0ms	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
18.0ms	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))

Compiler

Compiled 2299 to 1818 computations (20.9% saved)

simplify169.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

591×	`distribute-rgt-in_binary64`
565×	`distribute-lft-in_binary64`
272×	`times-frac_binary64`
261×	`cancel-sign-sub-inv_binary64`
205×	`exp-prod_binary64`

Counts

103 → 92

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	171	4828
1	437	3991
2	1427	3946
3	4773	3946
4	5233	3946

prune263.0ms (0.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	85	7	92
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	87	7	94

Error

12.3b

Counts

94 → 7

Alt Table

Status	Error	Program
	13.1b	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (-.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 4)) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)))) (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 3)) (/.f64 5125037576950889/18014398509481984 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
	12.4b	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))) (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
	12.4b	(/.f64 (-.f64 1 (.f64 (/.f64 1 (pow.f64 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)) (.f64 (.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))) (pow.f64 (exp.f64 (.f64 x x)) -2)))) (+.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x)))))
▶	12.3b	(log.f64 (exp.f64 (-.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (.f64 x x))))))
	12.3b	(/.f64 (-.f64 1 (pow.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (.f64 x x))) 3)) (+.f64 1 (.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (.f64 x x))) (+.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x)))))))
	12.4b	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (cbrt.f64 (pow.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) 3))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
	12.4b	(-.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 (/.f64 1 (.f64 (cbrt.f64 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (cbrt.f64 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))) (cbrt.f64 (+.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 5499 to 4120 computations (25.1% saved)

localize24.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite1.3s (1.8%)

Algorithm

1×	rewrite-expression-head

Error

12.3b

Rules

204×	`times-frac_binary64`
157×	`*-un-lft-identity_binary64`
131×	`add-sqr-sqrt_binary64`
116×	`cancel-sign-sub-inv_binary64`
101×	`add-cube-cbrt_binary64`

Counts

4 → 205

Calls

4 calls:

67.0ms	(log.f64 (exp.f64 (-.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (.f64 x x))))))
57.0ms	(-.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (.f64 x x))))
39.0ms	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))
21.0ms	(/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))

Compiler

Compiled 17314 to 12736 computations (26.4% saved)

series13.0s (18.7%)

Error

12.3b

Counts

4 → 18

Calls

4 calls:

10.1s	(log.f64 (exp.f64 (-.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (.f64 x x))))))
2.4s	(-.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (.f64 x x))))
87.0ms	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))
54.0ms	(/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))

Compiler

Compiled 31260 to 23974 computations (23.3% saved)

simplify620.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

544×	`+-commutative_binary64`
512×	`associate-+r+_binary64`
291×	`*-commutative_binary64`
237×	`associate-*r/_binary64`
190×	`associate-/r*_binary64`

Counts

223 → 213

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1588	45089
1	5046	45089

prune1.2s (1.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	208	5	213
Fresh	3	3	6
Picked	0	1	1
Done	0	0	0
Total	211	9	220

Error

12.3b

Counts

220 → 9

Alt Table

Status	Error	Program
	12.4b	(+.f64 (log.f64 (sqrt.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (.f64 x x)))))))) (log.f64 (sqrt.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (.f64 x x)))))))))
	13.1b	(log.f64 (exp.f64 (-.f64 1 (/.f64 (/.f64 (-.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (/.f64 5125037576950889/18014398509481984 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (.f64 x x))))))
	12.4b	(.f64 (cbrt.f64 (-.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (.f64 x x))))) (.f64 (cbrt.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (.f64 x x)))))) (cbrt.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (.f64 x x))))))))
✓	12.3b	(log.f64 (exp.f64 (-.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (.f64 x x))))))
	12.3b	(/.f64 (-.f64 1 (pow.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (.f64 x x))) 3)) (+.f64 1 (.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (.f64 x x))) (+.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x)))))))
▶	12.3b	(+.f64 1 (.f64 (/.f64 -1 (sqrt.f64 (exp.f64 (.f64 x x)))) (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (sqrt.f64 (exp.f64 (.f64 x x))))))
	47.1b	(-.f64 (+.f64 (.f64 35261676144000702778593477735555/20282409603651670423947251286016 (/.f64 (.f64 (fabs.f64 x) (.f64 x x)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10))) (+.f64 (.f64 20556817987637161504038507089333543523822918166249852350524813/411376139330301510538742295639337626245683966408394965837152256 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 3)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 6))) (+.f64 (.f64 76751467872023811656508723352760708349670732780931458645028955/205688069665150755269371147819668813122841983204197482918576128 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 3)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10))) (+.f64 (.f64 2295300911148351/9007199254740992 (/.f64 (.f64 x x) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 (.f64 52022931517552703402237182927230355651595774505/45671926166590716193865151022383844364247891968 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 2)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10))) (+.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5)) (/.f64 2295300911148351/9007199254740992 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))) (+.f64 (.f64 113234445823621698925295871940212954706916242943247056375430340085316486793905/1852673427797059126777135760139006525652319754650249024631321344126610074238976 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 4)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10))) (+.f64 (.f64 41800865730912747520733865064421238556110763629/91343852333181432387730302044767688728495783936 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 2)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 6))) (+.f64 (.f64 6401478394306903/4503599627370496 (/.f64 (.f64 x x) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 6))) (+.f64 (.f64 33411842343816326112107791422318491978820625799351445491634765389564306860590167119957982871/8343699359066055009355553539724812947666814540455674882605631280555545803830627148527195652096 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 5)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10))) (+.f64 (.f64 4780145094533421/4503599627370496 (/.f64 (.f64 x x) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10))) (.f64 28333055192112363277425387652719/20282409603651670423947251286016 (/.f64 (.f64 (fabs.f64 x) (.f64 x x)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 6)))))))))))))) (+.f64 (.f64 9655231594650562201769272312971/5070602400912917605986812821504 (/.f64 (.f64 (fabs.f64 x) (.f64 x x)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 8))) (+.f64 (.f64 31005468782997448409067035246885122579221824609218564332863461644317384648841/1852673427797059126777135760139006525652319754650249024631321344126610074238976 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 4)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 8))) (+.f64 (.f64 5125037576950889/18014398509481984 (/.f64 (.f64 x x) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4))) (+.f64 (.f64 7561168612682696868149198563099/40564819207303340847894502572032 (/.f64 (.f64 (fabs.f64 x) (.f64 x x)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4))) (+.f64 (.f64 42734223692319499974085203502434570562101228483/45671926166590716193865151022383844364247891968 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 2)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 8))) (+.f64 (.f64 11155288118576428178485202820703851299859732209/365375409332725729550921208179070754913983135744 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 2)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4))) (+.f64 (.f64 21015824503278810712523759394907838535287767962216658726988451/102844034832575377634685573909834406561420991602098741459288064 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 3)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 8))) (.f64 6544414927309881/4503599627370496 (/.f64 (.f64 x x) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 8)))))))))))
	12.4b	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (cbrt.f64 (pow.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) 3))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
	12.4b	(-.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 (/.f64 1 (.f64 (cbrt.f64 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (cbrt.f64 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))) (cbrt.f64 (+.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 30368 to 22282 computations (26.6% saved)

localize25.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(sqrt.f64 (exp.f64 (*.f64 x x)))
0.2b	(sqrt.f64 (exp.f64 (*.f64 x x)))
0.4b	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
12.3b	(+.f64 1 (.f64 (/.f64 -1 (sqrt.f64 (exp.f64 (.f64 x x)))) (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (sqrt.f64 (exp.f64 (.f64 x x))))))

rewrite326.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

12.3b

Rules

10×	`add-log-exp_binary64`
8×	`add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
6×	`pow1_binary64` `add-cube-cbrt_binary64` `sqrt-pow1_binary64` `sqrt-prod_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
2×	`sum-log_binary64` `flip3-+_binary64` `flip-+_binary64` `+-commutative_binary64` `pow1/2_binary64` `exp-to-pow_binary64` `exp-prod_binary64` `rem-sqrt-square_binary64`

Counts

4 → 53

Calls

4 calls:

37.0ms	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
4.0ms	(+.f64 1 (.f64 (/.f64 -1 (sqrt.f64 (exp.f64 (.f64 x x)))) (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (sqrt.f64 (exp.f64 (.f64 x x))))))
2.0ms	(sqrt.f64 (exp.f64 (*.f64 x x)))
2.0ms	(sqrt.f64 (exp.f64 (*.f64 x x)))

Compiler

Compiled 4047 to 2728 computations (32.6% saved)

series2.7s (4%)

Error

12.3b

Counts

4 → 21

Calls

4 calls:

2.4s	(+.f64 1 (.f64 (/.f64 -1 (sqrt.f64 (exp.f64 (.f64 x x)))) (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (sqrt.f64 (exp.f64 (.f64 x x))))))
87.0ms	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
20.0ms	(sqrt.f64 (exp.f64 (*.f64 x x)))
18.0ms	(sqrt.f64 (exp.f64 (*.f64 x x)))

Compiler

Compiled 17441 to 13382 computations (23.3% saved)

simplify277.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

914×	`associate-/r*_binary64`
298×	`+-commutative_binary64`
273×	`associate-+r+_binary64`
241×	`*-commutative_binary64`
187×	`associate-*r/_binary64`

Counts

74 → 39

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	970	13272
1	3296	10948
2	4953	10948

prune317.0ms (0.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	38	1	39
Fresh	0	7	7
Picked	1	0	1
Done	0	1	1
Total	39	9	48

Error

12.3b

Counts

48 → 9

Alt Table

Status	Error	Program
▶	12.3b	(exp.f64 (log.f64 (+.f64 1 (/.f64 (neg.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (sqrt.f64 (exp.f64 (.f64 x x))))) (sqrt.f64 (exp.f64 (*.f64 x x)))))))
	12.4b	(+.f64 (log.f64 (sqrt.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (.f64 x x)))))))) (log.f64 (sqrt.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (.f64 x x)))))))))
	13.1b	(log.f64 (exp.f64 (-.f64 1 (/.f64 (/.f64 (-.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (/.f64 5125037576950889/18014398509481984 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (.f64 x x))))))
	12.4b	(.f64 (cbrt.f64 (-.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (.f64 x x))))) (.f64 (cbrt.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (.f64 x x)))))) (cbrt.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (.f64 x x))))))))
✓	12.3b	(log.f64 (exp.f64 (-.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (.f64 x x))))))
	12.3b	(/.f64 (-.f64 1 (pow.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (.f64 x x))) 3)) (+.f64 1 (.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (.f64 x x))) (+.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x)))))))
	47.1b	(-.f64 (+.f64 (.f64 35261676144000702778593477735555/20282409603651670423947251286016 (/.f64 (.f64 (fabs.f64 x) (.f64 x x)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10))) (+.f64 (.f64 20556817987637161504038507089333543523822918166249852350524813/411376139330301510538742295639337626245683966408394965837152256 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 3)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 6))) (+.f64 (.f64 76751467872023811656508723352760708349670732780931458645028955/205688069665150755269371147819668813122841983204197482918576128 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 3)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10))) (+.f64 (.f64 2295300911148351/9007199254740992 (/.f64 (.f64 x x) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 (.f64 52022931517552703402237182927230355651595774505/45671926166590716193865151022383844364247891968 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 2)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10))) (+.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5)) (/.f64 2295300911148351/9007199254740992 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))) (+.f64 (.f64 113234445823621698925295871940212954706916242943247056375430340085316486793905/1852673427797059126777135760139006525652319754650249024631321344126610074238976 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 4)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10))) (+.f64 (.f64 41800865730912747520733865064421238556110763629/91343852333181432387730302044767688728495783936 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 2)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 6))) (+.f64 (.f64 6401478394306903/4503599627370496 (/.f64 (.f64 x x) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 6))) (+.f64 (.f64 33411842343816326112107791422318491978820625799351445491634765389564306860590167119957982871/8343699359066055009355553539724812947666814540455674882605631280555545803830627148527195652096 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 5)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10))) (+.f64 (.f64 4780145094533421/4503599627370496 (/.f64 (.f64 x x) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10))) (.f64 28333055192112363277425387652719/20282409603651670423947251286016 (/.f64 (.f64 (fabs.f64 x) (.f64 x x)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 6)))))))))))))) (+.f64 (.f64 9655231594650562201769272312971/5070602400912917605986812821504 (/.f64 (.f64 (fabs.f64 x) (.f64 x x)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 8))) (+.f64 (.f64 31005468782997448409067035246885122579221824609218564332863461644317384648841/1852673427797059126777135760139006525652319754650249024631321344126610074238976 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 4)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 8))) (+.f64 (.f64 5125037576950889/18014398509481984 (/.f64 (.f64 x x) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4))) (+.f64 (.f64 7561168612682696868149198563099/40564819207303340847894502572032 (/.f64 (.f64 (fabs.f64 x) (.f64 x x)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4))) (+.f64 (.f64 42734223692319499974085203502434570562101228483/45671926166590716193865151022383844364247891968 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 2)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 8))) (+.f64 (.f64 11155288118576428178485202820703851299859732209/365375409332725729550921208179070754913983135744 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 2)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4))) (+.f64 (.f64 21015824503278810712523759394907838535287767962216658726988451/102844034832575377634685573909834406561420991602098741459288064 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 3)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 8))) (.f64 6544414927309881/4503599627370496 (/.f64 (.f64 x x) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 8)))))))))))
	12.4b	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (cbrt.f64 (pow.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) 3))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
	12.4b	(-.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 (/.f64 1 (.f64 (cbrt.f64 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (cbrt.f64 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))) (cbrt.f64 (+.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 9596 to 7029 computations (26.8% saved)

localize30.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(sqrt.f64 (exp.f64 (*.f64 x x)))
0.4b	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
1.1b	(exp.f64 (log.f64 (+.f64 1 (/.f64 (neg.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (sqrt.f64 (exp.f64 (.f64 x x))))) (sqrt.f64 (exp.f64 (*.f64 x x)))))))
12.3b	(+.f64 1 (/.f64 (neg.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (sqrt.f64 (exp.f64 (.f64 x x))))) (sqrt.f64 (exp.f64 (*.f64 x x)))))

rewrite1.1s (1.6%)

Algorithm

1×	rewrite-expression-head

Error

12.3b

Rules

13×	`*-un-lft-identity_binary64`
9×	`add-log-exp_binary64`
8×	`add-sqr-sqrt_binary64`
7×	`add-cube-cbrt_binary64`
6×	`pow1_binary64`

Counts

4 → 59

Calls

4 calls:

357.0ms	(exp.f64 (log.f64 (+.f64 1 (/.f64 (neg.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (sqrt.f64 (exp.f64 (.f64 x x))))) (sqrt.f64 (exp.f64 (*.f64 x x)))))))
354.0ms	(+.f64 1 (/.f64 (neg.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (sqrt.f64 (exp.f64 (.f64 x x))))) (sqrt.f64 (exp.f64 (*.f64 x x)))))
34.0ms	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
2.0ms	(sqrt.f64 (exp.f64 (*.f64 x x)))

Compiler

Compiled 5279 to 3606 computations (31.7% saved)

series39.7s (57.4%)

Error

12.3b

Counts

4 → 21

Calls

4 calls:

34.5s	(exp.f64 (log.f64 (+.f64 1 (/.f64 (neg.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (sqrt.f64 (exp.f64 (.f64 x x))))) (sqrt.f64 (exp.f64 (*.f64 x x)))))))
2.4s	(+.f64 1 (/.f64 (neg.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (sqrt.f64 (exp.f64 (.f64 x x))))) (sqrt.f64 (exp.f64 (*.f64 x x)))))
90.0ms	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
19.0ms	(sqrt.f64 (exp.f64 (*.f64 x x)))

Compiler

Compiled 107315 to 87470 computations (18.5% saved)

simplify984.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

523×	`associate-+r+_binary64`
356×	`associate-*r/_binary64`
337×	`associate-/r*_binary64`
307×	`associate-/l*_binary64`
306×	`times-frac_binary64`

Counts

80 → 46

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1663	78568
1	5076	78568

prune2.4s (3.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	44	2	46
Fresh	1	6	7
Picked	1	0	1
Done	0	1	1
Total	46	9	55

Error

12.3b

Counts

55 → 9

Alt Table

Status	Error	Program
	12.3b	(pow.f64 E.f64 (log.f64 (+.f64 1 (/.f64 (neg.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (sqrt.f64 (exp.f64 (.f64 x x))))) (sqrt.f64 (exp.f64 (*.f64 x x)))))))
	12.4b	(+.f64 (log.f64 (sqrt.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (.f64 x x)))))))) (log.f64 (sqrt.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (.f64 x x)))))))))
	13.1b	(log.f64 (exp.f64 (-.f64 1 (/.f64 (/.f64 (-.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (/.f64 5125037576950889/18014398509481984 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (.f64 x x))))))
	12.3b	(exp.f64 (log.f64 (/.f64 (+.f64 1 (pow.f64 (/.f64 (neg.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (sqrt.f64 (exp.f64 (.f64 x x))))) (sqrt.f64 (exp.f64 (.f64 x x)))) 3)) (+.f64 1 (.f64 (/.f64 (neg.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (sqrt.f64 (exp.f64 (.f64 x x))))) (sqrt.f64 (exp.f64 (.f64 x x)))) (-.f64 (/.f64 (neg.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (sqrt.f64 (exp.f64 (.f64 x x))))) (sqrt.f64 (exp.f64 (.f64 x x)))) 1))))))
	12.4b	(.f64 (cbrt.f64 (-.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (.f64 x x))))) (.f64 (cbrt.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (.f64 x x)))))) (cbrt.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (.f64 x x))))))))
	12.3b	(log.f64 (exp.f64 (-.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (.f64 x x))))))
	47.1b	(-.f64 (+.f64 (.f64 35261676144000702778593477735555/20282409603651670423947251286016 (/.f64 (.f64 (fabs.f64 x) (.f64 x x)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10))) (+.f64 (.f64 20556817987637161504038507089333543523822918166249852350524813/411376139330301510538742295639337626245683966408394965837152256 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 3)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 6))) (+.f64 (.f64 76751467872023811656508723352760708349670732780931458645028955/205688069665150755269371147819668813122841983204197482918576128 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 3)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10))) (+.f64 (.f64 2295300911148351/9007199254740992 (/.f64 (.f64 x x) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 (.f64 52022931517552703402237182927230355651595774505/45671926166590716193865151022383844364247891968 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 2)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10))) (+.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5)) (/.f64 2295300911148351/9007199254740992 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))) (+.f64 (.f64 113234445823621698925295871940212954706916242943247056375430340085316486793905/1852673427797059126777135760139006525652319754650249024631321344126610074238976 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 4)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10))) (+.f64 (.f64 41800865730912747520733865064421238556110763629/91343852333181432387730302044767688728495783936 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 2)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 6))) (+.f64 (.f64 6401478394306903/4503599627370496 (/.f64 (.f64 x x) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 6))) (+.f64 (.f64 33411842343816326112107791422318491978820625799351445491634765389564306860590167119957982871/8343699359066055009355553539724812947666814540455674882605631280555545803830627148527195652096 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 5)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10))) (+.f64 (.f64 4780145094533421/4503599627370496 (/.f64 (.f64 x x) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10))) (.f64 28333055192112363277425387652719/20282409603651670423947251286016 (/.f64 (.f64 (fabs.f64 x) (.f64 x x)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 6)))))))))))))) (+.f64 (.f64 9655231594650562201769272312971/5070602400912917605986812821504 (/.f64 (.f64 (fabs.f64 x) (.f64 x x)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 8))) (+.f64 (.f64 31005468782997448409067035246885122579221824609218564332863461644317384648841/1852673427797059126777135760139006525652319754650249024631321344126610074238976 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 4)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 8))) (+.f64 (.f64 5125037576950889/18014398509481984 (/.f64 (.f64 x x) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4))) (+.f64 (.f64 7561168612682696868149198563099/40564819207303340847894502572032 (/.f64 (.f64 (fabs.f64 x) (.f64 x x)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4))) (+.f64 (.f64 42734223692319499974085203502434570562101228483/45671926166590716193865151022383844364247891968 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 2)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 8))) (+.f64 (.f64 11155288118576428178485202820703851299859732209/365375409332725729550921208179070754913983135744 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 2)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4))) (+.f64 (.f64 21015824503278810712523759394907838535287767962216658726988451/102844034832575377634685573909834406561420991602098741459288064 (/.f64 (.f64 (.f64 x x) (pow.f64 (fabs.f64 x) 3)) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 8))) (.f64 6544414927309881/4503599627370496 (/.f64 (.f64 x x) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 8)))))))))))
	12.4b	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (cbrt.f64 (pow.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) 3))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
	12.4b	(-.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 (/.f64 1 (.f64 (cbrt.f64 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (cbrt.f64 (+.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))) (cbrt.f64 (+.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 50926 to 39705 computations (22% saved)

regimes1.7s (2.4%)

Accuracy

Total 0.1b remaining (0.4%)

Threshold costs 0.1b (0.4%)

Compiler

Compiled 46670 to 36769 computations (21.2% saved)

simplify33.0ms (0%)

Algorithm

1×	egg-herbie

Rules

46×	`distribute-neg-in_binary64`
42×	`distribute-rgt-neg-in_binary64`
38×	`cancel-sign-sub-inv_binary64`
29×	`neg-mul-1_binary64` `neg-sub0_binary64` `distribute-lft-neg-in_binary64`
21×	`+-commutative_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	36	290
1	56	290
2	69	286
3	87	284
4	104	284
5	128	284
6	152	284
7	182	284
8	207	284
9	229	284
10	250	284
11	263	284
12	276	284
13	286	284
14	298	284
15	307	284
16	309	284
17	295	284

end3.0ms (0%)

Compiler: Compiled 181 to 125 computations (30.9% saved)

sample2.0s (2.9%)

Algorithm

1×

intervals

Results

973.0ms

8000×

body

128

valid

Compiler

Compiled 1420 to 1029 computations (27.5% saved)

Iter	Nodes	Cost
0	36	290
1	56	290
2	69	286
3	87	284
4	104	284
5	128	284
6	152	284
7	182	284
8	207	284
9	229	284
10	250	284
11	263	284
12	276	284
13	286	284
14	298	284
15	307	284
16	309	284
17	295	284

Iter	Nodes	Cost
0	36	290
1	56	290
2	69	286
3	87	284
4	104	284
5	128	284
6	152	284
7	182	284
8	207	284
9	229	284
10	250	284
11	263	284
12	276	284
13	286	284
14	298	284
15	307	284
16	309	284
17	295	284

Details

analyze77.0ms (0.1%)

sample42.0ms (0.1%)

simplify65.0ms (0.1%)

prune9.0ms (0%)

localize24.0ms (0%)

rewrite479.0ms (0.7%)

series310.0ms (0.4%)

simplify169.0ms (0.2%)

prune263.0ms (0.4%)

localize24.0ms (0%)

rewrite1.3s (1.8%)

series13.0s (18.7%)

simplify620.0ms (0.9%)

prune1.2s (1.8%)

localize25.0ms (0%)

rewrite326.0ms (0.5%)

series2.7s (4%)

simplify277.0ms (0.4%)

prune317.0ms (0.5%)

localize30.0ms (0%)

rewrite1.1s (1.6%)

series39.7s (57.4%)

simplify984.0ms (1.4%)

prune2.4s (3.5%)

regimes1.7s (2.4%)

simplify33.0ms (0%)

end3.0ms (0%)

sample2.0s (2.9%)

Profiling

Iter	Nodes	Cost
0	36	290
1	56	290
2	69	286
3	87	284
4	104	284
5	128	284
6	152	284
7	182	284
8	207	284
9	229	284
10	250	284
11	263	284
12	276	284
13	286	284
14	298	284
15	307	284
16	309	284
17	295	284