Metrics for Hyperbolic tangent

analyze1.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
100%	100%	0%	0%	0%	0%	0%	2

Compiler

Compiled 15 to 8 computations (46.7% saved)

Precisions

Click to see histograms. Total time spent on operations: 0.0ms

Operation ival-div, time spent: 0.0ms, 0.0% of total-time

Operation ival-add, time spent: 0.0ms, 0.0% of total-time

Operation ival-sub, time spent: 0.0ms, 0.0% of total-time

Operation ival-exp, time spent: 0.0ms, 0.0% of total-time

Operation ival-neg, time spent: 0.0ms, 0.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

sample6.0s (53%)

Results

3.0s	3997×	body	1024	valid
1.3s	7755×	body	256	unsamplable
835.0ms	1975×	body	512	valid
407.0ms	2006×	body	256	valid
359.0ms	278×	body	2048	valid

Precisions

Click to see histograms. Total time spent on operations: 3.2s

Operation ival-exp, time spent: 1.6s, 49.0% of total-time

Operation ival-sub, time spent: 579.0ms, 18.0% of total-time

Operation ival-add, time spent: 399.0ms, 13.0% of total-time

Operation ival-div, time spent: 318.0ms, 10.0% of total-time

Operation ival-neg, time spent: 271.0ms, 8.0% of total-time

Operation const, time spent: 58.0ms, 2.0% of total-time

Bogosity

preprocess219.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

1566×	`div-sub`
1010×	`fma-neg`
638×	`cancel-sign-sub-inv`
606×	`sub-neg`
578×	`neg-mul-1`

Problems

