Details

analyze8.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.7s (29.5%)

Alt Table

Status	Error	Program
▶	2.8b	(.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.8b

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

Results

2.5s	8256×	body	128	valid
33.0ms	114×	body	128	invalid

Compiler

Compiled 526 to 349 computations (33.7% saved)

localize29.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(.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))))))
✓	0.5b	(*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x)))
✓	1.0b	(sqrt.f64 (PI.f64))
✓	2.6b	(exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))

series182.0ms (2%)

Counts

4 → 36

Calls

4 calls:

154.0ms	(.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))))))
22.0ms	(*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x)))
5.0ms	(exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))
0.0ms	(sqrt.f64 (PI.f64))

rewrite49.0ms (0.5%)

Algorithm

2×	batch-egg-rewrite

Rules

308×	`log1p-expm1-u_binary64`
308×	`expm1-log1p-u_binary64`
303×	`add-cbrt-cube_binary64`
303×	`add-log-exp_binary64`
301×	`add-exp-log_binary64`

Counts

4 → 75

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	106
1	704	74
2	4783	74
0	0	0
1	0	0

prune453.0ms (5%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	157	16	173
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	158	16	174

Error

0.7b

Counts

174 → 16

Alt Table

Status	Error	Program
	10.6b	(pow.f64 (pow.f64 (.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fma.f64 15/8 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 6) (fabs.f64 x)) (fma.f64 3/4 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (fma.f64 1/2 (pow.f64 (fabs.f64 x) -3) (/.f64 1 (fabs.f64 x)))))) 3) 1/3)
	3.2b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (pow.f64 (pow.f64 (exp.f64 (fabs.f64 x)) (sqrt.f64 (fabs.f64 x))) (sqrt.f64 (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))))))
	3.0b	(exp.f64 (+.f64 (-.f64 (*.f64 x x) (log.f64 (sqrt.f64 (PI.f64)))) (log.f64 (fma.f64 15/8 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 6) (fabs.f64 x)) (fma.f64 3/4 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (fma.f64 1/2 (pow.f64 (fabs.f64 x) -3) (/.f64 1 (fabs.f64 x))))))))
	2.8b	(+.f64 (.f64 (fma.f64 3/4 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (fma.f64 1/2 (pow.f64 (fabs.f64 x) -3) (/.f64 1 (fabs.f64 x)))) (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64)))) (.f64 (.f64 15/8 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 6) (fabs.f64 x))) (/.f64 (exp.f64 (*.f64 x x)) (sqrt.f64 (PI.f64)))))
	2.9b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (pow.f64 (cbrt.f64 (exp.f64 (.f64 x x))) 3)) (+.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))))))
	3.0b	(expm1.f64 (log1p.f64 (.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fma.f64 15/8 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 6) (fabs.f64 x)) (fma.f64 3/4 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (fma.f64 1/2 (pow.f64 (fabs.f64 x) -3) (/.f64 1 (fabs.f64 x))))))))
	11.1b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (pow.f64 (pow.f64 (exp.f64 (.f64 x x)) 3) 1/3)) (+.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))))))
	3.2b	(.f64 (.f64 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 2) (cbrt.f64 (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.7b	(.f64 (.f64 (exp.f64 (pow.f64 (fabs.f64 x) 2)) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 (fabs.f64 x) 3))) (+.f64 (.f64 3/4 (/.f64 1 (pow.f64 (fabs.f64 x) 5))) (+.f64 (/.f64 1 (fabs.f64 x)) (*.f64 15/8 (/.f64 1 (pow.f64 (fabs.f64 x) 7))))))) (sqrt.f64 (/.f64 1 (PI.f64))))
	10.5b	(cbrt.f64 (pow.f64 (.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fma.f64 15/8 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 6) (fabs.f64 x)) (fma.f64 3/4 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (fma.f64 1/2 (pow.f64 (fabs.f64 x) -3) (/.f64 1 (fabs.f64 x)))))) 3))
	3.0b	(pow.f64 (cbrt.f64 (.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fma.f64 15/8 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 6) (fabs.f64 x)) (fma.f64 3/4 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (fma.f64 1/2 (pow.f64 (fabs.f64 x) -3) (/.f64 1 (fabs.f64 x))))))) 3)
	3.0b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (pow.f64 (E.f64) (.f64 x 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))))))
