Metrics for Hyperbolic tangent

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

sample2.6s (44.6%)

Results

1.3s	3984×	body	1024	valid
550.0ms	7821×	body	256	unsamplable
377.0ms	2021×	body	512	valid
196.0ms	1863×	body	256	valid
148.0ms	388×	body	2048	valid

Bogosity

preprocess140.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1240×	`difference-of-squares`
950×	`div-sub`
760×	`associate-/r/`
568×	`fma-neg`
540×	`cancel-sign-sub-inv`

Problems

242×	`(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))`
9×	`(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))`
5×	No Errors

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	165
1	43	165
2	80	165
3	154	165
4	431	165
5	1873	165
6	5381	165

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

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

Compiler

Compiled 49 to 15 computations (69.4% saved)

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
▶	12.1%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	12.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)

localize90.0ms (1.5%)

Localize:

Found 3 expressions with local error:

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

Compiler

Compiled 35 to 8 computations (77.1% saved)

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

rewrite65.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	42
1	174	42
2	3418	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

simplify95.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	61	822
1	139	817
2	331	811
3	964	807
4	3179	807
5	5275	807
6	7055	807

Stop Event

1×	node limit

Counts

54 → 56

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 1/3 (pow.f64 x 3) (fma.f64 1/60 (pow.f64 x 5) (*.f64 2 x)))
(fma.f64 x (fma.f64 1/3 (pow.f64 x 2) 2) (*.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 2 x (*.f64 1/2520 (pow.f64 x 7)))))
(-.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 5) 2/15 (fma.f64 (pow.f64 x 3) -1/3 (fma.f64 (pow.f64 x 7) -17/315 x)))
(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 1/12 (pow.f64 x 4) (fma.f64 x 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 1/12 (pow.f64 x 4) (fma.f64 x x 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

eval15.0ms (0.3%)

Compiler: Compiled 834 to 448 computations (46.3% saved)

prune25.0ms (0.4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	47	9	56
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	47	10	57

Accuracy

96.9%

Counts

57 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
	10.0%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (fma.f64 x x 2))
✓	12.1%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	94.4%	(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	95.2%	(/.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))))
	93.2%	(/.f64 (*.f64 2 x) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	94.7%	(+.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)))
	94.7%	(+.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)))))
▶	94.9%	(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
▶	94.0%	(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
	93.5%	x
	10.0%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (fma.f64 x x 2))
✓	12.1%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	94.4%	(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	95.2%	(/.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))))
	93.2%	(/.f64 (*.f64 2 x) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	94.7%	(+.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)))
	94.7%	(+.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)))))
▶	94.9%	(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
▶	94.0%	(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
	93.5%	x

Compiler

Compiled 548 to 412 computations (24.8% saved)

localize366.0ms (6.2%)

Localize:

Found 18 expressions with local error:

New	Accuracy	Program
✓	100.0%	(+.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)))
✓	100.0%	(fma.f64 (pow.f64 x 3) -1/3 x)
✓	99.9%	(fma.f64 (pow.f64 x 5) 2/15 (*.f64 (pow.f64 x 7) -17/315))
✓	99.9%	(*.f64 (pow.f64 x 7) -17/315)
✓	100.0%	(+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x))
	100.0%	(+.f64 (exp.f64 x) (exp.f64 (neg.f64 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 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
✓	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 293 to 202 computations (31.1% saved)

series18.0ms (0.3%)

Counts

17 → 108

Calls

51 calls:

Time	Variable		Point	Expression
4.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	@	0	(/.f64 (+.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))
1.0ms	x	@	-inf	(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

rewrite48.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

297×	`log1p-expm1-u`
297×	`expm1-log1p-u`
285×	`add-cube-cbrt`
284×	`add-exp-log`
284×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	272
1	679	272

Stop Event

1×	node limit

Counts

17 → 391

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 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 (.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))
(*.f64 (pow.f64 x 7) -17/315)
(fma.f64 (pow.f64 x 5) 2/15 (*.f64 (pow.f64 x 7) -17/315))
(fma.f64 (pow.f64 x 3) -1/3 x)
(+.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)))

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

simplify153.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1828×	`fma-def`
1826×	`times-frac`
1294×	`associate-/r*`
1292×	`associate-l`
1080×	`associate-/r/`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	93	4099
1	215	4011
2	405	3999
3	913	3979
4	1763	3795
5	3958	3795
6	6190	3771
7	7729	3771

Stop Event

1×	node limit

Counts

499 → 93

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))
x
(+.f64 x (*.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 2/15 (pow.f64 x 5))
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5)))
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))
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 2/15 (pow.f64 x 5))
(+.f64 (.f64 -17/315 (pow.f64 x 7)) (.f64 2/15 (pow.f64 x 5)))
(+.f64 (.f64 -17/315 (pow.f64 x 7)) (.f64 2/15 (pow.f64 x 5)))
(+.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)))
(+.f64 (.f64 -17/315 (pow.f64 x 7)) (.f64 2/15 (pow.f64 x 5)))
(+.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)))
(+.f64 (.f64 -17/315 (pow.f64 x 7)) (.f64 2/15 (pow.f64 x 5)))
(+.f64 (.f64 -17/315 (pow.f64 x 7)) (.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 (.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)))
(+.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 (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.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)))
(+.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 (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.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
-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 -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))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (fma.f64 2/15 (pow.f64 x 5) (*.f64 -17/315 (pow.f64 x 7)))))
(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)))
(*.f64 1/2520 (/.f64 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(/.f64 (*.f64 1/2520 (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 (pow.f64 x 7) (/.f64 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 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 (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)))))
(fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (*.f64 (pow.f64 x 7) (/.f64 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 (*.f64 (pow.f64 x 3) 1/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 (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))))))
(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 (pow.f64 x 7) (/.f64 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 (*.f64 x 2) (+.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 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (.f64 x (*.f64 x 1/3)) 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 2 (.f64 x (*.f64 x 1/3))))))
(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 (*.f64 1/2520 (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 (pow.f64 x 7) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(*.f64 (pow.f64 x 7) (/.f64 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 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 (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)))))
(fma.f64 (pow.f64 x 5) (/.f64 1/60 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (*.f64 (pow.f64 x 7) (/.f64 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 (*.f64 (pow.f64 x 3) 1/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 (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))))))
(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 (pow.f64 x 7) (/.f64 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 (*.f64 x 2) (+.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 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (.f64 x (*.f64 x 1/3)) 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 2 (.f64 x (*.f64 x 1/3))))))
(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))
x
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 -1/3 (pow.f64 x 3) 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 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)))
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 (pow.f64 x 5) 1/8)))
(+.f64 (fma.f64 -1/3 (pow.f64 x 3) x) (*.f64 (pow.f64 x 5) 1/8))
(fma.f64 -1/3 (pow.f64 x 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 (fma.f64 -1/3 (pow.f64 x 3) x) (fma.f64 (pow.f64 x 5) 1/8 (*.f64 (pow.f64 x 7) -1/20)))
(+.f64 x (fma.f64 (pow.f64 x 5) 1/8 (fma.f64 (pow.f64 x 7) -1/20 (*.f64 -1/3 (pow.f64 x 3)))))
(fma.f64 -1/3 (pow.f64 x 3) (fma.f64 (pow.f64 x 5) 1/8 (fma.f64 (pow.f64 x 7) -1/20 x)))
(fma.f64 (pow.f64 x 7) -1/20 (fma.f64 -1/3 (pow.f64 x 3) (fma.f64 (pow.f64 x 5) 1/8 x)))
(*.f64 1/3 (/.f64 (pow.f64 x 3) (+.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))))
(*.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)))))
(.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (.f64 x (*.f64 x 1/3)) 2))
(.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 2 (.f64 x (*.f64 x 1/3))))
(/.f64 (+.f64 (.f64 x 2) (.f64 (pow.f64 x 3) 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)))))
(.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (.f64 x (*.f64 x 1/3)) 2))
(.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 2 (.f64 x (*.f64 x 1/3))))
(/.f64 (+.f64 (.f64 x 2) (.f64 (pow.f64 x 3) 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)))))
(.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (.f64 x (*.f64 x 1/3)) 2))
(.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 2 (.f64 x (*.f64 x 1/3))))
(/.f64 (+.f64 (.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) (+.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 (pow.f64 x 3) 1/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 (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)))))
(.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (.f64 x (*.f64 x 1/3)) 2))
(.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 2 (.f64 x (*.f64 x 1/3))))
(/.f64 (+.f64 (.f64 x 2) (.f64 (pow.f64 x 3) 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)))))
(.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (.f64 x (*.f64 x 1/3)) 2))
(.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 2 (.f64 x (*.f64 x 1/3))))
(/.f64 (+.f64 (.f64 x 2) (.f64 (pow.f64 x 3) 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)))))
(.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (.f64 x (*.f64 x 1/3)) 2))
(.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 2 (.f64 x (*.f64 x 1/3))))
(/.f64 (+.f64 (.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(*.f64 2 x)
(*.f64 x 2)
(*.f64 1/3 (pow.f64 x 3))
(*.f64 (pow.f64 x 3) 1/3)
(*.f64 1/3 (pow.f64 x 3))
(*.f64 (pow.f64 x 3) 1/3)
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 2/15 (pow.f64 x 5))
(+.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 (.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 (.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)))
(+.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 (.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)))
(+.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 (.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)))
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 -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))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (fma.f64 2/15 (pow.f64 x 5) (*.f64 -17/315 (pow.f64 x 7)))))
(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)))
(*.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 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (*.f64 2/15 (pow.f64 x 5))))
(fma.f64 -1/3 (pow.f64 x 3) (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) (*.f64 -17/315 (pow.f64 x 7))))
(+.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))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (fma.f64 2/15 (pow.f64 x 5) (*.f64 -17/315 (pow.f64 x 7)))))
(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)))
(*.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 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (*.f64 2/15 (pow.f64 x 5))))
(fma.f64 -1/3 (pow.f64 x 3) (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) (*.f64 -17/315 (pow.f64 x 7))))
(+.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))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (fma.f64 2/15 (pow.f64 x 5) (*.f64 -17/315 (pow.f64 x 7)))))
(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)))
-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
-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

eval53.0ms (0.9%)

Compiler: Compiled 2941 to 1798 computations (38.9% saved)

prune116.0ms (2%)

Pruning

16 alts after pruning (12 fresh and 4 done)

	Pruned	Kept	Total
New	136	10	146
Fresh	2	2	4
Picked	2	3	5
Done	0	1	1
Total	140	16	156

Accuracy

96.9%

Counts

156 → 16

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	12.1%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	94.8%	(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (fma.f64 x x 2))
	94.9%	(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (fma.f64 1/12 (pow.f64 x 4) (fma.f64 x x 2)))
	94.9%	(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (+.f64 2 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))