247×	`(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))`
5×	No Errors
4×	`(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	220
1	49	220
2	97	220
3	196	220
4	544	220
5	2344	220
6	6420	220

Stop Event

1×	node limit

Calls

Call 1

Inputs
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x)))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x)))))
(neg.f64 (/.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x)))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x))))))

Outputs
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x)))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x)))))
(/.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(neg.f64 (/.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x)))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x))))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Symmetry

(negabs x)

Compiler

Compiled 49 to 15 computations (69.4% saved)

Precisions

Click to see histograms. Total time spent on operations: 58.0ms

Operation ival-exp, time spent: 35.0ms, 60.0% of total-time

Operation ival-neg, time spent: 7.0ms, 12.0% of total-time

Operation ival-div, time spent: 6.0ms, 10.0% of total-time

Operation ival-sub, time spent: 5.0ms, 9.0% of total-time

Operation ival-add, time spent: 4.0ms, 7.0% of total-time

Operation const, time spent: 1.0ms, 2.0% of total-time

eval0.0ms (0%)

Compiler: Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	10.1%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	10.1%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Compiler

Compiled 28 to 14 computations (50% saved)

localize122.0ms (1.1%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
✓	100.0%	(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
✓	98.5%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
✓	11.7%	(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

Compiler

Compiled 35 to 8 computations (77.1% saved)

Precisions

Click to see histograms. Total time spent on operations: 56.0ms

Operation ival-exp, time spent: 35.0ms, 63.0% of total-time

Operation ival-div, time spent: 6.0ms, 11.0% of total-time

Operation ival-sub, time spent: 6.0ms, 11.0% of total-time

Operation ival-add, time spent: 4.0ms, 7.0% of total-time

Operation ival-neg, time spent: 4.0ms, 7.0% of total-time

Operation const, time spent: 1.0ms, 2.0% of total-time

series3.0ms (0%)

Counts

3 → 24

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
1.0ms	x	@	-inf	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
0.0ms	x	@	0	(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
0.0ms	x	@	0	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
0.0ms	x	@	-inf	(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

rewrite143.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

110×	`associate-r`
108×	`times-frac`
80×	`add-exp-log`
80×	`add-log-exp`
80×	`add-cube-cbrt`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	42
1	174	42
2	3424	42

Stop Event

1×

unsound

Counts

3 → 30

Calls

Call 1

Inputs
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

Outputs
-2
-1
0
1/2
1
3/2
2
3
4
5
-2
-1
0
1/2
1
3/2
2
3
4
5
-2
-1
0
1/2
1
3/2
2
3
4
5

simplify104.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

1396×	`fma-def`
1008×	`unswap-sqr`
912×	`associate-r`
740×	`associate-l`
520×	`distribute-rgt-out`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	61	822
1	142	817
2	334	811
3	964	807
4	3187	807
5	5283	807
6	7064	807

Stop Event

1×	node limit

Counts

54 → 53

Calls

Call 1

Inputs
(*.f64 2 x)
(+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 2 x)))
(+.f64 (.f64 1/2520 (pow.f64 x 7)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x))))
(-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
x
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (*.f64 2/15 (pow.f64 x 5)))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))
2
(+.f64 2 (pow.f64 x 2))
(+.f64 2 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))
(+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
-2
-1
0
1/2
1
3/2
2
3
4
5
-2
-1
0
1/2
1
3/2
2
3
4
5
-2
-1
0
1/2
1
3/2
2
3
4
5

Outputs
(*.f64 2 x)
(+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x))
(fma.f64 1/3 (pow.f64 x 3) (*.f64 2 x))
(fma.f64 2 x (*.f64 1/3 (pow.f64 x 3)))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 2 x)))
(fma.f64 1/60 (pow.f64 x 5) (fma.f64 1/3 (pow.f64 x 3) (*.f64 2 x)))
(fma.f64 1/60 (pow.f64 x 5) (fma.f64 2 x (*.f64 1/3 (pow.f64 x 3))))
(fma.f64 2 x (fma.f64 1/3 (pow.f64 x 3) (*.f64 1/60 (pow.f64 x 5))))
(+.f64 (.f64 1/2520 (pow.f64 x 7)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x))))
(fma.f64 1/2520 (pow.f64 x 7) (fma.f64 1/60 (pow.f64 x 5) (fma.f64 1/3 (pow.f64 x 3) (*.f64 2 x))))
(fma.f64 1/2520 (pow.f64 x 7) (fma.f64 1/60 (pow.f64 x 5) (fma.f64 2 x (*.f64 1/3 (pow.f64 x 3)))))
(fma.f64 1/60 (pow.f64 x 5) (fma.f64 1/2520 (pow.f64 x 7) (fma.f64 2 x (*.f64 1/3 (pow.f64 x 3)))))
(fma.f64 2 x (fma.f64 1/3 (pow.f64 x 3) (fma.f64 1/60 (pow.f64 x 5) (*.f64 1/2520 (pow.f64 x 7)))))
(fma.f64 1/3 (pow.f64 x 3) (fma.f64 1/60 (pow.f64 x 5) (fma.f64 1/2520 (pow.f64 x 7) (*.f64 2 x))))
(-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
x
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
(fma.f64 (pow.f64 x 3) -1/3 x)
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (*.f64 (pow.f64 x 5) 2/15)))
(+.f64 (fma.f64 (pow.f64 x 3) -1/3 x) (*.f64 (pow.f64 x 5) 2/15))
(fma.f64 (pow.f64 x 3) -1/3 (fma.f64 (pow.f64 x 5) 2/15 x))
(fma.f64 (pow.f64 x 5) 2/15 (fma.f64 (pow.f64 x 3) -1/3 x))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (*.f64 2/15 (pow.f64 x 5)))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (fma.f64 -17/315 (pow.f64 x 7) (*.f64 (pow.f64 x 5) 2/15))))
(+.f64 (fma.f64 (pow.f64 x 3) -1/3 x) (fma.f64 (pow.f64 x 5) 2/15 (*.f64 (pow.f64 x 7) -17/315)))
(+.f64 x (fma.f64 (pow.f64 x 3) -1/3 (fma.f64 (pow.f64 x 5) 2/15 (*.f64 (pow.f64 x 7) -17/315))))
(fma.f64 (pow.f64 x 3) -1/3 (fma.f64 (pow.f64 x 5) 2/15 (fma.f64 (pow.f64 x 7) -17/315 x)))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
2
(+.f64 2 (pow.f64 x 2))
(fma.f64 x x 2)
(+.f64 2 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(+.f64 2 (fma.f64 1/12 (pow.f64 x 4) (pow.f64 x 2)))
(fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) 2))
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))
(+.f64 2 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (pow.f64 x 2))))
(fma.f64 1/360 (pow.f64 x 6) (fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) 2)))
(fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) 2)))
(+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
-2
-1
0
1/2
1
3/2
2
3
4
5
-2
-1
0
1/2
1
3/2
2
3
4
5
-2
-1
0
1/2
1
3/2
2
3
4
5

eval14.0ms (0.1%)

Compiler: Compiled 782 to 418 computations (46.5% saved)

prune23.0ms (0.2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	44	9	53
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	44	10	54

Accuracy

98.6%

Counts

54 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
	8.3%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (fma.f64 x x 2))
✓	10.1%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
	96.6%	(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	97.3%	(/.f64 (+.f64 (.f64 1/2520 (pow.f64 x 7)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
	5.5%	(/.f64 5 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	96.8%	(+.f64 (fma.f64 (pow.f64 x 3) -1/3 x) (*.f64 (pow.f64 x 5) 2/15))
▶	96.8%	(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (*.f64 2/15 (pow.f64 x 5)))))
▶	96.8%	(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
▶	96.2%	(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
	95.9%	x
	8.3%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (fma.f64 x x 2))
✓	10.1%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
	96.6%	(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	97.3%	(/.f64 (+.f64 (.f64 1/2520 (pow.f64 x 7)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
	5.5%	(/.f64 5 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	96.8%	(+.f64 (fma.f64 (pow.f64 x 3) -1/3 x) (*.f64 (pow.f64 x 5) 2/15))
▶	96.8%	(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (*.f64 2/15 (pow.f64 x 5)))))
▶	96.8%	(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
▶	96.2%	(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
	95.9%	x

Compiler

Compiled 520 to 392 computations (24.6% saved)

localize741.0ms (6.6%)

Localize:

Found 16 expressions with local error:

New	Accuracy	Program
✓	100.0%	(+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (*.f64 2/15 (pow.f64 x 5))))
✓	99.9%	(*.f64 2/15 (pow.f64 x 5))
✓	99.9%	(*.f64 -17/315 (pow.f64 x 7))
✓	99.8%	(*.f64 -1/3 (pow.f64 x 3))
✓	100.0%	(+.f64 (fma.f64 (pow.f64 x 3) -1/3 x) (*.f64 (pow.f64 x 5) 2/15))
✓	100.0%	(fma.f64 (pow.f64 x 3) -1/3 x)
✓	99.9%	(*.f64 (pow.f64 x 5) 2/15)
✓	100.0%	(+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5)))
✓	99.9%	(*.f64 2/15 (pow.f64 x 5))
✓	99.8%	(*.f64 -1/3 (pow.f64 x 3))
✓	100.0%	(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
✓	99.8%	(*.f64 (pow.f64 x 3) -1/3)
✓	100.0%	(/.f64 (+.f64 (.f64 1/2520 (pow.f64 x 7)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
✓	99.9%	(*.f64 1/2520 (pow.f64 x 7))
✓	99.9%	(*.f64 1/60 (pow.f64 x 5))
✓	99.8%	(*.f64 1/3 (pow.f64 x 3))

Compiler

Compiled 298 to 222 computations (25.5% saved)

Precisions

Click to see histograms. Total time spent on operations: 326.0ms

Operation ival-pow, time spent: 142.0ms, 44.0% of total-time

Operation ival-mult, time spent: 96.0ms, 29.0% of total-time

Operation const, time spent: 34.0ms, 10.0% of total-time

Operation ival-add, time spent: 34.0ms, 10.0% of total-time

Operation ival-exp, time spent: 9.0ms, 3.0% of total-time

Operation ival-fma, time spent: 7.0ms, 2.0% of total-time

Operation ival-div, time spent: 2.0ms, 1.0% of total-time

Operation ival-neg, time spent: 2.0ms, 1.0% of total-time

series16.0ms (0.1%)

Counts

16 → 81

Calls

48 calls:

Time	Variable		Point	Expression
2.0ms	x	@	inf	(fma.f64 (pow.f64 x 3) -1/3 x)
1.0ms	x	@	0	(fma.f64 (pow.f64 x 3) -1/3 x)
1.0ms	x	@	inf	(/.f64 (+.f64 (.f64 1/2520 (pow.f64 x 7)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
1.0ms	x	@	-inf	(/.f64 (+.f64 (.f64 1/2520 (pow.f64 x 7)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
1.0ms	x	@	inf	(*.f64 1/60 (pow.f64 x 5))

rewrite61.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

354×	`prod-diff`
293×	`log1p-expm1-u`
293×	`expm1-log1p-u`
281×	`add-cube-cbrt`
280×	`add-exp-log`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	256
1	692	256

Stop Event

1×	node limit

Counts

16 → 368

Calls

Call 1

Inputs
(*.f64 1/3 (pow.f64 x 3))
(*.f64 1/60 (pow.f64 x 5))
(*.f64 1/2520 (pow.f64 x 7))
(/.f64 (+.f64 (.f64 1/2520 (pow.f64 x 7)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(*.f64 (pow.f64 x 3) -1/3)
(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 2/15 (pow.f64 x 5))
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5)))
(*.f64 (pow.f64 x 5) 2/15)
(fma.f64 (pow.f64 x 3) -1/3 x)
(+.f64 (fma.f64 (pow.f64 x 3) -1/3 x) (*.f64 (pow.f64 x 5) 2/15))
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 2/15 (pow.f64 x 5))
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (*.f64 2/15 (pow.f64 x 5))))

Outputs
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512

simplify149.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

1894×	`times-frac`
1530×	`fma-neg`
1294×	`fma-def`
1208×	`associate-r`
864×	`associate-/r/`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	82	2898
1	193	2818
2	337	2790
3	687	2786
4	1340	2740
5	3630	2740
6	5184	2734
7	6373	2734

Stop Event

1×	node limit

Counts

449 → 72

Calls

Call 1

Inputs
x
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (*.f64 2/15 (pow.f64 x 5)))))
(*.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(+.f64 (.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 1/60 (/.f64 (pow.f64 x 5) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(+.f64 (.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (+.f64 (.f64 1/60 (/.f64 (pow.f64 x 5) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (*.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))))
(+.f64 (.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (+.f64 (.f64 1/60 (/.f64 (pow.f64 x 5) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))))
(.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x)))))
(+.f64 (.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 1/60 (/.f64 (pow.f64 x 5) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(+.f64 (.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (+.f64 (.f64 1/60 (/.f64 (pow.f64 x 5) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x)))))))
(+.f64 (.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (+.f64 (.f64 1/60 (/.f64 (pow.f64 x 5) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))))
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 -1/3 (pow.f64 x 3))
x
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(*.f64 -1/3 (pow.f64 x 3))
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(*.f64 -1/3 (pow.f64 x 3))
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 2/15 (pow.f64 x 5))
x
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(*.f64 -1/3 (pow.f64 x 3))
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(*.f64 -1/3 (pow.f64 x 3))
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
x
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
(*.f64 2/15 (pow.f64 x 5))
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5)))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
(*.f64 2/15 (pow.f64 x 5))
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5)))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
(*.f64 -1/3 (pow.f64 x 3))
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5)))
(*.f64 -17/315 (pow.f64 x 7))
(+.f64 (.f64 -17/315 (pow.f64 x 7)) (.f64 2/15 (pow.f64 x 5)))
(*.f64 -17/315 (pow.f64 x 7))
(+.f64 (.f64 -17/315 (pow.f64 x 7)) (.f64 2/15 (pow.f64 x 5)))
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512

Outputs
x
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (*.f64 2/15 (pow.f64 x 5))))
(+.f64 (fma.f64 -1/3 (pow.f64 x 3) x) (*.f64 2/15 (pow.f64 x 5)))
(fma.f64 2/15 (pow.f64 x 5) (fma.f64 -1/3 (pow.f64 x 3) x))
(fma.f64 -1/3 (pow.f64 x 3) (fma.f64 2/15 (pow.f64 x 5) x))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (*.f64 2/15 (pow.f64 x 5)))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (fma.f64 -17/315 (pow.f64 x 7) (*.f64 2/15 (pow.f64 x 5)))))
(+.f64 (fma.f64 -1/3 (pow.f64 x 3) x) (fma.f64 -17/315 (pow.f64 x 7) (*.f64 2/15 (pow.f64 x 5))))
(fma.f64 -1/3 (pow.f64 x 3) (fma.f64 2/15 (pow.f64 x 5) (fma.f64 -17/315 (pow.f64 x 7) x)))
(fma.f64 2/15 (pow.f64 x 5) (fma.f64 -1/3 (pow.f64 x 3) (fma.f64 -17/315 (pow.f64 x 7) x)))
(*.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(/.f64 (*.f64 (pow.f64 x 7) 1/2520) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 1/2520 (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 7)))
(+.f64 (.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 1/60 (/.f64 (pow.f64 x 5) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(fma.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (*.f64 1/60 (/.f64 (pow.f64 x 5) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(fma.f64 1/60 (/.f64 (pow.f64 x 5) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (*.f64 (pow.f64 x 7) 1/2520) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(fma.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (*.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 1/2520 (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 7))))
(fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (*.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (*.f64 (pow.f64 x 7) 1/2520) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(+.f64 (.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (+.f64 (.f64 1/60 (/.f64 (pow.f64 x 5) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (*.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))))
(fma.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 1/60 (/.f64 (pow.f64 x 5) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (*.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))))
(fma.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 1/60 (/.f64 (pow.f64 x 5) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (*.f64 (pow.f64 x 3) 1/3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(fma.f64 (pow.f64 x 3) (/.f64 1/3 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 1/2520 (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 7)))))
(fma.f64 (pow.f64 x 3) (/.f64 1/3 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (*.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))))
(fma.f64 (pow.f64 x 3) (/.f64 1/3 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (*.f64 (pow.f64 x 7) 1/2520) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(+.f64 (.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (+.f64 (.f64 1/60 (/.f64 (pow.f64 x 5) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))))
(fma.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 1/60 (/.f64 (pow.f64 x 5) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (*.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))))
(fma.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 1/60 (/.f64 (pow.f64 x 5) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (*.f64 x 2) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))))
(fma.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 1/60 (/.f64 (pow.f64 x 5) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 x (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)))))
(fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 (pow.f64 x 7) (/.f64 1/2520 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (.f64 1/3 (*.f64 x x)) 2))))
(fma.f64 (pow.f64 x 7) (/.f64 1/2520 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 2 (.f64 1/3 (*.f64 x x))))))
(fma.f64 (pow.f64 x 7) (/.f64 1/2520 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (+.f64 (.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 (pow.f64 x 7) (/.f64 1/2520 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (+.f64 (.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x)))))
(*.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(/.f64 (*.f64 (pow.f64 x 7) 1/2520) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 1/2520 (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 7)))
(+.f64 (.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 1/60 (/.f64 (pow.f64 x 5) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(fma.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (*.f64 1/60 (/.f64 (pow.f64 x 5) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(fma.f64 1/60 (/.f64 (pow.f64 x 5) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (*.f64 (pow.f64 x 7) 1/2520) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(fma.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (*.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 1/2520 (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 7))))
(fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (*.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (*.f64 (pow.f64 x 7) 1/2520) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(+.f64 (.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (+.f64 (.f64 1/60 (/.f64 (pow.f64 x 5) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x)))))))
(fma.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 1/60 (/.f64 (pow.f64 x 5) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (*.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))))
(fma.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 1/60 (/.f64 (pow.f64 x 5) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (*.f64 (pow.f64 x 3) 1/3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(fma.f64 (pow.f64 x 3) (/.f64 1/3 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 1/2520 (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 7)))))
(fma.f64 (pow.f64 x 3) (/.f64 1/3 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (*.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))))
(fma.f64 (pow.f64 x 3) (/.f64 1/3 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (*.f64 (pow.f64 x 7) 1/2520) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(+.f64 (.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (+.f64 (.f64 1/60 (/.f64 (pow.f64 x 5) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))))
(fma.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 1/60 (/.f64 (pow.f64 x 5) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (*.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))))
(fma.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 1/60 (/.f64 (pow.f64 x 5) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (*.f64 x 2) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))))
(fma.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 1/60 (/.f64 (pow.f64 x 5) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 x (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)))))
(fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 (pow.f64 x 7) (/.f64 1/2520 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (.f64 1/3 (*.f64 x x)) 2))))
(fma.f64 (pow.f64 x 7) (/.f64 1/2520 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 2 (.f64 1/3 (*.f64 x x))))))
(fma.f64 (pow.f64 x 7) (/.f64 1/2520 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (+.f64 (.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 (pow.f64 x 7) (/.f64 1/2520 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (+.f64 (.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 -1/3 (pow.f64 x 3))
x
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 -1/3 (pow.f64 x 3) x)
(*.f64 -1/3 (pow.f64 x 3))
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 -1/3 (pow.f64 x 3) x)
(*.f64 -1/3 (pow.f64 x 3))
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 -1/3 (pow.f64 x 3) x)
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 2/15 (pow.f64 x 5))
x
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 -1/3 (pow.f64 x 3) x)
(*.f64 -1/3 (pow.f64 x 3))
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 -1/3 (pow.f64 x 3) x)
(*.f64 -1/3 (pow.f64 x 3))
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 -1/3 (pow.f64 x 3) x)
x
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (*.f64 2/15 (pow.f64 x 5))))
(+.f64 (fma.f64 -1/3 (pow.f64 x 3) x) (*.f64 2/15 (pow.f64 x 5)))
(fma.f64 2/15 (pow.f64 x 5) (fma.f64 -1/3 (pow.f64 x 3) x))
(fma.f64 -1/3 (pow.f64 x 3) (fma.f64 2/15 (pow.f64 x 5) x))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (*.f64 2/15 (pow.f64 x 5))))
(+.f64 (fma.f64 -1/3 (pow.f64 x 3) x) (*.f64 2/15 (pow.f64 x 5)))
(fma.f64 2/15 (pow.f64 x 5) (fma.f64 -1/3 (pow.f64 x 3) x))
(fma.f64 -1/3 (pow.f64 x 3) (fma.f64 2/15 (pow.f64 x 5) x))
(*.f64 2/15 (pow.f64 x 5))
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5)))
(fma.f64 -1/3 (pow.f64 x 3) (*.f64 2/15 (pow.f64 x 5)))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (*.f64 2/15 (pow.f64 x 5))))
(+.f64 (fma.f64 -1/3 (pow.f64 x 3) x) (*.f64 2/15 (pow.f64 x 5)))
(fma.f64 2/15 (pow.f64 x 5) (fma.f64 -1/3 (pow.f64 x 3) x))
(fma.f64 -1/3 (pow.f64 x 3) (fma.f64 2/15 (pow.f64 x 5) x))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (*.f64 2/15 (pow.f64 x 5))))
(+.f64 (fma.f64 -1/3 (pow.f64 x 3) x) (*.f64 2/15 (pow.f64 x 5)))
(fma.f64 2/15 (pow.f64 x 5) (fma.f64 -1/3 (pow.f64 x 3) x))
(fma.f64 -1/3 (pow.f64 x 3) (fma.f64 2/15 (pow.f64 x 5) x))
(*.f64 2/15 (pow.f64 x 5))
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5)))
(fma.f64 -1/3 (pow.f64 x 3) (*.f64 2/15 (pow.f64 x 5)))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (*.f64 2/15 (pow.f64 x 5))))
(+.f64 (fma.f64 -1/3 (pow.f64 x 3) x) (*.f64 2/15 (pow.f64 x 5)))
(fma.f64 2/15 (pow.f64 x 5) (fma.f64 -1/3 (pow.f64 x 3) x))
(fma.f64 -1/3 (pow.f64 x 3) (fma.f64 2/15 (pow.f64 x 5) x))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (*.f64 2/15 (pow.f64 x 5))))
(+.f64 (fma.f64 -1/3 (pow.f64 x 3) x) (*.f64 2/15 (pow.f64 x 5)))
(fma.f64 2/15 (pow.f64 x 5) (fma.f64 -1/3 (pow.f64 x 3) x))
(fma.f64 -1/3 (pow.f64 x 3) (fma.f64 2/15 (pow.f64 x 5) x))
(*.f64 -1/3 (pow.f64 x 3))
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5)))
(fma.f64 -1/3 (pow.f64 x 3) (*.f64 2/15 (pow.f64 x 5)))
(*.f64 -17/315 (pow.f64 x 7))
(+.f64 (.f64 -17/315 (pow.f64 x 7)) (.f64 2/15 (pow.f64 x 5)))
(fma.f64 -17/315 (pow.f64 x 7) (*.f64 2/15 (pow.f64 x 5)))
(fma.f64 2/15 (pow.f64 x 5) (*.f64 -17/315 (pow.f64 x 7)))
(*.f64 -17/315 (pow.f64 x 7))
(+.f64 (.f64 -17/315 (pow.f64 x 7)) (.f64 2/15 (pow.f64 x 5)))
(fma.f64 -17/315 (pow.f64 x 7) (*.f64 2/15 (pow.f64 x 5)))
(fma.f64 2/15 (pow.f64 x 5) (*.f64 -17/315 (pow.f64 x 7)))
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512
-8
-4
-2
-1
-1/2
0
1/4
1/2
1
3/2
2
5/2
3
7/2
4
5
6
7
8
10
14
64
512

eval27.0ms (0.2%)

Compiler: Compiled 1694 to 941 computations (44.5% saved)

prune29.0ms (0.3%)

Pruning

12 alts after pruning (6 fresh and 6 done)

	Pruned	Kept	Total
New	70	2	72
Fresh	0	4	4
Picked	0	5	5
Done	0	1	1
Total	70	12	82

Accuracy

98.6%

Counts

82 → 12

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	97.3%	(fma.f64 (pow.f64 x 7) (/.f64 1/2520 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 2 (.f64 1/3 (*.f64 x x))))))
▶	8.3%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (fma.f64 x x 2))
✓	10.1%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	96.6%	(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
✓	97.3%	(/.f64 (+.f64 (.f64 1/2520 (pow.f64 x 7)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	5.5%	(/.f64 5 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
✓	96.8%	(+.f64 (fma.f64 (pow.f64 x 3) -1/3 x) (*.f64 (pow.f64 x 5) 2/15))
▶	5.3%	(+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5)))
✓	96.8%	(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (*.f64 2/15 (pow.f64 x 5)))))
✓	96.8%	(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
✓	96.2%	(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
	95.9%	x
▶	97.3%	(fma.f64 (pow.f64 x 7) (/.f64 1/2520 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 2 (.f64 1/3 (*.f64 x x))))))
▶	8.3%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (fma.f64 x x 2))
✓	10.1%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	96.6%	(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
✓	97.3%	(/.f64 (+.f64 (.f64 1/2520 (pow.f64 x 7)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	5.5%	(/.f64 5 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
✓	96.8%	(+.f64 (fma.f64 (pow.f64 x 3) -1/3 x) (*.f64 (pow.f64 x 5) 2/15))
▶	5.3%	(+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5)))
✓	96.8%	(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (*.f64 2/15 (pow.f64 x 5)))))
✓	96.8%	(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
✓	96.2%	(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
	95.9%	x

Compiler

Compiled 564 to 388 computations (31.2% saved)

localize963.0ms (8.6%)

Localize:

Found 15 expressions with local error:

New	Accuracy	Program
	100.0%	(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
✓	100.0%	(+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x))
✓	100.0%	(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
	99.8%	(*.f64 1/3 (pow.f64 x 3))
✓	100.0%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (fma.f64 x x 2))
	11.7%	(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
	100.0%	(+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5)))
✓	99.9%	(*.f64 2/15 (pow.f64 x 5))
✓	99.8%	(*.f64 -1/3 (pow.f64 x 3))
	100.0%	(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
✓	100.0%	(/.f64 5 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
✓	100.0%	(/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
✓	100.0%	(/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
✓	100.0%	(.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 2 (.f64 1/3 (*.f64 x x))))
✓	99.7%	(.f64 1/3 (.f64 x x))

Compiler

Compiled 289 to 119 computations (58.8% saved)

Precisions

Click to see histograms. Total time spent on operations: 450.0ms

Operation ival-pow, time spent: 120.0ms, 27.0% of total-time

Operation ival-mult, time spent: 104.0ms, 23.0% of total-time

Operation ival-div, time spent: 54.0ms, 12.0% of total-time

Operation ival-add, time spent: 49.0ms, 11.0% of total-time

Operation const, time spent: 42.0ms, 9.0% of total-time

Operation ival-fma, time spent: 38.0ms, 8.0% of total-time

Operation ival-exp, time spent: 33.0ms, 7.0% of total-time

Operation ival-sub, time spent: 7.0ms, 2.0% of total-time

Operation ival-neg, time spent: 4.0ms, 1.0% of total-time

series14.0ms (0.1%)

Counts

10 → 75

Calls

30 calls:

Time	Variable		Point	Expression
2.0ms	x	@	0	(+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x))
1.0ms	x	@	inf	(.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 2 (.f64 1/3 (*.f64 x x))))
1.0ms	x	@	-inf	(.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 2 (.f64 1/3 (*.f64 x x))))
1.0ms	x	@	inf	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (fma.f64 x x 2))
1.0ms	x	@	-inf	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (fma.f64 x x 2))

rewrite58.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

478×	`associate-r`
302×	`associate-l`
250×	`log1p-expm1-u`
250×	`expm1-log1p-u`
247×	`add-cube-cbrt`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	164
1	562	164

Stop Event

1×	node limit

Counts

10 → 232

Calls

Call 1

Inputs
(.f64 1/3 (.f64 x x))
(.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 2 (.f64 1/3 (*.f64 x x))))
(/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 5 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(*.f64 -1/3 (pow.f64 x 3))
(*.f64 2/15 (pow.f64 x 5))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (fma.f64 x x 2))
(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x))

Outputs
-25
-5
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
3/4
1
5/4
3/2
2
5/2
3
4
5
6
8
10
16
25
64
512
-25
-5
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
3/4
1
5/4
3/2
2
5/2
3
4
5
6
8
10
16
25
64
512
-1/60
-1/3600
1/3600
1/120
1/60
60
-25
-5
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
3/4
1
5/4
3/2
2
5/2
3
4
5
6
8
10
16
25
64
512
-25
-5
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
3/4
1
5/4
3/2
2
5/2
3
4
5
6
8
10
16
25
64
512
-25
-5
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
3/4
1
5/4
3/2
2
5/2
3
4
5
6
8
10
16
25
64
512
4/225
2/15
-25
-5
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
3/4
1
5/4
3/2
2
5/2
3
4
5
6
8
10
16
25
64
512
-25
-5
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
3/4
1
5/4
3/2
2
5/2
3
4
5
6
8
10
16
25
64
512
-25
-5
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
3/4
1
5/4
3/2
2
5/2
3
4
5
6
8
10
16
25
64
512

simplify114.0ms (1%)

Algorithm

1×	egg-herbie

Rules

990×	`fma-def`
936×	`associate-/l*`
862×	`div-sub`
700×	`associate-+r+`
654×	`associate-+l+`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	162	3798
1	394	3726
2	848	3570
3	2582	3462
4	6615	3462

Stop Event

1×	node limit

Counts

307 → 131

Calls

Call 1

Inputs
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
x
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 1/8 (pow.f64 x 5))))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -1/20 (pow.f64 x 7)) (*.f64 1/8 (pow.f64 x 5)))))
(*.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x)))))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
1/120
(+.f64 1/120 (*.f64 -1/240 (pow.f64 x 2)))
(+.f64 1/120 (+.f64 (.f64 -1/240 (pow.f64 x 2)) (.f64 1/576 (pow.f64 x 4))))
(+.f64 1/120 (+.f64 (.f64 -1/240 (pow.f64 x 2)) (+.f64 (.f64 -61/86400 (pow.f64 x 6)) (*.f64 1/576 (pow.f64 x 4)))))
(/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))))
(/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))))
(/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))))
(/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))))
(*.f64 1/2 x)
(+.f64 (.f64 -1/4 (pow.f64 x 3)) (.f64 1/2 x))
(+.f64 (.f64 -1/4 (pow.f64 x 3)) (+.f64 (.f64 5/48 (pow.f64 x 5)) (*.f64 1/2 x)))
(+.f64 (.f64 -1/4 (pow.f64 x 3)) (+.f64 (.f64 -61/1440 (pow.f64 x 7)) (+.f64 (.f64 5/48 (pow.f64 x 5)) (.f64 1/2 x))))
(/.f64 x (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))))
(/.f64 x (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))))
(/.f64 x (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))))
(/.f64 x (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))))
5/2
(+.f64 5/2 (*.f64 -5/4 (pow.f64 x 2)))
(+.f64 5/2 (+.f64 (.f64 -5/4 (pow.f64 x 2)) (.f64 25/48 (pow.f64 x 4))))
(+.f64 5/2 (+.f64 (.f64 -5/4 (pow.f64 x 2)) (+.f64 (.f64 -61/288 (pow.f64 x 6)) (*.f64 25/48 (pow.f64 x 4)))))
(/.f64 5 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))))
(/.f64 5 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))))
(/.f64 5 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))))
(/.f64 5 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))))
x
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 7/40 (pow.f64 x 5))))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -11/126 (pow.f64 x 7)) (*.f64 7/40 (pow.f64 x 5)))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 2))
(-.f64 (+.f64 (*.f64 -2 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 4))) (/.f64 (exp.f64 x) (pow.f64 x 2))) (/.f64 (exp.f64 (neg.f64 x)) (pow.f64 x 2)))
(-.f64 (+.f64 (.f64 -2 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 4))) (+.f64 (.f64 4 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 6))) (/.f64 (exp.f64 x) (pow.f64 x 2)))) (/.f64 (exp.f64 (neg.f64 x)) (pow.f64 x 2)))
(-.f64 (+.f64 (.f64 -8 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 8))) (+.f64 (.f64 -2 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 4))) (+.f64 (*.f64 4 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 6))) (/.f64 (exp.f64 x) (pow.f64 x 2))))) (/.f64 (exp.f64 (neg.f64 x)) (pow.f64 x 2)))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) (pow.f64 x 2))
(-.f64 (+.f64 (.f64 -2 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))) (pow.f64 x 4))) (/.f64 (exp.f64 x) (pow.f64 x 2))) (/.f64 (exp.f64 (*.f64 -1 x)) (pow.f64 x 2)))
(-.f64 (+.f64 (.f64 -2 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))) (pow.f64 x 4))) (+.f64 (.f64 4 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))) (pow.f64 x 6))) (/.f64 (exp.f64 x) (pow.f64 x 2)))) (/.f64 (exp.f64 (*.f64 -1 x)) (pow.f64 x 2)))
(-.f64 (+.f64 (.f64 -8 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))) (pow.f64 x 8))) (+.f64 (.f64 -2 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))) (pow.f64 x 4))) (+.f64 (.f64 4 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))) (pow.f64 x 6))) (/.f64 (exp.f64 x) (pow.f64 x 2))))) (/.f64 (exp.f64 (*.f64 -1 x)) (pow.f64 x 2)))
x
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 1/8 (pow.f64 x 5))))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -1/20 (pow.f64 x 7)) (*.f64 1/8 (pow.f64 x 5)))))
(*.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x)))))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(*.f64 2 x)
(*.f64 1/3 (pow.f64 x 3))
(*.f64 1/3 (pow.f64 x 3))
-25
-5
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
3/4
1
5/4
3/2
2
5/2
3
4
5
6
8
10
16
25
64
512
-25
-5
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
3/4
1
5/4
3/2
2
5/2
3
4
5
6
8
10
16
25
64
512
-1/60
-1/3600
1/3600
1/120
1/60
60
-25
-5
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
3/4
1
5/4
3/2
2
5/2
3
4
5
6
8
10
16
25
64
512
-25
-5
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
3/4
1
5/4
3/2
2
5/2
3
4
5
6
8
10
16
25
64
512
-25
-5
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
3/4
1
5/4
3/2
2
5/2
3
4
5
6
8
10
16
25
64
512
4/225
2/15
-25
-5
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
3/4
1
5/4
3/2
2
5/2
3
4
5
6
8
10
16
25
64
512
-25
-5
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
3/4
1
5/4
3/2
2
5/2
3
4
5
6
8
10
16
25
64
512
-25
-5
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
3/4
1
5/4
3/2
2
5/2
3
4
5
6
8
10
16
25
64
512

Outputs
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
x
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 1/8 (pow.f64 x 5))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (*.f64 1/8 (pow.f64 x 5))))
(fma.f64 -1/3 (pow.f64 x 3) (fma.f64 1/8 (pow.f64 x 5) x))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -1/20 (pow.f64 x 7)) (*.f64 1/8 (pow.f64 x 5)))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (fma.f64 -1/20 (pow.f64 x 7) (*.f64 1/8 (pow.f64 x 5)))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (fma.f64 1/8 (pow.f64 x 5) (*.f64 -1/20 (pow.f64 x 7)))))
(+.f64 (fma.f64 -1/3 (pow.f64 x 3) x) (fma.f64 -1/20 (pow.f64 x 7) (*.f64 1/8 (pow.f64 x 5))))
(+.f64 (fma.f64 -1/3 (pow.f64 x 3) x) (fma.f64 1/8 (pow.f64 x 5) (*.f64 -1/20 (pow.f64 x 7))))
(*.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(/.f64 (*.f64 1/3 (pow.f64 x 3)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(*.f64 (/.f64 1/3 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (pow.f64 x 3))
(*.f64 (pow.f64 x 3) (/.f64 1/3 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (*.f64 x 2) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 x (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (*.f64 x 2) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 x (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (*.f64 x 2) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 x (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)))
(.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x)))))
(/.f64 (*.f64 1/3 (pow.f64 x 3)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(*.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(*.f64 (/.f64 1/3 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (pow.f64 x 3))
(*.f64 (pow.f64 x 3) (/.f64 1/3 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (*.f64 x 2) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 x (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (*.f64 x 2) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 x (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (*.f64 x 2) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 x (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)))
1/120
(+.f64 1/120 (*.f64 -1/240 (pow.f64 x 2)))
(+.f64 1/120 (*.f64 (pow.f64 x 2) -1/240))
(fma.f64 (pow.f64 x 2) -1/240 1/120)
(+.f64 1/120 (+.f64 (.f64 -1/240 (pow.f64 x 2)) (.f64 1/576 (pow.f64 x 4))))
(+.f64 1/120 (fma.f64 -1/240 (pow.f64 x 2) (*.f64 1/576 (pow.f64 x 4))))
(+.f64 1/120 (fma.f64 (pow.f64 x 2) -1/240 (*.f64 1/576 (pow.f64 x 4))))
(fma.f64 (pow.f64 x 2) -1/240 (fma.f64 1/576 (pow.f64 x 4) 1/120))
(+.f64 1/120 (+.f64 (.f64 -1/240 (pow.f64 x 2)) (+.f64 (.f64 -61/86400 (pow.f64 x 6)) (*.f64 1/576 (pow.f64 x 4)))))
(+.f64 1/120 (fma.f64 -1/240 (pow.f64 x 2) (fma.f64 -61/86400 (pow.f64 x 6) (*.f64 1/576 (pow.f64 x 4)))))
(+.f64 1/120 (fma.f64 (pow.f64 x 2) -1/240 (fma.f64 1/576 (pow.f64 x 4) (*.f64 -61/86400 (pow.f64 x 6)))))
(+.f64 (fma.f64 (pow.f64 x 2) -1/240 1/120) (fma.f64 1/576 (pow.f64 x 4) (*.f64 -61/86400 (pow.f64 x 6))))
(/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))))
(/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))))
(/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))))
(/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))))
(/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(*.f64 1/2 x)
(*.f64 x 1/2)
(+.f64 (.f64 -1/4 (pow.f64 x 3)) (.f64 1/2 x))
(fma.f64 -1/4 (pow.f64 x 3) (*.f64 x 1/2))
(fma.f64 x 1/2 (*.f64 (pow.f64 x 3) -1/4))
(fma.f64 (pow.f64 x 3) -1/4 (*.f64 x 1/2))
(+.f64 (.f64 -1/4 (pow.f64 x 3)) (+.f64 (.f64 5/48 (pow.f64 x 5)) (*.f64 1/2 x)))
(fma.f64 -1/4 (pow.f64 x 3) (fma.f64 5/48 (pow.f64 x 5) (*.f64 x 1/2)))
(fma.f64 (pow.f64 x 3) -1/4 (fma.f64 x 1/2 (*.f64 (pow.f64 x 5) 5/48)))
(fma.f64 x 1/2 (fma.f64 (pow.f64 x 3) -1/4 (*.f64 (pow.f64 x 5) 5/48)))
(+.f64 (.f64 -1/4 (pow.f64 x 3)) (+.f64 (.f64 -61/1440 (pow.f64 x 7)) (+.f64 (.f64 5/48 (pow.f64 x 5)) (.f64 1/2 x))))
(fma.f64 -1/4 (pow.f64 x 3) (fma.f64 -61/1440 (pow.f64 x 7) (fma.f64 5/48 (pow.f64 x 5) (*.f64 x 1/2))))
(fma.f64 (pow.f64 x 3) -1/4 (fma.f64 (pow.f64 x 7) -61/1440 (fma.f64 x 1/2 (*.f64 (pow.f64 x 5) 5/48))))
(fma.f64 (pow.f64 x 3) -1/4 (fma.f64 x 1/2 (fma.f64 (pow.f64 x 5) 5/48 (*.f64 (pow.f64 x 7) -61/1440))))
(/.f64 x (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))))
(/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 x (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))))
(/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 x (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))))
(/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 x (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))))
(/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
5/2
(+.f64 5/2 (*.f64 -5/4 (pow.f64 x 2)))
(+.f64 5/2 (*.f64 (pow.f64 x 2) -5/4))
(fma.f64 (pow.f64 x 2) -5/4 5/2)
(+.f64 5/2 (+.f64 (.f64 -5/4 (pow.f64 x 2)) (.f64 25/48 (pow.f64 x 4))))
(+.f64 5/2 (fma.f64 -5/4 (pow.f64 x 2) (*.f64 (pow.f64 x 4) 25/48)))
(+.f64 5/2 (fma.f64 (pow.f64 x 2) -5/4 (*.f64 (pow.f64 x 4) 25/48)))
(fma.f64 (pow.f64 x 2) -5/4 (fma.f64 (pow.f64 x 4) 25/48 5/2))
(+.f64 5/2 (+.f64 (.f64 -5/4 (pow.f64 x 2)) (+.f64 (.f64 -61/288 (pow.f64 x 6)) (*.f64 25/48 (pow.f64 x 4)))))
(+.f64 5/2 (fma.f64 -5/4 (pow.f64 x 2) (fma.f64 -61/288 (pow.f64 x 6) (*.f64 (pow.f64 x 4) 25/48))))
(+.f64 5/2 (fma.f64 (pow.f64 x 2) -5/4 (fma.f64 (pow.f64 x 4) 25/48 (*.f64 (pow.f64 x 6) -61/288))))
(+.f64 (fma.f64 (pow.f64 x 6) -61/288 (*.f64 (pow.f64 x 2) -5/4)) (fma.f64 (pow.f64 x 4) 25/48 5/2))
(+.f64 (fma.f64 (pow.f64 x 2) -5/4 (fma.f64 (pow.f64 x 4) 25/48 5/2)) (*.f64 (pow.f64 x 6) -61/288))
(/.f64 5 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))))
(/.f64 5 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 5 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))))
(/.f64 5 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 5 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))))
(/.f64 5 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 5 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))))
(/.f64 5 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
x
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 7/40 (pow.f64 x 5))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (*.f64 (pow.f64 x 5) 7/40)))
(fma.f64 -1/3 (pow.f64 x 3) (fma.f64 (pow.f64 x 5) 7/40 x))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -11/126 (pow.f64 x 7)) (*.f64 7/40 (pow.f64 x 5)))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (fma.f64 -11/126 (pow.f64 x 7) (*.f64 (pow.f64 x 5) 7/40))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (fma.f64 (pow.f64 x 7) -11/126 (*.f64 (pow.f64 x 5) 7/40))))
(+.f64 (fma.f64 -1/3 (pow.f64 x 3) x) (fma.f64 (pow.f64 x 7) -11/126 (*.f64 (pow.f64 x 5) 7/40)))
(+.f64 (fma.f64 -1/3 (pow.f64 x 3) x) (fma.f64 (pow.f64 x 5) 7/40 (*.f64 (pow.f64 x 7) -11/126)))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 2))
(-.f64 (+.f64 (*.f64 -2 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 4))) (/.f64 (exp.f64 x) (pow.f64 x 2))) (/.f64 (exp.f64 (neg.f64 x)) (pow.f64 x 2)))
(+.f64 (/.f64 (*.f64 -2 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (pow.f64 x 4)) (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 2)))
(fma.f64 -2 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 4)) (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 2)))
(*.f64 (+.f64 (/.f64 -2 (pow.f64 x 2)) 1) (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 2)))
(*.f64 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 2)) (+.f64 1 (/.f64 -2 (pow.f64 x 2))))
(-.f64 (+.f64 (.f64 -2 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 4))) (+.f64 (.f64 4 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 6))) (/.f64 (exp.f64 x) (pow.f64 x 2)))) (/.f64 (exp.f64 (neg.f64 x)) (pow.f64 x 2)))
(-.f64 (fma.f64 -2 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 4)) (fma.f64 4 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 6)) (/.f64 (exp.f64 x) (pow.f64 x 2)))) (/.f64 (exp.f64 (neg.f64 x)) (pow.f64 x 2)))
(+.f64 (fma.f64 -2 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 4)) (*.f64 4 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 6)))) (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 2)))
(+.f64 (*.f64 (+.f64 (/.f64 -2 (pow.f64 x 2)) 1) (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 2))) (/.f64 (fma.f64 (exp.f64 x) 4 (/.f64 -4 (exp.f64 x))) (pow.f64 x 6)))
(*.f64 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 2)) (+.f64 (+.f64 1 (/.f64 -2 (pow.f64 x 2))) (/.f64 4 (pow.f64 x 4))))
(-.f64 (+.f64 (.f64 -8 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 8))) (+.f64 (.f64 -2 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 4))) (+.f64 (*.f64 4 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 6))) (/.f64 (exp.f64 x) (pow.f64 x 2))))) (/.f64 (exp.f64 (neg.f64 x)) (pow.f64 x 2)))
(-.f64 (fma.f64 -8 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 8)) (fma.f64 -2 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 4)) (fma.f64 4 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 6)) (/.f64 (exp.f64 x) (pow.f64 x 2))))) (/.f64 (exp.f64 (neg.f64 x)) (pow.f64 x 2)))
(fma.f64 -8 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 8)) (+.f64 (fma.f64 -2 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 4)) (*.f64 4 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 6)))) (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 2))))
(+.f64 (*.f64 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 4)) (+.f64 -2 (/.f64 -8 (pow.f64 x 4)))) (fma.f64 4 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 6)) (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 2))))
(+.f64 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 2)) (*.f64 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 4)) (+.f64 (/.f64 4 (pow.f64 x 2)) (+.f64 -2 (/.f64 -8 (pow.f64 x 4))))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) (pow.f64 x 2))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 2))
(-.f64 (+.f64 (.f64 -2 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))) (pow.f64 x 4))) (/.f64 (exp.f64 x) (pow.f64 x 2))) (/.f64 (exp.f64 (*.f64 -1 x)) (pow.f64 x 2)))
(+.f64 (/.f64 (*.f64 -2 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (pow.f64 x 4)) (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 2)))
(fma.f64 -2 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 4)) (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 2)))
(*.f64 (+.f64 (/.f64 -2 (pow.f64 x 2)) 1) (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 2)))
(*.f64 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 2)) (+.f64 1 (/.f64 -2 (pow.f64 x 2))))
(-.f64 (+.f64 (.f64 -2 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))) (pow.f64 x 4))) (+.f64 (.f64 4 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))) (pow.f64 x 6))) (/.f64 (exp.f64 x) (pow.f64 x 2)))) (/.f64 (exp.f64 (*.f64 -1 x)) (pow.f64 x 2)))
(-.f64 (fma.f64 -2 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 4)) (fma.f64 4 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 6)) (/.f64 (exp.f64 x) (pow.f64 x 2)))) (/.f64 (exp.f64 (neg.f64 x)) (pow.f64 x 2)))
(+.f64 (fma.f64 -2 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 4)) (*.f64 4 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 6)))) (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 2)))
(+.f64 (*.f64 (+.f64 (/.f64 -2 (pow.f64 x 2)) 1) (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 2))) (/.f64 (fma.f64 (exp.f64 x) 4 (/.f64 -4 (exp.f64 x))) (pow.f64 x 6)))
(*.f64 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 2)) (+.f64 (+.f64 1 (/.f64 -2 (pow.f64 x 2))) (/.f64 4 (pow.f64 x 4))))
(-.f64 (+.f64 (.f64 -8 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))) (pow.f64 x 8))) (+.f64 (.f64 -2 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))) (pow.f64 x 4))) (+.f64 (.f64 4 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))) (pow.f64 x 6))) (/.f64 (exp.f64 x) (pow.f64 x 2))))) (/.f64 (exp.f64 (*.f64 -1 x)) (pow.f64 x 2)))
(-.f64 (fma.f64 -8 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 8)) (fma.f64 -2 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 4)) (fma.f64 4 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 6)) (/.f64 (exp.f64 x) (pow.f64 x 2))))) (/.f64 (exp.f64 (neg.f64 x)) (pow.f64 x 2)))
(fma.f64 -8 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 8)) (+.f64 (fma.f64 -2 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 4)) (*.f64 4 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 6)))) (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 2))))
(+.f64 (*.f64 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 4)) (+.f64 -2 (/.f64 -8 (pow.f64 x 4)))) (fma.f64 4 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 6)) (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 2))))
(+.f64 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 2)) (*.f64 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (pow.f64 x 4)) (+.f64 (/.f64 4 (pow.f64 x 2)) (+.f64 -2 (/.f64 -8 (pow.f64 x 4))))))
x
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 1/8 (pow.f64 x 5))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (*.f64 1/8 (pow.f64 x 5))))
(fma.f64 -1/3 (pow.f64 x 3) (fma.f64 1/8 (pow.f64 x 5) x))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -1/20 (pow.f64 x 7)) (*.f64 1/8 (pow.f64 x 5)))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (fma.f64 -1/20 (pow.f64 x 7) (*.f64 1/8 (pow.f64 x 5)))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (fma.f64 1/8 (pow.f64 x 5) (*.f64 -1/20 (pow.f64 x 7)))))
(+.f64 (fma.f64 -1/3 (pow.f64 x 3) x) (fma.f64 -1/20 (pow.f64 x 7) (*.f64 1/8 (pow.f64 x 5))))
(+.f64 (fma.f64 -1/3 (pow.f64 x 3) x) (fma.f64 1/8 (pow.f64 x 5) (*.f64 -1/20 (pow.f64 x 7))))
(*.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(/.f64 (*.f64 1/3 (pow.f64 x 3)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(*.f64 (/.f64 1/3 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (pow.f64 x 3))
(*.f64 (pow.f64 x 3) (/.f64 1/3 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (*.f64 x 2) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 x (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (*.f64 x 2) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 x (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (*.f64 x 2) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 x (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)))
(.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x)))))
(/.f64 (*.f64 1/3 (pow.f64 x 3)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(*.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(*.f64 (/.f64 1/3 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (pow.f64 x 3))
(*.f64 (pow.f64 x 3) (/.f64 1/3 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (*.f64 x 2) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 x (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (*.f64 x 2) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 x (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (*.f64 x 2) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(fma.f64 1/3 (/.f64 (pow.f64 x 3) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 x (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)))
(*.f64 2 x)
(*.f64 x 2)
(*.f64 1/3 (pow.f64 x 3))
(*.f64 1/3 (pow.f64 x 3))
-25
-5
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
3/4
1
5/4
3/2
2
5/2
3
4
5
6
8
10
16
25
64
512
-25
-5
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
3/4
1
5/4
3/2
2
5/2
3
4
5
6
8
10
16
25
64
512
-1/60
-1/3600
1/3600
1/120
1/60
60
-25
-5
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
3/4
1
5/4
3/2
2
5/2
3
4
5
6
8
10
16
25
64
512
-25
-5
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
3/4
1
5/4
3/2
2
5/2
3
4
5
6
8
10
16
25
64
512
-25
-5
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
3/4
1
5/4
3/2
2
5/2
3
4
5
6
8
10
16
25
64
512
4/225
2/15
-25
-5
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
3/4
1
5/4
3/2
2
5/2
3
4
5
6
8
10
16
25
64
512
-25
-5
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
3/4
1
5/4
3/2
2
5/2
3
4
5
6
8
10
16
25
64
512
-25
-5
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
3/4
1
5/4
3/2
2
5/2
3
4
5
6
8
10
16
25
64
512

eval141.0ms (1.3%)

Compiler: Compiled 8730 to 4618 computations (47.1% saved)

prune51.0ms (0.5%)

Pruning

14 alts after pruning (7 fresh and 7 done)

	Pruned	Kept	Total
New	294	6	300
Fresh	0	1	1
Picked	4	1	5
Done	0	6	6
Total	298	14	312

Accuracy

98.7%

Counts

312 → 14

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	97.4%	(fma.f64 (pow.f64 x 7) (/.f64 1/2520 (fma.f64 x x 2)) (fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 2 (.f64 1/3 (*.f64 x x))))))
▶	97.3%	(fma.f64 (pow.f64 x 7) (/.f64 1/2520 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (.f64 (/.f64 x (fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) 2)))) (+.f64 2 (.f64 1/3 (*.f64 x x))))))
✓	10.1%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
✓	96.6%	(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
✓	97.3%	(/.f64 (+.f64 (.f64 1/2520 (pow.f64 x 7)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	5.5%	(/.f64 (+.f64 6 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	5.5%	(/.f64 (+.f64 3 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	5.6%	(/.f64 5 (fma.f64 x x 2))
✓	96.8%	(+.f64 (fma.f64 (pow.f64 x 3) -1/3 x) (*.f64 (pow.f64 x 5) 2/15))
✓	96.8%	(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (*.f64 2/15 (pow.f64 x 5)))))
✓	96.8%	(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
✓	96.2%	(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
	95.9%	x
	5.7%	5/2
▶	97.4%	(fma.f64 (pow.f64 x 7) (/.f64 1/2520 (fma.f64 x x 2)) (fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 2 (.f64 1/3 (*.f64 x x))))))
▶	97.3%	(fma.f64 (pow.f64 x 7) (/.f64 1/2520 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (.f64 (/.f64 x (fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) 2)))) (+.f64 2 (.f64 1/3 (*.f64 x x))))))
✓	10.1%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
✓	96.6%	(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
✓	97.3%	(/.f64 (+.f64 (.f64 1/2520 (pow.f64 x 7)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	5.5%	(/.f64 (+.f64 6 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	5.5%	(/.f64 (+.f64 3 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	5.6%	(/.f64 5 (fma.f64 x x 2))
✓	96.8%	(+.f64 (fma.f64 (pow.f64 x 3) -1/3 x) (*.f64 (pow.f64 x 5) 2/15))
✓	96.8%	(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (*.f64 2/15 (pow.f64 x 5)))))
✓	96.8%	(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
✓	96.2%	(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
	95.9%	x
	5.7%	5/2

Compiler

Compiled 722 to 502 computations (30.5% saved)

localize801.0ms (7.1%)

Localize:

Found 13 expressions with local error:

New	Accuracy	Program
✓	100.0%	(fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) 2))
✓	100.0%	(.f64 (/.f64 x (fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) 2)))) (+.f64 2 (.f64 1/3 (*.f64 x x))))
✓	99.9%	(/.f64 x (fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) 2))))
	99.7%	(.f64 1/3 (.f64 x x))
	100.0%	(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
✓	100.0%	(/.f64 (+.f64 6 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
	100.0%	(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
✓	100.0%	(/.f64 (+.f64 3 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
✓	100.0%	(/.f64 5 (fma.f64 x x 2))
	100.0%	(/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
✓	100.0%	(/.f64 1/2520 (fma.f64 x x 2))
	100.0%	(.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 2 (.f64 1/3 (*.f64 x x))))
	99.7%	(.f64 1/3 (.f64 x x))

Compiler

Compiled 458 to 224 computations (51.1% saved)

Precisions

Click to see histograms. Total time spent on operations: 357.0ms

Operation ival-fma, time spent: 105.0ms, 29.0% of total-time

Operation ival-pow, time spent: 76.0ms, 21.0% of total-time

Operation ival-mult, time spent: 59.0ms, 17.0% of total-time

Operation ival-div, time spent: 47.0ms, 13.0% of total-time

Operation const, time spent: 35.0ms, 10.0% of total-time

Operation ival-add, time spent: 28.0ms, 8.0% of total-time

Operation ival-exp, time spent: 5.0ms, 1.0% of total-time

Operation ival-neg, time spent: 2.0ms, 1.0% of total-time

series44.0ms (0.4%)

Counts

7 → 84

Calls

21 calls:

Time	Variable		Point	Expression
36.0ms	x	@	inf	(fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) 2))
1.0ms	x	@	-inf	(/.f64 (+.f64 3 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
1.0ms	x	@	inf	(/.f64 x (fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) 2))))
1.0ms	x	@	inf	(/.f64 (+.f64 3 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
1.0ms	x	@	-inf	(/.f64 (+.f64 6 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

rewrite61.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

442×	`associate-r`
264×	`associate-l`
254×	`log1p-expm1-u`
254×	`expm1-log1p-u`
251×	`add-cube-cbrt`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	258
1	567	258

Stop Event

1×	node limit

Counts

7 → 119

Calls

Call 1

Inputs
(/.f64 1/2520 (fma.f64 x x 2))
(/.f64 5 (fma.f64 x x 2))
(/.f64 (+.f64 3 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (+.f64 6 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 x (fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) 2))))
(.f64 (/.f64 x (fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) 2)))) (+.f64 2 (.f64 1/3 (*.f64 x x))))
(fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) 2))

Outputs
-1/2520
-1/6350400
1/6350400
1/2520
2520
-25
-6
-5
-3
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
1
3/2
2
3
4
5
6
8
9
12
16
25
27
36
64
81
216
512
729
1296
19683
46656
10077696
-25
-6
-5
-3
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
1
3/2
2
3
4
5
6
8
9
12
16
25
27
36
64
81
216
512
729
1296
19683
46656
10077696
-25
-6
-5
-3
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
1
3/2
2
3
4
5
6
8
9
12
16
25
27
36
64
81
216
512
729
1296
19683
46656
10077696
751/360
751/360
751/360

simplify121.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

1308×	`fma-def`
946×	`distribute-neg-frac`
808×	`unswap-sqr`
736×	`sub-neg`
692×	`*-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	218	3706
1	508	3682
2	1174	3638
3	3230	3638
4	6319	3638

