Details

analyze1.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
100%	0%	0%	1

Compiler

Compiled 66 to 53 computations (19.7% saved)

sample1.7s (4%)

Infinites

0% of outputs are infinite.

Results

1.6s

8256×

body

128

valid

Compiler

Compiled 197 to 158 computations (19.8% saved)

simplify55.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

660×	`fma-neg_binary64`
578×	`times-frac_binary64`
564×	`cancel-sign-sub-inv_binary64`
389×	`fma-def_binary64`
380×	`distribute-rgt-in_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	27	93
1	91	69
2	270	69
3	825	69
4	2840	69
5	4839	69
6	5074	69

prune9.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

13.4b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	13.4b	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))

Status

Error

Program

▶

13.4b

(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))

Compiler

Compiled 241 to 190 computations (21.2% saved)

localize19.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(*.f64 3275911/10000000 (fabs.f64 x))
✓	0.5b	(+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))
✓	0.8b	(+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))
✓	13.3b	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))

series448.0ms (1.1%)

Counts

4 → 36

Calls

4 calls:

351.0ms	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
73.0ms	(+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))
22.0ms	(+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))
2.0ms	(*.f64 3275911/10000000 (fabs.f64 x))

rewrite15.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`
10×	`add-log-exp_binary64`
7×	`associate-r_binary64`

Counts

4 → 80

Calls

4 calls:

3.0ms	(*.f64 3275911/10000000 (fabs.f64 x))
3.0ms	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
3.0ms	(+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))
2.0ms	(+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))

simplify154.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

654×	`fma-def_binary64`
356×	`associate-*l/_binary64`
300×	`associate-*r/_binary64`
217×	`cancel-sign-sub-inv_binary64`
212×	`fma-neg_binary64`

Counts

116 → 131

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	186	6399
1	486	4719
2	1624	4340
3	4380	4340
4	4852	4340

prune658.0ms (1.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	275	4	279
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	276	4	280

Error

13.3b

Counts

280 → 4

Alt Table

Status	Error	Program
	15.2b	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (.f64 (.f64 (cbrt.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1)) 1453152027/1000000000) (fma.f64 (fabs.f64 x) 3275911/10000000 1)))) (cbrt.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1)) 1453152027/1000000000) (fma.f64 (fabs.f64 x) 3275911/10000000 1))))) (cbrt.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1)) 1453152027/1000000000) (fma.f64 (fabs.f64 x) 3275911/10000000 1)))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
▶	13.4b	(/.f64 (-.f64 (pow.f64 1 3) (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	14.5b	(log.f64 (/.f64 (exp.f64 1) (exp.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))))
	14.6b	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (.f64 (sqrt.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1)) 1453152027/1000000000) (fma.f64 (fabs.f64 x) 3275911/10000000 1)))) (sqrt.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1)) 1453152027/1000000000) (fma.f64 (fabs.f64 x) 3275911/10000000 1)))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))

Compiler

Compiled 21582 to 15867 computations (26.5% saved)

localize30.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))
✓	0.5b	(pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)
	0.8b	(+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))
✓	12.8b	(-.f64 (pow.f64 1 3) (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3))

series2.2s (5.2%)

Counts

2 → 24

Calls

2 calls:

1.7s

(-.f64 (pow.f64 1 3) (pow.f64 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))) 3))

498.0ms

(pow.f64 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))) 3)

rewrite143.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

96×	`prod-diff_binary64`
55×	`add-sqr-sqrt_binary64`
50×	`*-un-lft-identity_binary64`
45×	`cube-prod_binary64`
45×	`unpow-prod-down_binary64`

Counts

2 → 193

Calls

2 calls:

16.0ms

(pow.f64 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))) 3)

10.0ms

(-.f64 (pow.f64 1 3) (pow.f64 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))) 3))

simplify840.0ms (2%)

Algorithm

1×	egg-herbie

Rules

332×	`associate-r_binary64`
319×	`associate-l_binary64`
303×	`log-prod_binary64`
218×	`cube-prod_binary64`
189×	`exp-prod_binary64`

Counts

217 → 199

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	333	44337
1	839	27994
2	3770	21104
3	4620	21104
4	4838	21104