✓	95.2%	(/.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))))
▶	95.5%	(/.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 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))))
	3.9%	(/.f64 (+.f64 10 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	4.1%	(/.f64 (+.f64 -4 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	93.2%	(/.f64 (*.f64 x 2) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
	94.7%	(+.f64 (fma.f64 (pow.f64 x 3) -1/3 x) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (.f64 2/15 (pow.f64 x 5))))
	5.4%	(+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5)))
▶	94.7%	(+.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)))))
✓	94.9%	(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
✓	94.0%	(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
	94.5%	(.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (.f64 x (*.f64 x 1/3)) 2))
	93.5%	x
✓	12.1%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	94.8%	(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (fma.f64 x x 2))
	94.9%	(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (fma.f64 1/12 (pow.f64 x 4) (fma.f64 x x 2)))
	94.9%	(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (+.f64 2 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))
✓	95.2%	(/.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))))
▶	95.5%	(/.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 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))))
	3.9%	(/.f64 (+.f64 10 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	4.1%	(/.f64 (+.f64 -4 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	93.2%	(/.f64 (*.f64 x 2) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
	94.7%	(+.f64 (fma.f64 (pow.f64 x 3) -1/3 x) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (.f64 2/15 (pow.f64 x 5))))
	5.4%	(+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5)))
▶	94.7%	(+.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)))))
✓	94.9%	(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
✓	94.0%	(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
	94.5%	(.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (.f64 x (*.f64 x 1/3)) 2))
	93.5%	x

Compiler

Compiled 942 to 728 computations (22.7% saved)

localize497.0ms (8.4%)

Localize:

Found 15 expressions with local error:

New	Accuracy	Program
✓	99.9%	(+.f64 (.f64 -17/315 (pow.f64 x 7)) (.f64 2/15 (pow.f64 x 5)))
✓	99.9%	(*.f64 -17/315 (pow.f64 x 7))
✓	99.9%	(*.f64 2/15 (pow.f64 x 5))
✓	99.8%	(*.f64 -1/3 (pow.f64 x 3))
	100.0%	(+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x))
✓	99.9%	(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (fma.f64 x x 2))
	99.8%	(*.f64 1/3 (pow.f64 x 3))
	100.0%	(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
✓	100.0%	(/.f64 (+.f64 -4 (*.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 x 2) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
✓	99.9%	(*.f64 1/360 (pow.f64 x 6))
✓	99.9%	(*.f64 1/60 (pow.f64 x 5))
✓	99.8%	(*.f64 1/12 (pow.f64 x 4))
	99.8%	(*.f64 1/3 (pow.f64 x 3))

Compiler

Compiled 369 to 263 computations (28.7% saved)

series9.0ms (0.2%)

Counts

10 → 39

Calls

30 calls:

Time	Variable		Point	Expression
2.0ms	x	@	inf	(+.f64 (.f64 -17/315 (pow.f64 x 7)) (.f64 2/15 (pow.f64 x 5)))
1.0ms	x	@	-inf	(/.f64 (*.f64 x 2) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
1.0ms	x	@	inf	(/.f64 (*.f64 x 2) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
1.0ms	x	@	-inf	(/.f64 (+.f64 -4 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
1.0ms	x	@	0	(*.f64 1/360 (pow.f64 x 6))

rewrite48.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

464×	`associate-r`
304×	`associate-l`
270×	`log1p-expm1-u`
270×	`expm1-log1p-u`
260×	`add-exp-log`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	229
1	629	229

Stop Event

1×	node limit

Counts

10 → 133

Calls

Call 1

Inputs
(*.f64 1/12 (pow.f64 x 4))
(*.f64 1/60 (pow.f64 x 5))
(*.f64 1/360 (pow.f64 x 6))
(/.f64 (*.f64 x 2) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (+.f64 -4 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (fma.f64 x x 2))
(*.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)))

Outputs
1/144
1/12
1/3600
1/60
1/129600
1/360
-15
-2
-1
-1/3
0
1/27
1/9
1/3
1/2
3/4
1
5/4
3/2
7/4
2
5/2
3
7/2
4
5
6
7
8
9
10
12
14
15
225
3375
-15
-2
-1
-1/3
0
1/27
1/9
1/3
1/2
3/4
1
5/4
3/2
7/4
2
5/2
3
7/2
4
5
6
7
8
9
10
12
14
15
225
3375
-15
-2
-1
-1/3
0
1/27
1/9
1/3
1/2
3/4
1
5/4
3/2
7/4
2
5/2
3
7/2
4
5
6
7
8
9
10
12
14
15
225
3375
-15
-2
-1
-1/3
0
1/27
1/9
1/3
1/2
3/4
1
5/4
3/2
7/4
2
5/2
3
7/2
4
5
6
7
8
9
10
12
14
15
225
3375
8/3375
4/225
2/15
-17/315
-4913/31255875
289/99225
5/63

simplify75.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

1726×	`fma-neg`
1342×	`fma-def`
994×	`associate-/r*`
898×	`unswap-sqr`
668×	`times-frac`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	116	1647
1	242	1613
2	492	1602
3	1261	1591
4	2983	1591
5	6536	1591

Stop Event

1×	node limit

Counts

172 → 108

Calls

Call 1

Inputs
x
(+.f64 x (*.f64 -1/2 (pow.f64 x 3)))
(+.f64 x (+.f64 (.f64 -1/2 (pow.f64 x 3)) (.f64 5/24 (pow.f64 x 5))))
(+.f64 x (+.f64 (.f64 -1/2 (pow.f64 x 3)) (+.f64 (.f64 -61/720 (pow.f64 x 7)) (*.f64 5/24 (pow.f64 x 5)))))
(*.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(*.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(*.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(*.f64 2 (/.f64 x (+.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 (.f64 -1 x)))))
(.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x)))))
(.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x)))))
-2
(-.f64 x 2)
(-.f64 (+.f64 x (pow.f64 x 2)) 2)
(-.f64 (+.f64 x (+.f64 (*.f64 -1/2 (pow.f64 x 3)) (pow.f64 x 2))) 2)
(*.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 4 (/.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 4 (/.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 4 (/.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 4 (/.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 4 (/.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 4 (/.f64 1 (+.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 1/6 (pow.f64 x 5))))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -1/12 (pow.f64 x 7)) (*.f64 1/6 (pow.f64 x 5)))))
(*.f64 1/3 x)
(+.f64 (.f64 1/3 x) (.f64 4/3 (/.f64 1 x)))
(-.f64 (+.f64 (.f64 1/3 x) (.f64 4/3 (/.f64 1 x))) (*.f64 8/3 (/.f64 1 (pow.f64 x 3))))
(-.f64 (+.f64 (.f64 1/3 x) (+.f64 (.f64 4/3 (/.f64 1 x)) (.f64 16/3 (/.f64 1 (pow.f64 x 5))))) (.f64 8/3 (/.f64 1 (pow.f64 x 3))))
(*.f64 1/3 x)
(+.f64 (.f64 1/3 x) (.f64 4/3 (/.f64 1 x)))
(-.f64 (+.f64 (.f64 1/3 x) (.f64 4/3 (/.f64 1 x))) (*.f64 8/3 (/.f64 1 (pow.f64 x 3))))
(-.f64 (+.f64 (.f64 1/3 x) (+.f64 (.f64 4/3 (/.f64 1 x)) (.f64 16/3 (/.f64 1 (pow.f64 x 5))))) (.f64 8/3 (/.f64 1 (pow.f64 x 3))))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 -17/315 (pow.f64 x 7))
1/144
1/12
1/3600
1/60
1/129600
1/360
-15
-2
-1
-1/3
0
1/27
1/9
1/3
1/2
3/4
1
5/4
3/2
7/4
2
5/2
3
7/2
4
5
6
7
8
9
10
12
14
15
225
3375
-15
-2
-1
-1/3
0
1/27
1/9
1/3
1/2
3/4
1
5/4
3/2
7/4
2
5/2
3
7/2
4
5
6
7
8
9
10
12
14
15
225
3375
-15
-2
-1
-1/3
0
1/27
1/9
1/3
1/2
3/4
1
5/4
3/2
7/4
2
5/2
3
7/2
4
5
6
7
8
9
10
12
14
15
225
3375
-15
-2
-1
-1/3
0
1/27
1/9
1/3
1/2
3/4
1
5/4
3/2
7/4
2
5/2
3
7/2
4
5
6
7
8
9
10
12
14
15
225
3375
8/3375
4/225
2/15
-17/315
-4913/31255875
289/99225
5/63