Stop Event

1×	node limit

Counts

203 → 187

Calls

Call 1

Inputs
1/5040
(+.f64 1/5040 (*.f64 -1/10080 (pow.f64 x 2)))
(+.f64 1/5040 (+.f64 (.f64 -1/10080 (pow.f64 x 2)) (.f64 1/20160 (pow.f64 x 4))))
(+.f64 1/5040 (+.f64 (.f64 -1/10080 (pow.f64 x 2)) (+.f64 (.f64 -1/40320 (pow.f64 x 6)) (*.f64 1/20160 (pow.f64 x 4)))))
(/.f64 1/2520 (pow.f64 x 2))
(-.f64 (.f64 1/2520 (/.f64 1 (pow.f64 x 2))) (.f64 1/1260 (/.f64 1 (pow.f64 x 4))))
(-.f64 (+.f64 (.f64 1/630 (/.f64 1 (pow.f64 x 6))) (.f64 1/2520 (/.f64 1 (pow.f64 x 2)))) (*.f64 1/1260 (/.f64 1 (pow.f64 x 4))))
(-.f64 (+.f64 (.f64 1/630 (/.f64 1 (pow.f64 x 6))) (.f64 1/2520 (/.f64 1 (pow.f64 x 2)))) (+.f64 (.f64 1/1260 (/.f64 1 (pow.f64 x 4))) (.f64 1/315 (/.f64 1 (pow.f64 x 8)))))
(/.f64 1/2520 (pow.f64 x 2))
(-.f64 (.f64 1/2520 (/.f64 1 (pow.f64 x 2))) (.f64 1/1260 (/.f64 1 (pow.f64 x 4))))
(-.f64 (+.f64 (.f64 1/630 (/.f64 1 (pow.f64 x 6))) (.f64 1/2520 (/.f64 1 (pow.f64 x 2)))) (*.f64 1/1260 (/.f64 1 (pow.f64 x 4))))
(-.f64 (+.f64 (.f64 1/630 (/.f64 1 (pow.f64 x 6))) (.f64 1/2520 (/.f64 1 (pow.f64 x 2)))) (+.f64 (.f64 1/1260 (/.f64 1 (pow.f64 x 4))) (.f64 1/315 (/.f64 1 (pow.f64 x 8)))))
5/2
(+.f64 5/2 (*.f64 -5/4 (pow.f64 x 2)))
(+.f64 5/2 (+.f64 (.f64 -5/4 (pow.f64 x 2)) (.f64 5/8 (pow.f64 x 4))))
(+.f64 5/2 (+.f64 (.f64 -5/4 (pow.f64 x 2)) (+.f64 (.f64 -5/16 (pow.f64 x 6)) (*.f64 5/8 (pow.f64 x 4)))))
(/.f64 5 (pow.f64 x 2))
(-.f64 (.f64 5 (/.f64 1 (pow.f64 x 2))) (.f64 10 (/.f64 1 (pow.f64 x 4))))
(-.f64 (+.f64 (.f64 20 (/.f64 1 (pow.f64 x 6))) (.f64 5 (/.f64 1 (pow.f64 x 2)))) (*.f64 10 (/.f64 1 (pow.f64 x 4))))
(-.f64 (+.f64 (.f64 20 (/.f64 1 (pow.f64 x 6))) (.f64 5 (/.f64 1 (pow.f64 x 2)))) (+.f64 (.f64 10 (/.f64 1 (pow.f64 x 4))) (.f64 40 (/.f64 1 (pow.f64 x 8)))))
(/.f64 5 (pow.f64 x 2))
(-.f64 (.f64 5 (/.f64 1 (pow.f64 x 2))) (.f64 10 (/.f64 1 (pow.f64 x 4))))
(-.f64 (+.f64 (.f64 20 (/.f64 1 (pow.f64 x 6))) (.f64 5 (/.f64 1 (pow.f64 x 2)))) (*.f64 10 (/.f64 1 (pow.f64 x 4))))
(-.f64 (+.f64 (.f64 20 (/.f64 1 (pow.f64 x 6))) (.f64 5 (/.f64 1 (pow.f64 x 2)))) (+.f64 (.f64 10 (/.f64 1 (pow.f64 x 4))) (.f64 40 (/.f64 1 (pow.f64 x 8)))))
3/2
(+.f64 3/2 x)
(+.f64 3/2 (+.f64 x (*.f64 -3/4 (pow.f64 x 2))))
(+.f64 3/2 (+.f64 x (+.f64 (.f64 -3/4 (pow.f64 x 2)) (.f64 -1/2 (pow.f64 x 3)))))
(*.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(+.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 3 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(+.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 3 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(+.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 3 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x)))))
(+.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 3 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(+.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 3 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(+.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 3 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
3
(+.f64 3 x)
(+.f64 3 (+.f64 x (*.f64 -3/2 (pow.f64 x 2))))
(+.f64 3 (+.f64 x (+.f64 (.f64 -3/2 (pow.f64 x 2)) (.f64 -1/2 (pow.f64 x 3)))))
(*.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(+.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 6 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(+.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 6 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(+.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 6 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x)))))
(+.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 6 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(+.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 6 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(+.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 6 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(*.f64 1/2 x)
(+.f64 (.f64 -1/4 (pow.f64 x 3)) (.f64 1/2 x))
(+.f64 (.f64 -1/4 (pow.f64 x 3)) (+.f64 (.f64 5/48 (pow.f64 x 5)) (*.f64 1/2 x)))
(+.f64 (.f64 -1/4 (pow.f64 x 3)) (+.f64 (.f64 -61/1440 (pow.f64 x 7)) (+.f64 (.f64 5/48 (pow.f64 x 5)) (.f64 1/2 x))))
(/.f64 360 (pow.f64 x 5))
(-.f64 (.f64 360 (/.f64 1 (pow.f64 x 5))) (.f64 10800 (/.f64 1 (pow.f64 x 7))))
(-.f64 (+.f64 (.f64 194400 (/.f64 1 (pow.f64 x 9))) (.f64 360 (/.f64 1 (pow.f64 x 5)))) (*.f64 10800 (/.f64 1 (pow.f64 x 7))))
(-.f64 (+.f64 (.f64 194400 (/.f64 1 (pow.f64 x 9))) (.f64 360 (/.f64 1 (pow.f64 x 5)))) (+.f64 (.f64 10800 (/.f64 1 (pow.f64 x 7))) (.f64 2203200 (/.f64 1 (pow.f64 x 11)))))
(/.f64 360 (pow.f64 x 5))
(-.f64 (.f64 360 (/.f64 1 (pow.f64 x 5))) (.f64 10800 (/.f64 1 (pow.f64 x 7))))
(-.f64 (+.f64 (.f64 194400 (/.f64 1 (pow.f64 x 9))) (.f64 360 (/.f64 1 (pow.f64 x 5)))) (*.f64 10800 (/.f64 1 (pow.f64 x 7))))
(-.f64 (+.f64 (.f64 194400 (/.f64 1 (pow.f64 x 9))) (.f64 360 (/.f64 1 (pow.f64 x 5)))) (+.f64 (.f64 10800 (/.f64 1 (pow.f64 x 7))) (.f64 2203200 (/.f64 1 (pow.f64 x 11)))))
x
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 1/8 (pow.f64 x 5))))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -1/20 (pow.f64 x 7)) (*.f64 1/8 (pow.f64 x 5)))))
(/.f64 120 (pow.f64 x 3))
(-.f64 (.f64 120 (/.f64 1 (pow.f64 x 3))) (.f64 2880 (/.f64 1 (pow.f64 x 5))))
(-.f64 (+.f64 (.f64 43200 (/.f64 1 (pow.f64 x 7))) (.f64 120 (/.f64 1 (pow.f64 x 3)))) (*.f64 2880 (/.f64 1 (pow.f64 x 5))))
(-.f64 (+.f64 (.f64 43200 (/.f64 1 (pow.f64 x 7))) (.f64 120 (/.f64 1 (pow.f64 x 3)))) (+.f64 (.f64 2880 (/.f64 1 (pow.f64 x 5))) (.f64 345600 (/.f64 1 (pow.f64 x 9)))))
(/.f64 120 (pow.f64 x 3))
(-.f64 (.f64 120 (/.f64 1 (pow.f64 x 3))) (.f64 2880 (/.f64 1 (pow.f64 x 5))))
(-.f64 (+.f64 (.f64 43200 (/.f64 1 (pow.f64 x 7))) (.f64 120 (/.f64 1 (pow.f64 x 3)))) (*.f64 2880 (/.f64 1 (pow.f64 x 5))))
(-.f64 (+.f64 (.f64 43200 (/.f64 1 (pow.f64 x 7))) (.f64 120 (/.f64 1 (pow.f64 x 3)))) (+.f64 (.f64 2880 (/.f64 1 (pow.f64 x 5))) (.f64 345600 (/.f64 1 (pow.f64 x 9)))))
2
(+.f64 2 (*.f64 1/12 (pow.f64 x 4)))
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))))
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))))
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))))
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))))
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))))
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))))
-1/2520
-1/6350400
1/6350400
1/2520
2520
-25
-6
-5
-3
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
1
3/2
2
3
4
5
6
8
9
12
16
25
27
36
64
81
216
512
729
1296
19683
46656
10077696
-25
-6
-5
-3
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
1
3/2
2
3
4
5
6
8
9
12
16
25
27
36
64
81
216
512
729
1296
19683
46656
10077696
-25
-6
-5
-3
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
1
3/2
2
3
4
5
6
8
9
12
16
25
27
36
64
81
216
512
729
1296
19683
46656
10077696
751/360
751/360
751/360

