Details

analyze101.0ms (0.9%)

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)

sample64.0ms (0.6%)

Algorithm

1×

intervals

Results

50.0ms	256×	body	128	valid
3.0ms	257×	pre	128	true
0.0ms	1×	body	128	invalid

Compiler

Compiled 212 to 141 computations (33.5% saved)

simplify80.0ms (0.7%)

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 → 1

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	35	152
1	91	86
2	261	60
3	1006	52
4	3215	49
5	3806	47
6	4565	47
7	5512	47

prune9.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

3.1b

Counts

2 → 2

Alt Table

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

▶

3.2b

(*.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 301 to 201 computations (33.2% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite636.0ms (5.7%)

Algorithm

1×	rewrite-expression-head

Error

0.9b

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 → 416

Calls

4 calls:

61.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)))))
11.0ms	(/.f64 (/.f64 (exp.f64 (*.f64 x x)) (sqrt.f64 PI.f64)) (fabs.f64 x))
2.0ms	(exp.f64 (*.f64 x x))
1.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 16728 to 6465 computations (61.4% saved)

series112.0ms (1%)

Error

3.0b

Counts

4 → 24

Calls

4 calls:

45.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)))))
28.0ms	(/.f64 (/.f64 (exp.f64 (*.f64 x x)) (sqrt.f64 PI.f64)) (fabs.f64 x))
15.0ms	(exp.f64 (*.f64 x x))
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 1793 to 1318 computations (26.5% saved)

simplify335.0ms (3%)

Algorithm

1×	egg-herbie

Rules

698×	`distribute-rgt-in_binary64`
695×	`distribute-lft-in_binary64`
656×	`associate-*l/_binary64`
362×	`associate-/l/_binary64`
240×	`associate-/r*_binary64`

Counts

440 → 196

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	499	19351
1	1828	18659
2	5232	18659

prune234.0ms (2.1%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	173	23	196
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	174	24	198

Error

1.9b

Counts

198 → 24

Alt Table

Status	Error	Program
	3.4b	(.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 (.f64 (cbrt.f64 x) (cbrt.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 (fabs.f64 (cbrt.f64 x)) (sqrt.f64 PI.f64))))
	3.6b	(.f64 (.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 x) (cbrt.f64 x))) (/.f64 (/.f64 (cbrt.f64 (exp.f64 (.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.4b	(exp.f64 (log.f64 (.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 PI.f64)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))))
	3.4b	(.f64 (.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (/.f64 1 (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.1b	(.f64 (exp.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64))))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	3.8b	(.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) (.f64 (cbrt.f64 (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64)))) (/.f64 (/.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (sqrt.f64 PI.f64))) (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 (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 PI.f64))) (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 PI.f64)))) (/.f64 (cbrt.f64 (/.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.7b	(.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64)))) (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 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.5b	(.f64 (.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 PI.f64)) (.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.2b	(.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.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 x) (sqrt.f64 PI.f64))))
	3.8b	(.f64 (.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 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (/.f64 (cbrt.f64 (exp.f64 (.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)))))
	3.6b	(.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 PI.f64))) (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 PI.f64)))) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 PI.f64))) (fabs.f64 (cbrt.f64 x)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	3.7b	(.f64 (.f64 (/.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64)))) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (/.f64 (exp.f64 (.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)))))
	3.5b	(.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 (/.f64 (cbrt.f64 (exp.f64 (.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 (sqrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 PI.f64))) (/.f64 (sqrt.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)))))
	3.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))))))
	3.5b	(.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 PI.f64))) (cbrt.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 PI.f64)))) (cbrt.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 PI.f64)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	3.3b	(.f64 (.f64 (/.f64 (sqrt.f64 (exp.f64 (.f64 x x))) (sqrt.f64 (sqrt.f64 PI.f64))) (/.f64 (/.f64 (sqrt.f64 (exp.f64 (.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.7b	(.f64 (.f64 (/.f64 (/.f64 (sqrt.f64 (exp.f64 (.f64 x x))) (.f64 (cbrt.f64 (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64)))) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (/.f64 (sqrt.f64 (exp.f64 (.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)))))
	3.5b	(.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)))))
	3.4b	(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 PI.f64)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))) (cbrt.f64 (.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 PI.f64)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))))) (cbrt.f64 (.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 PI.f64)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))))
	3.5b	(.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))) (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.3b	(.f64 (.f64 (sqrt.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 PI.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 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 PI.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)))))))
	3.7b	(.f64 (.f64 (/.f64 (sqrt.f64 (exp.f64 (.f64 x x))) (.f64 (cbrt.f64 (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64)))) (/.f64 (/.f64 (sqrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (sqrt.f64 PI.f64))) (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 7884 to 3817 computations (51.6% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))
0.4b	(.f64 (exp.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64))))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
1.0b	(sqrt.f64 PI.f64)
2.8b	(exp.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64)))))

