Details

analyze11.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	25%	75%	0
0%	25%	75%	1
0%	12.5%	87.5%	2
0%	6.3%	93.7%	3
0%	3.1%	96.9%	4
0%	1.6%	98.4%	5
0%	0.8%	99.2%	6
0%	0.4%	99.6%	7
0%	0.2%	99.8%	8
0.1%	0.1%	99.8%	9
0.1%	0%	99.9%	10
0.1%	0%	99.9%	11
0.1%	0%	99.9%	12
0.1%	0%	99.9%	13
0.1%	0%	99.9%	14

Compiler

Compiled 107 to 71 computations (33.6% saved)

sample159.0ms (0.8%)

Algorithm

1×

intervals

Results

69.0ms	256×	body	128	valid
3.0ms	260×	pre	128	true
1.0ms	4×	body	128	invalid

Compiler

Compiled 212 to 141 computations (33.5% saved)

simplify66.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

847×	`unswap-sqr_binary64`
640×	`associate-*l/_binary64`
462×	`associate-*r/_binary64`
372×	`associate-/l*_binary64`
366×	`distribute-rgt-out_binary64`

Counts

1 → 2

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	35	152
1	91	82
2	278	58
3	1167	52
4	3376	49
5	3967	47
6	4726	47
7	5673	47

prune8.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

2.6b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	2.7b	(.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	2.9b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 3 4) (.f64 (.f64 (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 15 8) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))))

Status

Error

Program

▶

2.7b

(*.f64 (/.f64 (/.f64 (exp.f64 (*.f64 x x)) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (*.f64 x x))) (*.f64 x x)))))

2.9b