Outputs
1/5040
(+.f64 1/5040 (*.f64 -1/10080 (pow.f64 x 2)))
(fma.f64 -1/10080 (pow.f64 x 2) 1/5040)
(+.f64 1/5040 (+.f64 (.f64 -1/10080 (pow.f64 x 2)) (.f64 1/20160 (pow.f64 x 4))))
(+.f64 1/5040 (fma.f64 -1/10080 (pow.f64 x 2) (*.f64 1/20160 (pow.f64 x 4))))
(fma.f64 -1/10080 (pow.f64 x 2) (fma.f64 1/20160 (pow.f64 x 4) 1/5040))
(+.f64 1/5040 (+.f64 (.f64 -1/10080 (pow.f64 x 2)) (+.f64 (.f64 -1/40320 (pow.f64 x 6)) (*.f64 1/20160 (pow.f64 x 4)))))
(+.f64 1/5040 (fma.f64 -1/10080 (pow.f64 x 2) (fma.f64 -1/40320 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 4)))))
(+.f64 1/5040 (fma.f64 -1/10080 (pow.f64 x 2) (fma.f64 1/20160 (pow.f64 x 4) (*.f64 -1/40320 (pow.f64 x 6)))))
(+.f64 (fma.f64 -1/10080 (pow.f64 x 2) 1/5040) (fma.f64 1/20160 (pow.f64 x 4) (*.f64 -1/40320 (pow.f64 x 6))))
(/.f64 1/2520 (pow.f64 x 2))
(-.f64 (.f64 1/2520 (/.f64 1 (pow.f64 x 2))) (.f64 1/1260 (/.f64 1 (pow.f64 x 4))))
(-.f64 (/.f64 1/2520 (pow.f64 x 2)) (/.f64 1/1260 (pow.f64 x 4)))
(+.f64 (/.f64 1/2520 (pow.f64 x 2)) (/.f64 -1/1260 (pow.f64 x 4)))
(-.f64 (+.f64 (.f64 1/630 (/.f64 1 (pow.f64 x 6))) (.f64 1/2520 (/.f64 1 (pow.f64 x 2)))) (*.f64 1/1260 (/.f64 1 (pow.f64 x 4))))
(+.f64 (/.f64 1/630 (pow.f64 x 6)) (-.f64 (/.f64 1/2520 (pow.f64 x 2)) (/.f64 1/1260 (pow.f64 x 4))))
(+.f64 (/.f64 1/2520 (pow.f64 x 2)) (+.f64 (/.f64 1/630 (pow.f64 x 6)) (/.f64 -1/1260 (pow.f64 x 4))))
(-.f64 (+.f64 (.f64 1/630 (/.f64 1 (pow.f64 x 6))) (.f64 1/2520 (/.f64 1 (pow.f64 x 2)))) (+.f64 (.f64 1/1260 (/.f64 1 (pow.f64 x 4))) (.f64 1/315 (/.f64 1 (pow.f64 x 8)))))
(-.f64 (+.f64 (/.f64 1/2520 (pow.f64 x 2)) (/.f64 1/630 (pow.f64 x 6))) (+.f64 (/.f64 1/1260 (pow.f64 x 4)) (/.f64 1/315 (pow.f64 x 8))))
(+.f64 (+.f64 (/.f64 1/2520 (pow.f64 x 2)) (/.f64 1/630 (pow.f64 x 6))) (-.f64 (/.f64 -1/1260 (pow.f64 x 4)) (/.f64 1/315 (pow.f64 x 8))))
(+.f64 (/.f64 1/2520 (pow.f64 x 2)) (-.f64 (+.f64 (/.f64 1/630 (pow.f64 x 6)) (/.f64 -1/1260 (pow.f64 x 4))) (/.f64 1/315 (pow.f64 x 8))))
(+.f64 (/.f64 1/2520 (pow.f64 x 2)) (+.f64 (/.f64 1/630 (pow.f64 x 6)) (+.f64 (/.f64 -1/1260 (pow.f64 x 4)) (/.f64 -1/315 (pow.f64 x 8)))))
(/.f64 1/2520 (pow.f64 x 2))
(-.f64 (.f64 1/2520 (/.f64 1 (pow.f64 x 2))) (.f64 1/1260 (/.f64 1 (pow.f64 x 4))))
(-.f64 (/.f64 1/2520 (pow.f64 x 2)) (/.f64 1/1260 (pow.f64 x 4)))
(+.f64 (/.f64 1/2520 (pow.f64 x 2)) (/.f64 -1/1260 (pow.f64 x 4)))
(-.f64 (+.f64 (.f64 1/630 (/.f64 1 (pow.f64 x 6))) (.f64 1/2520 (/.f64 1 (pow.f64 x 2)))) (*.f64 1/1260 (/.f64 1 (pow.f64 x 4))))
(+.f64 (/.f64 1/630 (pow.f64 x 6)) (-.f64 (/.f64 1/2520 (pow.f64 x 2)) (/.f64 1/1260 (pow.f64 x 4))))
(+.f64 (/.f64 1/2520 (pow.f64 x 2)) (+.f64 (/.f64 1/630 (pow.f64 x 6)) (/.f64 -1/1260 (pow.f64 x 4))))
(-.f64 (+.f64 (.f64 1/630 (/.f64 1 (pow.f64 x 6))) (.f64 1/2520 (/.f64 1 (pow.f64 x 2)))) (+.f64 (.f64 1/1260 (/.f64 1 (pow.f64 x 4))) (.f64 1/315 (/.f64 1 (pow.f64 x 8)))))
(-.f64 (+.f64 (/.f64 1/2520 (pow.f64 x 2)) (/.f64 1/630 (pow.f64 x 6))) (+.f64 (/.f64 1/1260 (pow.f64 x 4)) (/.f64 1/315 (pow.f64 x 8))))
(+.f64 (+.f64 (/.f64 1/2520 (pow.f64 x 2)) (/.f64 1/630 (pow.f64 x 6))) (-.f64 (/.f64 -1/1260 (pow.f64 x 4)) (/.f64 1/315 (pow.f64 x 8))))
(+.f64 (/.f64 1/2520 (pow.f64 x 2)) (-.f64 (+.f64 (/.f64 1/630 (pow.f64 x 6)) (/.f64 -1/1260 (pow.f64 x 4))) (/.f64 1/315 (pow.f64 x 8))))
(+.f64 (/.f64 1/2520 (pow.f64 x 2)) (+.f64 (/.f64 1/630 (pow.f64 x 6)) (+.f64 (/.f64 -1/1260 (pow.f64 x 4)) (/.f64 -1/315 (pow.f64 x 8)))))
5/2
(+.f64 5/2 (*.f64 -5/4 (pow.f64 x 2)))
(+.f64 5/2 (*.f64 (pow.f64 x 2) -5/4))
(fma.f64 (pow.f64 x 2) -5/4 5/2)
(+.f64 5/2 (+.f64 (.f64 -5/4 (pow.f64 x 2)) (.f64 5/8 (pow.f64 x 4))))
(+.f64 5/2 (fma.f64 -5/4 (pow.f64 x 2) (*.f64 (pow.f64 x 4) 5/8)))
(+.f64 5/2 (fma.f64 (pow.f64 x 2) -5/4 (*.f64 (pow.f64 x 4) 5/8)))
(fma.f64 (pow.f64 x 2) -5/4 (fma.f64 (pow.f64 x 4) 5/8 5/2))
(+.f64 5/2 (+.f64 (.f64 -5/4 (pow.f64 x 2)) (+.f64 (.f64 -5/16 (pow.f64 x 6)) (*.f64 5/8 (pow.f64 x 4)))))
(+.f64 5/2 (fma.f64 -5/4 (pow.f64 x 2) (fma.f64 -5/16 (pow.f64 x 6) (*.f64 (pow.f64 x 4) 5/8))))
(+.f64 5/2 (fma.f64 (pow.f64 x 2) -5/4 (fma.f64 (pow.f64 x 4) 5/8 (*.f64 (pow.f64 x 6) -5/16))))
(+.f64 (fma.f64 (pow.f64 x 2) -5/4 5/2) (fma.f64 (pow.f64 x 4) 5/8 (*.f64 (pow.f64 x 6) -5/16)))
(/.f64 5 (pow.f64 x 2))
(-.f64 (.f64 5 (/.f64 1 (pow.f64 x 2))) (.f64 10 (/.f64 1 (pow.f64 x 4))))
(-.f64 (/.f64 5 (pow.f64 x 2)) (/.f64 10 (pow.f64 x 4)))
(+.f64 (/.f64 5 (pow.f64 x 2)) (/.f64 -10 (pow.f64 x 4)))
(-.f64 (+.f64 (.f64 20 (/.f64 1 (pow.f64 x 6))) (.f64 5 (/.f64 1 (pow.f64 x 2)))) (*.f64 10 (/.f64 1 (pow.f64 x 4))))
(+.f64 (/.f64 20 (pow.f64 x 6)) (-.f64 (/.f64 5 (pow.f64 x 2)) (/.f64 10 (pow.f64 x 4))))
(+.f64 (+.f64 (/.f64 5 (pow.f64 x 2)) (/.f64 -10 (pow.f64 x 4))) (/.f64 20 (pow.f64 x 6)))
(+.f64 (/.f64 5 (pow.f64 x 2)) (+.f64 (/.f64 20 (pow.f64 x 6)) (/.f64 -10 (pow.f64 x 4))))
(-.f64 (+.f64 (.f64 20 (/.f64 1 (pow.f64 x 6))) (.f64 5 (/.f64 1 (pow.f64 x 2)))) (+.f64 (.f64 10 (/.f64 1 (pow.f64 x 4))) (.f64 40 (/.f64 1 (pow.f64 x 8)))))
(-.f64 (+.f64 (/.f64 5 (pow.f64 x 2)) (/.f64 20 (pow.f64 x 6))) (+.f64 (/.f64 10 (pow.f64 x 4)) (/.f64 40 (pow.f64 x 8))))
(+.f64 (+.f64 (/.f64 5 (pow.f64 x 2)) (/.f64 20 (pow.f64 x 6))) (-.f64 (/.f64 -10 (pow.f64 x 4)) (/.f64 40 (pow.f64 x 8))))
(+.f64 (+.f64 (/.f64 5 (pow.f64 x 2)) (+.f64 (/.f64 20 (pow.f64 x 6)) (/.f64 -10 (pow.f64 x 4)))) (/.f64 -40 (pow.f64 x 8)))
(-.f64 (/.f64 5 (pow.f64 x 2)) (+.f64 (/.f64 10 (pow.f64 x 4)) (-.f64 (/.f64 40 (pow.f64 x 8)) (/.f64 20 (pow.f64 x 6)))))
(+.f64 (/.f64 5 (pow.f64 x 2)) (+.f64 (/.f64 20 (pow.f64 x 6)) (-.f64 (/.f64 -10 (pow.f64 x 4)) (/.f64 40 (pow.f64 x 8)))))
(/.f64 5 (pow.f64 x 2))
(-.f64 (.f64 5 (/.f64 1 (pow.f64 x 2))) (.f64 10 (/.f64 1 (pow.f64 x 4))))
(-.f64 (/.f64 5 (pow.f64 x 2)) (/.f64 10 (pow.f64 x 4)))
(+.f64 (/.f64 5 (pow.f64 x 2)) (/.f64 -10 (pow.f64 x 4)))
(-.f64 (+.f64 (.f64 20 (/.f64 1 (pow.f64 x 6))) (.f64 5 (/.f64 1 (pow.f64 x 2)))) (*.f64 10 (/.f64 1 (pow.f64 x 4))))
(+.f64 (/.f64 20 (pow.f64 x 6)) (-.f64 (/.f64 5 (pow.f64 x 2)) (/.f64 10 (pow.f64 x 4))))
(+.f64 (+.f64 (/.f64 5 (pow.f64 x 2)) (/.f64 -10 (pow.f64 x 4))) (/.f64 20 (pow.f64 x 6)))
(+.f64 (/.f64 5 (pow.f64 x 2)) (+.f64 (/.f64 20 (pow.f64 x 6)) (/.f64 -10 (pow.f64 x 4))))
(-.f64 (+.f64 (.f64 20 (/.f64 1 (pow.f64 x 6))) (.f64 5 (/.f64 1 (pow.f64 x 2)))) (+.f64 (.f64 10 (/.f64 1 (pow.f64 x 4))) (.f64 40 (/.f64 1 (pow.f64 x 8)))))
(-.f64 (+.f64 (/.f64 5 (pow.f64 x 2)) (/.f64 20 (pow.f64 x 6))) (+.f64 (/.f64 10 (pow.f64 x 4)) (/.f64 40 (pow.f64 x 8))))
(+.f64 (+.f64 (/.f64 5 (pow.f64 x 2)) (/.f64 20 (pow.f64 x 6))) (-.f64 (/.f64 -10 (pow.f64 x 4)) (/.f64 40 (pow.f64 x 8))))
(+.f64 (+.f64 (/.f64 5 (pow.f64 x 2)) (+.f64 (/.f64 20 (pow.f64 x 6)) (/.f64 -10 (pow.f64 x 4)))) (/.f64 -40 (pow.f64 x 8)))
(-.f64 (/.f64 5 (pow.f64 x 2)) (+.f64 (/.f64 10 (pow.f64 x 4)) (-.f64 (/.f64 40 (pow.f64 x 8)) (/.f64 20 (pow.f64 x 6)))))
(+.f64 (/.f64 5 (pow.f64 x 2)) (+.f64 (/.f64 20 (pow.f64 x 6)) (-.f64 (/.f64 -10 (pow.f64 x 4)) (/.f64 40 (pow.f64 x 8)))))
3/2
(+.f64 3/2 x)
(+.f64 x 3/2)
(+.f64 3/2 (+.f64 x (*.f64 -3/4 (pow.f64 x 2))))
(+.f64 3/2 (+.f64 x (*.f64 (pow.f64 x 2) -3/4)))
(+.f64 3/2 (fma.f64 (pow.f64 x 2) -3/4 x))
(fma.f64 (pow.f64 x 2) -3/4 (+.f64 x 3/2))
(+.f64 3/2 (+.f64 x (+.f64 (.f64 -3/4 (pow.f64 x 2)) (.f64 -1/2 (pow.f64 x 3)))))
(+.f64 3/2 (+.f64 x (fma.f64 -3/4 (pow.f64 x 2) (*.f64 -1/2 (pow.f64 x 3)))))
(+.f64 x (+.f64 (fma.f64 (pow.f64 x 2) -3/4 (*.f64 -1/2 (pow.f64 x 3))) 3/2))
(+.f64 3/2 (fma.f64 (pow.f64 x 2) -3/4 (fma.f64 -1/2 (pow.f64 x 3) x)))
(+.f64 (fma.f64 (pow.f64 x 2) -3/4 x) (fma.f64 -1/2 (pow.f64 x 3) 3/2))
(*.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(*.f64 x (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(/.f64 x (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2))
(+.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 3 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(fma.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 3 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(+.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 3 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(fma.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 3 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(+.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 3 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(fma.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 3 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x)))))
(*.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(*.f64 x (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(/.f64 x (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2))
(+.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 3 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(fma.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 3 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(+.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 3 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(fma.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 3 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(+.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 3 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(fma.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 3 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
3
(+.f64 3 x)
(+.f64 x 3)
(+.f64 3 (+.f64 x (*.f64 -3/2 (pow.f64 x 2))))
(+.f64 3 (+.f64 x (*.f64 (pow.f64 x 2) -3/2)))
(+.f64 3 (fma.f64 (pow.f64 x 2) -3/2 x))
(+.f64 x (fma.f64 (pow.f64 x 2) -3/2 3))
(+.f64 3 (+.f64 x (+.f64 (.f64 -3/2 (pow.f64 x 2)) (.f64 -1/2 (pow.f64 x 3)))))
(+.f64 3 (+.f64 x (fma.f64 -3/2 (pow.f64 x 2) (*.f64 -1/2 (pow.f64 x 3)))))
(+.f64 x (+.f64 3 (fma.f64 (pow.f64 x 2) -3/2 (*.f64 -1/2 (pow.f64 x 3)))))
(+.f64 (fma.f64 (pow.f64 x 2) -3/2 x) (fma.f64 -1/2 (pow.f64 x 3) 3))
(+.f64 3 (fma.f64 -1/2 (pow.f64 x 3) (fma.f64 (pow.f64 x 2) -3/2 x)))
(*.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(*.f64 x (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(/.f64 x (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2))
(+.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 6 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(fma.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 6 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(+.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 6 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(fma.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 6 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(+.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 6 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(fma.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 6 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x)))))
(*.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(*.f64 x (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(/.f64 x (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2))
(+.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 6 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(fma.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 6 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(+.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 6 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(fma.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 6 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(+.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 6 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(fma.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 6 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(*.f64 1/2 x)
(*.f64 x 1/2)
(+.f64 (.f64 -1/4 (pow.f64 x 3)) (.f64 1/2 x))
(fma.f64 -1/4 (pow.f64 x 3) (*.f64 x 1/2))
(fma.f64 x 1/2 (*.f64 (pow.f64 x 3) -1/4))
(fma.f64 (pow.f64 x 3) -1/4 (*.f64 x 1/2))
(+.f64 (.f64 -1/4 (pow.f64 x 3)) (+.f64 (.f64 5/48 (pow.f64 x 5)) (*.f64 1/2 x)))
(fma.f64 -1/4 (pow.f64 x 3) (fma.f64 5/48 (pow.f64 x 5) (*.f64 x 1/2)))
(fma.f64 (pow.f64 x 3) -1/4 (fma.f64 x 1/2 (*.f64 5/48 (pow.f64 x 5))))
(fma.f64 (pow.f64 x 3) -1/4 (fma.f64 5/48 (pow.f64 x 5) (*.f64 x 1/2)))
(+.f64 (.f64 -1/4 (pow.f64 x 3)) (+.f64 (.f64 -61/1440 (pow.f64 x 7)) (+.f64 (.f64 5/48 (pow.f64 x 5)) (.f64 1/2 x))))
(fma.f64 -1/4 (pow.f64 x 3) (fma.f64 -61/1440 (pow.f64 x 7) (fma.f64 5/48 (pow.f64 x 5) (*.f64 x 1/2))))
(fma.f64 (pow.f64 x 3) -1/4 (fma.f64 -61/1440 (pow.f64 x 7) (fma.f64 x 1/2 (*.f64 5/48 (pow.f64 x 5)))))
(fma.f64 (pow.f64 x 3) -1/4 (fma.f64 x 1/2 (fma.f64 5/48 (pow.f64 x 5) (*.f64 -61/1440 (pow.f64 x 7)))))
(/.f64 360 (pow.f64 x 5))
(-.f64 (.f64 360 (/.f64 1 (pow.f64 x 5))) (.f64 10800 (/.f64 1 (pow.f64 x 7))))
(-.f64 (/.f64 360 (pow.f64 x 5)) (/.f64 10800 (pow.f64 x 7)))
(+.f64 (/.f64 360 (pow.f64 x 5)) (/.f64 -10800 (pow.f64 x 7)))
(-.f64 (+.f64 (.f64 194400 (/.f64 1 (pow.f64 x 9))) (.f64 360 (/.f64 1 (pow.f64 x 5)))) (*.f64 10800 (/.f64 1 (pow.f64 x 7))))
(+.f64 (/.f64 194400 (pow.f64 x 9)) (-.f64 (/.f64 360 (pow.f64 x 5)) (/.f64 10800 (pow.f64 x 7))))
(+.f64 (/.f64 360 (pow.f64 x 5)) (-.f64 (/.f64 194400 (pow.f64 x 9)) (/.f64 10800 (pow.f64 x 7))))
(+.f64 (/.f64 360 (pow.f64 x 5)) (+.f64 (/.f64 194400 (pow.f64 x 9)) (/.f64 -10800 (pow.f64 x 7))))
(-.f64 (+.f64 (.f64 194400 (/.f64 1 (pow.f64 x 9))) (.f64 360 (/.f64 1 (pow.f64 x 5)))) (+.f64 (.f64 10800 (/.f64 1 (pow.f64 x 7))) (.f64 2203200 (/.f64 1 (pow.f64 x 11)))))
(-.f64 (+.f64 (/.f64 194400 (pow.f64 x 9)) (-.f64 (/.f64 360 (pow.f64 x 5)) (/.f64 10800 (pow.f64 x 7)))) (/.f64 2203200 (pow.f64 x 11)))
(-.f64 (+.f64 (/.f64 360 (pow.f64 x 5)) (-.f64 (/.f64 194400 (pow.f64 x 9)) (/.f64 10800 (pow.f64 x 7)))) (/.f64 2203200 (pow.f64 x 11)))
(+.f64 (/.f64 360 (pow.f64 x 5)) (+.f64 (/.f64 194400 (pow.f64 x 9)) (+.f64 (/.f64 -10800 (pow.f64 x 7)) (/.f64 -2203200 (pow.f64 x 11)))))
(+.f64 (/.f64 194400 (pow.f64 x 9)) (+.f64 (/.f64 360 (pow.f64 x 5)) (+.f64 (/.f64 -10800 (pow.f64 x 7)) (/.f64 -2203200 (pow.f64 x 11)))))
(-.f64 (/.f64 360 (pow.f64 x 5)) (+.f64 (/.f64 10800 (pow.f64 x 7)) (-.f64 (/.f64 2203200 (pow.f64 x 11)) (/.f64 194400 (pow.f64 x 9)))))
(/.f64 360 (pow.f64 x 5))
(-.f64 (.f64 360 (/.f64 1 (pow.f64 x 5))) (.f64 10800 (/.f64 1 (pow.f64 x 7))))
(-.f64 (/.f64 360 (pow.f64 x 5)) (/.f64 10800 (pow.f64 x 7)))
(+.f64 (/.f64 360 (pow.f64 x 5)) (/.f64 -10800 (pow.f64 x 7)))
(-.f64 (+.f64 (.f64 194400 (/.f64 1 (pow.f64 x 9))) (.f64 360 (/.f64 1 (pow.f64 x 5)))) (*.f64 10800 (/.f64 1 (pow.f64 x 7))))
(+.f64 (/.f64 194400 (pow.f64 x 9)) (-.f64 (/.f64 360 (pow.f64 x 5)) (/.f64 10800 (pow.f64 x 7))))
(+.f64 (/.f64 360 (pow.f64 x 5)) (-.f64 (/.f64 194400 (pow.f64 x 9)) (/.f64 10800 (pow.f64 x 7))))
(+.f64 (/.f64 360 (pow.f64 x 5)) (+.f64 (/.f64 194400 (pow.f64 x 9)) (/.f64 -10800 (pow.f64 x 7))))
(-.f64 (+.f64 (.f64 194400 (/.f64 1 (pow.f64 x 9))) (.f64 360 (/.f64 1 (pow.f64 x 5)))) (+.f64 (.f64 10800 (/.f64 1 (pow.f64 x 7))) (.f64 2203200 (/.f64 1 (pow.f64 x 11)))))
(-.f64 (+.f64 (/.f64 194400 (pow.f64 x 9)) (-.f64 (/.f64 360 (pow.f64 x 5)) (/.f64 10800 (pow.f64 x 7)))) (/.f64 2203200 (pow.f64 x 11)))
(-.f64 (+.f64 (/.f64 360 (pow.f64 x 5)) (-.f64 (/.f64 194400 (pow.f64 x 9)) (/.f64 10800 (pow.f64 x 7)))) (/.f64 2203200 (pow.f64 x 11)))
(+.f64 (/.f64 360 (pow.f64 x 5)) (+.f64 (/.f64 194400 (pow.f64 x 9)) (+.f64 (/.f64 -10800 (pow.f64 x 7)) (/.f64 -2203200 (pow.f64 x 11)))))
(+.f64 (/.f64 194400 (pow.f64 x 9)) (+.f64 (/.f64 360 (pow.f64 x 5)) (+.f64 (/.f64 -10800 (pow.f64 x 7)) (/.f64 -2203200 (pow.f64 x 11)))))
(-.f64 (/.f64 360 (pow.f64 x 5)) (+.f64 (/.f64 10800 (pow.f64 x 7)) (-.f64 (/.f64 2203200 (pow.f64 x 11)) (/.f64 194400 (pow.f64 x 9)))))
x
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
(fma.f64 (pow.f64 x 3) -1/3 x)
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 1/8 (pow.f64 x 5))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (*.f64 (pow.f64 x 5) 1/8)))
(+.f64 x (fma.f64 (pow.f64 x 3) -1/3 (*.f64 (pow.f64 x 5) 1/8)))
(fma.f64 (pow.f64 x 3) -1/3 (fma.f64 (pow.f64 x 5) 1/8 x))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -1/20 (pow.f64 x 7)) (*.f64 1/8 (pow.f64 x 5)))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (fma.f64 -1/20 (pow.f64 x 7) (*.f64 (pow.f64 x 5) 1/8))))
(+.f64 x (fma.f64 (pow.f64 x 3) -1/3 (fma.f64 (pow.f64 x 5) 1/8 (*.f64 (pow.f64 x 7) -1/20))))
(+.f64 (fma.f64 (pow.f64 x 3) -1/3 x) (fma.f64 (pow.f64 x 5) 1/8 (*.f64 (pow.f64 x 7) -1/20)))
(/.f64 120 (pow.f64 x 3))
(-.f64 (.f64 120 (/.f64 1 (pow.f64 x 3))) (.f64 2880 (/.f64 1 (pow.f64 x 5))))
(-.f64 (/.f64 120 (pow.f64 x 3)) (/.f64 2880 (pow.f64 x 5)))
(+.f64 (/.f64 120 (pow.f64 x 3)) (/.f64 -2880 (pow.f64 x 5)))
(-.f64 (+.f64 (.f64 43200 (/.f64 1 (pow.f64 x 7))) (.f64 120 (/.f64 1 (pow.f64 x 3)))) (*.f64 2880 (/.f64 1 (pow.f64 x 5))))
(+.f64 (/.f64 43200 (pow.f64 x 7)) (-.f64 (/.f64 120 (pow.f64 x 3)) (/.f64 2880 (pow.f64 x 5))))
(+.f64 (/.f64 120 (pow.f64 x 3)) (+.f64 (/.f64 43200 (pow.f64 x 7)) (/.f64 -2880 (pow.f64 x 5))))
(-.f64 (+.f64 (.f64 43200 (/.f64 1 (pow.f64 x 7))) (.f64 120 (/.f64 1 (pow.f64 x 3)))) (+.f64 (.f64 2880 (/.f64 1 (pow.f64 x 5))) (.f64 345600 (/.f64 1 (pow.f64 x 9)))))
(+.f64 (/.f64 43200 (pow.f64 x 7)) (-.f64 (/.f64 120 (pow.f64 x 3)) (+.f64 (/.f64 2880 (pow.f64 x 5)) (/.f64 345600 (pow.f64 x 9)))))
(+.f64 (/.f64 120 (pow.f64 x 3)) (-.f64 (/.f64 43200 (pow.f64 x 7)) (+.f64 (/.f64 2880 (pow.f64 x 5)) (/.f64 345600 (pow.f64 x 9)))))
(+.f64 (+.f64 (/.f64 120 (pow.f64 x 3)) (+.f64 (/.f64 43200 (pow.f64 x 7)) (/.f64 -2880 (pow.f64 x 5)))) (/.f64 -345600 (pow.f64 x 9)))
(+.f64 (+.f64 (/.f64 120 (pow.f64 x 3)) (/.f64 -345600 (pow.f64 x 9))) (+.f64 (/.f64 43200 (pow.f64 x 7)) (/.f64 -2880 (pow.f64 x 5))))
(/.f64 120 (pow.f64 x 3))
(-.f64 (.f64 120 (/.f64 1 (pow.f64 x 3))) (.f64 2880 (/.f64 1 (pow.f64 x 5))))
(-.f64 (/.f64 120 (pow.f64 x 3)) (/.f64 2880 (pow.f64 x 5)))
(+.f64 (/.f64 120 (pow.f64 x 3)) (/.f64 -2880 (pow.f64 x 5)))
(-.f64 (+.f64 (.f64 43200 (/.f64 1 (pow.f64 x 7))) (.f64 120 (/.f64 1 (pow.f64 x 3)))) (*.f64 2880 (/.f64 1 (pow.f64 x 5))))
(+.f64 (/.f64 43200 (pow.f64 x 7)) (-.f64 (/.f64 120 (pow.f64 x 3)) (/.f64 2880 (pow.f64 x 5))))
(+.f64 (/.f64 120 (pow.f64 x 3)) (+.f64 (/.f64 43200 (pow.f64 x 7)) (/.f64 -2880 (pow.f64 x 5))))
(-.f64 (+.f64 (.f64 43200 (/.f64 1 (pow.f64 x 7))) (.f64 120 (/.f64 1 (pow.f64 x 3)))) (+.f64 (.f64 2880 (/.f64 1 (pow.f64 x 5))) (.f64 345600 (/.f64 1 (pow.f64 x 9)))))
(+.f64 (/.f64 43200 (pow.f64 x 7)) (-.f64 (/.f64 120 (pow.f64 x 3)) (+.f64 (/.f64 2880 (pow.f64 x 5)) (/.f64 345600 (pow.f64 x 9)))))
(+.f64 (/.f64 120 (pow.f64 x 3)) (-.f64 (/.f64 43200 (pow.f64 x 7)) (+.f64 (/.f64 2880 (pow.f64 x 5)) (/.f64 345600 (pow.f64 x 9)))))
(+.f64 (+.f64 (/.f64 120 (pow.f64 x 3)) (+.f64 (/.f64 43200 (pow.f64 x 7)) (/.f64 -2880 (pow.f64 x 5)))) (/.f64 -345600 (pow.f64 x 9)))
(+.f64 (+.f64 (/.f64 120 (pow.f64 x 3)) (/.f64 -345600 (pow.f64 x 9))) (+.f64 (/.f64 43200 (pow.f64 x 7)) (/.f64 -2880 (pow.f64 x 5))))
2
(+.f64 2 (*.f64 1/12 (pow.f64 x 4)))
(+.f64 2 (*.f64 (pow.f64 x 4) 1/12))
(fma.f64 (pow.f64 x 4) 1/12 2)
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))))
(+.f64 2 (fma.f64 1/360 (pow.f64 x 6) (*.f64 (pow.f64 x 4) 1/12)))
(+.f64 2 (fma.f64 (pow.f64 x 4) 1/12 (*.f64 (pow.f64 x 6) 1/360)))
(fma.f64 (pow.f64 x 4) 1/12 (fma.f64 (pow.f64 x 6) 1/360 2))
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))))
(+.f64 2 (fma.f64 1/360 (pow.f64 x 6) (*.f64 (pow.f64 x 4) 1/12)))
(+.f64 2 (fma.f64 (pow.f64 x 4) 1/12 (*.f64 (pow.f64 x 6) 1/360)))
(fma.f64 (pow.f64 x 4) 1/12 (fma.f64 (pow.f64 x 6) 1/360 2))
(*.f64 1/360 (pow.f64 x 6))
(*.f64 (pow.f64 x 6) 1/360)
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 (pow.f64 x 4) 1/12))
(fma.f64 (pow.f64 x 4) 1/12 (*.f64 (pow.f64 x 6) 1/360))
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))))
(+.f64 2 (fma.f64 1/360 (pow.f64 x 6) (*.f64 (pow.f64 x 4) 1/12)))
(+.f64 2 (fma.f64 (pow.f64 x 4) 1/12 (*.f64 (pow.f64 x 6) 1/360)))
(fma.f64 (pow.f64 x 4) 1/12 (fma.f64 (pow.f64 x 6) 1/360 2))
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))))
(+.f64 2 (fma.f64 1/360 (pow.f64 x 6) (*.f64 (pow.f64 x 4) 1/12)))
(+.f64 2 (fma.f64 (pow.f64 x 4) 1/12 (*.f64 (pow.f64 x 6) 1/360)))
(fma.f64 (pow.f64 x 4) 1/12 (fma.f64 (pow.f64 x 6) 1/360 2))
(*.f64 1/360 (pow.f64 x 6))
(*.f64 (pow.f64 x 6) 1/360)
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 (pow.f64 x 4) 1/12))
(fma.f64 (pow.f64 x 4) 1/12 (*.f64 (pow.f64 x 6) 1/360))
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))))
(+.f64 2 (fma.f64 1/360 (pow.f64 x 6) (*.f64 (pow.f64 x 4) 1/12)))
(+.f64 2 (fma.f64 (pow.f64 x 4) 1/12 (*.f64 (pow.f64 x 6) 1/360)))
(fma.f64 (pow.f64 x 4) 1/12 (fma.f64 (pow.f64 x 6) 1/360 2))
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))))
(+.f64 2 (fma.f64 1/360 (pow.f64 x 6) (*.f64 (pow.f64 x 4) 1/12)))
(+.f64 2 (fma.f64 (pow.f64 x 4) 1/12 (*.f64 (pow.f64 x 6) 1/360)))
(fma.f64 (pow.f64 x 4) 1/12 (fma.f64 (pow.f64 x 6) 1/360 2))
-1/2520
-1/6350400
1/6350400
1/2520
2520
-25
-6
-5
-3
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
1
3/2
2
3
4
5
6
8
9
12
16
25
27
36
64
81
216
512
729
1296
19683
46656
10077696
-25
-6
-5
-3
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
1
3/2
2
3
4
5
6
8
9
12
16
25
27
36
64
81
216
512
729
1296
19683
46656
10077696
-25
-6
-5
-3
-2
-1
-1/3
0
1/27
1/9
1/5
1/3
1/2
2/3
1
3/2
2
3
4
5
6
8
9
12
16
25
27
36
64
81
216
512
729
1296
19683
46656
10077696
751/360
751/360
751/360

