Details

analyze8.0ms (0%)

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)

sample2.8s (11.2%)

Results

2.7s	8256×	body	128	valid
76.0ms	124×	body	128	invalid

Compiler

Compiled 318 to 211 computations (33.6% 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

prune7.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.8b

Counts

3 → 2

Alt Table

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

Status

Error

Program

3.1b

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

▶

2.9b

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

Compiler

Compiled 404 to 266 computations (34.2% saved)

localize21.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.6b	(exp.f64 (*.f64 x x))

series36.0ms (0.1%)

Counts

4 → 36

Calls

4 calls:

18.0ms	(/.f64 (/.f64 (exp.f64 (*.f64 x x)) (sqrt.f64 (PI.f64))) (fabs.f64 x))
16.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))

rewrite128.0ms (0.5%)

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:

43.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)))))
9.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))

simplify622.0ms (2.5%)

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

prune673.0ms (2.7%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	609	20	629
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	611	20	631

Error

0.7b

Counts

631 → 20

Alt Table

Status	Error	Program
	3.2b	(.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.9b	(.f64 (/.f64 1 (sqrt.f64 x)) (.f64 (/.f64 (/.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))))))
	3.6b	(.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 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)))))
	3.2b	(.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) (sqrt.f64 (sqrt.f64 (PI.f64)))) (.f64 (cbrt.f64 (fabs.f64 x)) (cbrt.f64 (fabs.f64 x)))) (.f64 (/.f64 (/.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (sqrt.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 (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.6b	(.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))))) 1) (.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 (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.1b	(.f64 (/.f64 1 (.f64 (cbrt.f64 (fabs.f64 x)) (cbrt.f64 (fabs.f64 x)))) (.f64 (/.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))))))
	2.9b	(.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 (sqrt.f64 (sqrt.f64 (PI.f64))) (sqrt.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)))))
	3.2b	(.f64 (.f64 (/.f64 (/.f64 (sqrt.f64 (exp.f64 (.f64 x x))) (sqrt.f64 (sqrt.f64 (PI.f64)))) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (/.f64 (sqrt.f64 (exp.f64 (.f64 x x))) (sqrt.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	(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.8b	(.f64 (exp.f64 (-.f64 (.f64 x x) (log.f64 (.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)))))
	3.5b	(.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))))))
▶	1.5b	(.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.0b	(.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 x)) (.f64 (/.f64 (/.f64 1 (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	(exp.f64 (+.f64 (-.f64 (-.f64 (.f64 x x) (log.f64 (sqrt.f64 (PI.f64)))) (log.f64 (fabs.f64 x))) (log.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.2b	(.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 (.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (+.f64 1 (pow.f64 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))) 3))) (.f64 x (fma.f64 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))) (+.f64 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))) -1) 1)))
	3.2b	(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 (cbrt.f64 (fabs.f64 x)) (cbrt.f64 (fabs.f64 x)))) (.f64 (/.f64 (/.f64 1 (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.2b	(.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) (sqrt.f64 x)) (/.f64 (/.f64 (cbrt.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)))))

Compiler

Compiled 30140 to 12336 computations (59.1% saved)

localize23.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))
	1.0b	(sqrt.f64 (PI.f64))
✓	1.1b	(pow.f64 (exp.f64 x) x)

series38.0ms (0.2%)

Counts

3 → 36

Calls

3 calls:

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

17.0ms

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

2.0ms

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

rewrite260.0ms (1%)

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:

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

12.0ms

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

2.0ms

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

simplify783.0ms (3.1%)

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.6s (6.2%)

Pruning

32 alts after pruning (32 fresh and 0 done)

	Pruned	Kept	Total
New	1074	30	1104
Fresh	17	2	19
Picked	1	0	1
Done	0	0	0
Total	1092	32	1124

Error

0.1b

Counts

1124 → 32

Alt Table