(*.f64 (*.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (*.f64 (/.f64 1 2) (*.f64 (*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (*.f64 (/.f64 3 4) (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (*.f64 (/.f64 15 8) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))))

Compiler

Compiled 404 to 266 computations (34.2% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
✓	0.5b	(/.f64 (/.f64 (exp.f64 (*.f64 x x)) (sqrt.f64 (PI.f64))) (fabs.f64 x))
✓	1.0b	(sqrt.f64 (PI.f64))
✓	2.3b	(exp.f64 (*.f64 x x))

series41.0ms (0.2%)

Counts

4 → 36

Calls

4 calls:

20.0ms	(/.f64 (/.f64 (exp.f64 (*.f64 x x)) (sqrt.f64 (PI.f64))) (fabs.f64 x))
18.0ms	(.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
2.0ms	(exp.f64 (*.f64 x x))
0.0ms	(sqrt.f64 (PI.f64))

rewrite192.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

593×	`times-frac_binary64`
373×	`add-sqr-sqrt_binary64`
297×	`*-un-lft-identity_binary64`
292×	`add-cube-cbrt_binary64`
158×	`associate-l_binary64`

Counts

4 → 424

Calls

4 calls:

47.0ms	(.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
8.0ms	(/.f64 (/.f64 (exp.f64 (*.f64 x x)) (sqrt.f64 (PI.f64))) (fabs.f64 x))
1.0ms	(exp.f64 (*.f64 x x))
1.0ms	(sqrt.f64 (PI.f64))

simplify709.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

698×	`distribute-rgt-in_binary64`
695×	`distribute-lft-in_binary64`
672×	`times-frac_binary64`
359×	`associate-/l/_binary64`
288×	`fma-def_binary64`

Counts

460 → 629

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	503	19844
1	1841	19211
2	4681	18077
3	4321	17996
4	4703	17996
5	4993	17996
6	4864	17996

prune712.0ms (3.4%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	610	19	629
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	612	19	631

Error

0.7b

Counts

631 → 19

Alt Table

Status	Error	Program
	2.8b	(.f64 (exp.f64 (-.f64 (-.f64 (.f64 x x) (log.f64 (sqrt.f64 (PI.f64)))) (log.f64 (fabs.f64 x)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	3.0b	(.f64 (/.f64 (.f64 (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64)))) (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))))) (/.f64 x (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64)))))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	3.3b	(.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (/.f64 (/.f64 (exp.f64 (.f64 x x)) (cbrt.f64 (sqrt.f64 (PI.f64)))) x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	3.4b	(.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (/.f64 (/.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (sqrt.f64 (PI.f64)))) x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	3.0b	(.f64 (.f64 (cbrt.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fabs.f64 x))) (cbrt.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fabs.f64 x)))) (.f64 (cbrt.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))))
	2.9b	(.f64 (expm1.f64 (log1p.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) x))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	3.4b	(.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (sqrt.f64 x)) (.f64 (/.f64 (/.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (sqrt.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))))))
	2.7b	(.f64 (/.f64 (exp.f64 (.f64 x x)) 1) (.f64 (/.f64 (/.f64 1 (sqrt.f64 (PI.f64))) x) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))))))
	2.9b	(expm1.f64 (log1p.f64 (.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) x) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))))
	2.7b	(.f64 (.f64 (/.f64 (sqrt.f64 (exp.f64 (.f64 x x))) (fabs.f64 (cbrt.f64 (PI.f64)))) (/.f64 (/.f64 (sqrt.f64 (exp.f64 (.f64 x x))) (sqrt.f64 (cbrt.f64 (PI.f64)))) x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
▶	1.4b	(.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	3.3b	(.f64 (.f64 (/.f64 (sqrt.f64 (exp.f64 (.f64 x x))) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (/.f64 (/.f64 (sqrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (sqrt.f64 (PI.f64)))) x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	2.7b	(.f64 (/.f64 (/.f64 1 (sqrt.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))))) (sqrt.f64 x)) (.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (cbrt.f64 (PI.f64)))) (sqrt.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))))
	3.2b	(.f64 (/.f64 (/.f64 (sqrt.f64 (exp.f64 (.f64 x x))) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (.f64 (cbrt.f64 (fabs.f64 x)) (cbrt.f64 (fabs.f64 x)))) (.f64 (/.f64 (/.f64 (sqrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (cbrt.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))))
	3.1b	(.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) 1) 1) (.f64 (/.f64 (/.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (sqrt.f64 (PI.f64))) x) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))))
	2.7b	(.f64 (/.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 (PI.f64)))) (sqrt.f64 x)) (.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (sqrt.f64 (PI.f64)))) (sqrt.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))))))
	2.9b	(.f64 (.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) x) (.f64 (cbrt.f64 (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))) (cbrt.f64 (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))))) (cbrt.f64 (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))))
	2.6b	(+.f64 (.f64 15/8 (.f64 (/.f64 (exp.f64 (pow.f64 x 2)) (.f64 (fabs.f64 x) (pow.f64 x 6))) (sqrt.f64 (/.f64 1 (PI.f64))))) (+.f64 (.f64 3/4 (.f64 (/.f64 (exp.f64 (pow.f64 x 2)) (.f64 (fabs.f64 x) (pow.f64 x 4))) (sqrt.f64 (/.f64 1 (PI.f64))))) (+.f64 (.f64 (/.f64 (exp.f64 (pow.f64 x 2)) (fabs.f64 x)) (sqrt.f64 (/.f64 1 (PI.f64)))) (.f64 1/2 (.f64 (/.f64 (exp.f64 (pow.f64 x 2)) (.f64 (fabs.f64 x) (pow.f64 x 2))) (sqrt.f64 (/.f64 1 (PI.f64))))))))
	3.2b	(.f64 (/.f64 (.f64 (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64)))) (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))))) (.f64 (cbrt.f64 (fabs.f64 x)) (cbrt.f64 (fabs.f64 x)))) (.f64 (/.f64 (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64)))) (cbrt.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))))))

Compiler

Compiled 30128 to 12312 computations (59.1% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
✓	0.5b	(/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))
✓	0.9b	(pow.f64 (exp.f64 x) x)
	1.0b	(sqrt.f64 (PI.f64))

series43.0ms (0.2%)

Counts

3 → 36

Calls

3 calls:

20.0ms

(/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))

19.0ms

(*.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (*.f64 x x))) (*.f64 x x)))))

4.0ms

(pow.f64 (exp.f64 x) x)

rewrite279.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

1313×	`times-frac_binary64`
769×	`add-sqr-sqrt_binary64`
604×	`*-un-lft-identity_binary64`
599×	`add-cube-cbrt_binary64`
326×	`associate-l_binary64`

