Details

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

sample2.8s (24.5%)

Results

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

Compiler

Compiled 318 to 211 computations (33.6% saved)

simplify87.0ms (0.8%)

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.1%)

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)

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

series39.0ms (0.3%)

Counts

4 → 36

Calls

4 calls:

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

rewrite216.0ms (1.9%)

Algorithm

4×	egg-rewrite

Rules

65×	`egg`
63×	`egg`
40×	`egg`
28×	`egg`

Counts

4 → 196

Calls

4 calls:

73.0ms	(sqrt.f64 (PI.f64))
56.0ms	(/.f64 (/.f64 (exp.f64 (*.f64 x x)) (sqrt.f64 (PI.f64))) (fabs.f64 x))
43.0ms	(exp.f64 (*.f64 x x))
40.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)))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	6
1	76	6
2	801	6
3	4960	6
0	3	4
1	58	4
2	627	4
3	4309	4
4	5300	4
0	9	17
1	189	15
2	2256	15
3	5528	15
0	22	47
1	515	43
2	4787	43

simplify158.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

589×	`distribute-rgt-out_binary64`
388×	`associate-/l/_binary64`
370×	`associate-/r/_binary64`
338×	`*-commutative_binary64`
332×	`fma-def_binary64`

Counts

232 → 227

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	72	1163
1	199	1062
2	572	850
3	2038	725
4	3026	715
5	3895	715
6	4430	715
7	4857	715
8	4990	715
9	4911	715

prune320.0ms (2.8%)

Pruning

29 alts after pruning (29 fresh and 0 done)

	Pruned	Kept	Total
New	198	29	227
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	200	29	229

Error

0.4b

Counts

229 → 29

Alt Table