eval365.0ms (3.3%)

Compiler: Compiled 16881 to 9890 computations (41.4% saved)

prune71.0ms (0.6%)

Pruning

16 alts after pruning (6 fresh and 10 done)

	Pruned	Kept	Total
New	496	5	501
Fresh	1	1	2
Picked	2	3	5
Done	0	7	7
Total	499	16	515

Accuracy

100.0%

Counts

515 → 16

Alt Table

Click to see full alt table

Status	Accuracy	Program
	97.3%	(fma.f64 (pow.f64 x 7) (/.f64 1/2520 (fma.f64 x x 2)) (fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (.f64 (/.f64 x (fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) 2)))) (+.f64 2 (.f64 1/3 (*.f64 x x))))))
✓	97.4%	(fma.f64 (pow.f64 x 7) (/.f64 1/2520 (fma.f64 x x 2)) (fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 2 (.f64 1/3 (*.f64 x x))))))
✓	10.1%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
✓	96.6%	(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
✓	97.3%	(/.f64 (+.f64 (.f64 1/2520 (pow.f64 x 7)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
✓	5.5%	(/.f64 (+.f64 6 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
	5.6%	(/.f64 (+.f64 6 (.f64 2 x)) (+.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))))
✓	5.5%	(/.f64 (+.f64 3 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
	5.6%	(/.f64 (+.f64 3 (.f64 2 x)) (+.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))))
✓	96.8%	(+.f64 (fma.f64 (pow.f64 x 3) -1/3 x) (*.f64 (pow.f64 x 5) 2/15))
✓	96.8%	(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (*.f64 2/15 (pow.f64 x 5)))))
✓	96.8%	(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
✓	96.2%	(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
	95.9%	x
	7.4%	1
	5.8%	1/2

Compiler

Compiled 672 to 438 computations (34.8% saved)

regimes35.0ms (0.3%)

Counts

23 → 2

Calls

Call 1

Inputs
1/2
1
5/2
x
(/.f64 5 (fma.f64 x x 2))
(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
(/.f64 5 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5)))
(/.f64 (+.f64 3 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (+.f64 6 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (fma.f64 x x 2))
(+.f64 (fma.f64 (pow.f64 x 3) -1/3 x) (*.f64 (pow.f64 x 5) 2/15))
(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (*.f64 2/15 (pow.f64 x 5)))))
(/.f64 (+.f64 3 (.f64 2 x)) (+.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))))
(/.f64 (+.f64 6 (.f64 2 x)) (+.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (+.f64 (.f64 1/2520 (pow.f64 x 7)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(fma.f64 (pow.f64 x 7) (/.f64 1/2520 (fma.f64 x x 2)) (fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 2 (.f64 1/3 (*.f64 x x))))))
(fma.f64 (pow.f64 x 7) (/.f64 1/2520 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 2 (.f64 1/3 (*.f64 x x))))))
(fma.f64 (pow.f64 x 7) (/.f64 1/2520 (fma.f64 x x 2)) (fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (.f64 (/.f64 x (fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) 2)))) (+.f64 2 (.f64 1/3 (*.f64 x x))))))
(fma.f64 (pow.f64 x 7) (/.f64 1/2520 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (.f64 (/.f64 x (fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) 2)))) (+.f64 2 (.f64 1/3 (*.f64 x x))))))