Counts

3 → 795

Calls

3 calls:

71.0ms

(*.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (*.f64 x x))) (*.f64 x x)))))

15.0ms

(/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))

3.0ms

(pow.f64 (exp.f64 x) x)

simplify858.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

473×	`associate-/l*_binary64`
429×	`fma-def_binary64`
426×	`associate-/r*_binary64`
301×	`associate-/l/_binary64`
256×	`times-frac_binary64`

Counts

831 → 1088

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	800	37261
1	2907	36633
2	4963	36633
3	4984	36633

prune1.5s (7.3%)

Pruning

28 alts after pruning (28 fresh and 0 done)

	Pruned	Kept	Total
New	1077	27	1104
Fresh	17	1	18
Picked	1	0	1
Done	0	0	0
Total	1095	28	1123

Error

0.1b

Counts

1123 → 28

Alt Table

Status	Error	Program
	1.8b	(.f64 (.f64 (/.f64 (/.f64 (sqrt.f64 (pow.f64 (exp.f64 x) x)) 1) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (/.f64 (/.f64 (sqrt.f64 (pow.f64 (exp.f64 x) x)) (sqrt.f64 (PI.f64))) (fabs.f64 (cbrt.f64 x)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
▶	1.4b	(.f64 (/.f64 (/.f64 1 (sqrt.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))))) (sqrt.f64 x)) (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (cbrt.f64 (PI.f64)))) (sqrt.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))))))
	2.9b	(.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (pow.f64 (exp.f64 x) x))) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (/.f64 (fabs.f64 x) (/.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (sqrt.f64 (PI.f64)))))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	2.3b	(.f64 (.f64 (/.f64 (/.f64 (sqrt.f64 (pow.f64 (exp.f64 x) x)) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (/.f64 (/.f64 (sqrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 (cbrt.f64 x)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	2.2b	(.f64 (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (sqrt.f64 x)) (/.f64 (/.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) (cbrt.f64 (sqrt.f64 (PI.f64)))) (sqrt.f64 x))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	2.7b	(.f64 (/.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x) (sqrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (.f64 (/.f64 (/.f64 (pow.f64 (cbrt.f64 (exp.f64 x)) x) (sqrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 (cbrt.f64 x))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))))
	1.6b	(.f64 (.f64 (sqrt.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))) (sqrt.f64 (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))) (.f64 (sqrt.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))) (sqrt.f64 (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))))
	1.7b	(.f64 (.f64 (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (sqrt.f64 (sqrt.f64 (PI.f64)))) (sqrt.f64 x)) (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (sqrt.f64 (sqrt.f64 (PI.f64)))) (sqrt.f64 x))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	1.6b	(.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) (sqrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) (sqrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 (cbrt.f64 x))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))))))
	1.4b	(/.f64 (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (-.f64 (.f64 1 1) (.f64 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))) (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))) (-.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	1.6b	(.f64 (/.f64 (/.f64 (sqrt.f64 (pow.f64 (exp.f64 x) x)) (sqrt.f64 (sqrt.f64 (PI.f64)))) (sqrt.f64 x)) (.f64 (/.f64 (/.f64 (sqrt.f64 (pow.f64 (exp.f64 x) x)) (sqrt.f64 (sqrt.f64 (PI.f64)))) (sqrt.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))))
	3.3b	(.f64 (/.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 x) (sqrt.f64 x)) (sqrt.f64 x)) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	2.3b	(.f64 (/.f64 (/.f64 (sqrt.f64 (pow.f64 (exp.f64 x) x)) 1) (sqrt.f64 x)) (.f64 (/.f64 (/.f64 (sqrt.f64 (exp.f64 (.f64 x x))) (sqrt.f64 (PI.f64))) (sqrt.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))))))
	2.0b	(.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64)))) (cbrt.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))))) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (/.f64 (cbrt.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64)))) (fabs.f64 (cbrt.f64 x)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	2.2b	(.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) 1) (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) (cbrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))))))
	2.0b	(.f64 (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (sqrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (.f64 (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (sqrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 (cbrt.f64 x))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))))))
	4.6b	(.f64 (/.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 x) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	2.5b	(.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (pow.f64 (exp.f64 x) x))) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) 1) (.f64 (/.f64 (/.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))))
	2.2b	(.f64 (.f64 (/.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (cbrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 (cbrt.f64 x)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	1.9b	(.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))) (cbrt.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)))) (cbrt.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	1.9b	(.f64 (.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (pow.f64 (exp.f64 x) x))) 1) 1) (/.f64 (/.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (sqrt.f64 (PI.f64))) (fabs.f64 x))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	2.7b	(.f64 (/.f64 (/.f64 (pow.f64 1 x) (sqrt.f64 (sqrt.f64 (PI.f64)))) (/.f64 (fabs.f64 x) (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (sqrt.f64 (PI.f64)))))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	2.7b	(.f64 (/.f64 (/.f64 1 (sqrt.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))))) (sqrt.f64 x)) (.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (cbrt.f64 (PI.f64)))) (sqrt.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))))
	1.9b	(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))) (cbrt.f64 (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))))) (cbrt.f64 (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))))
	2.3b	(.f64 (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) 1) (.f64 (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (cbrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))))))
	2.3b	(.f64 (.f64 (cbrt.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))) (cbrt.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)))) (.f64 (cbrt.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 (PI.f64)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))))
	1.9b	(.f64 (.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (sqrt.f64 (PI.f64))) (fabs.f64 (cbrt.f64 x)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	2.6b	(.f64 (/.f64 (.f64 (cbrt.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64)))) (cbrt.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))))) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (.f64 (/.f64 (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64)))) (fabs.f64 (cbrt.f64 x))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))))))