Outputs
x
(+.f64 x (*.f64 -1/2 (pow.f64 x 3)))
(fma.f64 -1/2 (pow.f64 x 3) x)
(+.f64 x (+.f64 (.f64 -1/2 (pow.f64 x 3)) (.f64 5/24 (pow.f64 x 5))))
(+.f64 x (fma.f64 -1/2 (pow.f64 x 3) (*.f64 5/24 (pow.f64 x 5))))
(+.f64 (fma.f64 -1/2 (pow.f64 x 3) x) (*.f64 5/24 (pow.f64 x 5)))
(fma.f64 5/24 (pow.f64 x 5) (fma.f64 -1/2 (pow.f64 x 3) x))
(fma.f64 -1/2 (pow.f64 x 3) (fma.f64 5/24 (pow.f64 x 5) x))
(+.f64 x (+.f64 (.f64 -1/2 (pow.f64 x 3)) (+.f64 (.f64 -61/720 (pow.f64 x 7)) (*.f64 5/24 (pow.f64 x 5)))))
(+.f64 x (fma.f64 -1/2 (pow.f64 x 3) (fma.f64 -61/720 (pow.f64 x 7) (*.f64 5/24 (pow.f64 x 5)))))
(+.f64 (fma.f64 -1/2 (pow.f64 x 3) x) (fma.f64 -61/720 (pow.f64 x 7) (*.f64 5/24 (pow.f64 x 5))))
(+.f64 x (fma.f64 -1/2 (pow.f64 x 3) (fma.f64 5/24 (pow.f64 x 5) (*.f64 -61/720 (pow.f64 x 7)))))
(fma.f64 -1/2 (pow.f64 x 3) (fma.f64 5/24 (pow.f64 x 5) (fma.f64 -61/720 (pow.f64 x 7) x)))
(*.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(/.f64 (*.f64 2 x) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 2 (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) x))
(*.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(/.f64 (*.f64 2 x) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 2 (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) x))
(*.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(/.f64 (*.f64 2 x) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 2 (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) x))
(*.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(/.f64 (*.f64 2 x) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 2 (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) x))
(.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x)))))
(/.f64 (*.f64 2 x) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 2 (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) x))
(*.f64 2 (/.f64 x (+.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 x) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 2 (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) x))
(*.f64 2 (/.f64 x (+.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 x) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 2 (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) x))
(*.f64 2 (/.f64 x (+.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 x) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 2 (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) x))
(*.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
-2
(-.f64 x 2)
(+.f64 x -2)
(-.f64 (+.f64 x (pow.f64 x 2)) 2)
(+.f64 x (-.f64 (pow.f64 x 2) 2))
(+.f64 x (fma.f64 x x -2))
(fma.f64 (+.f64 x 1) x -2)
(fma.f64 x (+.f64 x 1) -2)
(-.f64 (+.f64 x (+.f64 (*.f64 -1/2 (pow.f64 x 3)) (pow.f64 x 2))) 2)
(+.f64 x (-.f64 (fma.f64 -1/2 (pow.f64 x 3) (pow.f64 x 2)) 2))
(+.f64 (fma.f64 -1/2 (pow.f64 x 3) x) (fma.f64 x x -2))
(+.f64 x (fma.f64 x x (fma.f64 -1/2 (pow.f64 x 3) -2)))
(+.f64 x (fma.f64 (fma.f64 x -1/2 1) (pow.f64 x 2) -2))
(+.f64 (fma.f64 (fma.f64 x -1/2 1) (pow.f64 x 2) x) -2)
(*.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(/.f64 (*.f64 2 x) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 2 (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) x))
(-.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 4 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(-.f64 (/.f64 (*.f64 2 x) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 4 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(fma.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 -4 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(fma.f64 x (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 -4 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(-.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 4 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(-.f64 (/.f64 (*.f64 2 x) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 4 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(fma.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 -4 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(fma.f64 x (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 -4 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(-.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (.f64 4 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(-.f64 (/.f64 (*.f64 2 x) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 4 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(fma.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 -4 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(fma.f64 x (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 -4 (+.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 x) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 2 (/.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) x))
(*.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(-.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 4 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(-.f64 (/.f64 (*.f64 2 x) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 4 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(fma.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 -4 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(fma.f64 x (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 -4 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(-.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 4 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(-.f64 (/.f64 (*.f64 2 x) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 4 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(fma.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 -4 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(fma.f64 x (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 -4 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(-.f64 (.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))) (.f64 4 (/.f64 1 (+.f64 (exp.f64 x) (exp.f64 (.f64 -1 x))))))
(-.f64 (/.f64 (*.f64 2 x) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 4 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(fma.f64 2 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 -4 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(fma.f64 x (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 -4 (+.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 1/6 (pow.f64 x 5))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (*.f64 (pow.f64 x 5) 1/6)))
(+.f64 x (fma.f64 (pow.f64 x 3) -1/3 (*.f64 (pow.f64 x 5) 1/6)))
(fma.f64 (pow.f64 x 3) -1/3 (fma.f64 (pow.f64 x 5) 1/6 x))
(fma.f64 (pow.f64 x 5) 1/6 (fma.f64 (pow.f64 x 3) -1/3 x))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -1/12 (pow.f64 x 7)) (*.f64 1/6 (pow.f64 x 5)))))
(+.f64 x (fma.f64 -1/3 (pow.f64 x 3) (fma.f64 -1/12 (pow.f64 x 7) (*.f64 (pow.f64 x 5) 1/6))))
(+.f64 (fma.f64 (pow.f64 x 3) -1/3 x) (fma.f64 (pow.f64 x 5) 1/6 (*.f64 (pow.f64 x 7) -1/12)))
(+.f64 x (fma.f64 (pow.f64 x 3) -1/3 (fma.f64 (pow.f64 x 5) 1/6 (*.f64 (pow.f64 x 7) -1/12))))
(fma.f64 (pow.f64 x 5) 1/6 (fma.f64 (pow.f64 x 3) -1/3 (fma.f64 (pow.f64 x 7) -1/12 x)))
(*.f64 1/3 x)
(*.f64 x 1/3)
(+.f64 (.f64 1/3 x) (.f64 4/3 (/.f64 1 x)))
(fma.f64 1/3 x (/.f64 4/3 x))
(fma.f64 x 1/3 (/.f64 4/3 x))
(-.f64 (+.f64 (.f64 1/3 x) (.f64 4/3 (/.f64 1 x))) (*.f64 8/3 (/.f64 1 (pow.f64 x 3))))
(-.f64 (fma.f64 1/3 x (/.f64 4/3 x)) (/.f64 8/3 (pow.f64 x 3)))
(+.f64 (fma.f64 x 1/3 (/.f64 4/3 x)) (/.f64 -8/3 (pow.f64 x 3)))
(fma.f64 x 1/3 (+.f64 (/.f64 4/3 x) (/.f64 -8/3 (pow.f64 x 3))))
(-.f64 (+.f64 (.f64 1/3 x) (+.f64 (.f64 4/3 (/.f64 1 x)) (.f64 16/3 (/.f64 1 (pow.f64 x 5))))) (.f64 8/3 (/.f64 1 (pow.f64 x 3))))
(-.f64 (+.f64 (fma.f64 1/3 x (/.f64 4/3 x)) (/.f64 16/3 (pow.f64 x 5))) (/.f64 8/3 (pow.f64 x 3)))
(+.f64 (fma.f64 x 1/3 (/.f64 4/3 x)) (+.f64 (/.f64 16/3 (pow.f64 x 5)) (/.f64 -8/3 (pow.f64 x 3))))
(+.f64 (/.f64 4/3 x) (+.f64 (/.f64 16/3 (pow.f64 x 5)) (fma.f64 x 1/3 (/.f64 -8/3 (pow.f64 x 3)))))
(*.f64 1/3 x)
(*.f64 x 1/3)
(+.f64 (.f64 1/3 x) (.f64 4/3 (/.f64 1 x)))
(fma.f64 1/3 x (/.f64 4/3 x))
(fma.f64 x 1/3 (/.f64 4/3 x))
(-.f64 (+.f64 (.f64 1/3 x) (.f64 4/3 (/.f64 1 x))) (*.f64 8/3 (/.f64 1 (pow.f64 x 3))))
(-.f64 (fma.f64 1/3 x (/.f64 4/3 x)) (/.f64 8/3 (pow.f64 x 3)))
(+.f64 (fma.f64 x 1/3 (/.f64 4/3 x)) (/.f64 -8/3 (pow.f64 x 3)))
(fma.f64 x 1/3 (+.f64 (/.f64 4/3 x) (/.f64 -8/3 (pow.f64 x 3))))
(-.f64 (+.f64 (.f64 1/3 x) (+.f64 (.f64 4/3 (/.f64 1 x)) (.f64 16/3 (/.f64 1 (pow.f64 x 5))))) (.f64 8/3 (/.f64 1 (pow.f64 x 3))))
(-.f64 (+.f64 (fma.f64 1/3 x (/.f64 4/3 x)) (/.f64 16/3 (pow.f64 x 5))) (/.f64 8/3 (pow.f64 x 3)))
(+.f64 (fma.f64 x 1/3 (/.f64 4/3 x)) (+.f64 (/.f64 16/3 (pow.f64 x 5)) (/.f64 -8/3 (pow.f64 x 3))))
(+.f64 (/.f64 4/3 x) (+.f64 (/.f64 16/3 (pow.f64 x 5)) (fma.f64 x 1/3 (/.f64 -8/3 (pow.f64 x 3)))))
(*.f64 2/15 (pow.f64 x 5))
(*.f64 (pow.f64 x 5) 2/15)
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 (pow.f64 x 7) -17/315)
(*.f64 -17/315 (pow.f64 x 7))
(*.f64 (pow.f64 x 7) -17/315)
1/144
1/12
1/3600
1/60
1/129600
1/360
-15
-2
-1
-1/3
0
1/27
1/9
1/3
1/2
3/4
1
5/4
3/2
7/4
2
5/2
3
7/2
4
5
6
7
8
9
10
12
14
15
225
3375
-15
-2
-1
-1/3
0
1/27
1/9
1/3
1/2
3/4
1
5/4
3/2
7/4
2
5/2
3
7/2
4
5
6
7
8
9
10
12
14
15
225
3375
-15
-2
-1
-1/3
0
1/27
1/9
1/3
1/2
3/4
1
5/4
3/2
7/4
2
5/2
3
7/2
4
5
6
7
8
9
10
12
14
15
225
3375
-15
-2
-1
-1/3
0
1/27
1/9
1/3
1/2
3/4
1
5/4
3/2
7/4
2
5/2
3
7/2
4
5
6
7
8
9
10
12
14
15
225
3375
8/3375
4/225
2/15
-17/315
-4913/31255875
289/99225
5/63

eval107.0ms (1.8%)

Compiler: Compiled 4112 to 3166 computations (23% saved)

prune34.0ms (0.6%)

Pruning

10 alts after pruning (5 fresh and 5 done)

	Pruned	Kept	Total
New	257	3	260
Fresh	5	2	7
Picked	4	1	5
Done	0	4	4
Total	266	10	276

Accuracy

100.0%

Counts

276 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	12.1%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
✓	95.2%	(/.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.9%	(-.f64 (+.f64 (.f64 1/3 x) (.f64 4/3 (/.f64 1 x))) (*.f64 8/3 (/.f64 1 (pow.f64 x 3))))
▶	94.7%	(+.f64 (fma.f64 (pow.f64 x 3) -1/3 x) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (.f64 2/15 (pow.f64 x 5))))
✓	94.7%	(+.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)))))
✓	94.9%	(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
✓	94.0%	(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
	93.5%	x
	6.4%	1
	5.5%	-1
✓	12.1%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
✓	95.2%	(/.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.9%	(-.f64 (+.f64 (.f64 1/3 x) (.f64 4/3 (/.f64 1 x))) (*.f64 8/3 (/.f64 1 (pow.f64 x 3))))
▶	94.7%	(+.f64 (fma.f64 (pow.f64 x 3) -1/3 x) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (.f64 2/15 (pow.f64 x 5))))
✓	94.7%	(+.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)))))
✓	94.9%	(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
✓	94.0%	(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
	93.5%	x
	6.4%	1
	5.5%	-1

Compiler

Compiled 256 to 196 computations (23.4% saved)

localize168.0ms (2.8%)

Localize:

Found 8 expressions with local error:

New	Accuracy	Program
✓	99.9%	(/.f64 1 (pow.f64 x 3))
✓	99.7%	(*.f64 8/3 (/.f64 1 (pow.f64 x 3)))
✓	99.5%	(*.f64 1/3 x)
✓	99.4%	(*.f64 4/3 (/.f64 1 x))
✓	100.0%	(fma.f64 (pow.f64 x 3) -1/3 x)
	99.9%	(+.f64 (.f64 -17/315 (pow.f64 x 7)) (.f64 2/15 (pow.f64 x 5)))
	99.9%	(*.f64 -17/315 (pow.f64 x 7))
	99.9%	(*.f64 2/15 (pow.f64 x 5))

Compiler

Compiled 121 to 95 computations (21.5% saved)

series3.0ms (0%)

Counts

5 → 36

Calls

15 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(*.f64 8/3 (/.f64 1 (pow.f64 x 3)))
0.0ms	x	@	0	(*.f64 4/3 (/.f64 1 x))
0.0ms	x	@	inf	(*.f64 8/3 (/.f64 1 (pow.f64 x 3)))
0.0ms	x	@	inf	(*.f64 4/3 (/.f64 1 x))
0.0ms	x	@	-inf	(*.f64 8/3 (/.f64 1 (pow.f64 x 3)))

rewrite77.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

856×	`log-prod`
725×	`log1p-expm1-u`
725×	`expm1-log1p-u`
544×	`pow-prod-down`
472×	`pow-prod-up`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	67
1	198	67
2	2254	67

Stop Event

1×	node limit

Counts

5 → 161

Calls

Call 1

Inputs
(fma.f64 (pow.f64 x 3) -1/3 x)
(*.f64 4/3 (/.f64 1 x))
(*.f64 1/3 x)
(*.f64 8/3 (/.f64 1 (pow.f64 x 3)))
(/.f64 1 (pow.f64 x 3))

Outputs
(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
(+.f64 (*.f64 (pow.f64 x 3) -1/3) x)
(+.f64 0 (fma.f64 (pow.f64 x 3) -1/3 x))
(+.f64 (.f64 (.f64 (pow.f64 x 3) -1/3) 1) x)
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (fma.f64 (pow.f64 x 3) -1/3 x))) (cbrt.f64 (exp.f64 (fma.f64 (pow.f64 x 3) -1/3 x))))) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 (pow.f64 x 3) -1/3 x))) 1)
(*.f64 (fma.f64 (pow.f64 x 3) -1/3 x) 1)
(*.f64 (fma.f64 (pow.f64 x 3) -1/3 x) (log.f64 (exp.f64 1)))
(*.f64 1 (fma.f64 (pow.f64 x 3) -1/3 x))
(*.f64 (cbrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x)) (pow.f64 (cbrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x)) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x)) 2) (cbrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))
(*.f64 (sqrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x)) (sqrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))
(/.f64 (+.f64 (pow.f64 (.f64 (pow.f64 x 3) -1/3) 3) (pow.f64 x 3)) (+.f64 (pow.f64 (.f64 (pow.f64 x 3) -1/3) 2) (-.f64 (pow.f64 x 2) (.f64 (.f64 (pow.f64 x 3) -1/3) x))))
(/.f64 (-.f64 (pow.f64 (*.f64 (pow.f64 x 3) -1/3) 2) (pow.f64 x 2)) (fma.f64 (pow.f64 x 3) -1/3 (neg.f64 x)))
(pow.f64 (fma.f64 (pow.f64 x 3) -1/3 x) 1)
(pow.f64 (cbrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x)) 3)
(pow.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -1/3 x) 2) 1/2)
(pow.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -1/3 x) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x)) 2)
(sqrt.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -1/3 x) 2))
(log.f64 (exp.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 (pow.f64 x 3) -1/3 x))))
(log.f64 (.f64 (exp.f64 x) (exp.f64 (.f64 (pow.f64 x 3) -1/3))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 x)) (exp.f64 (.f64 (pow.f64 x 3) -1/3))))
(log.f64 (.f64 (exp.f64 (.f64 (pow.f64 x 3) -1/3)) (+.f64 1 (expm1.f64 x))))
(cbrt.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -1/3 x) 3))
(expm1.f64 (log1p.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))
(exp.f64 (log.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))
(exp.f64 (*.f64 (log.f64 (fma.f64 (pow.f64 x 3) -1/3 x)) 1))
(exp.f64 (.f64 (.f64 (log.f64 (fma.f64 (pow.f64 x 3) -1/3 x)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -1/3 x) 3)) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x))) 2))
(log1p.f64 (expm1.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))
(+.f64 0 (/.f64 4/3 x))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 4/3 x))) (cbrt.f64 (exp.f64 (/.f64 4/3 x))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 4/3 x)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 4/3 x)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 4/3 x)))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 4/3 x))) 1)
(/.f64 4/3 x)
(/.f64 1 (/.f64 x 4/3))
(/.f64 -4/3 (neg.f64 x))
(/.f64 (/.f64 4/3 (cbrt.f64 (pow.f64 x 2))) (cbrt.f64 x))
(/.f64 (/.f64 4/3 (sqrt.f64 x)) (sqrt.f64 x))
(pow.f64 (/.f64 4/3 x) 1)
(pow.f64 (cbrt.f64 (/.f64 4/3 x)) 3)
(pow.f64 (*.f64 (pow.f64 x -2) 16/9) 1/2)
(pow.f64 (pow.f64 (/.f64 4/3 x) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 4/3 x)) 2)
(pow.f64 (/.f64 x 4/3) -1)
(sqrt.f64 (*.f64 (pow.f64 x -2) 16/9))
(log.f64 (exp.f64 (/.f64 4/3 x)))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 4/3 x))))
(cbrt.f64 (pow.f64 (/.f64 4/3 x) 3))
(expm1.f64 (log1p.f64 (/.f64 4/3 x)))
(exp.f64 (log.f64 (/.f64 4/3 x)))
(exp.f64 (*.f64 (log.f64 (/.f64 4/3 x)) 1))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 4/3 x)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 4/3 x))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (/.f64 4/3 x))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 4/3 x))) 2))
(log1p.f64 (expm1.f64 (/.f64 4/3 x)))
(+.f64 0 (*.f64 x 1/3))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 1/3) x)) (cbrt.f64 (pow.f64 (exp.f64 1/3) x)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/3) x))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/3) x))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/3) x))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x 1/3))) 1)
(pow.f64 (*.f64 x 1/3) 1)
(pow.f64 (cbrt.f64 (*.f64 x 1/3)) 3)
(pow.f64 (*.f64 (pow.f64 x 2) 1/9) 1/2)
(pow.f64 (pow.f64 (*.f64 x 1/3) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 x 1/3)) 2)
(sqrt.f64 (*.f64 (pow.f64 x 2) 1/9))
(log.f64 (pow.f64 (exp.f64 1/3) x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x 1/3))))
(cbrt.f64 (pow.f64 (*.f64 x 1/3) 3))
(expm1.f64 (log1p.f64 (*.f64 x 1/3)))
(exp.f64 (log.f64 (*.f64 x 1/3)))
(exp.f64 (.f64 (log.f64 (.f64 x 1/3)) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 x 1/3)) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x 1/3))) 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 x 1/3) 3)) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x 1/3))) 2))
(log1p.f64 (expm1.f64 (*.f64 x 1/3)))
(+.f64 0 (/.f64 8/3 (pow.f64 x 3)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 8/3 (pow.f64 x 3)))) (cbrt.f64 (exp.f64 (/.f64 8/3 (pow.f64 x 3)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 8/3 (pow.f64 x 3))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 8/3 (pow.f64 x 3))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 8/3 (pow.f64 x 3))))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 8/3 (pow.f64 x 3)))) 1)
(/.f64 1 (/.f64 (pow.f64 x 3) 8/3))
(/.f64 8/3 (pow.f64 x 3))
(/.f64 -8/3 (neg.f64 (pow.f64 x 3)))
(/.f64 (/.f64 8/3 x) (pow.f64 x 2))
(/.f64 (/.f64 8/3 (pow.f64 x 2)) x)
(/.f64 (/.f64 8/3 (pow.f64 x 3/2)) (pow.f64 x 3/2))
(pow.f64 (/.f64 8/3 (pow.f64 x 3)) 1)
(pow.f64 (/.f64 (cbrt.f64 8/3) x) 3)
(pow.f64 (*.f64 (pow.f64 x -6) 64/9) 1/2)
(pow.f64 (pow.f64 (/.f64 (cbrt.f64 8/3) x) 9) 1/3)
(pow.f64 (*.f64 (pow.f64 x -3/2) (sqrt.f64 8/3)) 2)
(pow.f64 (/.f64 (pow.f64 x 3) 8/3) -1)
(sqrt.f64 (*.f64 (pow.f64 x -6) 64/9))
(log.f64 (exp.f64 (/.f64 8/3 (pow.f64 x 3))))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 8/3 (pow.f64 x 3)))))
(cbrt.f64 (pow.f64 (/.f64 (cbrt.f64 8/3) x) 9))
(expm1.f64 (log1p.f64 (/.f64 8/3 (pow.f64 x 3))))
(exp.f64 (log.f64 (/.f64 8/3 (pow.f64 x 3))))
(exp.f64 (*.f64 (log.f64 (/.f64 8/3 (pow.f64 x 3))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 8/3 (pow.f64 x 3))) 1) 1))
(exp.f64 (*.f64 (log.f64 (/.f64 (cbrt.f64 8/3) x)) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (/.f64 (cbrt.f64 8/3) x) 9)) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 x -3/2) (sqrt.f64 8/3))) 2))
(log1p.f64 (expm1.f64 (/.f64 8/3 (pow.f64 x 3))))
(+.f64 0 (pow.f64 x -3))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (pow.f64 x -3))) (cbrt.f64 (exp.f64 (pow.f64 x -3))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 x -3)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 x -3)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 x -3)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 x -3))) 1)
(*.f64 1 (pow.f64 x -3))
(*.f64 (/.f64 1 x) (pow.f64 x -2))
(*.f64 (pow.f64 x -3) 1)
(*.f64 (pow.f64 x -3) (log.f64 (exp.f64 1)))
(*.f64 -1 (/.f64 1 (neg.f64 (pow.f64 x 3))))
(*.f64 (pow.f64 x -2) (/.f64 1 x))
(*.f64 (pow.f64 x -3/2) (pow.f64 x -3/2))
(.f64 (.f64 (pow.f64 x -2) 1) (/.f64 1 x))
(.f64 (.f64 (pow.f64 x -2) (cbrt.f64 (pow.f64 x -2))) (cbrt.f64 (/.f64 1 x)))
(*.f64 (pow.f64 x -5/2) (pow.f64 x -1/2))
(pow.f64 x -3)
(pow.f64 (pow.f64 x 3) -1)
(pow.f64 (/.f64 1 x) 3)
(pow.f64 (pow.f64 x -3) 1)
(pow.f64 (pow.f64 x 2) -3/2)
(pow.f64 (cbrt.f64 x) -9)
(pow.f64 (cbrt.f64 (/.f64 1 x)) 9)
(pow.f64 (pow.f64 x -6) 1/2)
(pow.f64 (pow.f64 x -9) 1/3)
(pow.f64 (pow.f64 x 6) -1/2)
(pow.f64 (pow.f64 x 9) -1/3)
(pow.f64 (sqrt.f64 x) -6)
(pow.f64 (pow.f64 x -1/2) 6)
(pow.f64 (pow.f64 x -3/2) 2)
(pow.f64 (pow.f64 x 3/2) -2)
(pow.f64 (neg.f64 (neg.f64 (pow.f64 x 3))) -1)
(sqrt.f64 (pow.f64 x -6))
(log.f64 (exp.f64 (pow.f64 x -3)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 x -3))))
(cbrt.f64 (pow.f64 x -9))
(expm1.f64 (log1p.f64 (pow.f64 x -3)))
(exp.f64 (*.f64 -3 (log.f64 x)))
(exp.f64 (*.f64 (log.f64 x) -3))
(exp.f64 (.f64 (.f64 3 (log.f64 x)) -1))
(exp.f64 (.f64 (.f64 -3 (log.f64 x)) 1))
(exp.f64 (.f64 (.f64 (log.f64 x) 1) -3))
(exp.f64 (.f64 (.f64 (*.f64 3 (log.f64 x)) 1) -1))
(exp.f64 (*.f64 (neg.f64 (log.f64 x)) 3))
(exp.f64 (.f64 (.f64 (log.f64 x) -1) 3))
(exp.f64 (.f64 (.f64 (neg.f64 (log.f64 x)) 1) 3))
(exp.f64 (.f64 (.f64 (log.f64 x) -3) 1))
(exp.f64 (.f64 (.f64 (*.f64 3 (log.f64 x)) -1) 1))
(exp.f64 (.f64 (.f64 (*.f64 -3 (log.f64 x)) 1) 1))
(exp.f64 (*.f64 (log.f64 (pow.f64 x -9)) 1/3))
(exp.f64 (.f64 (.f64 -3/2 (log.f64 x)) 2))
(log1p.f64 (expm1.f64 (pow.f64 x -3)))