Outputs
(/.f64 (+.f64 (.f64 1/2520 (pow.f64 x 7)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
1

Calls

2 calls:

21.0ms	x
4.0ms	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Results

Accuracy	Segments	Branch
99.2%	2	`x`
99.2%	2	`(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))`

Compiler

Compiled 407 to 237 computations (41.8% saved)

regimes59.0ms (0.5%)

Counts

18 → 2

Calls

Call 1

Inputs
1/2
1
5/2
x
(/.f64 5 (fma.f64 x x 2))
(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
(/.f64 5 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5)))
(/.f64 (+.f64 3 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (+.f64 6 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (fma.f64 x x 2))
(+.f64 (fma.f64 (pow.f64 x 3) -1/3 x) (*.f64 (pow.f64 x 5) 2/15))
(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (*.f64 2/15 (pow.f64 x 5)))))
(/.f64 (+.f64 3 (.f64 2 x)) (+.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))))
(/.f64 (+.f64 6 (.f64 2 x)) (+.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Outputs
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (*.f64 2/15 (pow.f64 x 5)))))
1

Calls

2 calls:

49.0ms	x
4.0ms	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Results

Accuracy	Segments	Branch
98.9%	2	`x`
98.9%	2	`(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))`

Compiler

Compiled 207 to 131 computations (36.7% saved)