Status	Error	Program
	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 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (/.f64 (pow.f64 (sqrt.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.0b	(.f64 (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) 1) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (.f64 (/.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))))))
	1.9b	(.f64 (.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (pow.f64 (exp.f64 x) x))) (sqrt.f64 (sqrt.f64 (PI.f64)))) 1) (/.f64 (/.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (sqrt.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)))))
	3.2b	(.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))))))
	3.0b	(.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)))))
	1.9b	(.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (pow.f64 (exp.f64 x) x))) (sqrt.f64 (sqrt.f64 (PI.f64)))) (sqrt.f64 x)) (.f64 (/.f64 (/.f64 (cbrt.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))))))
	1.9b	(.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))))) (sqrt.f64 x)) (/.f64 (cbrt.f64 (/.f64 (pow.f64 (exp.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)))))
	1.5b	(.f64 (.f64 (/.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 (PI.f64)))) 1) (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.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 (/.f64 (sqrt.f64 (pow.f64 (exp.f64 x) x)) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) 1) (.f64 (/.f64 (/.f64 (sqrt.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.0b	(.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (pow.f64 (exp.f64 x) x))) (sqrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (.f64 (/.f64 (/.f64 (cbrt.f64 (pow.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))))))
	3.0b	(.f64 (/.f64 (/.f64 (pow.f64 1 x) (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))))))
	3.1b	(.f64 (.f64 (/.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (sqrt.f64 x)) (/.f64 (/.f64 (pow.f64 (cbrt.f64 (exp.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.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.3b	(.f64 (/.f64 (/.f64 (sqrt.f64 (pow.f64 (exp.f64 x) x)) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (sqrt.f64 x)) (.f64 (/.f64 (/.f64 (sqrt.f64 (pow.f64 (exp.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))))))
	1.9b	(.f64 (.f64 (/.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (/.f64 (/.f64 (pow.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)))))
	2.0b	(.f64 (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.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.8b	(.f64 (/.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x) 1) 1) (.f64 (/.f64 (/.f64 (pow.f64 (cbrt.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.1b	(.f64 (.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) (fabs.f64 (cbrt.f64 (PI.f64)))) (sqrt.f64 x)) (/.f64 (/.f64 (cbrt.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)))))
	2.4b	(.f64 (.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))))) (sqrt.f64 x)) (/.f64 (/.f64 (cbrt.f64 (pow.f64 (exp.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)))))
	1.8b	(.f64 (.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (pow.f64 (exp.f64 x) x))) (sqrt.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))))) (sqrt.f64 x)) (/.f64 (/.f64 (cbrt.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.5b	(/.f64 (.f64 (/.f64 (pow.f64 (exp.f64 x) 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 (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.4b	(.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 (/.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.5b	(.f64 (/.f64 (pow.f64 (exp.f64 x) x) 1) (.f64 (/.f64 (/.f64 1 (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))) 1) 1) (.f64 (/.f64 (/.f64 (cbrt.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))))))
	1.8b	(.f64 (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (sqrt.f64 (sqrt.f64 (PI.f64)))) 1) (.f64 (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (sqrt.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.6b	(.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.8b	(.f64 (exp.f64 (-.f64 (.f64 x x) (log.f64 (.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)))))
	2.2b	(.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 (/.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.5b	(.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 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)))
	2.4b	(.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))))))
	1.8b	(.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))))) 1) (.f64 (/.f64 (cbrt.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.8b	(.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)))))))

Compiler

Compiled 54423 to 22317 computations (59% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (/.f64 (/.f64 1 (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.6b	(.f64 (/.f64 (pow.f64 (exp.f64 x) x) 1) (.f64 (/.f64 (/.f64 1 (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.0b	(sqrt.f64 (PI.f64))
	1.1b	(pow.f64 (exp.f64 x) x)

series28.0ms (0.1%)

Counts

2 → 24

Calls

2 calls:

17.0ms

(*.f64 (/.f64 (pow.f64 (exp.f64 x) x) 1) (*.f64 (/.f64 (/.f64 1 (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))))))

11.0ms

(*.f64 (/.f64 (/.f64 1 (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)))))

rewrite147.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

328×	`times-frac_binary64`
228×	`add-sqr-sqrt_binary64`
183×	`associate-l_binary64`
165×	`add-exp-log_binary64`
164×	`*-un-lft-identity_binary64`

Counts

2 → 308

Calls

2 calls:

42.0ms

(*.f64 (/.f64 (/.f64 1 (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)))))

36.0ms

(*.f64 (/.f64 (pow.f64 (exp.f64 x) x) 1) (*.f64 (/.f64 (/.f64 1 (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))))))

simplify495.0ms (2%)

Algorithm

1×	egg-herbie

Rules

401×	`distribute-rgt-in_binary64`
396×	`distribute-lft-in_binary64`
340×	`associate-*l/_binary64`
285×	`associate-l_binary64`
285×	`fma-neg_binary64`

Counts

332 → 491

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	341	18116
1	1058	15828
2	3889	14926
3	4116	14827
4	4965	14827
5	5075	14827

prune1.2s (4.6%)

Pruning

32 alts after pruning (32 fresh and 0 done)

	Pruned	Kept	Total
New	538	9	547
Fresh	8	23	31
Picked	1	0	1
Done	0	0	0
Total	547	32	579

Error

0.1b

Counts

579 → 32

Alt Table

Status	Error	Program
	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 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (/.f64 (pow.f64 (sqrt.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.0b	(.f64 (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) 1) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (.f64 (/.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))))))
	1.9b	(.f64 (.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (pow.f64 (exp.f64 x) x))) (sqrt.f64 (sqrt.f64 (PI.f64)))) 1) (/.f64 (/.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (sqrt.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 (pow.f64 (exp.f64 x) x) 1) (.f64 (/.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 (PI.f64)))) (.f64 (cbrt.f64 (fabs.f64 x)) (cbrt.f64 (fabs.f64 x)))) (/.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 (sqrt.f64 (PI.f64))) (cbrt.f64 x)))))
	1.6b	(.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))))))
	3.2b	(.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))))))
	3.0b	(.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.9b	(/.f64 (.f64 (exp.f64 (.f64 x x)) (/.f64 (/.f64 (-.f64 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))))) (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)))))
	1.7b	(.f64 (/.f64 (pow.f64 (exp.f64 x) x) 1) (.f64 (/.f64 (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 x) (sqrt.f64 (sqrt.f64 (PI.f64))))) (/.f64 (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 x) (sqrt.f64 (sqrt.f64 (PI.f64)))))))
	1.9b	(.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (pow.f64 (exp.f64 x) x))) (sqrt.f64 (sqrt.f64 (PI.f64)))) (sqrt.f64 x)) (.f64 (/.f64 (/.f64 (cbrt.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))))))
	2.5b	(.f64 (/.f64 (pow.f64 (exp.f64 x) x) 1) (.f64 (/.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (sqrt.f64 x)) (.f64 (/.f64 (/.f64 1 (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)))))))
	1.6b	(.f64 (/.f64 (pow.f64 (exp.f64 x) x) 1) (.f64 (.f64 (sqrt.f64 (/.f64 (sqrt.f64 (/.f64 1 (PI.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 (sqrt.f64 (/.f64 1 (PI.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))))))))
	3.1b	(.f64 (.f64 (/.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (sqrt.f64 x)) (/.f64 (/.f64 (pow.f64 (cbrt.f64 (exp.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.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.9b	(/.f64 (.f64 (exp.f64 (.f64 x x)) (/.f64 (+.f64 1 (pow.f64 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))) 3)) (sqrt.f64 (PI.f64)))) (.f64 x (fma.f64 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))) (+.f64 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x))) -1) 1)))
	1.9b	(.f64 (.f64 (/.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (/.f64 (/.f64 (pow.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)))))
	2.0b	(.f64 (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.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.8b	(.f64 (/.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x) 1) 1) (.f64 (/.f64 (/.f64 (pow.f64 (cbrt.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.4b	(.f64 (.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))))) (sqrt.f64 x)) (/.f64 (/.f64 (cbrt.f64 (pow.f64 (exp.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)))))
	1.8b	(.f64 (.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (pow.f64 (exp.f64 x) x))) (sqrt.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))))) (sqrt.f64 x)) (/.f64 (/.f64 (cbrt.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.5b	(/.f64 (.f64 (/.f64 (pow.f64 (exp.f64 x) 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 (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 (pow.f64 (exp.f64 x) x) 1) (+.f64 (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (+.f64 (.f64 15/8 (/.f64 1 (pow.f64 x 7))) (.f64 3/4 (/.f64 1 (pow.f64 x 5))))) (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (+.f64 (/.f64 1 x) (.f64 1/2 (/.f64 1 (pow.f64 x 3)))))))
	2.0b	(.f64 (/.f64 (pow.f64 (exp.f64 x) x) 1) (.f64 (.f64 (/.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (fabs.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)))))))
	1.8b	(.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))))) 1) (.f64 (/.f64 (cbrt.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.4b	(.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 (/.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.0b	(.f64 (/.f64 (pow.f64 (exp.f64 x) x) 1) (log.f64 (exp.f64 (.f64 (/.f64 (/.f64 1 (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))) 1) 1) (.f64 (/.f64 (/.f64 (cbrt.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))))))
	1.8b	(.f64 (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (sqrt.f64 (sqrt.f64 (PI.f64)))) 1) (.f64 (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (sqrt.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.8b	(.f64 (exp.f64 (-.f64 (.f64 x x) (log.f64 (.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.5b	(.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 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)))
	2.3b	(.f64 (/.f64 (/.f64 (sqrt.f64 (pow.f64 (exp.f64 x) x)) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) 1) (.f64 (/.f64 (/.f64 (sqrt.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.4b	(.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))))))

Compiler

Compiled 29112 to 16430 computations (43.6% saved)

localize31.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 1 (pow.f64 x 7))
✓	0.3b	(*.f64 3/4 (/.f64 1 (pow.f64 x 5)))
✓	0.6b	(.f64 (/.f64 (pow.f64 (exp.f64 x) x) 1) (+.f64 (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (+.f64 (.f64 15/8 (/.f64 1 (pow.f64 x 7))) (.f64 3/4 (/.f64 1 (pow.f64 x 5))))) (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (+.f64 (/.f64 1 x) (.f64 1/2 (/.f64 1 (pow.f64 x 3)))))))
	1.1b	(pow.f64 (exp.f64 x) x)

series26.0ms (0.1%)

Counts

3 → 24

Calls

3 calls:

19.0ms

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

3.0ms

(/.f64 1 (pow.f64 x 7))

3.0ms

(*.f64 3/4 (/.f64 1 (pow.f64 x 5)))

rewrite189.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

528×	`associate-*r/_binary64`
482×	`frac-add_binary64`
331×	`frac-times_binary64`
256×	`sqrt-div_binary64`
197×	`un-div-inv_binary64`

Counts

3 → 412

Calls

3 calls:

36.0ms

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

8.0ms

(*.f64 3/4 (/.f64 1 (pow.f64 x 5)))

3.0ms

(/.f64 1 (pow.f64 x 7))

simplify642.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

673×	`fma-def_binary64`
414×	`times-frac_binary64`
336×	`*-commutative_binary64`
284×	`associate-*l/_binary64`
270×	`associate-*r/_binary64`

Counts

436 → 599

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	659	31080
1	2188	28315
2	4285	28259
3	5010	28259

prune1.9s (7.5%)

Pruning

30 alts after pruning (29 fresh and 1 done)

	Pruned	Kept	Total
New	635	4	639
Fresh	6	25	31
Picked	0	1	1
Done	0	0	0
Total	641	30	671

Error

0.1b

Counts

671 → 30

Alt Table

Status	Error	Program
	1.9b	(.f64 (/.f64 (pow.f64 (exp.f64 x) x) 1) (.f64 (/.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 (PI.f64)))) (.f64 (cbrt.f64 (fabs.f64 x)) (cbrt.f64 (fabs.f64 x)))) (/.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 (sqrt.f64 (PI.f64))) (cbrt.f64 x)))))
	1.6b	(.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))))))
	3.2b	(.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))))))
	3.0b	(.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)))))
	1.8b	(.f64 (/.f64 (pow.f64 (exp.f64 x) x) 1) (+.f64 (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (+.f64 (.f64 15/8 (/.f64 1 (pow.f64 x 7))) (log.f64 (exp.f64 (/.f64 3/4 (pow.f64 x 5)))))) (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (+.f64 (/.f64 1 x) (*.f64 1/2 (/.f64 1 (pow.f64 x 3)))))))
	1.9b	(.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (pow.f64 (exp.f64 x) x))) (sqrt.f64 (sqrt.f64 (PI.f64)))) (sqrt.f64 x)) (.f64 (/.f64 (/.f64 (cbrt.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))))))
	2.5b	(.f64 (/.f64 (pow.f64 (exp.f64 x) x) 1) (.f64 (/.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (sqrt.f64 x)) (.f64 (/.f64 (/.f64 1 (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)))))))
	1.6b	(.f64 (/.f64 (pow.f64 (exp.f64 x) x) 1) (.f64 (.f64 (sqrt.f64 (/.f64 (sqrt.f64 (/.f64 1 (PI.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 (sqrt.f64 (/.f64 1 (PI.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))))))))
	2.0b	(/.f64 (.f64 (/.f64 (pow.f64 (exp.f64 x) x) 1) (+.f64 (.f64 (.f64 (sqrt.f64 1) (+.f64 (.f64 15/8 (pow.f64 x 5)) (.f64 (pow.f64 x 7) 3/4))) (sqrt.f64 (PI.f64))) (.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (pow.f64 x 7) (pow.f64 x 5))) (.f64 (sqrt.f64 1) (+.f64 (/.f64 1 x) (.f64 1/2 (/.f64 1 (pow.f64 x 3)))))))) (.f64 (.f64 (sqrt.f64 (PI.f64)) (*.f64 (pow.f64 x 7) (pow.f64 x 5))) (sqrt.f64 (PI.f64))))
	3.1b	(.f64 (.f64 (/.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (sqrt.f64 x)) (/.f64 (/.f64 (pow.f64 (cbrt.f64 (exp.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.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)))))
	1.9b	(.f64 (.f64 (/.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 (PI.f64)))) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (/.f64 (/.f64 (pow.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)))))
	2.0b	(.f64 (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.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.8b	(.f64 (/.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x) 1) 1) (.f64 (/.f64 (/.f64 (pow.f64 (cbrt.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.4b	(.f64 (.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))))) (sqrt.f64 x)) (/.f64 (/.f64 (cbrt.f64 (pow.f64 (exp.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.4b	(.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 (pow.f64 (exp.f64 x) x) (+.f64 (.f64 (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (+.f64 (.f64 15/8 (pow.f64 x 5)) (.f64 (pow.f64 x 7) 3/4))) (.f64 x (pow.f64 x 3))) (.f64 (.f64 (pow.f64 x 7) (pow.f64 x 5)) (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (+.f64 (.f64 1 (pow.f64 x 3)) (.f64 x 1/2)))))) (.f64 1 (.f64 (.f64 (pow.f64 x 7) (pow.f64 x 5)) (*.f64 x (pow.f64 x 3)))))
	2.0b	(.f64 (/.f64 (pow.f64 (exp.f64 x) x) 1) (.f64 (.f64 (/.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (fabs.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)))))))
	3.0b	(/.f64 (.f64 (exp.f64 (.f64 x x)) (fma.f64 (+.f64 (/.f64 3/4 (pow.f64 x 5)) (/.f64 15/8 (pow.f64 x 7))) (.f64 (sqrt.f64 (PI.f64)) (-.f64 (/.f64 1 x) (/.f64 1/2 (pow.f64 x 3)))) (.f64 (sqrt.f64 (PI.f64)) (-.f64 (/.f64 (/.f64 1 x) x) (.f64 1/4 (pow.f64 (/.f64 1 x) 6)))))) (.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) (-.f64 (/.f64 1 x) (.f64 1/2 (/.f64 1 (pow.f64 x 3)))))))
✓	1.4b	(.f64 (/.f64 (pow.f64 (exp.f64 x) x) 1) (+.f64 (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (+.f64 (.f64 15/8 (/.f64 1 (pow.f64 x 7))) (.f64 3/4 (/.f64 1 (pow.f64 x 5))))) (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (+.f64 (/.f64 1 x) (.f64 1/2 (/.f64 1 (pow.f64 x 3)))))))
	2.4b	(.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 (/.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.0b	(.f64 (/.f64 (pow.f64 (exp.f64 x) x) 1) (log.f64 (exp.f64 (.f64 (/.f64 (/.f64 1 (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))) 1) 1) (.f64 (/.f64 (/.f64 (cbrt.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))))))
	1.8b	(.f64 (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (sqrt.f64 (sqrt.f64 (PI.f64)))) 1) (.f64 (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (sqrt.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) 1) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (.f64 (/.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.8b	(.f64 (exp.f64 (-.f64 (.f64 x x) (log.f64 (.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 (pow.f64 (exp.f64 x) x) 1) (.f64 (/.f64 (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 x) (sqrt.f64 (sqrt.f64 (PI.f64))))) (/.f64 (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 x) (sqrt.f64 (sqrt.f64 (PI.f64)))))))
	1.5b	(.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 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)))
	2.3b	(.f64 (/.f64 (/.f64 (sqrt.f64 (pow.f64 (exp.f64 x) x)) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) 1) (.f64 (/.f64 (/.f64 (sqrt.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))))))
	1.8b	(.f64 (.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (pow.f64 (exp.f64 x) x))) (sqrt.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))))) (sqrt.f64 x)) (/.f64 (/.f64 (cbrt.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)))))