simplify74.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

1492×	`fma-def`
1118×	`unswap-sqr`
866×	`distribute-lft-in`
818×	`distribute-rgt-in`
504×	`log-prod`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	380	3431
1	782	3307
2	2130	3135

Stop Event

1×	node limit

Counts

197 → 196

Calls

Call 1

Inputs
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 4/3 x)
(/.f64 4/3 x)
(/.f64 4/3 x)
(/.f64 4/3 x)
(/.f64 4/3 x)
(/.f64 4/3 x)
(/.f64 4/3 x)
(/.f64 4/3 x)
(/.f64 4/3 x)
(/.f64 4/3 x)
(/.f64 4/3 x)
(/.f64 4/3 x)
(/.f64 8/3 (pow.f64 x 3))
(/.f64 8/3 (pow.f64 x 3))
(/.f64 8/3 (pow.f64 x 3))
(/.f64 8/3 (pow.f64 x 3))
(/.f64 8/3 (pow.f64 x 3))
(/.f64 8/3 (pow.f64 x 3))
(/.f64 8/3 (pow.f64 x 3))
(/.f64 8/3 (pow.f64 x 3))
(/.f64 8/3 (pow.f64 x 3))
(/.f64 8/3 (pow.f64 x 3))
(/.f64 8/3 (pow.f64 x 3))
(/.f64 8/3 (pow.f64 x 3))
(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
(+.f64 (*.f64 (pow.f64 x 3) -1/3) x)
(+.f64 0 (fma.f64 (pow.f64 x 3) -1/3 x))
(+.f64 (.f64 (.f64 (pow.f64 x 3) -1/3) 1) x)
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (fma.f64 (pow.f64 x 3) -1/3 x))) (cbrt.f64 (exp.f64 (fma.f64 (pow.f64 x 3) -1/3 x))))) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 (pow.f64 x 3) -1/3 x))) 1)
(*.f64 (fma.f64 (pow.f64 x 3) -1/3 x) 1)
(*.f64 (fma.f64 (pow.f64 x 3) -1/3 x) (log.f64 (exp.f64 1)))
(*.f64 1 (fma.f64 (pow.f64 x 3) -1/3 x))
(*.f64 (cbrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x)) (pow.f64 (cbrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x)) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x)) 2) (cbrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))
(*.f64 (sqrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x)) (sqrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))
(/.f64 (+.f64 (pow.f64 (.f64 (pow.f64 x 3) -1/3) 3) (pow.f64 x 3)) (+.f64 (pow.f64 (.f64 (pow.f64 x 3) -1/3) 2) (-.f64 (pow.f64 x 2) (.f64 (.f64 (pow.f64 x 3) -1/3) x))))
(/.f64 (-.f64 (pow.f64 (*.f64 (pow.f64 x 3) -1/3) 2) (pow.f64 x 2)) (fma.f64 (pow.f64 x 3) -1/3 (neg.f64 x)))
(pow.f64 (fma.f64 (pow.f64 x 3) -1/3 x) 1)
(pow.f64 (cbrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x)) 3)
(pow.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -1/3 x) 2) 1/2)
(pow.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -1/3 x) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x)) 2)
(sqrt.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -1/3 x) 2))
(log.f64 (exp.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 (pow.f64 x 3) -1/3 x))))
(log.f64 (.f64 (exp.f64 x) (exp.f64 (.f64 (pow.f64 x 3) -1/3))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 x)) (exp.f64 (.f64 (pow.f64 x 3) -1/3))))
(log.f64 (.f64 (exp.f64 (.f64 (pow.f64 x 3) -1/3)) (+.f64 1 (expm1.f64 x))))
(cbrt.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -1/3 x) 3))
(expm1.f64 (log1p.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))
(exp.f64 (log.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))
(exp.f64 (*.f64 (log.f64 (fma.f64 (pow.f64 x 3) -1/3 x)) 1))
(exp.f64 (.f64 (.f64 (log.f64 (fma.f64 (pow.f64 x 3) -1/3 x)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -1/3 x) 3)) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x))) 2))
(log1p.f64 (expm1.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))
(+.f64 0 (/.f64 4/3 x))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 4/3 x))) (cbrt.f64 (exp.f64 (/.f64 4/3 x))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 4/3 x)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 4/3 x)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 4/3 x)))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 4/3 x))) 1)
(/.f64 4/3 x)
(/.f64 1 (/.f64 x 4/3))
(/.f64 -4/3 (neg.f64 x))
(/.f64 (/.f64 4/3 (cbrt.f64 (pow.f64 x 2))) (cbrt.f64 x))
(/.f64 (/.f64 4/3 (sqrt.f64 x)) (sqrt.f64 x))
(pow.f64 (/.f64 4/3 x) 1)
(pow.f64 (cbrt.f64 (/.f64 4/3 x)) 3)
(pow.f64 (*.f64 (pow.f64 x -2) 16/9) 1/2)
(pow.f64 (pow.f64 (/.f64 4/3 x) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 4/3 x)) 2)
(pow.f64 (/.f64 x 4/3) -1)
(sqrt.f64 (*.f64 (pow.f64 x -2) 16/9))
(log.f64 (exp.f64 (/.f64 4/3 x)))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 4/3 x))))
(cbrt.f64 (pow.f64 (/.f64 4/3 x) 3))
(expm1.f64 (log1p.f64 (/.f64 4/3 x)))
(exp.f64 (log.f64 (/.f64 4/3 x)))
(exp.f64 (*.f64 (log.f64 (/.f64 4/3 x)) 1))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 4/3 x)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 4/3 x))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (/.f64 4/3 x))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 4/3 x))) 2))
(log1p.f64 (expm1.f64 (/.f64 4/3 x)))
(+.f64 0 (*.f64 x 1/3))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 1/3) x)) (cbrt.f64 (pow.f64 (exp.f64 1/3) x)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/3) x))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/3) x))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/3) x))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x 1/3))) 1)
(pow.f64 (*.f64 x 1/3) 1)
(pow.f64 (cbrt.f64 (*.f64 x 1/3)) 3)
(pow.f64 (*.f64 (pow.f64 x 2) 1/9) 1/2)
(pow.f64 (pow.f64 (*.f64 x 1/3) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 x 1/3)) 2)
(sqrt.f64 (*.f64 (pow.f64 x 2) 1/9))
(log.f64 (pow.f64 (exp.f64 1/3) x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x 1/3))))
(cbrt.f64 (pow.f64 (*.f64 x 1/3) 3))
(expm1.f64 (log1p.f64 (*.f64 x 1/3)))
(exp.f64 (log.f64 (*.f64 x 1/3)))
(exp.f64 (.f64 (log.f64 (.f64 x 1/3)) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 x 1/3)) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x 1/3))) 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 x 1/3) 3)) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x 1/3))) 2))
(log1p.f64 (expm1.f64 (*.f64 x 1/3)))
(+.f64 0 (/.f64 8/3 (pow.f64 x 3)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 8/3 (pow.f64 x 3)))) (cbrt.f64 (exp.f64 (/.f64 8/3 (pow.f64 x 3)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 8/3 (pow.f64 x 3))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 8/3 (pow.f64 x 3))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 8/3 (pow.f64 x 3))))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 8/3 (pow.f64 x 3)))) 1)
(/.f64 1 (/.f64 (pow.f64 x 3) 8/3))
(/.f64 8/3 (pow.f64 x 3))
(/.f64 -8/3 (neg.f64 (pow.f64 x 3)))
(/.f64 (/.f64 8/3 x) (pow.f64 x 2))
(/.f64 (/.f64 8/3 (pow.f64 x 2)) x)
(/.f64 (/.f64 8/3 (pow.f64 x 3/2)) (pow.f64 x 3/2))
(pow.f64 (/.f64 8/3 (pow.f64 x 3)) 1)
(pow.f64 (/.f64 (cbrt.f64 8/3) x) 3)
(pow.f64 (*.f64 (pow.f64 x -6) 64/9) 1/2)
(pow.f64 (pow.f64 (/.f64 (cbrt.f64 8/3) x) 9) 1/3)
(pow.f64 (*.f64 (pow.f64 x -3/2) (sqrt.f64 8/3)) 2)
(pow.f64 (/.f64 (pow.f64 x 3) 8/3) -1)
(sqrt.f64 (*.f64 (pow.f64 x -6) 64/9))
(log.f64 (exp.f64 (/.f64 8/3 (pow.f64 x 3))))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 8/3 (pow.f64 x 3)))))
(cbrt.f64 (pow.f64 (/.f64 (cbrt.f64 8/3) x) 9))
(expm1.f64 (log1p.f64 (/.f64 8/3 (pow.f64 x 3))))
(exp.f64 (log.f64 (/.f64 8/3 (pow.f64 x 3))))
(exp.f64 (*.f64 (log.f64 (/.f64 8/3 (pow.f64 x 3))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 8/3 (pow.f64 x 3))) 1) 1))
(exp.f64 (*.f64 (log.f64 (/.f64 (cbrt.f64 8/3) x)) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (/.f64 (cbrt.f64 8/3) x) 9)) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 x -3/2) (sqrt.f64 8/3))) 2))
(log1p.f64 (expm1.f64 (/.f64 8/3 (pow.f64 x 3))))
(+.f64 0 (pow.f64 x -3))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (pow.f64 x -3))) (cbrt.f64 (exp.f64 (pow.f64 x -3))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 x -3)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 x -3)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 x -3)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 x -3))) 1)
(*.f64 1 (pow.f64 x -3))
(*.f64 (/.f64 1 x) (pow.f64 x -2))
(*.f64 (pow.f64 x -3) 1)
(*.f64 (pow.f64 x -3) (log.f64 (exp.f64 1)))
(*.f64 -1 (/.f64 1 (neg.f64 (pow.f64 x 3))))
(*.f64 (pow.f64 x -2) (/.f64 1 x))
(*.f64 (pow.f64 x -3/2) (pow.f64 x -3/2))
(.f64 (.f64 (pow.f64 x -2) 1) (/.f64 1 x))
(.f64 (.f64 (pow.f64 x -2) (cbrt.f64 (pow.f64 x -2))) (cbrt.f64 (/.f64 1 x)))
(*.f64 (pow.f64 x -5/2) (pow.f64 x -1/2))
(pow.f64 x -3)
(pow.f64 (pow.f64 x 3) -1)
(pow.f64 (/.f64 1 x) 3)
(pow.f64 (pow.f64 x -3) 1)
(pow.f64 (pow.f64 x 2) -3/2)
(pow.f64 (cbrt.f64 x) -9)
(pow.f64 (cbrt.f64 (/.f64 1 x)) 9)
(pow.f64 (pow.f64 x -6) 1/2)
(pow.f64 (pow.f64 x -9) 1/3)
(pow.f64 (pow.f64 x 6) -1/2)
(pow.f64 (pow.f64 x 9) -1/3)
(pow.f64 (sqrt.f64 x) -6)
(pow.f64 (pow.f64 x -1/2) 6)
(pow.f64 (pow.f64 x -3/2) 2)
(pow.f64 (pow.f64 x 3/2) -2)
(pow.f64 (neg.f64 (neg.f64 (pow.f64 x 3))) -1)
(sqrt.f64 (pow.f64 x -6))
(log.f64 (exp.f64 (pow.f64 x -3)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 x -3))))
(cbrt.f64 (pow.f64 x -9))
(expm1.f64 (log1p.f64 (pow.f64 x -3)))
(exp.f64 (*.f64 -3 (log.f64 x)))
(exp.f64 (*.f64 (log.f64 x) -3))
(exp.f64 (.f64 (.f64 3 (log.f64 x)) -1))
(exp.f64 (.f64 (.f64 -3 (log.f64 x)) 1))
(exp.f64 (.f64 (.f64 (log.f64 x) 1) -3))
(exp.f64 (.f64 (.f64 (*.f64 3 (log.f64 x)) 1) -1))
(exp.f64 (*.f64 (neg.f64 (log.f64 x)) 3))
(exp.f64 (.f64 (.f64 (log.f64 x) -1) 3))
(exp.f64 (.f64 (.f64 (neg.f64 (log.f64 x)) 1) 3))
(exp.f64 (.f64 (.f64 (log.f64 x) -3) 1))
(exp.f64 (.f64 (.f64 (*.f64 3 (log.f64 x)) -1) 1))
(exp.f64 (.f64 (.f64 (*.f64 -3 (log.f64 x)) 1) 1))
(exp.f64 (*.f64 (log.f64 (pow.f64 x -9)) 1/3))
(exp.f64 (.f64 (.f64 -3/2 (log.f64 x)) 2))
(log1p.f64 (expm1.f64 (pow.f64 x -3)))