▶	1.3b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (pow.f64 (exp.f64 x) 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 1 (expm1.f64 (log1p.f64 (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 1 (cbrt.f64 (pow.f64 (PI.f64) 3/2))) (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 1 (sqrt.f64 (PI.f64))) (expm1.f64 (log1p.f64 (exp.f64 (.f64 x 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 18444 to 11637 computations (36.9% saved)

localize32.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series165.0ms (1.8%)

Counts

4 → 36

Calls

4 calls:

137.0ms	(.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (pow.f64 (exp.f64 x) 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))))))
25.0ms	(*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x)))
2.0ms	(pow.f64 (exp.f64 x) x)
0.0ms	(sqrt.f64 (PI.f64))

rewrite48.0ms (0.5%)

Algorithm

2×	batch-egg-rewrite

Rules

312×	`log1p-expm1-u_binary64`
312×	`expm1-log1p-u_binary64`
306×	`add-cbrt-cube_binary64`
306×	`add-log-exp_binary64`
304×	`add-exp-log_binary64`

Counts

4 → 69

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	111
1	706	74
2	4833	74
0	0	0
1	0	0

prune381.0ms (4.2%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	155	12	167
Fresh	10	5	15
Picked	1	0	1
Done	0	0	0
Total	166	17	183

Error

0.3b

Counts

183 → 17

Alt Table

Status	Error	Program
	3.0b	(expm1.f64 (log1p.f64 (.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fma.f64 15/8 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 6) (fabs.f64 x)) (fma.f64 3/4 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (fma.f64 1/2 (pow.f64 (fabs.f64 x) -3) (/.f64 1 (fabs.f64 x))))))))
	1.4b	(.f64 (.f64 (/.f64 1 (cbrt.f64 (pow.f64 (PI.f64) 3/2))) (pow.f64 (exp.f64 x) 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))))))
	9.6b	(cbrt.f64 (pow.f64 (*.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fma.f64 15/8 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 6) (fabs.f64 x)) (fma.f64 3/4 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (fma.f64 1/2 (pow.f64 (fabs.f64 x) -3) (/.f64 1 (fabs.f64 x)))))) 3))
	1.3b	(+.f64 (.f64 (fma.f64 3/4 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (fma.f64 1/2 (pow.f64 (fabs.f64 x) -3) (/.f64 1 (fabs.f64 x)))) (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64)))) (.f64 (*.f64 15/8 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 6) (fabs.f64 x))) (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64)))))
	1.6b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) 2) (cbrt.f64 (pow.f64 (exp.f64 x) 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))))))
▶	1.2b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (pow.f64 (exp.f64 x) x)) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (log.f64 (exp.f64 (pow.f64 (fabs.f64 x) -2))) (/.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))))))
	3.2b	(.f64 (.f64 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 2) (cbrt.f64 (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.1b	(.f64 (.f64 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 2) (cbrt.f64 (sqrt.f64 (PI.f64))))) (pow.f64 (exp.f64 x) 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 1 (sqrt.f64 (PI.f64))) (expm1.f64 (log1p.f64 (exp.f64 (.f64 x 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))))))
	10.6b	(pow.f64 (pow.f64 (.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fma.f64 15/8 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 6) (fabs.f64 x)) (fma.f64 3/4 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (fma.f64 1/2 (pow.f64 (fabs.f64 x) -3) (/.f64 1 (fabs.f64 x)))))) 3) 1/3)
	1.7b	(pow.f64 (cbrt.f64 (*.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fma.f64 15/8 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 6) (fabs.f64 x)) (fma.f64 3/4 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (fma.f64 1/2 (pow.f64 (fabs.f64 x) -3) (/.f64 1 (fabs.f64 x))))))) 3)
	1.5b	(.f64 (.f64 (/.f64 1 (expm1.f64 (log1p.f64 (sqrt.f64 (PI.f64))))) (pow.f64 (exp.f64 x) 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.8b	(+.f64 (.f64 (fma.f64 3/4 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (fma.f64 1/2 (pow.f64 (fabs.f64 x) -3) (/.f64 1 (fabs.f64 x)))) (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64)))) (.f64 (.f64 15/8 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 6) (fabs.f64 x))) (/.f64 (exp.f64 (*.f64 x x)) (sqrt.f64 (PI.f64)))))
	1.8b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (pow.f64 (sqrt.f64 (exp.f64 x)) 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))))))
	1.8b	(.f64 (.f64 (/.f64 1 (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3)) (pow.f64 (exp.f64 x) 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.7b	(.f64 (.f64 (exp.f64 (pow.f64 x 2)) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 (fabs.f64 x) 3))) (+.f64 (.f64 3/4 (/.f64 1 (pow.f64 (fabs.f64 x) 5))) (+.f64 (/.f64 1 (fabs.f64 x)) (*.f64 15/8 (/.f64 1 (pow.f64 (fabs.f64 x) 7))))))) (sqrt.f64 (/.f64 1 (PI.f64))))
	1.3b	(pow.f64 (sqrt.f64 (*.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fma.f64 15/8 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 6) (fabs.f64 x)) (fma.f64 3/4 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (fma.f64 1/2 (pow.f64 (fabs.f64 x) -3) (/.f64 1 (fabs.f64 x))))))) 2)