rewrite188.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

1.3b

Rules

21×	`*-un-lft-identity_binary64`
16×	`add-sqr-sqrt_binary64`
13×	`pow1_binary64`
12×	`exp-sum_binary64`
12×	`add-cube-cbrt_binary64`

Counts

4 → 91

Calls

4 calls:

34.0ms	(.f64 (exp.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64))))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
9.0ms	(exp.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64)))))
9.0ms	(/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))
1.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 3550 to 1654 computations (53.4% saved)

series88.0ms (0.8%)

Error

1.9b

Counts

4 → 24

Calls

4 calls:

32.0ms	(.f64 (exp.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64))))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
19.0ms	(/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))
19.0ms	(exp.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64)))))
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 1687 to 1028 computations (39.1% saved)

simplify106.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

844×	`times-frac_binary64`
702×	`distribute-rgt-in_binary64`
671×	`distribute-lft-in_binary64`
105×	`associate-l_binary64`
92×	`*-commutative_binary64`

Counts

115 → 84

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	213	3941
1	556	3524
2	1695	3234
3	4983	3234

prune138.0ms (1.2%)

Pruning

23 alts after pruning (22 fresh and 1 done)

	Pruned	Kept	Total
New	77	7	84
Fresh	8	15	23
Picked	0	1	1
Done	0	0	0
Total	85	23	108

Error

1.3b

Counts

108 → 23

Alt Table

Status	Error	Program
	3.6b	(.f64 (.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 x) (cbrt.f64 x))) (/.f64 (/.f64 (cbrt.f64 (exp.f64 (.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.4b	(exp.f64 (log.f64 (.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 PI.f64)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))))
	4.9b	(.f64 (pow.f64 (exp.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (sqrt.f64 PI.f64) x)))) (cbrt.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (sqrt.f64 PI.f64) x)))))) (cbrt.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64)))))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
✓	3.1b	(.f64 (exp.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64))))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	3.8b	(.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) (.f64 (cbrt.f64 (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64)))) (/.f64 (/.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (sqrt.f64 PI.f64))) (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 (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 PI.f64))) (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 PI.f64)))) (/.f64 (cbrt.f64 (/.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.7b	(.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64)))) (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 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 (exp.f64 (.f64 x x)) (sqrt.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 x) (sqrt.f64 PI.f64))))
	3.8b	(.f64 (.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 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (/.f64 (cbrt.f64 (exp.f64 (.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)))))
	3.6b	(.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 PI.f64))) (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 PI.f64)))) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 PI.f64))) (fabs.f64 (cbrt.f64 x)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	3.2b	(.f64 (sqrt.f64 (exp.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64)))))) (.f64 (sqrt.f64 (/.f64 (exp.f64 (.f64 x x)) (.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.5b	(.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 (/.f64 (cbrt.f64 (exp.f64 (.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 (sqrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 PI.f64))) (/.f64 (sqrt.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)))))
	3.4b	(.f64 (.f64 (cbrt.f64 (exp.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64)))))) (cbrt.f64 (exp.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64))))))) (.f64 (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (.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.7b	(.f64 (pow.f64 (exp.f64 (+.f64 x (sqrt.f64 (log.f64 (.f64 (sqrt.f64 PI.f64) x))))) (-.f64 x (sqrt.f64 (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64)))))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	3.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))))))
	3.5b	(.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 PI.f64))) (cbrt.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 PI.f64)))) (cbrt.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 PI.f64)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	3.7b	(.f64 (.f64 (/.f64 (/.f64 (sqrt.f64 (exp.f64 (.f64 x x))) (.f64 (cbrt.f64 (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64)))) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (/.f64 (sqrt.f64 (exp.f64 (.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)))))
	3.4b	(.f64 (pow.f64 E.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64))))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	3.6b	(.f64 (pow.f64 (exp.f64 (sqrt.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (sqrt.f64 PI.f64) x))))) (sqrt.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64)))))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	3.5b	(.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))) (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.3b	(.f64 (.f64 (sqrt.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 PI.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 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 PI.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)))))))
	3.5b	(.f64 (.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 (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))))))