Outputs
x
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 (pow.f64 x 3) -1/3 x)
(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 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 (pow.f64 x 3) -1/3 x)
(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 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(/.f64 4/3 x)
(/.f64 4/3 x)
(/.f64 4/3 x)
(/.f64 4/3 x)
(/.f64 4/3 x)
(/.f64 4/3 x)
(/.f64 4/3 x)
(/.f64 4/3 x)
(/.f64 4/3 x)
(/.f64 4/3 x)
(/.f64 4/3 x)
(/.f64 4/3 x)
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 (*.f64 (pow.f64 x 3) -1/3) x)
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 0 (fma.f64 (pow.f64 x 3) -1/3 x))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 (.f64 (.f64 (pow.f64 x 3) -1/3) 1) x)
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (fma.f64 (pow.f64 x 3) -1/3 x))) (cbrt.f64 (exp.f64 (fma.f64 (pow.f64 x 3) -1/3 x))))) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (fma.f64 -1/3 (pow.f64 x 3) x))))) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 -1/3 (pow.f64 x 3) x)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (fma.f64 -1/3 (pow.f64 x 3) x)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))))
(*.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 -1/3 (pow.f64 x 3) x)))) 2)
(-.f64 (exp.f64 (log1p.f64 (fma.f64 (pow.f64 x 3) -1/3 x))) 1)
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(*.f64 (fma.f64 (pow.f64 x 3) -1/3 x) 1)
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(*.f64 (fma.f64 (pow.f64 x 3) -1/3 x) (log.f64 (exp.f64 1)))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(*.f64 1 (fma.f64 (pow.f64 x 3) -1/3 x))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(*.f64 (cbrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x)) (pow.f64 (cbrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x)) 2))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x)) 2) (cbrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(*.f64 (sqrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x)) (sqrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(/.f64 (+.f64 (pow.f64 (.f64 (pow.f64 x 3) -1/3) 3) (pow.f64 x 3)) (+.f64 (pow.f64 (.f64 (pow.f64 x 3) -1/3) 2) (-.f64 (pow.f64 x 2) (.f64 (.f64 (pow.f64 x 3) -1/3) x))))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 -1/3 (pow.f64 x 3)) 3)) (+.f64 (pow.f64 (.f64 -1/3 (pow.f64 x 3)) 2) (-.f64 (pow.f64 x 2) (.f64 x (.f64 -1/3 (pow.f64 x 3))))))
(/.f64 (fma.f64 (pow.f64 (pow.f64 x 3) 3) -1/27 (pow.f64 x 3)) (+.f64 (.f64 1/9 (pow.f64 x 6)) (.f64 x (-.f64 x (*.f64 -1/3 (pow.f64 x 3))))))
(/.f64 (fma.f64 (pow.f64 (pow.f64 x 3) 3) -1/27 (pow.f64 x 3)) (fma.f64 1/9 (pow.f64 x 6) (fma.f64 x x (*.f64 1/3 (pow.f64 x 4)))))
(/.f64 (-.f64 (pow.f64 (*.f64 (pow.f64 x 3) -1/3) 2) (pow.f64 x 2)) (fma.f64 (pow.f64 x 3) -1/3 (neg.f64 x)))
(/.f64 (-.f64 (pow.f64 (*.f64 -1/3 (pow.f64 x 3)) 2) (pow.f64 x 2)) (fma.f64 (pow.f64 x 3) -1/3 (neg.f64 x)))
(/.f64 (-.f64 (.f64 1/9 (pow.f64 x 6)) (pow.f64 x 2)) (-.f64 (.f64 -1/3 (pow.f64 x 3)) x))
(/.f64 (fma.f64 1/9 (pow.f64 x 6) (neg.f64 (pow.f64 x 2))) (fma.f64 -1/3 (pow.f64 x 3) (neg.f64 x)))
(pow.f64 (fma.f64 (pow.f64 x 3) -1/3 x) 1)
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(pow.f64 (cbrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x)) 3)
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(pow.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -1/3 x) 2) 1/2)
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(pow.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -1/3 x) 3) 1/3)
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(pow.f64 (sqrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x)) 2)
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(sqrt.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -1/3 x) 2))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(log.f64 (exp.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 (pow.f64 x 3) -1/3 x))))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(log.f64 (.f64 (exp.f64 x) (exp.f64 (.f64 (pow.f64 x 3) -1/3))))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(log.f64 (.f64 (+.f64 1 (expm1.f64 x)) (exp.f64 (.f64 (pow.f64 x 3) -1/3))))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(log.f64 (.f64 (exp.f64 (.f64 (pow.f64 x 3) -1/3)) (+.f64 1 (expm1.f64 x))))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(cbrt.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -1/3 x) 3))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(expm1.f64 (log1p.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(exp.f64 (log.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(exp.f64 (*.f64 (log.f64 (fma.f64 (pow.f64 x 3) -1/3 x)) 1))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(exp.f64 (.f64 (.f64 (log.f64 (fma.f64 (pow.f64 x 3) -1/3 x)) 1) 1))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x))) 3))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(exp.f64 (*.f64 (log.f64 (pow.f64 (fma.f64 (pow.f64 x 3) -1/3 x) 3)) 1/3))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 (pow.f64 x 3) -1/3 x))) 2))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(log1p.f64 (expm1.f64 (fma.f64 (pow.f64 x 3) -1/3 x)))
(fma.f64 (pow.f64 x 3) -1/3 x)
(fma.f64 -1/3 (pow.f64 x 3) x)
(+.f64 0 (/.f64 4/3 x))
(/.f64 4/3 x)
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 4/3 x))) (cbrt.f64 (exp.f64 (/.f64 4/3 x))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 4/3 x)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (/.f64 4/3 x))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 4/3 x)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (/.f64 4/3 x)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 4/3 x)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 4/3 x)))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (/.f64 4/3 x)))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 4/3 x))) 1)
(/.f64 4/3 x)
(/.f64 4/3 x)
(/.f64 1 (/.f64 x 4/3))
(/.f64 4/3 x)
(/.f64 -4/3 (neg.f64 x))
(/.f64 4/3 x)
(/.f64 (/.f64 4/3 (cbrt.f64 (pow.f64 x 2))) (cbrt.f64 x))
(/.f64 4/3 (*.f64 (cbrt.f64 (pow.f64 x 2)) (cbrt.f64 x)))
(/.f64 (/.f64 4/3 (sqrt.f64 x)) (sqrt.f64 x))
(/.f64 4/3 x)
(pow.f64 (/.f64 4/3 x) 1)
(/.f64 4/3 x)
(pow.f64 (cbrt.f64 (/.f64 4/3 x)) 3)
(/.f64 4/3 x)
(pow.f64 (*.f64 (pow.f64 x -2) 16/9) 1/2)
(sqrt.f64 (*.f64 (pow.f64 x -2) 16/9))
(pow.f64 (pow.f64 (/.f64 4/3 x) 3) 1/3)
(/.f64 4/3 x)
(pow.f64 (sqrt.f64 (/.f64 4/3 x)) 2)
(/.f64 4/3 x)
(pow.f64 (/.f64 x 4/3) -1)
(/.f64 4/3 x)
(sqrt.f64 (*.f64 (pow.f64 x -2) 16/9))
(log.f64 (exp.f64 (/.f64 4/3 x)))
(/.f64 4/3 x)
(log.f64 (+.f64 1 (expm1.f64 (/.f64 4/3 x))))
(/.f64 4/3 x)
(cbrt.f64 (pow.f64 (/.f64 4/3 x) 3))
(/.f64 4/3 x)
(expm1.f64 (log1p.f64 (/.f64 4/3 x)))
(/.f64 4/3 x)
(exp.f64 (log.f64 (/.f64 4/3 x)))
(/.f64 4/3 x)
(exp.f64 (*.f64 (log.f64 (/.f64 4/3 x)) 1))
(/.f64 4/3 x)
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 4/3 x)) 1) 1))
(/.f64 4/3 x)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 4/3 x))) 3))
(/.f64 4/3 x)
(exp.f64 (.f64 (.f64 3 (log.f64 (/.f64 4/3 x))) 1/3))
(/.f64 4/3 x)
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 4/3 x))) 2))
(/.f64 4/3 x)
(log1p.f64 (expm1.f64 (/.f64 4/3 x)))
(/.f64 4/3 x)
(+.f64 0 (*.f64 x 1/3))
(*.f64 x 1/3)
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 1/3) x)) (cbrt.f64 (pow.f64 (exp.f64 1/3) x)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/3) x))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/3) x)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/3) x))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/3) x))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/3) x))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/3) x))))
(*.f64 x 1/3)
(-.f64 (exp.f64 (log1p.f64 (*.f64 x 1/3))) 1)
(*.f64 x 1/3)
(pow.f64 (*.f64 x 1/3) 1)
(*.f64 x 1/3)
(pow.f64 (cbrt.f64 (*.f64 x 1/3)) 3)
(*.f64 x 1/3)
(pow.f64 (*.f64 (pow.f64 x 2) 1/9) 1/2)
(sqrt.f64 (*.f64 (pow.f64 x 2) 1/9))
(fabs.f64 (*.f64 x 1/3))
(pow.f64 (pow.f64 (*.f64 x 1/3) 3) 1/3)
(*.f64 x 1/3)
(pow.f64 (sqrt.f64 (*.f64 x 1/3)) 2)
(*.f64 x 1/3)
(sqrt.f64 (*.f64 (pow.f64 x 2) 1/9))
(fabs.f64 (*.f64 x 1/3))
(log.f64 (pow.f64 (exp.f64 1/3) x))
(*.f64 x 1/3)
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x 1/3))))
(*.f64 x 1/3)
(cbrt.f64 (pow.f64 (*.f64 x 1/3) 3))
(*.f64 x 1/3)
(expm1.f64 (log1p.f64 (*.f64 x 1/3)))
(*.f64 x 1/3)
(exp.f64 (log.f64 (*.f64 x 1/3)))
(*.f64 x 1/3)
(exp.f64 (.f64 (log.f64 (.f64 x 1/3)) 1))
(*.f64 x 1/3)
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 x 1/3)) 1) 1))
(*.f64 x 1/3)
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x 1/3))) 3))
(*.f64 x 1/3)
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 x 1/3) 3)) 1/3))
(*.f64 x 1/3)
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x 1/3))) 2))
(*.f64 x 1/3)
(log1p.f64 (expm1.f64 (*.f64 x 1/3)))
(*.f64 x 1/3)
(+.f64 0 (/.f64 8/3 (pow.f64 x 3)))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 8/3 (pow.f64 x 3)))) (cbrt.f64 (exp.f64 (/.f64 8/3 (pow.f64 x 3)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 8/3 (pow.f64 x 3))))))
(+.f64 (.f64 2 (log.f64 (cbrt.f64 (exp.f64 (.f64 8/3 (pow.f64 x -3)))))) (log.f64 (cbrt.f64 (exp.f64 (*.f64 8/3 (pow.f64 x -3))))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 8/3) (pow.f64 x -3)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 8/3 (pow.f64 x 3))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 8/3 (pow.f64 x 3))))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (/.f64 8/3 (pow.f64 x 3))))))
(.f64 2 (log.f64 (sqrt.f64 (exp.f64 (.f64 8/3 (pow.f64 x -3))))))
(*.f64 2 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 8/3) (pow.f64 x -3)))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 8/3 (pow.f64 x 3)))) 1)
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(/.f64 1 (/.f64 (pow.f64 x 3) 8/3))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(/.f64 -8/3 (neg.f64 (pow.f64 x 3)))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(/.f64 (/.f64 8/3 x) (pow.f64 x 2))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(/.f64 (/.f64 8/3 (pow.f64 x 2)) x)
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(/.f64 (/.f64 8/3 (pow.f64 x 3/2)) (pow.f64 x 3/2))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(pow.f64 (/.f64 8/3 (pow.f64 x 3)) 1)
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(pow.f64 (/.f64 (cbrt.f64 8/3) x) 3)
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(pow.f64 (*.f64 (pow.f64 x -6) 64/9) 1/2)
(sqrt.f64 (*.f64 (pow.f64 x -6) 64/9))
(pow.f64 (pow.f64 (/.f64 (cbrt.f64 8/3) x) 9) 1/3)
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(pow.f64 (*.f64 (pow.f64 x -3/2) (sqrt.f64 8/3)) 2)
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(pow.f64 (/.f64 (pow.f64 x 3) 8/3) -1)
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(sqrt.f64 (*.f64 (pow.f64 x -6) 64/9))
(log.f64 (exp.f64 (/.f64 8/3 (pow.f64 x 3))))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 8/3 (pow.f64 x 3)))))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(cbrt.f64 (pow.f64 (/.f64 (cbrt.f64 8/3) x) 9))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(expm1.f64 (log1p.f64 (/.f64 8/3 (pow.f64 x 3))))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(exp.f64 (log.f64 (/.f64 8/3 (pow.f64 x 3))))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(exp.f64 (*.f64 (log.f64 (/.f64 8/3 (pow.f64 x 3))) 1))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 8/3 (pow.f64 x 3))) 1) 1))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(exp.f64 (*.f64 (log.f64 (/.f64 (cbrt.f64 8/3) x)) 3))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (/.f64 (cbrt.f64 8/3) x) 9)) 1/3))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 x -3/2) (sqrt.f64 8/3))) 2))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(log1p.f64 (expm1.f64 (/.f64 8/3 (pow.f64 x 3))))
(/.f64 8/3 (pow.f64 x 3))
(*.f64 8/3 (pow.f64 x -3))
(+.f64 0 (pow.f64 x -3))
(pow.f64 x -3)
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (pow.f64 x -3))) (cbrt.f64 (exp.f64 (pow.f64 x -3))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 x -3)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 x -3))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 x -3)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 x -3)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 x -3)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 x -3)))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 x -3)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 x -3))) 1)
(pow.f64 x -3)
(*.f64 1 (pow.f64 x -3))
(pow.f64 x -3)
(*.f64 (/.f64 1 x) (pow.f64 x -2))
(pow.f64 x -3)
(*.f64 (pow.f64 x -3) 1)
(pow.f64 x -3)
(*.f64 (pow.f64 x -3) (log.f64 (exp.f64 1)))
(pow.f64 x -3)
(*.f64 -1 (/.f64 1 (neg.f64 (pow.f64 x 3))))
(pow.f64 x -3)
(*.f64 (pow.f64 x -2) (/.f64 1 x))
(pow.f64 x -3)
(*.f64 (pow.f64 x -3/2) (pow.f64 x -3/2))
(pow.f64 x -3)
(.f64 (.f64 (pow.f64 x -2) 1) (/.f64 1 x))
(pow.f64 x -3)
(.f64 (.f64 (pow.f64 x -2) (cbrt.f64 (pow.f64 x -2))) (cbrt.f64 (/.f64 1 x)))
(.f64 (pow.f64 x -2) (.f64 (cbrt.f64 (pow.f64 x -2)) (cbrt.f64 (/.f64 1 x))))
(.f64 (cbrt.f64 (pow.f64 x -2)) (.f64 (pow.f64 x -2) (cbrt.f64 (/.f64 1 x))))
(*.f64 (pow.f64 x -5/2) (pow.f64 x -1/2))
(pow.f64 x -3)
(pow.f64 (pow.f64 x 3) -1)
(pow.f64 x -3)
(pow.f64 (/.f64 1 x) 3)
(pow.f64 x -3)
(pow.f64 (pow.f64 x -3) 1)
(pow.f64 x -3)
(pow.f64 (pow.f64 x 2) -3/2)
(pow.f64 x -3)
(pow.f64 (cbrt.f64 x) -9)
(pow.f64 (cbrt.f64 (/.f64 1 x)) 9)
(pow.f64 (pow.f64 x -6) 1/2)
(pow.f64 x -3)
(pow.f64 (pow.f64 x -9) 1/3)
(pow.f64 x -3)
(pow.f64 (pow.f64 x 6) -1/2)
(pow.f64 (pow.f64 x 9) -1/3)
(*.f64 (pow.f64 (pow.f64 x 9) -1/6) (pow.f64 (pow.f64 x 9) -1/6))
(pow.f64 (sqrt.f64 x) -6)
(pow.f64 (pow.f64 x -1/2) 6)
(pow.f64 x -3)
(pow.f64 (pow.f64 x -3/2) 2)
(pow.f64 x -3)
(pow.f64 (pow.f64 x 3/2) -2)
(pow.f64 (neg.f64 (neg.f64 (pow.f64 x 3))) -1)
(pow.f64 x -3)
(sqrt.f64 (pow.f64 x -6))
(pow.f64 x -3)
(log.f64 (exp.f64 (pow.f64 x -3)))
(pow.f64 x -3)
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 x -3))))
(pow.f64 x -3)
(cbrt.f64 (pow.f64 x -9))
(pow.f64 x -3)
(expm1.f64 (log1p.f64 (pow.f64 x -3)))
(pow.f64 x -3)
(exp.f64 (*.f64 -3 (log.f64 x)))
(pow.f64 x -3)
(exp.f64 (*.f64 (log.f64 x) -3))
(pow.f64 x -3)
(exp.f64 (.f64 (.f64 3 (log.f64 x)) -1))
(pow.f64 x -3)
(exp.f64 (.f64 (.f64 -3 (log.f64 x)) 1))
(pow.f64 x -3)
(exp.f64 (.f64 (.f64 (log.f64 x) 1) -3))
(pow.f64 x -3)
(exp.f64 (.f64 (.f64 (*.f64 3 (log.f64 x)) 1) -1))
(pow.f64 x -3)
(exp.f64 (*.f64 (neg.f64 (log.f64 x)) 3))
(pow.f64 x -3)
(exp.f64 (.f64 (.f64 (log.f64 x) -1) 3))
(pow.f64 x -3)
(exp.f64 (.f64 (.f64 (neg.f64 (log.f64 x)) 1) 3))
(pow.f64 x -3)
(exp.f64 (.f64 (.f64 (log.f64 x) -3) 1))
(pow.f64 x -3)
(exp.f64 (.f64 (.f64 (*.f64 3 (log.f64 x)) -1) 1))
(pow.f64 x -3)
(exp.f64 (.f64 (.f64 (*.f64 -3 (log.f64 x)) 1) 1))
(pow.f64 x -3)
(exp.f64 (*.f64 (log.f64 (pow.f64 x -9)) 1/3))
(pow.f64 x -3)
(exp.f64 (.f64 (.f64 -3/2 (log.f64 x)) 2))
(pow.f64 x -3)
(log1p.f64 (expm1.f64 (pow.f64 x -3)))
(pow.f64 x -3)