Compiler

Compiled 54009 to 22055 computations (59.2% saved)

localize32.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.0b	(*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))
✓	1.0b	(sqrt.f64 (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))))
✓	1.0b	(/.f64 1 (sqrt.f64 (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))))
✓	1.0b	(cbrt.f64 (PI.f64))

series0.0ms (0%)

Counts

4 → 0

Calls

4 calls:

0.0ms	(cbrt.f64 (PI.f64))
0.0ms	(/.f64 1 (sqrt.f64 (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))))
0.0ms	(*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))
0.0ms	(sqrt.f64 (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))))

rewrite23.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`add-sqr-sqrt_binary64`
28×	`pow1_binary64`
22×	`*-un-lft-identity_binary64`
22×	`add-cube-cbrt_binary64`
19×	`cbrt-prod_binary64`

Counts

4 → 123

Calls

4 calls:

5.0ms	(/.f64 1 (sqrt.f64 (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))))
4.0ms	(*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))
3.0ms	(sqrt.f64 (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))))
1.0ms	(cbrt.f64 (PI.f64))

simplify137.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

842×	`fma-neg_binary64`
497×	`unswap-sqr_binary64`
446×	`sqr-pow_binary64`
324×	`times-frac_binary64`
313×	`*-commutative_binary64`

Counts

123 → 151

Iterations

Useful iterations: 7 (0.0ms)

Iter	Nodes	Cost
0	94	1166
1	128	1030
2	226	1006
3	558	990
4	1611	817
5	2435	817
6	3276	817
7	4645	809
8	4869	809
9	4785	809

prune341.0ms (1.6%)

Pruning

27 alts after pruning (26 fresh and 1 done)

	Pruned	Kept	Total
New	178	3	181
Fresh	4	23	27
Picked	0	1	1
Done	0	0	0
Total	182	27	209

Error

0.1b

Counts

209 → 27

Alt Table