Status	Error	Program
	10.9b	(cbrt.f64 (.f64 (pow.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fabs.f64 x)) 3) (pow.f64 (+.f64 1 (fma.f64 15/8 (pow.f64 x -6) (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))) 3)))
	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.9b	(.f64 (.f64 (exp.f64 (.f64 x x)) (/.f64 1 (.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 (/.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.2b	(.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (pow.f64 (exp.f64 (.f64 x x)) 2/3)) (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.4b	(.f64 (/.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 (pow.f64 x 4/3)) (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)))))
	3.4b	(.f64 (/.f64 (/.f64 (/.f64 (pow.f64 (E.f64) (+.f64 1 (.f64 x x))) (E.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 (pow.f64 (exp.f64 x) (+.f64 1 x)) (exp.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.9b	(+.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))))))))
	4.6b	(.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 (pow.f64 x 2/3)) (pow.f64 x 4/3)) (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.5b	(.f64 (/.f64 (/.f64 (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (exp.f64 (.f64 x x)))) 2) 3) (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)))))
	3.1b	(exp.f64 (+.f64 (log1p.f64 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))) (-.f64 (.f64 x x) (log.f64 (*.f64 (fabs.f64 x) (sqrt.f64 (PI.f64)))))))
	3.3b	(.f64 (/.f64 (/.f64 (pow.f64 (E.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)))))
	3.2b	(expm1.f64 (log1p.f64 (.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (fma.f64 15/8 (pow.f64 x -6) (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))))))
	1.5b	(.f64 (/.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 x) 2) (/.f64 x 2)) (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)))))
	10.2b	(.f64 (/.f64 (/.f64 (.f64 (pow.f64 (pow.f64 (.f64 (exp.f64 (.f64 x x)) (cbrt.f64 (exp.f64 (.f64 x x)))) 2) 1/3) (cbrt.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)))))
	3.1b	(.f64 (pow.f64 (cbrt.f64 (.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))))) 2) (cbrt.f64 (.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (fma.f64 15/8 (pow.f64 x -6) (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))))))
	3.2b	(.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 (pow.f64 x 3/2)) (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)))))
	11.2b	(.f64 (/.f64 (/.f64 (.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 3)) 1/3)) (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)))))
	5.7b	(.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 x) 5)) (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.1b	(.f64 (/.f64 (/.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (pow.f64 (sqrt.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.2b	(.f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 (exp.f64 (.f64 x x))) 2) x) (/.f64 (cbrt.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.0b	(.f64 (/.f64 (/.f64 (.f64 (pow.f64 (pow.f64 (cbrt.f64 (exp.f64 x)) 2) x) (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.0b	(.f64 (/.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (sqrt.f64 x)) (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 (cbrt.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) x)) (pow.f64 (cbrt.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) x)) 2)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	4.5b	(.f64 (/.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 (pow.f64 x 4/3)) (cbrt.f64 (pow.f64 x 4/3))) (cbrt.f64 (pow.f64 x 2/3))) (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 (exp.f64 (+.f64 1 (.f64 x x))) (E.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.2b	(.f64 (/.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 (pow.f64 x 3/2)) (cbrt.f64 x)) (cbrt.f64 (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)))))
	3.2b	(.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 (sqrt.f64 x)) (pow.f64 x 3/2)) (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 10200 to 5928 computations (41.9% saved)

localize19.0ms (0.2%)

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.3%)

Counts

3 → 36

Calls

3 calls:

19.0ms

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

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

2.0ms

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

rewrite185.0ms (1.6%)

Algorithm

3×	egg-rewrite

Rules

65×	`egg`
63×	`egg`
28×	`egg`

Counts

3 → 156

Calls

3 calls:

81.0ms

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

59.0ms

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

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	6
1	79	6
2	882	6
3	4522	6
4	5403	6
0	9	17
1	192	15
2	2338	15
3	5725	15
0	23	47
1	534	43
2	4993	43

simplify179.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

589×	`distribute-rgt-out_binary64`
388×	`associate-/l/_binary64`
370×	`associate-/r/_binary64`
338×	`*-commutative_binary64`
332×	`fma-def_binary64`

Counts

192 → 186

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	72	1163
1	199	1062
2	572	850
3	2038	725
4	3026	715
5	3895	715
6	4430	715
7	4857	715
8	4990	715
9	4911	715

prune490.0ms (4.2%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	209	17	226
Fresh	14	14	28
Picked	1	0	1
Done	0	0	0
Total	224	31	255

Error

0.2b

Counts

255 → 31

Alt Table

Status	Error	Program
	2.1b	(.f64 (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) (+.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)))))
	10.0b	(cbrt.f64 (.f64 (pow.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) 3) (pow.f64 (+.f64 1 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))) 3)))
	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.9b	(.f64 (/.f64 (/.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) 3) (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 (cbrt.f64 (exp.f64 (.f64 x x))) (pow.f64 (exp.f64 (.f64 x x)) 2/3)) (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.1b	(pow.f64 (pow.f64 (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))) 3) 1/3)
	1.9b	(.f64 (.f64 (cbrt.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) x)) (pow.f64 (cbrt.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) x)) 2)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	4.4b	(.f64 (/.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 (pow.f64 x 4/3)) (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)))))
	1.8b	(.f64 (pow.f64 (cbrt.f64 (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))))) 2) (cbrt.f64 (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (fma.f64 15/8 (pow.f64 x -6) (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))))))
	6.7b	(.f64 (.f64 (cbrt.f64 (/.f64 (pow.f64 (exp.f64 x) (+.f64 x x)) (PI.f64))) (.f64 (cbrt.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64)))) (/.f64 1 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 (pow.f64 (E.f64) (+.f64 1 (.f64 x x))) (E.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.9b	(.f64 (/.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) (.f64 1/3 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.5b	(.f64 (/.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (sqrt.f64 x)) (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 (pow.f64 (exp.f64 (sqrt.f64 x)) (pow.f64 x 3/2)) (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.6b	(.f64 (/.f64 (/.f64 (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x))) 2) 3) (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.7b	(.f64 (.f64 (/.f64 (sqrt.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64)))) (cbrt.f64 (.f64 x x))) (/.f64 (sqrt.f64 (/.f64 (pow.f64 (exp.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.1b	(.f64 (/.f64 (/.f64 (.f64 (exp.f64 (pow.f64 (/.f64 x 2) 2)) (pow.f64 (pow.f64 (exp.f64 x) 3/2) (/.f64 x 2))) (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 (/.f64 (pow.f64 (pow.f64 (exp.f64 x) 2) (/.f64 x 2)) (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)))))
	10.2b	(.f64 (/.f64 (/.f64 (.f64 (pow.f64 (pow.f64 (.f64 (exp.f64 (.f64 x x)) (cbrt.f64 (exp.f64 (.f64 x x)))) 2) 1/3) (cbrt.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)))))
	3.1b	(.f64 (pow.f64 (cbrt.f64 (.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))))) 2) (cbrt.f64 (.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (fma.f64 15/8 (pow.f64 x -6) (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))))))
	6.7b	(.f64 (.f64 (/.f64 (cbrt.f64 (/.f64 (pow.f64 (exp.f64 x) (+.f64 x x)) (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 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (.f64 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))))
	1.6b	(.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (cbrt.f64 (pow.f64 (PI.f64) 3/2))) (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 (pow.f64 (cbrt.f64 (exp.f64 (.f64 x x))) 2) x) (/.f64 (cbrt.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.0b	(.f64 (/.f64 (/.f64 (.f64 (pow.f64 (pow.f64 (cbrt.f64 (exp.f64 x)) 2) x) (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.0b	(.f64 (/.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (sqrt.f64 x)) (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 (sqrt.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64)))) (/.f64 x (sqrt.f64 (/.f64 (pow.f64 (exp.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)))))
	1.9b	(.f64 (/.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) 2) (/.f64 (.f64 x (sqrt.f64 (PI.f64))) (cbrt.f64 (pow.f64 (exp.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.9b	(+.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))))))))
	4.2b	(.f64 (/.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 (pow.f64 x 3/2)) (cbrt.f64 x)) (cbrt.f64 (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)))))
	4.6b	(.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 (pow.f64 x 2/3)) (pow.f64 x 4/3)) (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 10464 to 6054 computations (42.1% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64)))
	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)

series10.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

10.0ms

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

rewrite50.0ms (0.4%)

Algorithm

1×	egg-rewrite

Rules

46× egg

Counts

1 → 46

Calls

1 calls:

49.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	143	12
2	1738	12
3	5419	12

simplify83.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

727×	`distribute-lft-out_binary64`
725×	`associate-/l/_binary64`
485×	`*-commutative_binary64`
350×	`associate-l_binary64`
345×	`distribute-rgt-out_binary64`

Counts

58 → 55

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	25	241
1	57	227
2	129	203
3	361	192
4	1299	192
5	2188	192
6	2867	192
7	3810	192
8	5625	192

prune770.0ms (6.6%)

Pruning

30 alts after pruning (30 fresh and 0 done)

	Pruned	Kept	Total
New	469	11	480
Fresh	11	19	30
Picked	1	0	1
Done	0	0	0
Total	481	30	511

Error

0.2b

Counts

511 → 30

Alt Table

Status	Error	Program
	1.6b	(+.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (.f64 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (/.f64 (/.f64 (pow.f64 (pow.f64 (pow.f64 (exp.f64 x) 2) (pow.f64 (cbrt.f64 (/.f64 x 2)) 2)) (cbrt.f64 (/.f64 x 2))) (sqrt.f64 (PI.f64))) (fabs.f64 x))))
	1.7b	(+.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64)))) 3) (fabs.f64 x)) (.f64 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))))