eval101.0ms (1.7%)

Compiler: Compiled 4210 to 3449 computations (18.1% saved)

prune42.0ms (0.7%)

Pruning

11 alts after pruning (6 fresh and 5 done)

	Pruned	Kept	Total
New	204	3	207
Fresh	0	3	3
Picked	2	0	2
Done	0	5	5
Total	206	11	217

Accuracy

100.0%

Counts

217 → 11

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	12.1%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
✓	95.2%	(/.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.9%	(-.f64 (+.f64 (.f64 1/3 x) (/.f64 4/3 x)) (.f64 8/3 (/.f64 1 (pow.f64 x 3))))
	1.9%	(-.f64 (+.f64 (.f64 1/3 x) (.f64 4/3 (/.f64 1 x))) (pow.f64 (/.f64 (cbrt.f64 8/3) x) 3))
	94.7%	(+.f64 (+.f64 (.f64 (pow.f64 x 3) -1/3) x) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (*.f64 2/15 (pow.f64 x 5))))
✓	94.7%	(+.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)))))
✓	94.9%	(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
✓	94.0%	(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
	93.5%	x
	6.4%	1
	5.5%	-1

Compiler

Compiled 521 to 365 computations (29.9% saved)

regimes43.0ms (0.7%)

Counts

26 → 2

Calls

Call 1

Inputs
-1
1
x
(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
(-.f64 (+.f64 (.f64 1/3 x) (/.f64 4/3 x)) (.f64 8/3 (/.f64 1 (pow.f64 x 3))))
(-.f64 (+.f64 (.f64 1/3 x) (.f64 4/3 (/.f64 1 x))) (*.f64 8/3 (/.f64 1 (pow.f64 x 3))))
(/.f64 (*.f64 2 x) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (*.f64 x 2) (+.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 -4 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (+.f64 10 (*.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 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (fma.f64 x x 2))
(.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (.f64 x (*.f64 x 1/3)) 2))
(-.f64 (+.f64 (.f64 1/3 x) (.f64 4/3 (/.f64 1 x))) (pow.f64 (/.f64 (cbrt.f64 8/3) x) 3))
(/.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 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 (.f64 (pow.f64 x 3) -1/3) x) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (*.f64 2/15 (pow.f64 x 5))))
(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (+.f64 2 (+.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 (fma.f64 (pow.f64 x 3) -1/3 x) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (.f64 2/15 (pow.f64 x 5))))
(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (fma.f64 1/12 (pow.f64 x 4) (fma.f64 x x 2)))
(+.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 (+.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 (+.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 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))))

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 2 (+.f64 (*.f64 1/360 (pow.f64 x 6)) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))))