Status	Error	Program
	1.8b	(.f64 (.f64 (/.f64 (/.f64 (sqrt.f64 (pow.f64 (exp.f64 x) x)) 1) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (/.f64 (/.f64 (sqrt.f64 (pow.f64 (exp.f64 x) x)) (sqrt.f64 (PI.f64))) (fabs.f64 (cbrt.f64 x)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
✓	1.4b	(.f64 (/.f64 (/.f64 1 (sqrt.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))))) (sqrt.f64 x)) (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (cbrt.f64 (PI.f64)))) (sqrt.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))))))
	2.9b	(.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (pow.f64 (exp.f64 x) x))) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (/.f64 (fabs.f64 x) (/.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (sqrt.f64 (PI.f64)))))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	2.3b	(.f64 (.f64 (/.f64 (/.f64 (sqrt.f64 (pow.f64 (exp.f64 x) x)) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (/.f64 (/.f64 (sqrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 (cbrt.f64 x)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	2.2b	(.f64 (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (sqrt.f64 x)) (/.f64 (/.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) (cbrt.f64 (sqrt.f64 (PI.f64)))) (sqrt.f64 x))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	2.7b	(.f64 (/.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x) (sqrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (.f64 (/.f64 (/.f64 (pow.f64 (cbrt.f64 (exp.f64 x)) x) (sqrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 (cbrt.f64 x))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))))
	1.6b	(.f64 (.f64 (sqrt.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))) (sqrt.f64 (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))) (.f64 (sqrt.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))) (sqrt.f64 (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))))
	1.6b	(.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) (sqrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) (sqrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 (cbrt.f64 x))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))))))
▶	1.4b	(/.f64 (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (-.f64 (.f64 1 1) (.f64 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))) (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))) (-.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	2.0b	(.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64)))) (cbrt.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))))) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (/.f64 (cbrt.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64)))) (fabs.f64 (cbrt.f64 x)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	2.2b	(.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) 1) (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) (cbrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))))))
	2.0b	(.f64 (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (sqrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (.f64 (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (sqrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 (cbrt.f64 x))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))))))
	4.6b	(.f64 (/.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 x) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	2.2b	(.f64 (/.f64 (.f64 (.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))))) (cbrt.f64 (/.f64 1 (sqrt.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))))))) (cbrt.f64 (/.f64 1 (sqrt.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))))))) (sqrt.f64 x)) (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (cbrt.f64 (PI.f64)))) (sqrt.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))))))
	1.9b	(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))) (cbrt.f64 (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))))) (cbrt.f64 (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))))
	1.6b	(.f64 (/.f64 (/.f64 (/.f64 1 (sqrt.f64 (cbrt.f64 (PI.f64)))) (sqrt.f64 (cbrt.f64 (PI.f64)))) (sqrt.f64 x)) (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (cbrt.f64 (PI.f64)))) (sqrt.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))))
	1.9b	(.f64 (/.f64 (cbrt.f64 (/.f64 1 (PI.f64))) (sqrt.f64 x)) (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (cbrt.f64 (PI.f64)))) (sqrt.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))))
	2.5b	(.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (pow.f64 (exp.f64 x) x))) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) 1) (.f64 (/.f64 (/.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))))
	2.2b	(.f64 (.f64 (/.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (cbrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 (cbrt.f64 x)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	1.9b	(.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))) (cbrt.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)))) (cbrt.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	1.9b	(.f64 (.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (pow.f64 (exp.f64 x) x))) 1) 1) (/.f64 (/.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (sqrt.f64 (PI.f64))) (fabs.f64 x))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	2.7b	(.f64 (/.f64 (/.f64 (pow.f64 1 x) (sqrt.f64 (sqrt.f64 (PI.f64)))) (/.f64 (fabs.f64 x) (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (sqrt.f64 (PI.f64)))))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	3.3b	(.f64 (/.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 x) (sqrt.f64 x)) (sqrt.f64 x)) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	2.3b	(.f64 (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) 1) (.f64 (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (cbrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))))))
	2.3b	(.f64 (.f64 (cbrt.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))) (cbrt.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)))) (.f64 (cbrt.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 (PI.f64)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))))
	1.9b	(.f64 (.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (sqrt.f64 (PI.f64))) (fabs.f64 (cbrt.f64 x)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	2.6b	(.f64 (/.f64 (.f64 (cbrt.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64)))) (cbrt.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))))) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (.f64 (/.f64 (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64)))) (fabs.f64 (cbrt.f64 x))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))))))

Compiler

Compiled 11332 to 5354 computations (52.8% saved)

localize28.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))
✓	0.5b	(.f64 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))) (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))))
	0.9b	(pow.f64 (exp.f64 x) x)
	1.0b	(sqrt.f64 (PI.f64))