▶	1.4b	(+.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (.f64 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (*.f64 (/.f64 (pow.f64 (exp.f64 x) x) 1) (/.f64 (pow.f64 (PI.f64) -1/2) x))))
	2.1b	(.f64 (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) (+.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)))))
	10.0b	(cbrt.f64 (.f64 (pow.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) 3) (pow.f64 (+.f64 1 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))) 3)))
	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 (cbrt.f64 (pow.f64 (exp.f64 x) x)) 2) (/.f64 (.f64 x (sqrt.f64 (PI.f64))) (cbrt.f64 (pow.f64 (exp.f64 x) x)))) (.f64 (fma.f64 15/8 (pow.f64 x -6) (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))))
	1.9b	(.f64 (/.f64 (/.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) 3) (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 (cbrt.f64 (exp.f64 (.f64 x x))) (pow.f64 (exp.f64 (.f64 x x)) 2/3)) (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 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (.f64 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (/.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2)) (cbrt.f64 (cbrt.f64 x))) (sqrt.f64 (PI.f64))) (fabs.f64 x))))
	2.0b	(+.f64 (/.f64 (/.f64 (.f64 (pow.f64 (pow.f64 (exp.f64 x) 3/2) (/.f64 x 2)) (exp.f64 (pow.f64 (/.f64 x 2) 2))) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (.f64 (fma.f64 15/8 (pow.f64 x -6) (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))))
	1.9b	(+.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (.f64 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (/.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 x) 5)) (cbrt.f64 (pow.f64 x 2/3))) (cbrt.f64 (cbrt.f64 x))) (sqrt.f64 (PI.f64))) (fabs.f64 x))))
	4.4b	(.f64 (/.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 (pow.f64 x 4/3)) (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)))))
	1.8b	(.f64 (pow.f64 (cbrt.f64 (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))))) 2) (cbrt.f64 (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (fma.f64 15/8 (pow.f64 x -6) (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))))))
	2.9b	(.f64 (/.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) (.f64 1/3 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.7b	(+.f64 (/.f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) 2) (pow.f64 (PI.f64) 1/4)) (/.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (pow.f64 (PI.f64) 1/4))) (fabs.f64 x)) (.f64 (fma.f64 15/8 (pow.f64 x -6) (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))))
	1.5b	(+.f64 (.f64 (/.f64 1 (cbrt.f64 (.f64 x x))) (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (cbrt.f64 x))) (.f64 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))))
	4.2b	(.f64 (/.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 (pow.f64 x 3/2)) (cbrt.f64 x)) (cbrt.f64 (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)))))
	1.6b	(+.f64 (/.f64 (.f64 (/.f64 1 (cbrt.f64 (PI.f64))) (/.f64 (pow.f64 (exp.f64 x) x) (cbrt.f64 (sqrt.f64 (PI.f64))))) (fabs.f64 x)) (.f64 (fma.f64 15/8 (pow.f64 x -6) (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))))
	1.5b	(.f64 (/.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 x) 2) (/.f64 x 2)) (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)))))
	10.2b	(.f64 (/.f64 (/.f64 (.f64 (pow.f64 (pow.f64 (.f64 (exp.f64 (.f64 x x)) (cbrt.f64 (exp.f64 (.f64 x x)))) 2) 1/3) (cbrt.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)))))
	3.1b	(.f64 (pow.f64 (cbrt.f64 (.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))))) 2) (cbrt.f64 (.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (fma.f64 15/8 (pow.f64 x -6) (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))))))
	2.9b	(+.f64 (expm1.f64 (log1p.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) x))) (.f64 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))))
	1.6b	(.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (cbrt.f64 (pow.f64 (PI.f64) 3/2))) (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 (pow.f64 (cbrt.f64 (exp.f64 (.f64 x x))) 2) x) (/.f64 (cbrt.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.0b	(.f64 (/.f64 (/.f64 (.f64 (pow.f64 (pow.f64 (cbrt.f64 (exp.f64 x)) 2) x) (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.0b	(.f64 (/.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (sqrt.f64 x)) (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 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) x)) (pow.f64 (cbrt.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) x)) 2)) (+.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 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x))) 2) 3) (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.7b	(.f64 (.f64 (/.f64 (sqrt.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64)))) (cbrt.f64 (.f64 x x))) (/.f64 (sqrt.f64 (/.f64 (pow.f64 (exp.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 22933 to 11041 computations (51.9% saved)

localize25.0ms (0.2%)

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

series14.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

14.0ms

(*.f64 (/.f64 (pow.f64 (exp.f64 x) x) 1) (/.f64 (pow.f64 (PI.f64) -1/2) x))

rewrite62.0ms (0.5%)

Algorithm

1×	egg-rewrite

Rules

74× egg

Counts

1 → 74

Calls

1 calls:

61.0ms

(*.f64 (/.f64 (pow.f64 (exp.f64 x) x) 1) (/.f64 (pow.f64 (PI.f64) -1/2) x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	16
1	217	16
2	2536	16
3	4939	16

simplify84.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

518×	`fma-def_binary64`
427×	`unswap-sqr_binary64`
425×	`sqr-pow_binary64`
345×	`associate-/l*_binary64`
335×	`associate-l_binary64`

Counts

86 → 83

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	27	253
1	70	250
2	162	236
3	516	225
4	1519	225
5	2766	225
6	3704	225
7	4354	225
8	5241	225

prune912.0ms (7.9%)

Pruning

29 alts after pruning (29 fresh and 0 done)

	Pruned	Kept	Total
New	336	3	339
Fresh	3	26	29
Picked	1	0	1
Done	0	0	0
Total	340	29	369

Error

0.2b

Counts

369 → 29

Alt Table

Status	Error	Program
	1.6b	(+.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (.f64 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (/.f64 (/.f64 (pow.f64 (pow.f64 (pow.f64 (exp.f64 x) 2) (pow.f64 (cbrt.f64 (/.f64 x 2)) 2)) (cbrt.f64 (/.f64 x 2))) (sqrt.f64 (PI.f64))) (fabs.f64 x))))
	1.7b	(+.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64)))) 3) (fabs.f64 x)) (.f64 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))))
	2.8b	(+.f64 (expm1.f64 (log1p.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) x))) (.f64 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (*.f64 (/.f64 (pow.f64 (exp.f64 x) x) 1) (/.f64 (pow.f64 (PI.f64) -1/2) x))))
	1.7b	(+.f64 (/.f64 (/.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) 3) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (.f64 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (*.f64 (/.f64 (pow.f64 (exp.f64 x) x) 1) (/.f64 (pow.f64 (PI.f64) -1/2) x))))
	2.1b	(.f64 (/.f64 (/.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) (+.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)))))
	10.0b	(cbrt.f64 (.f64 (pow.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) 3) (pow.f64 (+.f64 1 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))) 3)))
	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 (cbrt.f64 (pow.f64 (exp.f64 x) x)) 2) (/.f64 (.f64 x (sqrt.f64 (PI.f64))) (cbrt.f64 (pow.f64 (exp.f64 x) x)))) (.f64 (fma.f64 15/8 (pow.f64 x -6) (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))))
	3.2b	(.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (pow.f64 (exp.f64 (.f64 x x)) 2/3)) (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 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (.f64 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (/.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2)) (cbrt.f64 (cbrt.f64 x))) (sqrt.f64 (PI.f64))) (fabs.f64 x))))
	2.0b	(+.f64 (/.f64 (/.f64 (.f64 (pow.f64 (pow.f64 (exp.f64 x) 3/2) (/.f64 x 2)) (exp.f64 (pow.f64 (/.f64 x 2) 2))) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (.f64 (fma.f64 15/8 (pow.f64 x -6) (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))))
	1.9b	(+.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (.f64 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (/.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 x) 5)) (cbrt.f64 (pow.f64 x 2/3))) (cbrt.f64 (cbrt.f64 x))) (sqrt.f64 (PI.f64))) (fabs.f64 x))))
	4.4b	(.f64 (/.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 (pow.f64 x 4/3)) (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)))))
	1.8b	(.f64 (pow.f64 (cbrt.f64 (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))))) 2) (cbrt.f64 (.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (fma.f64 15/8 (pow.f64 x -6) (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))))))
	2.9b	(.f64 (/.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) (.f64 1/3 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.7b	(+.f64 (/.f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) 2) (pow.f64 (PI.f64) 1/4)) (/.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (pow.f64 (PI.f64) 1/4))) (fabs.f64 x)) (.f64 (fma.f64 15/8 (pow.f64 x -6) (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))))
	1.5b	(+.f64 (.f64 (/.f64 1 (cbrt.f64 (.f64 x x))) (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (cbrt.f64 x))) (.f64 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))))
	4.2b	(.f64 (/.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 (pow.f64 x 3/2)) (cbrt.f64 x)) (cbrt.f64 (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)))))
	1.6b	(+.f64 (/.f64 (.f64 (/.f64 1 (cbrt.f64 (PI.f64))) (/.f64 (pow.f64 (exp.f64 x) x) (cbrt.f64 (sqrt.f64 (PI.f64))))) (fabs.f64 x)) (.f64 (fma.f64 15/8 (pow.f64 x -6) (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x))))
	1.5b	(.f64 (/.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 x) 2) (/.f64 x 2)) (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)))))
	10.2b	(.f64 (/.f64 (/.f64 (.f64 (pow.f64 (pow.f64 (.f64 (exp.f64 (.f64 x x)) (cbrt.f64 (exp.f64 (.f64 x x)))) 2) 1/3) (cbrt.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)))))
	3.1b	(.f64 (pow.f64 (cbrt.f64 (.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))))) 2) (cbrt.f64 (.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (+.f64 1 (fma.f64 15/8 (pow.f64 x -6) (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))))))
	3.2b	(.f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 (exp.f64 (.f64 x x))) 2) x) (/.f64 (cbrt.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)))))
	1.4b	(+.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fabs.f64 x)) (.f64 (fma.f64 15/8 (pow.f64 x -6) (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (*.f64 (/.f64 (pow.f64 (exp.f64 (pow.f64 x 2/3)) (pow.f64 x 4/3)) 1) (/.f64 (pow.f64 (PI.f64) -1/2) x))))
	3.0b	(.f64 (/.f64 (/.f64 (.f64 (pow.f64 (pow.f64 (cbrt.f64 (exp.f64 x)) 2) x) (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.0b	(.f64 (/.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (sqrt.f64 x)) (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 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) x)) (pow.f64 (cbrt.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) x)) 2)) (+.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 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x))) 2) 3) (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.7b	(.f64 (.f64 (/.f64 (sqrt.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64)))) (cbrt.f64 (.f64 x x))) (/.f64 (sqrt.f64 (/.f64 (pow.f64 (exp.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 16143 to 9209 computations (43% saved)

regimes4.2s (35.9%)

Accuracy

Total 1.0b remaining (76.8%)

Threshold costs 1.0b (76.8%)

Counts

582 → 1

Compiler

Compiled 68687 to 47937 computations (30.2% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	59
1	33	59
2	32	59

end793.0ms (6.8%)

Compiler: Compiled 1331 to 903 computations (32.2% saved)

Details

analyze9.0ms (0.1%)

sample2.8s (24.5%)

simplify87.0ms (0.8%)

prune8.0ms (0.1%)

localize16.0ms (0.1%)

series39.0ms (0.3%)

rewrite216.0ms (1.9%)

simplify158.0ms (1.4%)

prune320.0ms (2.8%)

localize19.0ms (0.2%)

series38.0ms (0.3%)

rewrite185.0ms (1.6%)

simplify179.0ms (1.5%)

prune490.0ms (4.2%)

localize18.0ms (0.2%)

series10.0ms (0.1%)

rewrite50.0ms (0.4%)

simplify83.0ms (0.7%)

prune770.0ms (6.6%)

localize25.0ms (0.2%)

series14.0ms (0.1%)

rewrite62.0ms (0.5%)

simplify84.0ms (0.7%)

prune912.0ms (7.9%)

regimes4.2s (35.9%)

simplify3.0ms (0%)

end793.0ms (6.8%)

Profiling