Calls

2 calls:

27.0ms	x
7.0ms	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Results

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

Compiler

Compiled 393 to 262 computations (33.3% saved)

regimes38.0ms (0.6%)

Counts

25 → 2

Calls

Call 1

Inputs
-1
1
x
(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
(-.f64 (+.f64 (.f64 1/3 x) (/.f64 4/3 x)) (.f64 8/3 (/.f64 1 (pow.f64 x 3))))
(-.f64 (+.f64 (.f64 1/3 x) (.f64 4/3 (/.f64 1 x))) (*.f64 8/3 (/.f64 1 (pow.f64 x 3))))
(/.f64 (*.f64 2 x) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (*.f64 x 2) (+.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 -4 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (+.f64 10 (*.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 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (fma.f64 x x 2))
(.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (.f64 x (*.f64 x 1/3)) 2))
(-.f64 (+.f64 (.f64 1/3 x) (.f64 4/3 (/.f64 1 x))) (pow.f64 (/.f64 (cbrt.f64 8/3) x) 3))
(/.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 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 (.f64 (pow.f64 x 3) -1/3) x) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (*.f64 2/15 (pow.f64 x 5))))
(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (+.f64 2 (+.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 (fma.f64 (pow.f64 x 3) -1/3 x) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (.f64 2/15 (pow.f64 x 5))))
(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (fma.f64 1/12 (pow.f64 x 4) (fma.f64 x x 2)))
(+.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 (+.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))))

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