series5.0ms (0%)

Counts

1 → 12

Calls

1 calls:

5.0ms

(*.f64 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (*.f64 x x))) (*.f64 x x))) (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (*.f64 x x))) (*.f64 x x))))

rewrite39.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`*-un-lft-identity_binary64`
9×	`frac-times_binary64`
8×	`flip-+_binary64`
8×	`flip3-+_binary64`
8×	`frac-add_binary64`

Counts

1 → 49

Calls

1 calls:

33.0ms

(*.f64 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (*.f64 x x))) (*.f64 x x))) (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (*.f64 x x))) (*.f64 x x))))

simplify97.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

781×	`associate-*l/_binary64`
639×	`fma-def_binary64`
335×	`associate-/r*_binary64`
329×	`times-frac_binary64`
174×	`associate-/l*_binary64`

Counts

61 → 76

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	118	3772
1	391	3222
2	1679	2718
3	5168	2718

prune1.4s (7%)

Pruning

28 alts after pruning (27 fresh and 1 done)

	Pruned	Kept	Total
New	647	7	654
Fresh	5	20	25
Picked	1	0	1
Done	0	1	1
Total	653	28	681

Error

0.1b

Counts

681 → 28

Alt Table

Status	Error	Program
	1.8b	(.f64 (.f64 (/.f64 (/.f64 (sqrt.f64 (pow.f64 (exp.f64 x) x)) 1) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (/.f64 (/.f64 (sqrt.f64 (pow.f64 (exp.f64 x) x)) (sqrt.f64 (PI.f64))) (fabs.f64 (cbrt.f64 x)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
✓	1.4b	(.f64 (/.f64 (/.f64 1 (sqrt.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))))) (sqrt.f64 x)) (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (cbrt.f64 (PI.f64)))) (sqrt.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))))))
	2.9b	(.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (pow.f64 (exp.f64 x) x))) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (/.f64 (fabs.f64 x) (/.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (sqrt.f64 (PI.f64)))))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	2.7b	(.f64 (/.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x) (sqrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (.f64 (/.f64 (/.f64 (pow.f64 (cbrt.f64 (exp.f64 x)) x) (sqrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 (cbrt.f64 x))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))))
	1.6b	(.f64 (.f64 (sqrt.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))) (sqrt.f64 (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))) (.f64 (sqrt.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))) (sqrt.f64 (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))))
	1.6b	(.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) (sqrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) (sqrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 (cbrt.f64 x))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))))))
	2.2b	(/.f64 (.f64 (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (sqrt.f64 x)) (/.f64 (/.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) (cbrt.f64 (sqrt.f64 (PI.f64)))) (sqrt.f64 x))) (-.f64 (.f64 1 1) (.f64 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))) (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))) (-.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	2.0b	(.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64)))) (cbrt.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))))) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (/.f64 (cbrt.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64)))) (fabs.f64 (cbrt.f64 x)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	2.6b	(/.f64 (.f64 (exp.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 (PI.f64)))))) (-.f64 (.f64 1 1) (.f64 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))) (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))) (-.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	2.2b	(.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) 1) (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) (cbrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))))))
	4.6b	(.f64 (/.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 x) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	2.2b	(.f64 (/.f64 (.f64 (.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))))) (cbrt.f64 (/.f64 1 (sqrt.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))))))) (cbrt.f64 (/.f64 1 (sqrt.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))))))) (sqrt.f64 x)) (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (cbrt.f64 (PI.f64)))) (sqrt.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))))))
	2.5b	(.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (pow.f64 (exp.f64 x) x))) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) 1) (.f64 (/.f64 (/.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))))
	2.2b	(.f64 (.f64 (/.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (cbrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 (cbrt.f64 x)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	1.9b	(.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))) (cbrt.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)))) (cbrt.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	1.9b	(.f64 (.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (pow.f64 (exp.f64 x) x))) 1) 1) (/.f64 (/.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (sqrt.f64 (PI.f64))) (fabs.f64 x))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	1.4b	(/.f64 (.f64 (/.f64 (neg.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64)))) (neg.f64 (fabs.f64 x))) (-.f64 (.f64 1 1) (.f64 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))) (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))) (-.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	2.3b	(.f64 (.f64 (cbrt.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))) (cbrt.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)))) (.f64 (cbrt.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 (PI.f64)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))))
	1.7b	(/.f64 (.f64 (.f64 (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (sqrt.f64 (sqrt.f64 (PI.f64)))) (sqrt.f64 x)) (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (sqrt.f64 (sqrt.f64 (PI.f64)))) (sqrt.f64 x))) (-.f64 (.f64 1 1) (.f64 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))) (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))) (-.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	1.7b	(/.f64 (.f64 (.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (fabs.f64 (cbrt.f64 (PI.f64)))) (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (sqrt.f64 (cbrt.f64 (PI.f64)))) (fabs.f64 x))) (-.f64 (.f64 1 1) (.f64 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))) (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))) (-.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	2.3b	(/.f64 (.f64 (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (/.f64 (fabs.f64 x) (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (cbrt.f64 (sqrt.f64 (PI.f64)))))) (-.f64 (.f64 1 1) (.f64 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))) (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))) (-.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	2.6b	(/.f64 (.f64 (.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x) (sqrt.f64 (sqrt.f64 (PI.f64)))) (/.f64 (/.f64 (pow.f64 (cbrt.f64 (exp.f64 x)) x) (sqrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 x))) (-.f64 (.f64 1 1) (.f64 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))) (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))) (-.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	2.6b	(.f64 (/.f64 (.f64 (cbrt.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64)))) (cbrt.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))))) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (.f64 (/.f64 (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64)))) (fabs.f64 (cbrt.f64 x))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))))))
	2.7b	(.f64 (/.f64 (/.f64 (pow.f64 1 x) (sqrt.f64 (sqrt.f64 (PI.f64)))) (/.f64 (fabs.f64 x) (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (sqrt.f64 (PI.f64)))))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	2.3b	(.f64 (.f64 (/.f64 (/.f64 (sqrt.f64 (pow.f64 (exp.f64 x) x)) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (/.f64 (/.f64 (sqrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 (cbrt.f64 x)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	1.9b	(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))) (cbrt.f64 (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))))) (cbrt.f64 (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))))
	2.3b	(.f64 (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) 1) (.f64 (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (cbrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))))))
	1.9b	(.f64 (.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (sqrt.f64 (PI.f64))) (fabs.f64 (cbrt.f64 x)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))