prune5.9s (13.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	424	7	431
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	426	9	435

Error

12.5b

Counts

435 → 9

Alt Table

Status	Error	Program
	14.6b	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (.f64 (sqrt.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1)) 1453152027/1000000000) (fma.f64 (fabs.f64 x) 3275911/10000000 1)))) (sqrt.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1)) 1453152027/1000000000) (fma.f64 (fabs.f64 x) 3275911/10000000 1)))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
	13.9b	(/.f64 (/.f64 (-.f64 1 (pow.f64 (pow.f64 (/.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) (exp.f64 (.f64 x x))) 3/2) 6)) (+.f64 1 (+.f64 (pow.f64 (/.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) (exp.f64 (.f64 x x))) 3) (pow.f64 (/.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) (exp.f64 (.f64 x x))) 6)))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	14.6b	(/.f64 (-.f64 (pow.f64 1 3) (/.f64 (pow.f64 (.f64 (.f64 1 (+.f64 (pow.f64 31853699/125000000 3) (pow.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))) 3))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3) (pow.f64 (.f64 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))) (+.f64 (.f64 31853699/125000000 31853699/125000000) (-.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))) (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000)))))))) (.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))))) 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	12.7b	(/.f64 (-.f64 (pow.f64 1 3) (/.f64 (pow.f64 (-.f64 1014658139982601/15625000000000000 (.f64 (/.f64 1 (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 2)) (.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)))))) 3) (pow.f64 (.f64 (exp.f64 (.f64 x x)) (.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) (-.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))))) 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	14.5b	(log.f64 (/.f64 (exp.f64 1) (exp.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))))
	14.0b	(/.f64 (-.f64 (pow.f64 1 3) (/.f64 (pow.f64 (+.f64 32320614978905637491099/1953125000000000000000000 (pow.f64 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) 3)) 3) (pow.f64 (.f64 (fma.f64 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) (+.f64 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) -31853699/125000000) 1014658139982601/15625000000000000) (.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) (exp.f64 (.f64 x x)))) 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	15.9b	(/.f64 (-.f64 (fma.f64 17184266109391118711462684229/1000000000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 12)) (+.f64 1 (fma.f64 15543777214363011490082077833/1000000000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 10)) (fma.f64 4911282504263956473646293321/1000000000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 14)) (fma.f64 27062524591957601370969/488281250000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 4)) (fma.f64 356068920594575738799572361/62500000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 8)) (.f64 14444079866137253385489553/15625000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 6))))))))) (fma.f64 9466055241902524050559985079/500000000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 11)) (fma.f64 10576489630944782258003503117/1000000000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 9)) (fma.f64 1195759704082789921366768589/1000000000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 15)) (fma.f64 5763984060605798295883780683/500000000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 13)) (fma.f64 32320614978905637491099/1953125000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 3)) (fma.f64 341076164529869919155702697/125000000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 7)) (.f64 5293567268375562052569087/15625000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 5)))))))))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	13.4b	(/.f64 (-.f64 (pow.f64 1 3) (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (-.f64 (+.f64 1421413741/1000000000 (.f64 1061405429/1000000000 (/.f64 1 (pow.f64 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))) 2)))) (.f64 1453152027/1000000000 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))
▶	12.6b	(/.f64 (log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))

Compiler

Compiled 148687 to 110662 computations (25.6% saved)

localize32.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))
	0.5b	(pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)
	0.8b	(+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))
✓	12.7b	(log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3))))

series6.1s (14.4%)

Counts

1 → 12

Calls

1 calls:

6.1s

(log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))) 3))))

rewrite11.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`log-prod_binary64`
11×	`*-un-lft-identity_binary64`
9×	`times-frac_binary64`
8×	`add-sqr-sqrt_binary64`
8×	`add-cube-cbrt_binary64`

Counts

1 → 28

Calls

1 calls:

6.0ms

(log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))) 3))))

simplify153.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

542×	`exp-prod_binary64`
265×	`distribute-rgt-in_binary64`
262×	`distribute-lft-in_binary64`
243×	`times-frac_binary64`
237×	`associate-l_binary64`

Counts

40 → 53

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	128	5179
1	283	3855
2	821	3630
3	3909	3594
4	4985	3594
5	4943	3594

prune5.5s (13%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	351	6	357
Fresh	3	5	8
Picked	1	0	1
Done	0	0	0
Total	355	11	366

Error

12.4b

Counts

366 → 11

Alt Table

Status	Error	Program
	12.6b	(/.f64 (log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (cbrt.f64 (pow.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1)) 1453152027/1000000000) 3))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	13.4b	(/.f64 (-.f64 (pow.f64 1 3) (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (-.f64 (+.f64 1421413741/1000000000 (.f64 1061405429/1000000000 (/.f64 1 (pow.f64 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))) 2)))) (.f64 1453152027/1000000000 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	14.0b	(/.f64 (log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (/.f64 (pow.f64 (/.f64 (/.f64 (+.f64 32320614978905637491099/1953125000000000000000000 (pow.f64 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) 3)) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) (exp.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) (+.f64 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) -31853699/125000000) 1014658139982601/15625000000000000) 3))))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	14.6b	(/.f64 (-.f64 (pow.f64 1 3) (/.f64 (pow.f64 (.f64 (.f64 1 (+.f64 (pow.f64 31853699/125000000 3) (pow.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))) 3))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3) (pow.f64 (.f64 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))) (+.f64 (.f64 31853699/125000000 31853699/125000000) (-.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))) (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000)))))))) (.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))))) 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))