1 calls:

27.0ms

Results

Accuracy	Segments	Branch
97.7%	2	`x`

Compiler

Compiled 340 to 223 computations (34.4% saved)

regimes51.0ms (0.9%)

Counts

24 → 3

Calls

Call 1

Inputs
-1
1
x
(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
(-.f64 (+.f64 (.f64 1/3 x) (/.f64 4/3 x)) (.f64 8/3 (/.f64 1 (pow.f64 x 3))))
(-.f64 (+.f64 (.f64 1/3 x) (.f64 4/3 (/.f64 1 x))) (*.f64 8/3 (/.f64 1 (pow.f64 x 3))))
(/.f64 (*.f64 2 x) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (*.f64 x 2) (+.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 -4 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (+.f64 10 (*.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 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (fma.f64 x x 2))
(.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (.f64 x (*.f64 x 1/3)) 2))
(-.f64 (+.f64 (.f64 1/3 x) (.f64 4/3 (/.f64 1 x))) (pow.f64 (/.f64 (cbrt.f64 8/3) x) 3))
(/.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 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 (.f64 (pow.f64 x 3) -1/3) x) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (*.f64 2/15 (pow.f64 x 5))))
(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (+.f64 2 (+.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 (fma.f64 (pow.f64 x 3) -1/3 x) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (.f64 2/15 (pow.f64 x 5))))
(/.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (fma.f64 1/12 (pow.f64 x 4) (fma.f64 x x 2)))
(+.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)))

Outputs
-1
(+.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:

37.0ms	x
6.0ms	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Results

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

Compiler

Compiled 326 to 212 computations (35% saved)

regimes26.0ms (0.4%)

Counts

17 → 2

Calls

Call 1

Inputs
-1
1
x
(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
(-.f64 (+.f64 (.f64 1/3 x) (/.f64 4/3 x)) (.f64 8/3 (/.f64 1 (pow.f64 x 3))))
(-.f64 (+.f64 (.f64 1/3 x) (.f64 4/3 (/.f64 1 x))) (*.f64 8/3 (/.f64 1 (pow.f64 x 3))))
(/.f64 (*.f64 2 x) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (*.f64 x 2) (+.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 -4 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (+.f64 10 (*.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 (.f64 1/3 (pow.f64 x 3)) (.f64 2 x)) (fma.f64 x x 2))
(.f64 (/.f64 x (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (.f64 x (*.f64 x 1/3)) 2))
(-.f64 (+.f64 (.f64 1/3 x) (.f64 4/3 (/.f64 1 x))) (pow.f64 (/.f64 (cbrt.f64 8/3) x) 3))
(/.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))))

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

Calls

1 calls:

20.0ms

Results

Accuracy	Segments	Branch
97.3%	2	`x`

Compiler

Compiled 186 to 116 computations (37.6% saved)

regimes23.0ms (0.4%)

Counts

11 → 3

Calls

Call 1

Inputs
-1
1
x
(+.f64 x (*.f64 (pow.f64 x 3) -1/3))
(-.f64 (+.f64 (.f64 1/3 x) (/.f64 4/3 x)) (.f64 8/3 (/.f64 1 (pow.f64 x 3))))
(-.f64 (+.f64 (.f64 1/3 x) (.f64 4/3 (/.f64 1 x))) (*.f64 8/3 (/.f64 1 (pow.f64 x 3))))
(/.f64 (*.f64 2 x) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (*.f64 x 2) (+.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 -4 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (+.f64 10 (*.f64 2 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

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

Calls

1 calls:

20.0ms

Results

Accuracy	Segments	Branch
98.4%	3	`x`

Compiler

Compiled 100 to 64 computations (36% saved)

regimes8.0ms (0.1%)

Counts

3 → 2

Calls

Call 1

Inputs
-1
1
x

Outputs
x
1

Calls

1 calls:

7.0ms

Results

Accuracy	Segments	Branch
95.9%	2	`x`

Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes7.0ms (0.1%)

Counts

2 → 2

Calls

Call 1

Inputs
-1
1

Outputs
-1
1

Calls

1 calls:

6.0ms

Results

Accuracy	Segments	Branch
9.7%	2	`x`

Compiler

Compiled 5 to 4 computations (20% saved)

regimes3.0ms (0.1%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
-1

Outputs
-1

Calls

1 calls:

3.0ms

Results

Accuracy	Segments	Branch
5.5%	1	`x`

Compiler

Compiled 4 to 3 computations (25% saved)

bsearch13.0ms (0.2%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
13.0ms	2.7007030107020933	15.52724475438473

Results

11.0ms

96×

body

256

valid

Compiler

Compiled 282 to 232 computations (17.7% saved)

bsearch12.0ms (0.2%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
12.0ms	2.7007030107020933	15.52724475438473

Results

10.0ms

96×

body

256

valid

Compiler

Compiled 216 to 172 computations (20.4% saved)

bsearch30.0ms (0.5%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
18.0ms	0.01760467370436995	2.7007030107020933
12.0ms	-1.9805786840060966	-0.18444874335260725

Results

26.0ms

208×

body

256

valid

Compiler

Compiled 330 to 270 computations (18.2% saved)

bsearch14.0ms (0.2%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
14.0ms	0.01760467370436995	2.7007030107020933

Results

12.0ms

112×

body

256

valid

Compiler

Compiled 144 to 115 computations (20.1% saved)

bsearch26.0ms (0.4%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
13.0ms	0.01760467370436995	2.7007030107020933
12.0ms	-1.9805786840060966	-0.18444874335260725

Results

23.0ms

208×

body

256

valid

Compiler

Compiled 174 to 140 computations (19.5% saved)

bsearch14.0ms (0.2%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
14.0ms	0.01760467370436995	2.7007030107020933

Results

13.0ms

112×

body

256

valid

Compiler

Compiled 60 to 45 computations (25% saved)

bsearch39.0ms (0.7%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
39.0ms	-6.660439885275653e-308	2.9089499519865277e-307

Results

38.0ms

112×

body

2048

valid

Compiler

Compiled 60 to 52 computations (13.3% saved)

simplify11.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

28×	`+-commutative`
20×	`*-commutative`
2×	`sub-neg`
2×	`1-exp`
2×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	84	500
1	111	500
2	113	500
3	114	500

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(if (<=.f64 x 11/4) (/.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 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))) 1)
(if (<=.f64 x 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)))) 1)
(if (<=.f64 x -5854679515581645/4503599627370496) -1 (if (<=.f64 x 5854679515581645/4503599627370496) (+.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 5/4) (+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5)))) 1)
(if (<=.f64 x -2589569785738035/2251799813685248) -1 (if (<=.f64 x 2589569785738035/2251799813685248) (+.f64 x (*.f64 (pow.f64 x 3) -1/3)) 1))
(if (<=.f64 x 1) x 1)
(if (<=.f64 x -202402253307311/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784) -1 1)
-1

Outputs
(if (<=.f64 x 11/4) (/.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 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))) 1)
(if (<=.f64 x 11/4) (/.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 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))) 1)
(if (<=.f64 x 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)))) 1)
(if (<=.f64 x 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 x 2)))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 1)
(if (<=.f64 x -5854679515581645/4503599627370496) -1 (if (<=.f64 x 5854679515581645/4503599627370496) (+.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 -5854679515581645/4503599627370496) -1 (if (<=.f64 x 5854679515581645/4503599627370496) (+.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 5/4) (+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5)))) 1)
(if (<=.f64 x 5/4) (+.f64 x (+.f64 (.f64 (pow.f64 x 3) -1/3) (.f64 (pow.f64 x 5) 2/15))) 1)
(if (<=.f64 x -2589569785738035/2251799813685248) -1 (if (<=.f64 x 2589569785738035/2251799813685248) (+.f64 x (*.f64 (pow.f64 x 3) -1/3)) 1))
(if (<=.f64 x 1) x 1)
(if (<=.f64 x -202402253307311/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784) -1 1)
-1

Compiler

Compiled 162 to 130 computations (19.8% saved)

soundness375.0ms (6.3%)

Rules

1828×	`fma-def`
1826×	`times-frac`
1396×	`fma-def`
1294×	`associate-/r*`
1292×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	93	4099
1	215	4011
2	405	3999
3	913	3979
4	1763	3795
5	3958	3795
6	6190	3771
7	7729	3771
0	46	229
1	629	229
0	46	229
1	629	229
0	61	822
1	139	817
2	331	811
3	964	807
4	3179	807
5	5275	807
6	7055	807

Stop Event

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

Compiler

Compiled 36 to 22 computations (38.9% saved)

end0.0ms (0%)

preprocess119.0ms (2%)

Compiler: Compiled 338 to 260 computations (23.1% saved)

analyze0.0ms (0%)

sample2.6s (44.6%)

preprocess140.0ms (2.4%)

eval0.0ms (0%)

prune1.0ms (0%)

localize90.0ms (1.5%)

series3.0ms (0%)

rewrite65.0ms (1.1%)

simplify95.0ms (1.6%)

eval15.0ms (0.3%)

prune25.0ms (0.4%)

localize366.0ms (6.2%)

series18.0ms (0.3%)

rewrite48.0ms (0.8%)

simplify153.0ms (2.6%)

eval53.0ms (0.9%)

prune116.0ms (2%)

localize497.0ms (8.4%)

series9.0ms (0.2%)

rewrite48.0ms (0.8%)

simplify75.0ms (1.3%)

eval107.0ms (1.8%)

prune34.0ms (0.6%)

localize168.0ms (2.8%)

series3.0ms (0%)

rewrite77.0ms (1.3%)

simplify74.0ms (1.3%)

eval101.0ms (1.7%)

prune42.0ms (0.7%)

regimes43.0ms (0.7%)

regimes38.0ms (0.6%)

regimes51.0ms (0.9%)

regimes26.0ms (0.4%)

regimes23.0ms (0.4%)

regimes8.0ms (0.1%)

regimes7.0ms (0.1%)

regimes3.0ms (0.1%)

bsearch13.0ms (0.2%)

bsearch12.0ms (0.2%)

bsearch30.0ms (0.5%)

bsearch14.0ms (0.2%)

bsearch26.0ms (0.4%)

bsearch14.0ms (0.2%)

bsearch39.0ms (0.7%)

simplify11.0ms (0.2%)

soundness375.0ms (6.3%)

end0.0ms (0%)

preprocess119.0ms (2%)

Profiling