Compiler

Compiled 4520 to 2397 computations (47% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(/.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 PI.f64)))
0.5b	(.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.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 x) (sqrt.f64 PI.f64))))
1.0b	(sqrt.f64 PI.f64)
2.8b	(exp.f64 (*.f64 x x))

rewrite229.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.8b

Rules

37×	`*-un-lft-identity_binary64`
31×	`add-sqr-sqrt_binary64`
30×	`times-frac_binary64`
30×	`add-cbrt-cube_binary64`
27×	`add-exp-log_binary64`

Counts

4 → 108

Calls

4 calls:

37.0ms	(.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.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 x) (sqrt.f64 PI.f64))))
34.0ms	(/.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 PI.f64)))
2.0ms	(exp.f64 (*.f64 x x))
1.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 4726 to 2175 computations (54% saved)

series75.0ms (0.7%)

Error

1.3b

Counts

4 → 18

Calls

4 calls:

31.0ms	(.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.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 x) (sqrt.f64 PI.f64))))
13.0ms	(exp.f64 (*.f64 x x))
13.0ms	(/.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 PI.f64)))
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 1185 to 903 computations (23.8% saved)

simplify132.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

856×	`distribute-rgt-in_binary64`
841×	`distribute-lft-in_binary64`
174×	`associate-*l/_binary64`
164×	`associate-*r/_binary64`
139×	`*-commutative_binary64`

Counts

126 → 91

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	225	6088
1	613	4801
2	2270	4765
3	5414	4765

prune150.0ms (1.3%)

Pruning

25 alts after pruning (24 fresh and 1 done)

	Pruned	Kept	Total
New	82	9	91
Fresh	6	15	21
Picked	1	0	1
Done	0	1	1
Total	89	25	114

Error

1.2b

Counts

114 → 25

Alt Table

Status	Error	Program
	3.4b	(.f64 (/.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) (sqrt.f64 (sqrt.f64 x))) (.f64 (/.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 PI.f64) (sqrt.f64 x))) (/.f64 (cbrt.f64 (exp.f64 (*.f64 x x))) (sqrt.f64 (sqrt.f64 x)))))
	3.6b	(.f64 (.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 x) (cbrt.f64 x))) (/.f64 (/.f64 (cbrt.f64 (exp.f64 (.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.6b	(.f64 (/.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))) (.f64 (/.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 PI.f64) (sqrt.f64 x))) (/.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (sqrt.f64 x)))))
	4.9b	(.f64 (pow.f64 (exp.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (sqrt.f64 PI.f64) x)))) (cbrt.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (sqrt.f64 PI.f64) x)))))) (cbrt.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64)))))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