▶	12.6b	(/.f64 (.f64 (.f64 (cbrt.f64 (log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3))))) (cbrt.f64 (log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)))))) (cbrt.f64 (log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)))))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	12.7b	(/.f64 (-.f64 (pow.f64 1 3) (/.f64 (pow.f64 (-.f64 1014658139982601/15625000000000000 (.f64 (/.f64 1 (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 2)) (.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)))))) 3) (pow.f64 (.f64 (exp.f64 (.f64 x x)) (.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) (-.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))))) 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	14.5b	(log.f64 (/.f64 (exp.f64 1) (exp.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))))
	14.0b	(/.f64 (+.f64 (neg.f64 (.f64 2 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))) 3)))))) (-.f64 1 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))) 3)))))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	15.9b	(/.f64 (-.f64 (fma.f64 17184266109391118711462684229/1000000000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 12)) (+.f64 1 (fma.f64 15543777214363011490082077833/1000000000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 10)) (fma.f64 4911282504263956473646293321/1000000000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 14)) (fma.f64 27062524591957601370969/488281250000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 4)) (fma.f64 356068920594575738799572361/62500000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 8)) (.f64 14444079866137253385489553/15625000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 6))))))))) (fma.f64 9466055241902524050559985079/500000000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 11)) (fma.f64 10576489630944782258003503117/1000000000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 9)) (fma.f64 1195759704082789921366768589/1000000000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 15)) (fma.f64 5763984060605798295883780683/500000000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 13)) (fma.f64 32320614978905637491099/1953125000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 3)) (fma.f64 341076164529869919155702697/125000000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 7)) (.f64 5293567268375562052569087/15625000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 5)))))))))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	13.4b	(/.f64 (+.f64 (log.f64 (/.f64 (sqrt.f64 (exp.f64 (pow.f64 1 3))) 1)) (log.f64 (/.f64 (sqrt.f64 (exp.f64 (pow.f64 1 3))) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3))))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	16.1b	(/.f64 (+.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 (exp.f64 (pow.f64 1 3))) (cbrt.f64 (exp.f64 (pow.f64 1 3)))) (sqrt.f64 (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3))))) (log.f64 (/.f64 (cbrt.f64 (exp.f64 (pow.f64 1 3))) (sqrt.f64 (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)))))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))))))

Compiler

Compiled 108483 to 81145 computations (25.2% saved)

localize54.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))
	0.5b	(pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)
	0.8b	(+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))
	12.7b	(log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3))))