Compiler

Compiled 18089 to 11646 computations (35.6% saved)

localize36.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x)))
✓	1.0b	(sqrt.f64 (PI.f64))
✓	1.0b	(pow.f64 (exp.f64 x) x)
✓	2.8b	(log.f64 (exp.f64 (pow.f64 (fabs.f64 x) -2)))

series38.0ms (0.4%)

Counts

4 → 36

Calls

4 calls:

24.0ms	(*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x)))
11.0ms	(log.f64 (exp.f64 (pow.f64 (fabs.f64 x) -2)))
2.0ms	(pow.f64 (exp.f64 x) x)
0.0ms	(sqrt.f64 (PI.f64))

rewrite60.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

836×	`log1p-expm1-u_binary64`
836×	`expm1-log1p-u_binary64`
129×	`egg-rr`
113×	`add-sqr-sqrt_binary64`
106×	`add-log-exp_binary64`

Counts

4 → 129

Calls

4 calls:

57.0ms	(*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x)))
57.0ms	(sqrt.f64 (PI.f64))
57.0ms	(pow.f64 (exp.f64 x) x)
57.0ms	(log.f64 (exp.f64 (pow.f64 (fabs.f64 x) -2)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	22
1	243	18
2	2256	18
3	5033	18
0	0	0
1	0	0

prune471.0ms (5.2%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	206	6	212
Fresh	3	13	16
Picked	1	0	1
Done	0	0	0
Total	210	19	229

Error

0.3b

Counts

229 → 19

Alt Table

Status	Error	Program
	10.6b	(pow.f64 (pow.f64 (.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fma.f64 15/8 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 6) (fabs.f64 x)) (fma.f64 3/4 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (fma.f64 1/2 (pow.f64 (fabs.f64 x) -3) (/.f64 1 (fabs.f64 x)))))) 3) 1/3)
	1.3b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (pow.f64 (exp.f64 x) x)) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 x -2)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 x -2))))) (/.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))))))
	1.8b	(.f64 (.f64 (/.f64 1 (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3)) (pow.f64 (exp.f64 x) x)) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (log.f64 (exp.f64 (pow.f64 (fabs.f64 x) -2))) (/.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.8b	(+.f64 (.f64 (fma.f64 3/4 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (fma.f64 1/2 (pow.f64 (fabs.f64 x) -3) (/.f64 1 (fabs.f64 x)))) (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64)))) (.f64 (.f64 15/8 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 6) (fabs.f64 x))) (/.f64 (exp.f64 (*.f64 x x)) (sqrt.f64 (PI.f64)))))
	2.8b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (expm1.f64 (log1p.f64 (pow.f64 (exp.f64 x) x)))) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (log.f64 (exp.f64 (pow.f64 (fabs.f64 x) -2))) (/.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))))))
	3.0b	(expm1.f64 (log1p.f64 (.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fma.f64 15/8 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 6) (fabs.f64 x)) (fma.f64 3/4 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (fma.f64 1/2 (pow.f64 (fabs.f64 x) -3) (/.f64 1 (fabs.f64 x))))))))
	1.4b	(.f64 (.f64 (/.f64 1 (cbrt.f64 (pow.f64 (PI.f64) 3/2))) (pow.f64 (exp.f64 x) 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))))))