Compiler

Compiled 52542 to 40200 computations (23.5% saved)

regimes12.7s (50.5%)

Accuracy

Total 1.0b remaining (83.7%)

Threshold costs 0b (0%)

Counts

1740 → 1

Compiler

Compiled 243371 to 160182 computations (34.2% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary64`
3×	`+-commutative_binary64`
1×	`/-rgt-identity_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	80
1	46	80
2	45	80

end795.0ms (3.2%)

Compiler: Compiled 1695 to 1125 computations (33.6% saved)

Details

analyze8.0ms (0%)

sample2.8s (11.2%)

simplify66.0ms (0.3%)

prune7.0ms (0%)

localize21.0ms (0.1%)

series36.0ms (0.1%)

rewrite128.0ms (0.5%)

simplify622.0ms (2.5%)

prune673.0ms (2.7%)

localize23.0ms (0.1%)

series38.0ms (0.2%)

rewrite260.0ms (1%)

simplify783.0ms (3.1%)

prune1.6s (6.2%)

localize21.0ms (0.1%)

series28.0ms (0.1%)

rewrite147.0ms (0.6%)

simplify495.0ms (2%)

prune1.2s (4.6%)

localize31.0ms (0.1%)

series26.0ms (0.1%)

rewrite189.0ms (0.8%)

simplify642.0ms (2.5%)

prune1.9s (7.5%)

regimes12.7s (50.5%)

simplify3.0ms (0%)

end795.0ms (3.2%)

Profiling