✓	3.1b	(.f64 (exp.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64))))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	3.8b	(.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) (.f64 (cbrt.f64 (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64)))) (/.f64 (/.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (sqrt.f64 PI.f64))) (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 (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 PI.f64))) (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 PI.f64)))) (/.f64 (cbrt.f64 (/.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.7b	(.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64)))) (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 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.8b	(.f64 (.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 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (/.f64 (cbrt.f64 (exp.f64 (.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)))))
	3.2b	(.f64 (sqrt.f64 (exp.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64)))))) (.f64 (sqrt.f64 (/.f64 (exp.f64 (.f64 x x)) (.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.3b	(.f64 (/.f64 (sqrt.f64 (exp.f64 (.f64 x x))) (sqrt.f64 (sqrt.f64 x))) (.f64 (/.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 PI.f64) (sqrt.f64 x))) (/.f64 (sqrt.f64 (exp.f64 (*.f64 x x))) (sqrt.f64 (sqrt.f64 x)))))
	3.5b	(.f64 (.f64 (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 x))) (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 x)))) (.f64 (/.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 PI.f64) (sqrt.f64 x))) (cbrt.f64 (/.f64 (exp.f64 (*.f64 x x)) (sqrt.f64 x)))))
	3.4b	(.f64 (.f64 (cbrt.f64 (exp.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64)))))) (cbrt.f64 (exp.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64))))))) (.f64 (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (.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.7b	(.f64 (pow.f64 (exp.f64 (+.f64 x (sqrt.f64 (log.f64 (.f64 (sqrt.f64 PI.f64) x))))) (-.f64 x (sqrt.f64 (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64)))))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
▶	3.2b	(.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 x)) (log.f64 (exp.f64 (/.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 PI.f64) (sqrt.f64 x))))))
	3.3b	(.f64 (/.f64 1 (sqrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (.f64 (/.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 PI.f64) (sqrt.f64 x))) (/.f64 (exp.f64 (*.f64 x x)) (sqrt.f64 (cbrt.f64 x)))))
	3.4b	(exp.f64 (log.f64 (.f64 (/.f64 (exp.f64 (.f64 x x)) 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)))) (sqrt.f64 PI.f64)))))
	3.5b	(.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 PI.f64))) (cbrt.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 PI.f64)))) (cbrt.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 PI.f64)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	3.7b	(.f64 (.f64 (/.f64 (/.f64 (sqrt.f64 (exp.f64 (.f64 x x))) (.f64 (cbrt.f64 (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64)))) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (/.f64 (sqrt.f64 (exp.f64 (.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)))))
	3.4b	(.f64 (pow.f64 E.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64))))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	3.3b	(.f64 (.f64 (sqrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 x))) (sqrt.f64 (/.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 PI.f64) (sqrt.f64 x))))) (.f64 (sqrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 x))) (sqrt.f64 (/.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 PI.f64) (sqrt.f64 x))))))
	3.6b	(.f64 (pow.f64 (exp.f64 (sqrt.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (sqrt.f64 PI.f64) x))))) (sqrt.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64)))))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	3.5b	(.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))) (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.5b	(.f64 (.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 x)) (.f64 (cbrt.f64 (/.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 PI.f64) (sqrt.f64 x)))) (cbrt.f64 (/.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 PI.f64) (sqrt.f64 x)))))) (cbrt.f64 (/.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 PI.f64)))))
	3.5b	(.f64 (.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 (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))))))

Compiler

Compiled 5180 to 2715 computations (47.6% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 x)) (log.f64 (exp.f64 (/.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 PI.f64) (sqrt.f64 x))))))
0.9b	(log.f64 (exp.f64 (/.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 PI.f64) (sqrt.f64 x)))))
1.0b	(sqrt.f64 PI.f64)
2.8b	(exp.f64 (*.f64 x x))

rewrite239.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

0.8b

Rules

36×	`*-un-lft-identity_binary64`
35×	`add-sqr-sqrt_binary64`
30×	`times-frac_binary64`
26×	`add-cube-cbrt_binary64`
22×	`associate-l_binary64`

Counts

4 → 102

Calls

4 calls:

39.0ms	(.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 x)) (log.f64 (exp.f64 (/.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 PI.f64) (sqrt.f64 x))))))
29.0ms	(log.f64 (exp.f64 (/.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 PI.f64) (sqrt.f64 x)))))
1.0ms	(exp.f64 (*.f64 x x))
1.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 4686 to 2288 computations (51.2% saved)

series74.0ms (0.7%)

Error

1.2b

Counts

4 → 12

Calls

4 calls:

27.0ms	(.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 x)) (log.f64 (exp.f64 (/.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 PI.f64) (sqrt.f64 x))))))
26.0ms	(log.f64 (exp.f64 (/.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 PI.f64) (sqrt.f64 x)))))
12.0ms	(exp.f64 (*.f64 x x))
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 960 to 722 computations (24.8% saved)

simplify124.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

535×	`associate-*l/_binary64`
492×	`associate-*r/_binary64`
451×	`associate-/l*_binary64`
356×	`times-frac_binary64`
275×	`associate-/r*_binary64`

Counts

114 → 87

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	205	5220
1	414	4679
2	1211	4468
3	4992	4468

prune136.0ms (1.2%)

Pruning

25 alts after pruning (23 fresh and 2 done)

	Pruned	Kept	Total
New	85	2	87
Fresh	2	21	23
Picked	0	1	1
Done	0	1	1
Total	87	25	112

Error

1.2b

Counts

112 → 25

Alt Table

Status	Error	Program
	3.4b	(.f64 (/.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) (sqrt.f64 (sqrt.f64 x))) (.f64 (/.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 PI.f64) (sqrt.f64 x))) (/.f64 (cbrt.f64 (exp.f64 (*.f64 x x))) (sqrt.f64 (sqrt.f64 x)))))
	3.6b	(.f64 (.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 x) (cbrt.f64 x))) (/.f64 (/.f64 (cbrt.f64 (exp.f64 (.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.6b	(.f64 (/.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))) (.f64 (/.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 PI.f64) (sqrt.f64 x))) (/.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (sqrt.f64 x)))))
	4.9b	(.f64 (pow.f64 (exp.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (sqrt.f64 PI.f64) x)))) (cbrt.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (sqrt.f64 PI.f64) x)))))) (cbrt.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64)))))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	3.3b	(+.f64 (.f64 (log.f64 (sqrt.f64 (exp.f64 (/.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 PI.f64) (sqrt.f64 x)))))) (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 x))) (.f64 (log.f64 (sqrt.f64 (exp.f64 (/.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 PI.f64) (sqrt.f64 x)))))) (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 x))))
	3.1b	(.f64 (exp.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64))))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	3.8b	(.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) (.f64 (cbrt.f64 (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64)))) (/.f64 (/.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (sqrt.f64 PI.f64))) (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 (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 PI.f64))) (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 PI.f64)))) (/.f64 (cbrt.f64 (/.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.7b	(.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64)))) (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 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.8b	(.f64 (.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 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (/.f64 (cbrt.f64 (exp.f64 (.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)))))
	3.2b	(.f64 (sqrt.f64 (exp.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64)))))) (.f64 (sqrt.f64 (/.f64 (exp.f64 (.f64 x x)) (.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.3b	(.f64 (/.f64 (sqrt.f64 (exp.f64 (.f64 x x))) (sqrt.f64 (sqrt.f64 x))) (.f64 (/.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 PI.f64) (sqrt.f64 x))) (/.f64 (sqrt.f64 (exp.f64 (*.f64 x x))) (sqrt.f64 (sqrt.f64 x)))))
	3.5b	(.f64 (.f64 (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 x))) (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 x)))) (.f64 (/.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 PI.f64) (sqrt.f64 x))) (cbrt.f64 (/.f64 (exp.f64 (*.f64 x x)) (sqrt.f64 x)))))
	3.6b	(+.f64 (.f64 2 (.f64 (log.f64 (cbrt.f64 (exp.f64 (/.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 PI.f64) (sqrt.f64 x)))))) (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 x)))) (.f64 (log.f64 (cbrt.f64 (exp.f64 (/.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 PI.f64) (sqrt.f64 x)))))) (/.f64 (exp.f64 (*.f64 x x)) (sqrt.f64 x))))
	3.4b	(.f64 (.f64 (cbrt.f64 (exp.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64)))))) (cbrt.f64 (exp.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64))))))) (.f64 (cbrt.f64 (/.f64 (exp.f64 (.f64 x x)) (.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.7b	(.f64 (pow.f64 (exp.f64 (+.f64 x (sqrt.f64 (log.f64 (.f64 (sqrt.f64 PI.f64) x))))) (-.f64 x (sqrt.f64 (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64)))))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	3.2b	(.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 x)) (log.f64 (exp.f64 (/.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 PI.f64) (sqrt.f64 x))))))
	3.3b	(.f64 (/.f64 1 (sqrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (.f64 (/.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 PI.f64) (sqrt.f64 x))) (/.f64 (exp.f64 (*.f64 x x)) (sqrt.f64 (cbrt.f64 x)))))
	3.4b	(exp.f64 (log.f64 (.f64 (/.f64 (exp.f64 (.f64 x x)) 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)))) (sqrt.f64 PI.f64)))))
	3.5b	(.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 PI.f64))) (cbrt.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 PI.f64)))) (cbrt.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 PI.f64)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
	3.4b	(.f64 (pow.f64 E.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64))))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	3.3b	(.f64 (.f64 (sqrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 x))) (sqrt.f64 (/.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 PI.f64) (sqrt.f64 x))))) (.f64 (sqrt.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 x))) (sqrt.f64 (/.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 PI.f64) (sqrt.f64 x))))))
	3.6b	(.f64 (pow.f64 (exp.f64 (sqrt.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (sqrt.f64 PI.f64) x))))) (sqrt.f64 (-.f64 (.f64 x x) (log.f64 (.f64 (fabs.f64 x) (sqrt.f64 PI.f64)))))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
	3.5b	(.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))) (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.5b	(.f64 (.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 x)) (.f64 (cbrt.f64 (/.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 PI.f64) (sqrt.f64 x)))) (cbrt.f64 (/.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 PI.f64) (sqrt.f64 x)))))) (cbrt.f64 (/.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 PI.f64)))))