▶	1.2b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (pow.f64 (exp.f64 x) x)) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (log.f64 (exp.f64 (pow.f64 (fabs.f64 x) -2))) (/.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 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 x -2))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 x -2))))) (/.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))))))
	9.6b	(cbrt.f64 (pow.f64 (*.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fma.f64 15/8 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 6) (fabs.f64 x)) (fma.f64 3/4 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (fma.f64 1/2 (pow.f64 (fabs.f64 x) -3) (/.f64 1 (fabs.f64 x)))))) 3))
	1.6b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) 2) (cbrt.f64 (pow.f64 (exp.f64 x) 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))))))
	1.4b	(.f64 (.f64 (/.f64 1 (cbrt.f64 (pow.f64 (PI.f64) 3/2))) (pow.f64 (exp.f64 x) x)) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (log.f64 (exp.f64 (pow.f64 (fabs.f64 x) -2))) (/.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.7b	(.f64 (.f64 (exp.f64 (pow.f64 x 2)) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 (fabs.f64 x) 3))) (+.f64 (.f64 3/4 (/.f64 1 (pow.f64 (fabs.f64 x) 5))) (+.f64 (/.f64 1 (fabs.f64 x)) (*.f64 15/8 (/.f64 1 (pow.f64 (fabs.f64 x) 7))))))) (sqrt.f64 (/.f64 1 (PI.f64))))
	1.7b	(pow.f64 (cbrt.f64 (*.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fma.f64 15/8 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 6) (fabs.f64 x)) (fma.f64 3/4 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (fma.f64 1/2 (pow.f64 (fabs.f64 x) -3) (/.f64 1 (fabs.f64 x))))))) 3)
	1.8b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (pow.f64 (sqrt.f64 (exp.f64 x)) 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))))))
	1.8b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (pow.f64 (sqrt.f64 (exp.f64 x)) x))) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (log.f64 (exp.f64 (pow.f64 (fabs.f64 x) -2))) (/.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))))))
	1.8b	(.f64 (.f64 (/.f64 1 (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3)) (pow.f64 (exp.f64 x) 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))))))
	3.2b	(.f64 (.f64 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 2) (cbrt.f64 (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.1b	(.f64 (.f64 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 2) (cbrt.f64 (sqrt.f64 (PI.f64))))) (pow.f64 (exp.f64 x) 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))))))
	1.3b	(pow.f64 (sqrt.f64 (*.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fma.f64 15/8 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 6) (fabs.f64 x)) (fma.f64 3/4 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (fma.f64 1/2 (pow.f64 (fabs.f64 x) -3) (/.f64 1 (fabs.f64 x))))))) 2)

Compiler

Compiled 23978 to 15519 computations (35.3% saved)

localize53.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.0b	(pow.f64 (exp.f64 x) x)
✓	2.8b	(log.f64 (exp.f64 (pow.f64 (fabs.f64 x) -2)))
✓	3.3b	(log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 x -2))) 2))
✓	4.0b	(log.f64 (cbrt.f64 (exp.f64 (pow.f64 x -2))))

series550.0ms (6.1%)

Counts

4 → 48

Calls

4 calls:

279.0ms	(log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 x -2))) 2))
257.0ms	(log.f64 (cbrt.f64 (exp.f64 (pow.f64 x -2))))
12.0ms	(log.f64 (exp.f64 (pow.f64 (fabs.f64 x) -2)))
2.0ms	(pow.f64 (exp.f64 x) x)

rewrite59.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

891×	`log1p-expm1-u_binary64`
891×	`expm1-log1p-u_binary64`
138×	`add-sqr-sqrt_binary64`
131×	`add-log-exp_binary64`
128×	`add-exp-log_binary64`

Counts

4 → 85

Calls

4 calls:

57.0ms	(pow.f64 (exp.f64 x) x)
57.0ms	(log.f64 (exp.f64 (pow.f64 (fabs.f64 x) -2)))
57.0ms	(log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 x -2))) 2))
57.0ms	(log.f64 (cbrt.f64 (exp.f64 (pow.f64 x -2))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	35
1	292	27
2	2382	27
3	5211	27
0	0	0
1	0	0

prune374.0ms (4.1%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	133	0	133
Fresh	0	18	18
Picked	0	1	1
Done	0	0	0
Total	133	19	152

Error

0.3b

Counts

152 → 19

Alt Table

Status	Error	Program
	10.6b	(pow.f64 (pow.f64 (.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fma.f64 15/8 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 6) (fabs.f64 x)) (fma.f64 3/4 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (fma.f64 1/2 (pow.f64 (fabs.f64 x) -3) (/.f64 1 (fabs.f64 x)))))) 3) 1/3)
	1.3b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (pow.f64 (exp.f64 x) x)) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 x -2)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 x -2))))) (/.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))))))
	1.8b	(.f64 (.f64 (/.f64 1 (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3)) (pow.f64 (exp.f64 x) x)) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (log.f64 (exp.f64 (pow.f64 (fabs.f64 x) -2))) (/.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.8b	(+.f64 (.f64 (fma.f64 3/4 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (fma.f64 1/2 (pow.f64 (fabs.f64 x) -3) (/.f64 1 (fabs.f64 x)))) (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64)))) (.f64 (.f64 15/8 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 6) (fabs.f64 x))) (/.f64 (exp.f64 (*.f64 x x)) (sqrt.f64 (PI.f64)))))
	2.8b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (expm1.f64 (log1p.f64 (pow.f64 (exp.f64 x) x)))) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (log.f64 (exp.f64 (pow.f64 (fabs.f64 x) -2))) (/.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))))))
	3.0b	(expm1.f64 (log1p.f64 (.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fma.f64 15/8 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 6) (fabs.f64 x)) (fma.f64 3/4 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (fma.f64 1/2 (pow.f64 (fabs.f64 x) -3) (/.f64 1 (fabs.f64 x))))))))
	1.4b	(.f64 (.f64 (/.f64 1 (cbrt.f64 (pow.f64 (PI.f64) 3/2))) (pow.f64 (exp.f64 x) 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))))))