prune13.9s (32.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	720	3	723
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	724	10	734

Error

10.6b

Counts

734 → 10

Alt Table

Status	Error	Program
	12.6b	(/.f64 (log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (cbrt.f64 (pow.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1)) 1453152027/1000000000) 3))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	13.4b	(/.f64 (-.f64 (pow.f64 1 3) (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (-.f64 (+.f64 1421413741/1000000000 (.f64 1061405429/1000000000 (/.f64 1 (pow.f64 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))) 2)))) (.f64 1453152027/1000000000 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	14.4b	(/.f64 (.f64 (.f64 (cbrt.f64 (log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3))))) (cbrt.f64 (log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (.f64 (.f64 (cbrt.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1)) 1453152027/1000000000) (fma.f64 (fabs.f64 x) 3275911/10000000 1)))) (cbrt.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1)) 1453152027/1000000000) (fma.f64 (fabs.f64 x) 3275911/10000000 1))))) (cbrt.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1)) 1453152027/1000000000) (fma.f64 (fabs.f64 x) 3275911/10000000 1)))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)))))) (cbrt.f64 (log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)))))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	14.6b	(/.f64 (-.f64 (pow.f64 1 3) (/.f64 (pow.f64 (.f64 (.f64 1 (+.f64 (pow.f64 31853699/125000000 3) (pow.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))) 3))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3) (pow.f64 (.f64 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))) (+.f64 (.f64 31853699/125000000 31853699/125000000) (-.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))) (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000)))))))) (.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))))) 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	12.7b	(/.f64 (-.f64 (pow.f64 1 3) (/.f64 (pow.f64 (-.f64 1014658139982601/15625000000000000 (.f64 (/.f64 1 (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 2)) (.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)))))) 3) (pow.f64 (.f64 (exp.f64 (.f64 x x)) (.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) (-.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))))) 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	10.8b	(/.f64 (.f64 (.f64 (cbrt.f64 (log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3))))) (cbrt.f64 (log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)))))) (cbrt.f64 (+.f64 (log.f64 (/.f64 (sqrt.f64 (exp.f64 (pow.f64 1 3))) (.f64 (cbrt.f64 (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3))) (cbrt.f64 (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)))))) (log.f64 (/.f64 (sqrt.f64 (exp.f64 (pow.f64 1 3))) (cbrt.f64 (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)))))))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	15.9b	(/.f64 (-.f64 (fma.f64 17184266109391118711462684229/1000000000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 12)) (+.f64 1 (fma.f64 15543777214363011490082077833/1000000000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 10)) (fma.f64 4911282504263956473646293321/1000000000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 14)) (fma.f64 27062524591957601370969/488281250000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 4)) (fma.f64 356068920594575738799572361/62500000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 8)) (.f64 14444079866137253385489553/15625000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 6))))))))) (fma.f64 9466055241902524050559985079/500000000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 11)) (fma.f64 10576489630944782258003503117/1000000000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 9)) (fma.f64 1195759704082789921366768589/1000000000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 15)) (fma.f64 5763984060605798295883780683/500000000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 13)) (fma.f64 32320614978905637491099/1953125000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 3)) (fma.f64 341076164529869919155702697/125000000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 7)) (.f64 5293567268375562052569087/15625000000000000000000000 (/.f64 (pow.f64 (exp.f64 (neg.f64 (.f64 x x))) 3) (pow.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) 5)))))))))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	13.4b	(/.f64 (+.f64 (log.f64 (/.f64 (sqrt.f64 (exp.f64 (pow.f64 1 3))) 1)) (log.f64 (/.f64 (sqrt.f64 (exp.f64 (pow.f64 1 3))) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3))))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	12.6b	(/.f64 (.f64 (.f64 (cbrt.f64 (log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3))))) (cbrt.f64 (log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)))))) (cbrt.f64 (log.f64 (/.f64 (exp.f64 (pow.f64 1 3)) (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (-.f64 (+.f64 1421413741/1000000000 (.f64 1061405429/1000000000 (/.f64 1 (pow.f64 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))) 2)))) (.f64 1453152027/1000000000 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x))))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)))))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))))))
	16.1b	(/.f64 (+.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 (exp.f64 (pow.f64 1 3))) (cbrt.f64 (exp.f64 (pow.f64 1 3)))) (sqrt.f64 (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3))))) (log.f64 (/.f64 (cbrt.f64 (exp.f64 (pow.f64 1 3))) (sqrt.f64 (exp.f64 (pow.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) 3)))))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))) (.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (.f64 (/.f64 1 (+.f64 1 (.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))))))

Compiler

Compiled 318891 to 240626 computations (24.5% saved)

regimes2.5s (6%)

Accuracy

Total 0.1b remaining (0.6%)

Threshold costs 0.1b (0.6%)

Counts

173 → 1

Compiler

Compiled 112587 to 86862 computations (22.8% saved)

simplify22.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

12×	`*-commutative_binary64`
11×	`+-commutative_binary64`
3×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	51	826
1	78	826
2	85	826
3	90	826
4	93	826
5	94	826
6	91	826

end2.0s (4.6%)

Compiler: Compiled 4769 to 3624 computations (24% saved)

Details

analyze1.0ms (0%)

sample1.7s (4%)

simplify55.0ms (0.1%)

prune9.0ms (0%)

localize19.0ms (0%)

series448.0ms (1.1%)

rewrite15.0ms (0%)

simplify154.0ms (0.4%)

prune658.0ms (1.5%)

localize30.0ms (0.1%)

series2.2s (5.2%)

rewrite143.0ms (0.3%)

simplify840.0ms (2%)

prune5.9s (13.8%)

localize32.0ms (0.1%)

series6.1s (14.4%)

rewrite11.0ms (0%)

simplify153.0ms (0.4%)

prune5.5s (13%)

localize54.0ms (0.1%)

prune13.9s (32.8%)

regimes2.5s (6%)

simplify22.0ms (0.1%)

end2.0s (4.6%)

Profiling