Compiler

Compiled 57369 to 30405 computations (47% saved)

regimes10.5s (50.6%)

Accuracy

Total 1.1b remaining (83.6%)

Threshold costs 0b (0%)

Counts

1456 → 1

Compiler

Compiled 219179 to 137355 computations (37.3% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
2×	`*-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	61
1	33	61
2	32	61

end1.0ms (0%)

Compiler: Compiled 40 to 28 computations (30% saved)

sample3.4s (16.7%)

Algorithm

1×

intervals

Results

2.1s	8000×	body	128	valid
108.0ms	8134×	pre	128	true
33.0ms	134×	body	128	invalid

Compiler

Compiled 1867 to 1128 computations (39.6% saved)

Details

analyze11.0ms (0.1%)

sample159.0ms (0.8%)

simplify66.0ms (0.3%)

prune8.0ms (0%)

localize17.0ms (0.1%)

series41.0ms (0.2%)

rewrite192.0ms (0.9%)

simplify709.0ms (3.4%)

prune712.0ms (3.4%)

localize21.0ms (0.1%)

series43.0ms (0.2%)

rewrite279.0ms (1.3%)

simplify858.0ms (4.2%)

prune1.5s (7.3%)

localize32.0ms (0.2%)

series0.0ms (0%)

rewrite23.0ms (0.1%)

simplify137.0ms (0.7%)

prune341.0ms (1.6%)

localize28.0ms (0.1%)

series5.0ms (0%)

rewrite39.0ms (0.2%)

simplify97.0ms (0.5%)

prune1.4s (7%)

regimes10.5s (50.6%)

simplify3.0ms (0%)

end1.0ms (0%)

sample3.4s (16.7%)

Profiling