✓	1.2b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (pow.f64 (exp.f64 x) x)) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (log.f64 (exp.f64 (pow.f64 (fabs.f64 x) -2))) (/.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 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 x -2))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 x -2))))) (/.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))))))
	9.6b	(cbrt.f64 (pow.f64 (*.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fma.f64 15/8 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 6) (fabs.f64 x)) (fma.f64 3/4 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (fma.f64 1/2 (pow.f64 (fabs.f64 x) -3) (/.f64 1 (fabs.f64 x)))))) 3))
	1.6b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) 2) (cbrt.f64 (pow.f64 (exp.f64 x) 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))))))
	1.4b	(.f64 (.f64 (/.f64 1 (cbrt.f64 (pow.f64 (PI.f64) 3/2))) (pow.f64 (exp.f64 x) x)) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (log.f64 (exp.f64 (pow.f64 (fabs.f64 x) -2))) (/.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.7b	(.f64 (.f64 (exp.f64 (pow.f64 x 2)) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 (fabs.f64 x) 3))) (+.f64 (.f64 3/4 (/.f64 1 (pow.f64 (fabs.f64 x) 5))) (+.f64 (/.f64 1 (fabs.f64 x)) (*.f64 15/8 (/.f64 1 (pow.f64 (fabs.f64 x) 7))))))) (sqrt.f64 (/.f64 1 (PI.f64))))
	1.7b	(pow.f64 (cbrt.f64 (*.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fma.f64 15/8 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 6) (fabs.f64 x)) (fma.f64 3/4 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (fma.f64 1/2 (pow.f64 (fabs.f64 x) -3) (/.f64 1 (fabs.f64 x))))))) 3)
	1.8b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (pow.f64 (sqrt.f64 (exp.f64 x)) 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))))))
	1.8b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (pow.f64 (sqrt.f64 (exp.f64 x)) x))) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (log.f64 (exp.f64 (pow.f64 (fabs.f64 x) -2))) (/.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))))))
	1.8b	(.f64 (.f64 (/.f64 1 (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3)) (pow.f64 (exp.f64 x) 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))))))
	3.2b	(.f64 (.f64 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 2) (cbrt.f64 (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.1b	(.f64 (.f64 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 2) (cbrt.f64 (sqrt.f64 (PI.f64))))) (pow.f64 (exp.f64 x) 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))))))
	1.3b	(pow.f64 (sqrt.f64 (*.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fma.f64 15/8 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 6) (fabs.f64 x)) (fma.f64 3/4 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (fma.f64 1/2 (pow.f64 (fabs.f64 x) -3) (/.f64 1 (fabs.f64 x))))))) 2)

Compiler

Compiled 15637 to 10642 computations (31.9% saved)

regimes2.5s (28.1%)

Accuracy

Total 0.9b remaining (66.8%)

Threshold costs 0.9b (66.8%)

Counts

316 → 1

Compiler

Compiled 95783 to 66085 computations (31% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	147
1	66	147
2	62	147

end831.0ms (9.2%)

Compiler: Compiled 1750 to 1204 computations (31.2% saved)

Details

analyze8.0ms (0.1%)

sample2.7s (29.5%)

localize29.0ms (0.3%)

series182.0ms (2%)

rewrite49.0ms (0.5%)

prune453.0ms (5%)

localize32.0ms (0.4%)

series165.0ms (1.8%)

rewrite48.0ms (0.5%)

prune381.0ms (4.2%)

localize36.0ms (0.4%)

series38.0ms (0.4%)

rewrite60.0ms (0.7%)

prune471.0ms (5.2%)

localize53.0ms (0.6%)

series550.0ms (6.1%)

rewrite59.0ms (0.7%)

prune374.0ms (4.1%)

regimes2.5s (28.1%)

simplify4.0ms (0%)

end831.0ms (9.2%)

Profiling