regimes49.0ms (0.4%)

Counts

14 → 2

Calls

Call 1

Inputs
1/2
1
5/2
x
(/.f64 5 (fma.f64 x x 2))
(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
(/.f64 5 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5)))
(/.f64 (+.f64 3 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (+.f64 6 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (fma.f64 x x 2))
(+.f64 (fma.f64 (pow.f64 x 3) -1/3 x) (*.f64 (pow.f64 x 5) 2/15))
(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Outputs
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
1

Calls

1 calls:

46.0ms

Results

Accuracy	Segments	Branch
98.7%	2	`x`

Compiler

Compiled 115 to 70 computations (39.1% saved)

regimes14.0ms (0.1%)

Counts

10 → 2

Calls

Call 1

Inputs
1/2
1
5/2
x
(/.f64 5 (fma.f64 x x 2))
(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
(/.f64 5 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5)))
(/.f64 (+.f64 3 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (+.f64 6 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Outputs
(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
1

Calls

1 calls:

12.0ms

Results

Accuracy	Segments	Branch
98.3%	2	`x`

Compiler

Compiled 63 to 39 computations (38.1% saved)

regimes13.0ms (0.1%)

Counts

5 → 2

Calls

Call 1

Inputs
1/2
1
5/2
x
(/.f64 5 (fma.f64 x x 2))

Outputs
x
1

Calls

1 calls:

12.0ms

Results

Accuracy	Segments	Branch
97.7%	2	`x`

Compiler

Compiled 13 to 9 computations (30.8% saved)

regimes4.0ms (0%)

Counts

3 → 1

Calls

Call 1

Inputs
1/2
1
5/2

Outputs
1

Calls

1 calls:

4.0ms

Results

Accuracy	Segments	Branch
7.4%	1	`x`

Compiler

Compiled 6 to 5 computations (16.7% saved)

regimes3.0ms (0%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
1/2

Outputs
1/2

Calls

1 calls:

3.0ms

Results

Accuracy	Segments	Branch
5.8%	1	`x`

Compiler

Compiled 4 to 3 computations (25% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	0.9836528675939298	1.0

Compiler

Compiled 18 to 10 computations (44.4% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	0.5426279165869458	0.9613598376454087

Compiler

Compiled 18 to 10 computations (44.4% saved)

bsearch17.0ms (0.1%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
17.0ms	0.6078727169565759	1.9635505476592212

Results

13.0ms

80×

body

256

valid

Compiler

Compiled 108 to 85 computations (21.3% saved)

Precisions

Click to see histograms. Total time spent on operations: 5.0ms

Operation ival-exp, time spent: 2.0ms, 43.0% of total-time

Operation ival-div, time spent: 1.0ms, 21.0% of total-time

Operation ival-add, time spent: 1.0ms, 21.0% of total-time

Operation ival-sub, time spent: 1.0ms, 21.0% of total-time

Operation ival-neg, time spent: 0.0ms, 0.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

bsearch14.0ms (0.1%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
14.0ms	0.6078727169565759	1.9635505476592212

Results

13.0ms

80×

body

256

valid

Compiler

Compiled 78 to 60 computations (23.1% saved)

Precisions

Click to see histograms. Total time spent on operations: 5.0ms

Operation ival-exp, time spent: 2.0ms, 43.0% of total-time

Operation ival-div, time spent: 1.0ms, 21.0% of total-time

Operation ival-add, time spent: 1.0ms, 21.0% of total-time

Operation ival-sub, time spent: 1.0ms, 21.0% of total-time

Operation ival-neg, time spent: 0.0ms, 0.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

bsearch55.0ms (0.5%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
55.0ms	0.6078727169565759	1.9635505476592212

Results

54.0ms

80×

body

256

valid

Compiler

Compiled 48 to 35 computations (27.1% saved)

Precisions

Click to see histograms. Total time spent on operations: 5.0ms

Operation ival-exp, time spent: 2.0ms, 42.0% of total-time

Operation ival-div, time spent: 1.0ms, 21.0% of total-time

Operation ival-add, time spent: 1.0ms, 21.0% of total-time

Operation ival-sub, time spent: 1.0ms, 21.0% of total-time

Operation ival-neg, time spent: 1.0ms, 21.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

26×	`+-commutative`
18×	`*-commutative`
6×	`sub-neg`
4×	`neg-mul-1`
4×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	61	414
1	89	414
2	94	414
3	97	414
4	98	414

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(if (<=.f64 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 1) (/.f64 (+.f64 (.f64 1/2520 (pow.f64 x 7)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 1)
(if (<=.f64 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 5404319552844595/9007199254740992) (+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (*.f64 2/15 (pow.f64 x 5))))) 1)
(if (<=.f64 x 5404319552844595/4503599627370496) (+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5)))) 1)
(if (<=.f64 x 2589569785738035/2251799813685248) (+.f64 x (*.f64 (pow.f64 x 3) -1/3)) 1)
(if (<=.f64 x 1) x 1)
1
1/2

Outputs
(if (<=.f64 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 1) (/.f64 (+.f64 (.f64 1/2520 (pow.f64 x 7)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 1)
(if (<=.f64 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 1) (/.f64 (+.f64 (.f64 1/2520 (pow.f64 x 7)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 x 2)))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 1)
(if (<=.f64 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 5404319552844595/9007199254740992) (+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (*.f64 2/15 (pow.f64 x 5))))) 1)
(if (<=.f64 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 5404319552844595/9007199254740992) (+.f64 x (+.f64 (.f64 (pow.f64 x 3) -1/3) (+.f64 (.f64 (pow.f64 x 7) -17/315) (*.f64 (pow.f64 x 5) 2/15)))) 1)
(if (<=.f64 x 5404319552844595/4503599627370496) (+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5)))) 1)
(if (<=.f64 x 5404319552844595/4503599627370496) (+.f64 x (+.f64 (.f64 (pow.f64 x 3) -1/3) (.f64 (pow.f64 x 5) 2/15))) 1)
(if (<=.f64 x 2589569785738035/2251799813685248) (+.f64 x (*.f64 (pow.f64 x 3) -1/3)) 1)
(if (<=.f64 x 1) x 1)
1
1/2

Compiler

Compiled 126 to 89 computations (29.4% saved)

soundness455.0ms (4.1%)

Rules

1396×	`fma-def`
1396×	`fma-def`
1008×	`unswap-sqr`
1008×	`unswap-sqr`
912×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	42
1	174	42
2	3424	42
0	61	822
1	142	817
2	334	811
3	964	807
4	3187	807
5	5283	807
6	7064	807
0	38	258
1	567	258
0	38	258
1	567	258
0	61	822
1	142	817
2	334	811
3	964	807
4	3187	807
5	5283	807
6	7064	807

Stop Event

1×	node limit
1×	node limit
1×	node limit
1×	node limit
1×	unsound

Compiler

Compiled 43 to 33 computations (23.3% saved)

end0.0ms (0%)

preprocess86.0ms (0.8%)

Compiler: Compiled 490 to 324 computations (33.9% saved)

analyze1.0ms (0%)

sample6.0s (53%)

preprocess219.0ms (1.9%)

eval0.0ms (0%)

prune1.0ms (0%)

localize122.0ms (1.1%)

series3.0ms (0%)

rewrite143.0ms (1.3%)

simplify104.0ms (0.9%)

eval14.0ms (0.1%)

prune23.0ms (0.2%)

localize741.0ms (6.6%)

series16.0ms (0.1%)

rewrite61.0ms (0.5%)

simplify149.0ms (1.3%)

eval27.0ms (0.2%)

prune29.0ms (0.3%)

localize963.0ms (8.6%)

series14.0ms (0.1%)

rewrite58.0ms (0.5%)

simplify114.0ms (1%)

eval141.0ms (1.3%)

prune51.0ms (0.5%)

localize801.0ms (7.1%)

series44.0ms (0.4%)

rewrite61.0ms (0.5%)

simplify121.0ms (1.1%)

eval365.0ms (3.3%)

prune71.0ms (0.6%)

regimes35.0ms (0.3%)

regimes59.0ms (0.5%)

regimes49.0ms (0.4%)

regimes14.0ms (0.1%)

regimes13.0ms (0.1%)

regimes4.0ms (0%)

regimes3.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch17.0ms (0.1%)

bsearch14.0ms (0.1%)

bsearch55.0ms (0.5%)

simplify10.0ms (0.1%)

soundness455.0ms (4.1%)

end0.0ms (0%)

preprocess86.0ms (0.8%)

Profiling