Compiler

Compiled 4349 to 2230 computations (48.7% saved)

regimes5.1s (45.3%)

Accuracy

Total 0.3b remaining (22.3%)

Threshold costs 0.3b (22.3%)

Compiler

Compiled 86948 to 53010 computations (39% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	52
1	31	52
2	30	52

end1.0ms (0%)

Compiler: Compiled 34 to 23 computations (32.4% saved)

sample2.8s (24.9%)

Algorithm

1×

intervals

Results

1.6s	8000×	body	128	valid
92.0ms	8109×	pre	128	true
21.0ms	109×	body	128	invalid

Compiler

Compiled 1444 to 831 computations (42.5% saved)

Details

analyze101.0ms (0.9%)

sample64.0ms (0.6%)

simplify80.0ms (0.7%)

prune9.0ms (0.1%)

localize20.0ms (0.2%)

rewrite636.0ms (5.7%)

series112.0ms (1%)

simplify335.0ms (3%)

prune234.0ms (2.1%)

localize23.0ms (0.2%)

rewrite188.0ms (1.7%)

series88.0ms (0.8%)

simplify106.0ms (0.9%)

prune138.0ms (1.2%)

localize24.0ms (0.2%)

rewrite229.0ms (2%)

series75.0ms (0.7%)

simplify132.0ms (1.2%)

prune150.0ms (1.3%)

localize24.0ms (0.2%)

rewrite239.0ms (2.1%)

series74.0ms (0.7%)

simplify124.0ms (1.1%)

prune136.0ms (1.2%)

regimes5.1s (45.3%)

simplify3.0ms (0%)

end1.0ms (0%)

sample2.8s (24.9%)

Profiling