Details

analyze3.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	74.6%	25.4%	0%	0%	0%	0
0%	0%	74.6%	25.4%	0%	0%	0%	1
50%	37.3%	37.3%	25.4%	0%	0%	0%	2
66.7%	37.3%	18.7%	25.4%	18.7%	0%	0%	3
83.3%	46.7%	9.3%	25.4%	18.7%	0%	0%	4
90.9%	46.7%	4.7%	25.4%	23.3%	0%	0%	5
95.5%	49%	2.3%	25.4%	23.3%	0%	0%	6
97.7%	49%	1.2%	25.4%	24.5%	0%	0%	7
98.8%	49.6%	0.6%	25.4%	24.5%	0%	0%	8
99.4%	49.9%	0.3%	25.4%	24.5%	0%	0%	9
99.7%	49.9%	0.1%	25.4%	24.6%	0%	0%	10
99.9%	49.9%	0.1%	25.4%	24.7%	0%	0%	11
99.9%	49.9%	0%	25.4%	24.7%	0%	0%	12

Compiler

Compiled 8 to 6 computations (25% saved)

sample6.7s (8.8%)

Results

4.1s	4184×	body	1024	valid
1.5s	2095×	body	512	valid
581.0ms	435×	body	2048	valid
539.0ms	1542×	body	256	valid
1.0ms	7×	body	256	infinite

Bogosity

preprocess9.0ms (0%)

Algorithm

2×	egg-herbie

Rules

2×	`rational_best-simplify-3`
2×	`rational_best-simplify-18`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	9	11
2	10	11
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(-.f64 (exp.f64 x) 1)

Outputs
(-.f64 (exp.f64 x) 1)
(+.f64 (exp.f64 x) -1)

Compiler

Compiled 6 to 5 computations (16.7% saved)

simplify192.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

2×	`rational_best-simplify-3`
2×	`rational_best-simplify-18`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	9	11
2	10	11

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(-.f64 (exp.f64 x) 1)

Outputs
(-.f64 (exp.f64 x) 1)
(+.f64 (exp.f64 x) -1)

eval1.0ms (0%)

Compiler: Compiled 9 to 6 computations (33.3% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

58.7b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	58.7b	(-.f64 (exp.f64 x) 1)

Compiler

Compiled 5 to 4 computations (20% saved)

localize6.0ms (0%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	6.0b	(-.f64 (exp.f64 x) 1)

Compiler

Compiled 9 to 5 computations (44.4% saved)

series1.0ms (0%)

Counts

1 → 4

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(-.f64 (exp.f64 x) 1)
0.0ms	x	@	inf	(-.f64 (exp.f64 x) 1)
0.0ms	x	@	-inf	(-.f64 (exp.f64 x) 1)

rewrite269.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1048×	`rational_best-4`
1048×	`rational_best-2`
1048×	`rational_best-3`
1048×	`rational_best-1`
1048×	`exponential-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	45	11
2	86	11
3	210	11
4	608	11
5	2634	11

Stop Event

1×	node limit

Counts

1 → 52

Calls

Call 1

Inputs
(-.f64 (exp.f64 x) 1)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 x) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (exp.f64 x) -1) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (+.f64 (exp.f64 x) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (exp.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (exp.f64 x) 1/2) (+.f64 -1 (.f64 (exp.f64 x) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 (exp.f64 x) 1/2) -1/2) (+.f64 (.f64 (exp.f64 x) 1/2) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 -1 (.f64 (exp.f64 x) 1/2)) (.f64 (exp.f64 x) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1/2 (+.f64 (exp.f64 x) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (+.f64 (+.f64 (.f64 (exp.f64 x) 1/2) -1/2) (+.f64 (/.f64 (exp.f64 x) 4) -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (/.f64 (.f64 (.f64 (-.f64 1 (exp.f64 x)) -3) 1/2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (/.f64 (.f64 (-.f64 1 (exp.f64 x)) -3) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (+.f64 1/2 (/.f64 (exp.f64 x) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (exp.f64 x) 4) (-.f64 (/.f64 (exp.f64 x) 4) (-.f64 1 (.f64 (exp.f64 x) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (exp.f64 x) -1/2) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (+.f64 (.f64 (exp.f64 x) 1/2) -1/2) (+.f64 (/.f64 (exp.f64 x) 4) -1/4)) (+.f64 (/.f64 (exp.f64 x) 4) -1/4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (+.f64 (exp.f64 x) -2) 4) (/.f64 (-.f64 (.f64 (exp.f64 x) 3) 2) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (+.f64 -1 (.f64 (exp.f64 x) 2)) 4) (/.f64 (+.f64 -1 (+.f64 (.f64 (exp.f64 x) 2) -2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 (.f64 (-.f64 1 (exp.f64 x)) -3) 1/2) 2) (+.f64 (/.f64 (exp.f64 x) 4) -1/4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 (-.f64 1 (exp.f64 x)) -3) 4) (+.f64 (/.f64 (exp.f64 x) 4) -1/4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (+.f64 -1 (+.f64 (.f64 (exp.f64 x) 2) -2)) 4) (/.f64 (+.f64 -1 (.f64 (exp.f64 x) 2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (-.f64 (.f64 (exp.f64 x) 3) 2) 4) (/.f64 (+.f64 (exp.f64 x) -2) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (+.f64 1/2 (/.f64 (exp.f64 x) -2))) (+.f64 (/.f64 (exp.f64 x) 4) -1/4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 (exp.f64 x) 4) (+.f64 1/2 (/.f64 (exp.f64 x) -2))) (-.f64 (/.f64 (exp.f64 x) 4) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 (exp.f64 x) 4) 1) (-.f64 (/.f64 (exp.f64 x) 4) (/.f64 (exp.f64 x) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) 1/2) (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (/.f64 (exp.f64 x) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (/.f64 (exp.f64 x) -2)) (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (neg.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4))) (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (neg.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 (exp.f64 x) 4) (-.f64 1 (.f64 (exp.f64 x) 1/2))) (/.f64 (exp.f64 x) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 (exp.f64 x) 4) (-.f64 1 (/.f64 (exp.f64 x) 4))) (-.f64 (/.f64 (exp.f64 x) 4) (neg.f64 (/.f64 (exp.f64 x) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 (exp.f64 x) -1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (exp.f64 x) -1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (+.f64 (.f64 (exp.f64 x) 1/2) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 (exp.f64 x) 2) -2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (+.f64 (.f64 (exp.f64 x) 2) -2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 1 (exp.f64 x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (exp.f64 x) -1) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 (exp.f64 x) 1/2) -1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (.f64 (+.f64 (exp.f64 x) -1) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -2 (+.f64 1/2 (/.f64 (exp.f64 x) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (+.f64 (exp.f64 x) -1) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 2 (.f64 (+.f64 (exp.f64 x) -1) 4)) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/8 (.f64 2 (.f64 (+.f64 (exp.f64 x) -1) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (+.f64 (exp.f64 x) -1) 4) 4) 1/16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (exp.f64 x) -1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 (exp.f64 x) 2) -2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 1 (exp.f64 x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (exp.f64 x) -1) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 (exp.f64 x) -1) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (+.f64 (exp.f64 x) -1) 4) 4) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (+.f64 (exp.f64 x) -2) 2) (*.f64 (exp.f64 x) -2)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (exp.f64 x) -1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 1 (exp.f64 x)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 x) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (exp.f64 x) -1) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (+.f64 (exp.f64 x) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (exp.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (exp.f64 x) 1/2) (+.f64 -1 (*.f64 (exp.f64 x) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (exp.f64 x) 1/2) -1/2) (+.f64 (*.f64 (exp.f64 x) 1/2) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 -1 (*.f64 (exp.f64 x) 1/2)) (*.f64 (exp.f64 x) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1/2 (+.f64 (exp.f64 x) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (+.f64 (+.f64 (*.f64 (exp.f64 x) 1/2) -1/2) (+.f64 (/.f64 (exp.f64 x) 4) -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (/.f64 (*.f64 (*.f64 (-.f64 1 (exp.f64 x)) -3) 1/2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (/.f64 (*.f64 (-.f64 1 (exp.f64 x)) -3) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (+.f64 1/2 (/.f64 (exp.f64 x) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (exp.f64 x) 4) (-.f64 (/.f64 (exp.f64 x) 4) (-.f64 1 (*.f64 (exp.f64 x) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (exp.f64 x) -1/2) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (+.f64 (*.f64 (exp.f64 x) 1/2) -1/2) (+.f64 (/.f64 (exp.f64 x) 4) -1/4)) (+.f64 (/.f64 (exp.f64 x) 4) -1/4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (+.f64 (exp.f64 x) -2) 4) (/.f64 (-.f64 (*.f64 (exp.f64 x) 3) 2) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (+.f64 -1 (*.f64 (exp.f64 x) 2)) 4) (/.f64 (+.f64 -1 (+.f64 (*.f64 (exp.f64 x) 2) -2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 (*.f64 (-.f64 1 (exp.f64 x)) -3) 1/2) 2) (+.f64 (/.f64 (exp.f64 x) 4) -1/4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 (-.f64 1 (exp.f64 x)) -3) 4) (+.f64 (/.f64 (exp.f64 x) 4) -1/4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (+.f64 -1 (+.f64 (*.f64 (exp.f64 x) 2) -2)) 4) (/.f64 (+.f64 -1 (*.f64 (exp.f64 x) 2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (-.f64 (*.f64 (exp.f64 x) 3) 2) 4) (/.f64 (+.f64 (exp.f64 x) -2) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (+.f64 1/2 (/.f64 (exp.f64 x) -2))) (+.f64 (/.f64 (exp.f64 x) 4) -1/4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 (exp.f64 x) 4) (+.f64 1/2 (/.f64 (exp.f64 x) -2))) (-.f64 (/.f64 (exp.f64 x) 4) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 (exp.f64 x) 4) 1) (-.f64 (/.f64 (exp.f64 x) 4) (/.f64 (exp.f64 x) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) 1/2) (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (/.f64 (exp.f64 x) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (/.f64 (exp.f64 x) -2)) (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (neg.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4))) (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (neg.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 (exp.f64 x) 4) (-.f64 1 (*.f64 (exp.f64 x) 1/2))) (/.f64 (exp.f64 x) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 (exp.f64 x) 4) (-.f64 1 (/.f64 (exp.f64 x) 4))) (-.f64 (/.f64 (exp.f64 x) 4) (neg.f64 (/.f64 (exp.f64 x) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (exp.f64 x) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (exp.f64 x) -1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 (exp.f64 x) 1/2) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 (exp.f64 x) 2) -2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 (exp.f64 x) 2) -2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 1 (exp.f64 x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (exp.f64 x) -1) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 (exp.f64 x) 1/2) -1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (+.f64 (exp.f64 x) -1) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -2 (+.f64 1/2 (/.f64 (exp.f64 x) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 (exp.f64 x) -1) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (*.f64 (+.f64 (exp.f64 x) -1) 4)) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/8 (*.f64 2 (*.f64 (+.f64 (exp.f64 x) -1) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (+.f64 (exp.f64 x) -1) 4) 4) 1/16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (exp.f64 x) -1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (exp.f64 x) 2) -2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 1 (exp.f64 x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (exp.f64 x) -1) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 (exp.f64 x) -1) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (+.f64 (exp.f64 x) -1) 4) 4) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 (exp.f64 x) -2) 2) (*.f64 (exp.f64 x) -2)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (exp.f64 x) -1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 1 (exp.f64 x)))))))

simplify442.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

854×	`rational_best-simplify-1`
832×	`rational_best-simplify-3`
708×	`rational_best-simplify-65`
682×	`rational_best-simplify-62`
660×	`rational_best-simplify-50`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	133	814
1	278	800
2	614	794
3	1825	794
4	6567	778

Stop Event

1×	node limit

Counts

56 → 70

Calls

Call 1

Inputs
x
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) x))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (*.f64 1/24 (pow.f64 x 4)) x)))
(+.f64 (exp.f64 x) -1)
(+.f64 (+.f64 (exp.f64 x) -1) 0)
(+.f64 0 (+.f64 (exp.f64 x) -1))
(+.f64 -1 (exp.f64 x))
(+.f64 (.f64 (exp.f64 x) 1/2) (+.f64 -1 (.f64 (exp.f64 x) 1/2)))
(+.f64 (+.f64 (.f64 (exp.f64 x) 1/2) -1/2) (+.f64 (.f64 (exp.f64 x) 1/2) -1/2))
(+.f64 (+.f64 -1 (.f64 (exp.f64 x) 1/2)) (.f64 (exp.f64 x) 1/2))
(+.f64 -1/2 (+.f64 (exp.f64 x) -1/2))
(+.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (+.f64 (+.f64 (*.f64 (exp.f64 x) 1/2) -1/2) (+.f64 (/.f64 (exp.f64 x) 4) -1/4)))
(+.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (/.f64 (.f64 (.f64 (-.f64 1 (exp.f64 x)) -3) 1/2) 2))
(+.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (/.f64 (*.f64 (-.f64 1 (exp.f64 x)) -3) 4))
(+.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (+.f64 1/2 (/.f64 (exp.f64 x) -2))))
(+.f64 (/.f64 (exp.f64 x) 4) (-.f64 (/.f64 (exp.f64 x) 4) (-.f64 1 (*.f64 (exp.f64 x) 1/2))))
(+.f64 (+.f64 (exp.f64 x) -1/2) -1/2)
(+.f64 (+.f64 (+.f64 (*.f64 (exp.f64 x) 1/2) -1/2) (+.f64 (/.f64 (exp.f64 x) 4) -1/4)) (+.f64 (/.f64 (exp.f64 x) 4) -1/4))
(+.f64 (/.f64 (+.f64 (exp.f64 x) -2) 4) (/.f64 (-.f64 (*.f64 (exp.f64 x) 3) 2) 4))
(+.f64 (/.f64 (+.f64 -1 (.f64 (exp.f64 x) 2)) 4) (/.f64 (+.f64 -1 (+.f64 (.f64 (exp.f64 x) 2) -2)) 4))
(+.f64 (/.f64 (.f64 (.f64 (-.f64 1 (exp.f64 x)) -3) 1/2) 2) (+.f64 (/.f64 (exp.f64 x) 4) -1/4))
(+.f64 (/.f64 (*.f64 (-.f64 1 (exp.f64 x)) -3) 4) (+.f64 (/.f64 (exp.f64 x) 4) -1/4))
(+.f64 (/.f64 (+.f64 -1 (+.f64 (.f64 (exp.f64 x) 2) -2)) 4) (/.f64 (+.f64 -1 (.f64 (exp.f64 x) 2)) 4))
(+.f64 (/.f64 (-.f64 (*.f64 (exp.f64 x) 3) 2) 4) (/.f64 (+.f64 (exp.f64 x) -2) 4))
(+.f64 (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (+.f64 1/2 (/.f64 (exp.f64 x) -2))) (+.f64 (/.f64 (exp.f64 x) 4) -1/4))
(+.f64 (-.f64 (/.f64 (exp.f64 x) 4) (+.f64 1/2 (/.f64 (exp.f64 x) -2))) (-.f64 (/.f64 (exp.f64 x) 4) 1/2))
(+.f64 (-.f64 (/.f64 (exp.f64 x) 4) 1) (-.f64 (/.f64 (exp.f64 x) 4) (/.f64 (exp.f64 x) -2)))
(+.f64 (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) 1/2) (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (/.f64 (exp.f64 x) -2)))
(+.f64 (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (/.f64 (exp.f64 x) -2)) (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) 1/2))
(+.f64 (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (neg.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4))) (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (neg.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4))))
(+.f64 (-.f64 (/.f64 (exp.f64 x) 4) (-.f64 1 (*.f64 (exp.f64 x) 1/2))) (/.f64 (exp.f64 x) 4))
(+.f64 (-.f64 (/.f64 (exp.f64 x) 4) (-.f64 1 (/.f64 (exp.f64 x) 4))) (-.f64 (/.f64 (exp.f64 x) 4) (neg.f64 (/.f64 (exp.f64 x) 4))))
(*.f64 1 (+.f64 (exp.f64 x) -1))
(*.f64 (+.f64 (exp.f64 x) -1) 1)
(.f64 2 (+.f64 (.f64 (exp.f64 x) 1/2) -1/2))
(.f64 (+.f64 (.f64 (exp.f64 x) 2) -2) 1/2)
(.f64 1/2 (+.f64 (.f64 (exp.f64 x) 2) -2))
(*.f64 (-.f64 1 (exp.f64 x)) -1)
(.f64 (.f64 (+.f64 (exp.f64 x) -1) 4) 1/4)
(.f64 (+.f64 (.f64 (exp.f64 x) 1/2) -1/2) 2)
(.f64 4 (.f64 (+.f64 (exp.f64 x) -1) 1/4))
(*.f64 -2 (+.f64 1/2 (/.f64 (exp.f64 x) -2)))
(.f64 1/4 (.f64 (+.f64 (exp.f64 x) -1) 4))
(.f64 (.f64 2 (*.f64 (+.f64 (exp.f64 x) -1) 4)) 1/8)
(.f64 1/8 (.f64 2 (*.f64 (+.f64 (exp.f64 x) -1) 4)))
(.f64 (.f64 (*.f64 (+.f64 (exp.f64 x) -1) 4) 4) 1/16)
(/.f64 (+.f64 (exp.f64 x) -1) 1)
(/.f64 (+.f64 (*.f64 (exp.f64 x) 2) -2) 2)
(/.f64 (-.f64 1 (exp.f64 x)) -1)
(/.f64 (*.f64 (+.f64 (exp.f64 x) -1) 4) 4)
(/.f64 (.f64 2 (.f64 (+.f64 (exp.f64 x) -1) 4)) 8)
(/.f64 (.f64 (.f64 (+.f64 (exp.f64 x) -1) 4) 4) 16)
(/.f64 (-.f64 (.f64 (+.f64 (exp.f64 x) -2) 2) (.f64 (exp.f64 x) -2)) 4)
(pow.f64 (+.f64 (exp.f64 x) -1) 1)
(neg.f64 (-.f64 1 (exp.f64 x)))

Outputs
x
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) x))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (*.f64 1/24 (pow.f64 x 4)) x)))
(+.f64 (+.f64 x (.f64 1/24 (pow.f64 x 4))) (+.f64 (.f64 1/2 (pow.f64 x 2)) (*.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (*.f64 1/24 (pow.f64 x 4)))))
(+.f64 x (+.f64 (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/24 (pow.f64 x 4))) (*.f64 1/6 (pow.f64 x 3))))
(+.f64 x (+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) (*.f64 1/24 (pow.f64 x 4)))))
(+.f64 (exp.f64 x) -1)
(+.f64 (+.f64 (exp.f64 x) -1) 0)
(+.f64 (exp.f64 x) -1)
(+.f64 0 (+.f64 (exp.f64 x) -1))
(+.f64 (exp.f64 x) -1)
(+.f64 -1 (exp.f64 x))
(+.f64 (exp.f64 x) -1)
(+.f64 (.f64 (exp.f64 x) 1/2) (+.f64 -1 (.f64 (exp.f64 x) 1/2)))
(+.f64 (exp.f64 x) -1)
(+.f64 (+.f64 (.f64 (exp.f64 x) 1/2) -1/2) (+.f64 (.f64 (exp.f64 x) 1/2) -1/2))
(+.f64 (exp.f64 x) -1)
(+.f64 (+.f64 -1 (.f64 (exp.f64 x) 1/2)) (.f64 (exp.f64 x) 1/2))
(+.f64 (exp.f64 x) -1)
(+.f64 -1/2 (+.f64 (exp.f64 x) -1/2))
(+.f64 (exp.f64 x) -1)
(+.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (+.f64 (+.f64 (*.f64 (exp.f64 x) 1/2) -1/2) (+.f64 (/.f64 (exp.f64 x) 4) -1/4)))
(+.f64 (exp.f64 x) -1)
(+.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (/.f64 (.f64 (.f64 (-.f64 1 (exp.f64 x)) -3) 1/2) 2))
(+.f64 (exp.f64 x) -1)
(+.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (/.f64 (*.f64 (-.f64 1 (exp.f64 x)) -3) 4))
(+.f64 (exp.f64 x) -1)
(+.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (+.f64 1/2 (/.f64 (exp.f64 x) -2))))
(+.f64 (exp.f64 x) -1)
(+.f64 (/.f64 (exp.f64 x) 4) (-.f64 (/.f64 (exp.f64 x) 4) (-.f64 1 (*.f64 (exp.f64 x) 1/2))))
(+.f64 (exp.f64 x) -1)
(+.f64 (+.f64 (exp.f64 x) -1/2) -1/2)
(+.f64 (exp.f64 x) -1)
(+.f64 (+.f64 (+.f64 (*.f64 (exp.f64 x) 1/2) -1/2) (+.f64 (/.f64 (exp.f64 x) 4) -1/4)) (+.f64 (/.f64 (exp.f64 x) 4) -1/4))
(+.f64 (exp.f64 x) -1)
(+.f64 (/.f64 (+.f64 (exp.f64 x) -2) 4) (/.f64 (-.f64 (*.f64 (exp.f64 x) 3) 2) 4))
(+.f64 (exp.f64 x) -1)
(+.f64 (/.f64 (+.f64 -1 (.f64 (exp.f64 x) 2)) 4) (/.f64 (+.f64 -1 (+.f64 (.f64 (exp.f64 x) 2) -2)) 4))
(+.f64 (exp.f64 x) -1)
(+.f64 (/.f64 (.f64 (.f64 (-.f64 1 (exp.f64 x)) -3) 1/2) 2) (+.f64 (/.f64 (exp.f64 x) 4) -1/4))
(+.f64 (exp.f64 x) -1)
(+.f64 (/.f64 (*.f64 (-.f64 1 (exp.f64 x)) -3) 4) (+.f64 (/.f64 (exp.f64 x) 4) -1/4))
(+.f64 (exp.f64 x) -1)
(+.f64 (/.f64 (+.f64 -1 (+.f64 (.f64 (exp.f64 x) 2) -2)) 4) (/.f64 (+.f64 -1 (.f64 (exp.f64 x) 2)) 4))
(+.f64 (exp.f64 x) -1)
(+.f64 (/.f64 (-.f64 (*.f64 (exp.f64 x) 3) 2) 4) (/.f64 (+.f64 (exp.f64 x) -2) 4))
(+.f64 (exp.f64 x) -1)
(+.f64 (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (+.f64 1/2 (/.f64 (exp.f64 x) -2))) (+.f64 (/.f64 (exp.f64 x) 4) -1/4))
(+.f64 (exp.f64 x) -1)
(+.f64 (-.f64 (/.f64 (exp.f64 x) 4) (+.f64 1/2 (/.f64 (exp.f64 x) -2))) (-.f64 (/.f64 (exp.f64 x) 4) 1/2))
(+.f64 -1/2 (+.f64 (-.f64 (/.f64 (exp.f64 x) 4) (/.f64 (exp.f64 x) -2)) (-.f64 (/.f64 (exp.f64 x) 4) 1/2)))
(+.f64 -1/2 (+.f64 (-.f64 (/.f64 (exp.f64 x) 4) 1/2) (+.f64 (*.f64 1/2 (exp.f64 x)) (/.f64 (exp.f64 x) 4))))
(+.f64 -1/2 (+.f64 (-.f64 (/.f64 (exp.f64 x) 4) 1/2) (*.f64 (exp.f64 x) 3/4)))
(+.f64 (-.f64 (/.f64 (exp.f64 x) 4) 1) (-.f64 (/.f64 (exp.f64 x) 4) (/.f64 (exp.f64 x) -2)))
(+.f64 (exp.f64 x) -1)
(+.f64 (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) 1/2) (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (/.f64 (exp.f64 x) -2)))
(+.f64 (exp.f64 x) -1)
(+.f64 (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (/.f64 (exp.f64 x) -2)) (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) 1/2))
(+.f64 (exp.f64 x) -1)
(+.f64 (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (neg.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4))) (-.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4) (neg.f64 (+.f64 (/.f64 (exp.f64 x) 4) -1/4))))
(+.f64 (exp.f64 x) -1)
(+.f64 (-.f64 (/.f64 (exp.f64 x) 4) (-.f64 1 (*.f64 (exp.f64 x) 1/2))) (/.f64 (exp.f64 x) 4))
(+.f64 (exp.f64 x) -1)
(+.f64 (-.f64 (/.f64 (exp.f64 x) 4) (-.f64 1 (/.f64 (exp.f64 x) 4))) (-.f64 (/.f64 (exp.f64 x) 4) (neg.f64 (/.f64 (exp.f64 x) 4))))
(+.f64 (-.f64 (/.f64 (exp.f64 x) 4) (-.f64 1 (/.f64 (exp.f64 x) 4))) (*.f64 -2 (/.f64 (exp.f64 x) -4)))
(+.f64 (*.f64 1/2 (exp.f64 x)) (-.f64 (/.f64 (exp.f64 x) 4) (-.f64 1 (/.f64 (exp.f64 x) 4))))
(*.f64 1 (+.f64 (exp.f64 x) -1))
(+.f64 (exp.f64 x) -1)
(*.f64 (+.f64 (exp.f64 x) -1) 1)
(+.f64 (exp.f64 x) -1)
(.f64 2 (+.f64 (.f64 (exp.f64 x) 1/2) -1/2))
(+.f64 (exp.f64 x) -1)
(.f64 (+.f64 (.f64 (exp.f64 x) 2) -2) 1/2)
(+.f64 (exp.f64 x) -1)
(.f64 1/2 (+.f64 (.f64 (exp.f64 x) 2) -2))
(+.f64 (exp.f64 x) -1)
(*.f64 (-.f64 1 (exp.f64 x)) -1)
(+.f64 (exp.f64 x) -1)
(.f64 (.f64 (+.f64 (exp.f64 x) -1) 4) 1/4)
(+.f64 (exp.f64 x) -1)
(.f64 (+.f64 (.f64 (exp.f64 x) 1/2) -1/2) 2)
(+.f64 (exp.f64 x) -1)
(.f64 4 (.f64 (+.f64 (exp.f64 x) -1) 1/4))
(+.f64 (exp.f64 x) -1)
(*.f64 -2 (+.f64 1/2 (/.f64 (exp.f64 x) -2)))
(+.f64 (exp.f64 x) -1)
(.f64 1/4 (.f64 (+.f64 (exp.f64 x) -1) 4))
(+.f64 (exp.f64 x) -1)
(.f64 (.f64 2 (*.f64 (+.f64 (exp.f64 x) -1) 4)) 1/8)
(+.f64 (exp.f64 x) -1)
(.f64 1/8 (.f64 2 (*.f64 (+.f64 (exp.f64 x) -1) 4)))
(+.f64 (exp.f64 x) -1)
(.f64 (.f64 (*.f64 (+.f64 (exp.f64 x) -1) 4) 4) 1/16)
(+.f64 (exp.f64 x) -1)
(/.f64 (+.f64 (exp.f64 x) -1) 1)
(+.f64 (exp.f64 x) -1)
(/.f64 (+.f64 (*.f64 (exp.f64 x) 2) -2) 2)
(+.f64 (exp.f64 x) -1)
(/.f64 (-.f64 1 (exp.f64 x)) -1)
(+.f64 (exp.f64 x) -1)
(/.f64 (*.f64 (+.f64 (exp.f64 x) -1) 4) 4)
(+.f64 (exp.f64 x) -1)
(/.f64 (.f64 2 (.f64 (+.f64 (exp.f64 x) -1) 4)) 8)
(+.f64 (exp.f64 x) -1)
(/.f64 (.f64 (.f64 (+.f64 (exp.f64 x) -1) 4) 4) 16)
(+.f64 (exp.f64 x) -1)
(/.f64 (-.f64 (.f64 (+.f64 (exp.f64 x) -2) 2) (.f64 (exp.f64 x) -2)) 4)
(/.f64 (-.f64 (.f64 2 (+.f64 (exp.f64 x) -2)) (.f64 (exp.f64 x) -2)) 4)
(/.f64 (-.f64 (.f64 (+.f64 (exp.f64 x) -2) 4) (.f64 (exp.f64 x) -4)) 8)
(-.f64 (/.f64 (.f64 4 (+.f64 (exp.f64 x) -2)) 8) (.f64 (exp.f64 x) -1/2))
(pow.f64 (+.f64 (exp.f64 x) -1) 1)
(+.f64 (exp.f64 x) -1)
(neg.f64 (-.f64 1 (exp.f64 x)))
(+.f64 (exp.f64 x) -1)

eval30.9s (40.4%)

Compiler: Compiled 879 to 629 computations (28.4% saved)

prune40.0ms (0.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	67	3	70
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	67	4	71

Error

0.0b

Counts

71 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	58.7b	(-.f64 (exp.f64 x) 1)
▶	1.0b	(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
▶	0.8b	(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
	1.4b	x

Compiler

Compiled 29 to 22 computations (24.1% saved)

localize111.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
✓	0.0b	(*.f64 1/2 (pow.f64 x 2))
✓	0.0b	(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
✓	0.1b	(*.f64 1/6 (pow.f64 x 3))

Compiler

Compiled 46 to 36 computations (21.7% saved)

series5.0ms (0%)

Counts

4 → 24

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
1.0ms	x	@	0	(*.f64 1/6 (pow.f64 x 3))
1.0ms	x	@	-inf	(*.f64 1/6 (pow.f64 x 3))
1.0ms	x	@	inf	(*.f64 1/6 (pow.f64 x 3))
0.0ms	x	@	inf	(*.f64 1/2 (pow.f64 x 2))

rewrite32.5s (42.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1296×	`rational_best-simplify-51`
814×	`rational_best-simplify-75`
808×	`rational_best-simplify-76`
794×	`rational_best-simplify-63`
784×	`rational_best-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	94
1	89	94
2	174	94
3	441	94
4	1825	94

Stop Event

1×	node limit

Counts

4 → 206

Calls

Call 1

Inputs
(*.f64 1/6 (pow.f64 x 3))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(*.f64 1/2 (pow.f64 x 2))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1/6 (pow.f64 x 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 1/6 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 1/6 (pow.f64 x 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (.f64 (pow.f64 x 3) -1/6))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (/.f64 (.f64 1/6 (pow.f64 x 3)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 1/6 (pow.f64 x 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 x 3) -1/6) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 x 3) 1/3) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 x 3) 2/3) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 (pow.f64 x 3) 2/3)) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 (pow.f64 x 3) 1/3)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (pow.f64 x 3) 2/3)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (neg.f64 (.f64 (pow.f64 x 3) 1/3)) -1) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (neg.f64 (.f64 (pow.f64 x 3) 2/3)) -1) 4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 1/6 (pow.f64 x 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 (pow.f64 x 3) -1/6))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 (pow.f64 x 3) -1/6) (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (pow.f64 x 2) (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) -1/6)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) -1/6))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 1/2 (pow.f64 x 2)) (-.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 3) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2))) (+.f64 (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) -4) (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (-.f64 (.f64 (pow.f64 x 2) -1/2) (.f64 1/6 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (pow.f64 x 3) 1/3) (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 (.f64 (pow.f64 x 3) -1/6) (/.f64 (pow.f64 x 2) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 (/.f64 (pow.f64 x 2) -4) (.f64 1/6 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 0 (+.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 (pow.f64 x 2) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 x 2) 4) (+.f64 (/.f64 (pow.f64 x 2) -4) (.f64 (pow.f64 x 3) -1/6)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 4) (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) -4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (-.f64 0 (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (+.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) -2) (.f64 (pow.f64 x 2) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2)) (neg.f64 (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 (pow.f64 x 2) 4)) (/.f64 (pow.f64 x 2) -4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)) (/.f64 (.f64 1/6 (pow.f64 x 3)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (neg.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2))) (neg.f64 (.f64 (pow.f64 x 3) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (pow.f64 x 2)) 2) (/.f64 (.f64 1/6 (pow.f64 x 3)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 (pow.f64 x 2) -4)) (/.f64 (pow.f64 x 2) -4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 3 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)) (/.f64 (-.f64 (+.f64 (.f64 (pow.f64 x 3) 1/3) (neg.f64 (pow.f64 x 2))) (.f64 1/6 (pow.f64 x 3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 (pow.f64 x 2) -1/2) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2))) (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (.f64 1/6 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 (pow.f64 x 2) -1/2) (.f64 1/6 (pow.f64 x 3))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) 2/3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (-.f64 (.f64 (pow.f64 x 3) 2/3) (.f64 (pow.f64 x 2) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) 2/3)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 4) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (pow.f64 x 2) -1/2) (.f64 1/6 (pow.f64 x 3))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) 2/3)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (neg.f64 (.f64 (pow.f64 x 3) 1/3)) (pow.f64 x 2)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) 2/3))) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 4) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (-.f64 (neg.f64 (.f64 (pow.f64 x 3) 1/3)) (pow.f64 x 2)) -1) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (neg.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) 2/3))) -1) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (pow.f64 x 3) 2/3) (.f64 (pow.f64 x 2) -2)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 2 (pow.f64 x 2)) (neg.f64 (.f64 (pow.f64 x 3) 2/3))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (.f64 (pow.f64 x 2) -1/2) (*.f64 1/6 (pow.f64 x 3))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1/2 (pow.f64 x 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 1/2 (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (pow.f64 x 2) 4) (/.f64 (pow.f64 x 2) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (pow.f64 x 2)) 2) (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (.f64 1/6 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (.f64 1/6 (pow.f64 x 3))) (/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (pow.f64 x 2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)) (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (+.f64 (.f64 (pow.f64 x 2) -1/2) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 1/2 (pow.f64 x 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (.f64 (pow.f64 x 2) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (+.f64 (.f64 (pow.f64 x 3) -1/6) (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 x 2) 4) (/.f64 (pow.f64 x 2) -4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (pow.f64 x 2)) 2) (-.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2))) (/.f64 (.f64 1/6 (pow.f64 x 3)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (.f64 1/6 (pow.f64 x 3))) (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (+.f64 (.f64 (pow.f64 x 2) -1/2) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2))) (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 x 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 1/2 (pow.f64 x 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 x 2) -1/2) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (pow.f64 x 2)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (pow.f64 x 2)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 x 2) 4) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 (pow.f64 x 2) 4)) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 x 2) -2) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (pow.f64 x 2) 4)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 (pow.f64 x 2) -2) -1) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (pow.f64 x 3) 1/3) (+.f64 (.f64 (pow.f64 x 3) 1/3) (neg.f64 (pow.f64 x 2)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 1/2 (pow.f64 x 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 (pow.f64 x 2) -1/2))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 x (-.f64 (.f64 (pow.f64 x 2) -1/2) (.f64 1/6 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 1/6 (pow.f64 x 3)) (-.f64 (.f64 (pow.f64 x 2) -1/2) x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (+.f64 (.f64 (pow.f64 x 3) -1/6) (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2))) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (pow.f64 x 2) (+.f64 (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) -1/6)) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (pow.f64 x 2) (+.f64 (-.f64 (.f64 (pow.f64 x 3) -1/6) x) (.f64 1/2 (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 1/2 (pow.f64 x 2)) (-.f64 (.f64 (pow.f64 x 3) -1/6) x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 1/2 (pow.f64 x 2)) (-.f64 (.f64 1/6 (pow.f64 x 3)) (-.f64 x (neg.f64 (.f64 (pow.f64 x 3) 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2))) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (+.f64 (.f64 (pow.f64 x 3) -1/6) (-.f64 (.f64 (pow.f64 x 2) -1/2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (+.f64 (-.f64 (.f64 (pow.f64 x 3) -1/6) x) (.f64 (pow.f64 x 2) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 x (.f64 (pow.f64 x 2) -1/2)) (.f64 (pow.f64 x 3) -1/6))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (.f64 1/6 (pow.f64 x 3))) (.f64 (pow.f64 x 2) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) (+.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2))) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (pow.f64 x 3) 1/3) (+.f64 (neg.f64 x) (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (pow.f64 x 3) 1/3) (+.f64 (.f64 1/6 (pow.f64 x 3)) (-.f64 (.f64 (pow.f64 x 2) -1/2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (pow.f64 x 3) 1/3) (-.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2)) x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x x) (+.f64 x (-.f64 (.f64 (pow.f64 x 2) -1/2) (.f64 1/6 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x x) (+.f64 (+.f64 x (.f64 (pow.f64 x 2) -1/2)) (.f64 (pow.f64 x 3) -1/6)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (+.f64 x (.f64 (pow.f64 x 3) 1/3))) (+.f64 (.f64 (pow.f64 x 2) -1/2) (+.f64 x (.f64 1/6 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 (-.f64 (.f64 (pow.f64 x 3) -1/6) x) (/.f64 (pow.f64 x 2) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 (/.f64 (pow.f64 x 2) -4) (+.f64 x (.f64 1/6 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 0 (+.f64 (+.f64 x (.f64 1/6 (pow.f64 x 3))) (/.f64 (pow.f64 x 2) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 (.f64 (pow.f64 x 3) -1/6) (+.f64 x (/.f64 (pow.f64 x 2) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 (neg.f64 x) (-.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 (pow.f64 x 2) -4))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 x 2) 4) (+.f64 (-.f64 (.f64 (pow.f64 x 3) -1/6) (/.f64 (pow.f64 x 2) 4)) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 4) (-.f64 (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) -4) x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 4) (-.f64 0 (+.f64 x (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 4) (+.f64 (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) -4) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (/.f64 (pow.f64 x 2) 4) (/.f64 (+.f64 x (.f64 1/6 (pow.f64 x 3))) 2)) (/.f64 (+.f64 x (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))) -2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (/.f64 (pow.f64 x 2) 4) (/.f64 (+.f64 x (.f64 1/6 (pow.f64 x 3))) 2)) (-.f64 (/.f64 (pow.f64 x 2) -4) (/.f64 (+.f64 x (.f64 1/6 (pow.f64 x 3))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (-.f64 (-.f64 (.f64 (pow.f64 x 2) -1/2) x) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (-.f64 (.f64 (pow.f64 x 2) -1/2) (+.f64 x (/.f64 (.f64 1/6 (pow.f64 x 3)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (-.f64 (neg.f64 x) (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (-.f64 (neg.f64 x) (/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (pow.f64 x 2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (+.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) -2) (-.f64 (.f64 (pow.f64 x 2) -1/2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (+.f64 (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))) 2) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 x 2) (/.f64 (-.f64 (-.f64 (neg.f64 (.f64 (pow.f64 x 3) 1/3)) (pow.f64 x 2)) x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 x 2) (-.f64 (.f64 (pow.f64 x 2) -1/2) (+.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 x 2) (-.f64 (.f64 (pow.f64 x 3) -1/6) (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 x 2) (-.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2)) (+.f64 (.f64 (pow.f64 x 3) 1/3) (/.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 x 2) (+.f64 (/.f64 x -2) (-.f64 (.f64 (pow.f64 x 2) -1/2) (.f64 1/6 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 x 2) (+.f64 (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) x) 2) (.f64 (pow.f64 x 3) -1/6)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2)) (-.f64 (neg.f64 (pow.f64 x 2)) x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 4)) (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) -4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (+.f64 x (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3))) 2) (/.f64 x -2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (-.f64 x (.f64 (pow.f64 x 2) -1/2)) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)) (/.f64 (.f64 1/6 (pow.f64 x 3)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (+.f64 x (.f64 1/6 (pow.f64 x 3))) (/.f64 (pow.f64 x 2) 4)) (/.f64 (pow.f64 x 2) -4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)) (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)) (+.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) -2) (.f64 (pow.f64 x 2) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 x 2)) (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 x 2)) (+.f64 (/.f64 x -2) (.f64 (pow.f64 x 2) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (/.f64 (pow.f64 x 2) 4)) (-.f64 (.f64 (pow.f64 x 3) -1/6) (/.f64 (pow.f64 x 2) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (/.f64 (pow.f64 x 2) 4)) (+.f64 (/.f64 (pow.f64 x 2) -4) (.f64 (pow.f64 x 3) -1/6)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 x 2)) (-.f64 (.f64 (pow.f64 x 3) -1/6) (/.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 x 2)) (+.f64 (/.f64 x -2) (.f64 (pow.f64 x 3) -1/6)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 (pow.f64 x 2) 4)) (+.f64 (/.f64 (pow.f64 x 2) -4) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)) (-.f64 (neg.f64 x) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)) (+.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) -2) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 x (neg.f64 (.f64 (pow.f64 x 3) 1/3))) (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (-.f64 x (.f64 (pow.f64 x 2) -1/2)) 2) (-.f64 (.f64 (pow.f64 x 3) -1/6) (/.f64 (-.f64 x (.f64 (pow.f64 x 2) -1/2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (neg.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2))) (-.f64 (neg.f64 (.f64 (pow.f64 x 3) 1/3)) x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 x (/.f64 (.f64 1/6 (pow.f64 x 3)) -2)) (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 x (/.f64 (.f64 1/6 (pow.f64 x 3)) -2)) (+.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) -2) (.f64 (pow.f64 x 2) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (-.f64 x (neg.f64 (pow.f64 x 2))) 2) (-.f64 (.f64 (pow.f64 x 3) -1/6) (/.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (-.f64 x (neg.f64 (pow.f64 x 2))) 2) (+.f64 (/.f64 x -2) (.f64 (pow.f64 x 3) -1/6)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 x (/.f64 (pow.f64 x 2) -4)) (-.f64 (.f64 (pow.f64 x 3) -1/6) (/.f64 (pow.f64 x 2) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 x (/.f64 (pow.f64 x 2) -4)) (+.f64 (/.f64 (pow.f64 x 2) -4) (.f64 (pow.f64 x 3) -1/6)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (pow.f64 x 2)) 2) (-.f64 (neg.f64 x) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (pow.f64 x 2)) 2) (+.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) -2) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 (pow.f64 x 2) -4)) (-.f64 (neg.f64 x) (/.f64 (pow.f64 x 2) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 (pow.f64 x 2) -4)) (+.f64 (/.f64 (pow.f64 x 2) -4) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 x -2)) (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 x -2)) (+.f64 (/.f64 x -2) (.f64 (pow.f64 x 2) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 x (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) -4)) (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) -4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 (pow.f64 x 3) 1/3) (/.f64 x 2)) (/.f64 (-.f64 (+.f64 (.f64 (pow.f64 x 3) 1/3) (neg.f64 (pow.f64 x 2))) x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (.f64 1/6 (pow.f64 x 3)) x) (-.f64 (.f64 x -2) (.f64 1/2 (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (.f64 1/2 (pow.f64 x 2)) x) (-.f64 (.f64 x -2) (.f64 1/6 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (.f64 (pow.f64 x 2) -1/2)) (-.f64 (neg.f64 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 (.f64 (pow.f64 x 3) -1/6) x)) (/.f64 (pow.f64 x 2) -4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (/.f64 (-.f64 x (.f64 (pow.f64 x 2) -1/2)) 2) (.f64 (pow.f64 x 3) -1/6)) (-.f64 0 (/.f64 (-.f64 x (.f64 (pow.f64 x 2) -1/2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (-.f64 1 (.f64 1/2 (pow.f64 x 2)))) (-.f64 (-.f64 -1 x) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2))) (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))) (+.f64 (.f64 (pow.f64 x 3) -1/6) (-.f64 (.f64 (pow.f64 x 2) -1/2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (/.f64 x 2) (/.f64 (.f64 1/6 (pow.f64 x 3)) -2)) (-.f64 (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))) 2) (/.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (/.f64 x -2)) (-.f64 (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) x) 2) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 x x) (+.f64 (.f64 (pow.f64 x 3) -1/6) (-.f64 (.f64 (pow.f64 x 2) -1/2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (/.f64 x 2) (-.f64 1 (.f64 1/6 (pow.f64 x 3)))) (-.f64 (-.f64 -1 (.f64 1/2 (pow.f64 x 2))) (/.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (/.f64 x 2) (-.f64 1 (.f64 1/2 (pow.f64 x 2)))) (-.f64 (-.f64 -1 (.f64 1/6 (pow.f64 x 3))) (/.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (-.f64 1 x)) (-.f64 (-.f64 -1 (.f64 1/2 (pow.f64 x 2))) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (+.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (-.f64 (+.f64 x (+.f64 x (.f64 (pow.f64 x 3) 1/3))) (neg.f64 (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (+.f64 x (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 x (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) (+.f64 x x)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (+.f64 (.f64 x 4) (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) 2/3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 x 4) (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) 2/3))) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) (+.f64 x x)) 4) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) (+.f64 x x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 x 4) (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) 2/3))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) (+.f64 x x)) 4) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (+.f64 x (+.f64 x (.f64 (pow.f64 x 3) 1/3))) (neg.f64 (pow.f64 x 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 x 4) (neg.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) 2/3)))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (pow.f64 x 3) 1/3) (-.f64 (.f64 x -2) (pow.f64 x 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) 2/3)) (neg.f64 (.f64 x 4))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (+.f64 (pow.f64 x 2) (+.f64 x x)) (neg.f64 (.f64 (pow.f64 x 3) 1/3))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 x 4)) (neg.f64 (.f64 (pow.f64 x 3) 2/3))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (+.f64 (.f64 x 4) (.f64 (pow.f64 x 3) 2/3)) (.f64 (pow.f64 x 2) -2)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (+.f64 x (.f64 1/6 (pow.f64 x 3))) 4) (.f64 (pow.f64 x 2) -2)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 (.f64 (pow.f64 x 3) -1/6) (-.f64 (*.f64 (pow.f64 x 2) -1/2) x)))))))

simplify776.0ms (1%)

Algorithm

1×	egg-herbie

Rules

1052×	`rational_best-simplify-56`
984×	`rational_best-simplify-64`
900×	`rational_best-simplify-65`
756×	`rational_best-simplify-59`
642×	`rational_best-simplify-66`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	429	7468
1	1120	7468
2	3490	7328

Stop Event

1×	node limit

Counts

230 → 255

Calls

Call 1

Inputs
(*.f64 1/2 (pow.f64 x 2))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))
(*.f64 1/6 (pow.f64 x 3))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))
(*.f64 1/6 (pow.f64 x 3))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))
x
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) x))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) x))
(*.f64 1/6 (pow.f64 x 3))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) x))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) x))
(*.f64 1/6 (pow.f64 x 3))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) x))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) x))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) 0)
(+.f64 0 (*.f64 1/6 (pow.f64 x 3)))
(+.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2))
(-.f64 (*.f64 1/6 (pow.f64 x 3)) 0)
(-.f64 0 (*.f64 (pow.f64 x 3) -1/6))
(-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (/.f64 (.f64 1/6 (pow.f64 x 3)) -2))
(/.f64 (*.f64 1/6 (pow.f64 x 3)) 1)
(/.f64 (*.f64 (pow.f64 x 3) -1/6) -1)
(/.f64 (*.f64 (pow.f64 x 3) 1/3) 2)
(/.f64 (*.f64 (pow.f64 x 3) 2/3) 4)
(/.f64 (neg.f64 (*.f64 (pow.f64 x 3) 2/3)) -4)
(/.f64 (neg.f64 (*.f64 (pow.f64 x 3) 1/3)) -2)
(/.f64 (.f64 2 (.f64 (pow.f64 x 3) 2/3)) 8)
(/.f64 (/.f64 (neg.f64 (*.f64 (pow.f64 x 3) 1/3)) -1) 2)
(/.f64 (/.f64 (neg.f64 (*.f64 (pow.f64 x 3) 2/3)) -1) 4)
(pow.f64 (*.f64 1/6 (pow.f64 x 3)) 1)
(neg.f64 (*.f64 (pow.f64 x 3) -1/6))
(-.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2))
(-.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 (pow.f64 x 3) -1/6) (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2))))
(-.f64 (pow.f64 x 2) (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) -1/6)))
(-.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) -1/6))
(-.f64 (.f64 1/2 (pow.f64 x 2)) (-.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 (pow.f64 x 3) 1/3)))
(-.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2))) 0)
(-.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2))) (+.f64 (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) -4) (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 4)))
(-.f64 0 (-.f64 (.f64 (pow.f64 x 2) -1/2) (.f64 1/6 (pow.f64 x 3))))
(-.f64 (.f64 (pow.f64 x 3) 1/3) (+.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 (pow.f64 x 2) -1/2)))
(-.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 (*.f64 (pow.f64 x 3) -1/6) (/.f64 (pow.f64 x 2) 4)))
(-.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 (/.f64 (pow.f64 x 2) -4) (*.f64 1/6 (pow.f64 x 3))))
(-.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 0 (+.f64 (*.f64 1/6 (pow.f64 x 3)) (/.f64 (pow.f64 x 2) 4))))
(-.f64 (/.f64 (pow.f64 x 2) 4) (+.f64 (/.f64 (pow.f64 x 2) -4) (*.f64 (pow.f64 x 3) -1/6)))
(-.f64 (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 4) (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) -4))
(-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))) 2))
(-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (-.f64 0 (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 (*.f64 1/6 (pow.f64 x 3)) 2))))
(-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (+.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) -2) (*.f64 (pow.f64 x 2) -1/2)))
(-.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2)) (neg.f64 (pow.f64 x 2)))
(-.f64 (+.f64 (*.f64 1/6 (pow.f64 x 3)) (/.f64 (pow.f64 x 2) 4)) (/.f64 (pow.f64 x 2) -4))
(-.f64 (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)) (/.f64 (*.f64 1/6 (pow.f64 x 3)) -2))
(-.f64 (neg.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2))) (neg.f64 (*.f64 (pow.f64 x 3) 1/3)))
(-.f64 (/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (pow.f64 x 2)) 2) (/.f64 (.f64 1/6 (pow.f64 x 3)) -2))
(-.f64 (-.f64 (*.f64 1/6 (pow.f64 x 3)) (/.f64 (pow.f64 x 2) -4)) (/.f64 (pow.f64 x 2) -4))
(-.f64 (.f64 3 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)) (/.f64 (-.f64 (+.f64 (.f64 (pow.f64 x 3) 1/3) (neg.f64 (pow.f64 x 2))) (.f64 1/6 (pow.f64 x 3))) 2))
(-.f64 (-.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 (pow.f64 x 2) -1/2) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2))) (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (*.f64 1/6 (pow.f64 x 3))))
(.f64 1/2 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)))
(.f64 2 (.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2))) 1/2))
(.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2))) 1)
(.f64 1 (+.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2))))
(.f64 (-.f64 (.f64 (pow.f64 x 2) -1/2) (*.f64 1/6 (pow.f64 x 3))) -1)
(.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 1/2)
(.f64 1/4 (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 3) 2/3)))
(.f64 1/4 (-.f64 (.f64 (pow.f64 x 3) 2/3) (*.f64 (pow.f64 x 2) -2)))
(.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 3) 2/3)) 1/4)
(.f64 (.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 x 3) 1/3)) 4) 1/8)
(/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2))) 1)
(/.f64 (-.f64 (.f64 (pow.f64 x 2) -1/2) (.f64 1/6 (pow.f64 x 3))) -1)
(/.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 x 3) 1/3)) 2)
(/.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) 2/3)) 4)
(/.f64 (-.f64 (neg.f64 (*.f64 (pow.f64 x 3) 1/3)) (pow.f64 x 2)) -2)
(/.f64 (neg.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) 2/3))) -4)
(/.f64 (.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 4) 8)
(/.f64 (/.f64 (-.f64 (neg.f64 (*.f64 (pow.f64 x 3) 1/3)) (pow.f64 x 2)) -1) 2)
(/.f64 (/.f64 (neg.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) 2/3))) -1) 4)
(/.f64 (-.f64 (.f64 (pow.f64 x 3) 2/3) (.f64 (pow.f64 x 2) -2)) 4)
(/.f64 (-.f64 (.f64 2 (pow.f64 x 2)) (neg.f64 (.f64 (pow.f64 x 3) 2/3))) 4)
(pow.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2))) 1)
(neg.f64 (-.f64 (.f64 (pow.f64 x 2) -1/2) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (*.f64 1/2 (pow.f64 x 2)) 0)
(+.f64 0 (*.f64 1/2 (pow.f64 x 2)))
(+.f64 (/.f64 (pow.f64 x 2) 4) (/.f64 (pow.f64 x 2) 4))
(+.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2))))
(+.f64 (/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (pow.f64 x 2)) 2) (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (*.f64 1/6 (pow.f64 x 3))))
(+.f64 (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (.f64 1/6 (pow.f64 x 3))) (/.f64 (+.f64 (*.f64 1/6 (pow.f64 x 3)) (pow.f64 x 2)) 2))
(+.f64 (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)) (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (+.f64 (.f64 (pow.f64 x 2) -1/2) (/.f64 (*.f64 1/6 (pow.f64 x 3)) 2))))
(-.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 (pow.f64 x 2) -1/2)))
(-.f64 (*.f64 1/2 (pow.f64 x 2)) 0)
(-.f64 0 (*.f64 (pow.f64 x 2) -1/2))
(-.f64 0 (+.f64 (.f64 (pow.f64 x 3) -1/6) (+.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 (pow.f64 x 2) -1/2))))
(-.f64 (/.f64 (pow.f64 x 2) 4) (/.f64 (pow.f64 x 2) -4))
(-.f64 (/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (pow.f64 x 2)) 2) (-.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 (*.f64 1/6 (pow.f64 x 3)) 2)))
(-.f64 (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2))) (/.f64 (.f64 1/6 (pow.f64 x 3)) -2))
(-.f64 (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (.f64 1/6 (pow.f64 x 3))) (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) (*.f64 1/6 (pow.f64 x 3))) 2))
(-.f64 (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (+.f64 (.f64 (pow.f64 x 2) -1/2) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2))) (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (/.f64 (*.f64 1/6 (pow.f64 x 3)) 2)))
(/.f64 (pow.f64 x 2) 2)
(/.f64 (*.f64 1/2 (pow.f64 x 2)) 1)
(/.f64 (*.f64 (pow.f64 x 2) -1/2) -1)
(/.f64 (*.f64 2 (pow.f64 x 2)) 4)
(/.f64 (neg.f64 (pow.f64 x 2)) -2)
(/.f64 (*.f64 (pow.f64 x 2) 4) 8)
(/.f64 (neg.f64 (*.f64 (pow.f64 x 2) 4)) -8)
(/.f64 (*.f64 (pow.f64 x 2) -2) -4)
(/.f64 (.f64 2 (.f64 (pow.f64 x 2) 4)) 16)
(/.f64 (/.f64 (*.f64 (pow.f64 x 2) -2) -1) 4)
(/.f64 (-.f64 (.f64 (pow.f64 x 3) 1/3) (+.f64 (.f64 (pow.f64 x 3) 1/3) (neg.f64 (pow.f64 x 2)))) 2)
(pow.f64 (*.f64 1/2 (pow.f64 x 2)) 1)
(neg.f64 (*.f64 (pow.f64 x 2) -1/2))
(-.f64 x (-.f64 (.f64 (pow.f64 x 2) -1/2) (.f64 1/6 (pow.f64 x 3))))
(-.f64 (.f64 1/6 (pow.f64 x 3)) (-.f64 (.f64 (pow.f64 x 2) -1/2) x))
(-.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (+.f64 (.f64 (pow.f64 x 3) -1/6) (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2))) (neg.f64 x)))
(-.f64 (pow.f64 x 2) (+.f64 (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) -1/6)) (neg.f64 x)))
(-.f64 (pow.f64 x 2) (+.f64 (-.f64 (.f64 (pow.f64 x 3) -1/6) x) (.f64 1/2 (pow.f64 x 2))))
(-.f64 (.f64 1/2 (pow.f64 x 2)) (-.f64 (.f64 (pow.f64 x 3) -1/6) x))
(-.f64 (.f64 1/2 (pow.f64 x 2)) (-.f64 (.f64 1/6 (pow.f64 x 3)) (-.f64 x (neg.f64 (*.f64 (pow.f64 x 3) 1/3)))))
(-.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2))) (neg.f64 x))
(-.f64 (+.f64 x (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))) 0)
(-.f64 0 (+.f64 (.f64 (pow.f64 x 3) -1/6) (-.f64 (.f64 (pow.f64 x 2) -1/2) x)))
(-.f64 0 (+.f64 (-.f64 (.f64 (pow.f64 x 3) -1/6) x) (.f64 (pow.f64 x 2) -1/2)))
(-.f64 (-.f64 x (.f64 (pow.f64 x 2) -1/2)) (.f64 (pow.f64 x 3) -1/6))
(-.f64 (+.f64 x (.f64 1/6 (pow.f64 x 3))) (.f64 (pow.f64 x 2) -1/2))
(-.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) (+.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2))) (neg.f64 x)))
(-.f64 (.f64 (pow.f64 x 3) 1/3) (+.f64 (neg.f64 x) (+.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 (pow.f64 x 2) -1/2))))
(-.f64 (.f64 (pow.f64 x 3) 1/3) (+.f64 (.f64 1/6 (pow.f64 x 3)) (-.f64 (*.f64 (pow.f64 x 2) -1/2) x)))
(-.f64 (.f64 (pow.f64 x 3) 1/3) (-.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 (pow.f64 x 2) -1/2)) x))
(-.f64 (+.f64 x x) (+.f64 x (-.f64 (.f64 (pow.f64 x 2) -1/2) (.f64 1/6 (pow.f64 x 3)))))
(-.f64 (+.f64 x x) (+.f64 (+.f64 x (.f64 (pow.f64 x 2) -1/2)) (.f64 (pow.f64 x 3) -1/6)))
(-.f64 (+.f64 x (+.f64 x (.f64 (pow.f64 x 3) 1/3))) (+.f64 (.f64 (pow.f64 x 2) -1/2) (+.f64 x (*.f64 1/6 (pow.f64 x 3)))))
(-.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 (-.f64 (*.f64 (pow.f64 x 3) -1/6) x) (/.f64 (pow.f64 x 2) 4)))
(-.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 (/.f64 (pow.f64 x 2) -4) (+.f64 x (*.f64 1/6 (pow.f64 x 3)))))
(-.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 0 (+.f64 (+.f64 x (*.f64 1/6 (pow.f64 x 3))) (/.f64 (pow.f64 x 2) 4))))
(-.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 (*.f64 (pow.f64 x 3) -1/6) (+.f64 x (/.f64 (pow.f64 x 2) 4))))
(-.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 (neg.f64 x) (-.f64 (*.f64 1/6 (pow.f64 x 3)) (/.f64 (pow.f64 x 2) -4))))
(-.f64 (/.f64 (pow.f64 x 2) 4) (+.f64 (-.f64 (*.f64 (pow.f64 x 3) -1/6) (/.f64 (pow.f64 x 2) 4)) (neg.f64 x)))
(-.f64 (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 4) (-.f64 (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) -4) x))
(-.f64 (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 4) (-.f64 0 (+.f64 x (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 4))))
(-.f64 (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 4) (+.f64 (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) -4) (neg.f64 x)))
(-.f64 (+.f64 (/.f64 (pow.f64 x 2) 4) (/.f64 (+.f64 x (.f64 1/6 (pow.f64 x 3))) 2)) (/.f64 (+.f64 x (+.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))) -2))
(-.f64 (+.f64 (/.f64 (pow.f64 x 2) 4) (/.f64 (+.f64 x (.f64 1/6 (pow.f64 x 3))) 2)) (-.f64 (/.f64 (pow.f64 x 2) -4) (/.f64 (+.f64 x (.f64 1/6 (pow.f64 x 3))) 2)))
(-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (-.f64 (-.f64 (.f64 (pow.f64 x 2) -1/2) x) (/.f64 (*.f64 1/6 (pow.f64 x 3)) 2)))
(-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (-.f64 (.f64 (pow.f64 x 2) -1/2) (+.f64 x (/.f64 (*.f64 1/6 (pow.f64 x 3)) 2))))
(-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (-.f64 (neg.f64 x) (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 (*.f64 1/6 (pow.f64 x 3)) 2))))
(-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (-.f64 (neg.f64 x) (/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (pow.f64 x 2)) 2)))
(-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (+.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) -2) (-.f64 (*.f64 (pow.f64 x 2) -1/2) x)))
(-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (+.f64 (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))) 2) (neg.f64 x)))
(-.f64 (/.f64 x 2) (/.f64 (-.f64 (-.f64 (neg.f64 (*.f64 (pow.f64 x 3) 1/3)) (pow.f64 x 2)) x) 2))
(-.f64 (/.f64 x 2) (-.f64 (.f64 (pow.f64 x 2) -1/2) (+.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 x 2))))
(-.f64 (/.f64 x 2) (-.f64 (.f64 (pow.f64 x 3) -1/6) (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 x 2))))
(-.f64 (/.f64 x 2) (-.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2)) (+.f64 (*.f64 (pow.f64 x 3) 1/3) (/.f64 x 2))))
(-.f64 (/.f64 x 2) (+.f64 (/.f64 x -2) (-.f64 (.f64 (pow.f64 x 2) -1/2) (.f64 1/6 (pow.f64 x 3)))))
(-.f64 (/.f64 x 2) (+.f64 (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) x) 2) (*.f64 (pow.f64 x 3) -1/6)))
(-.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2)) (-.f64 (neg.f64 (pow.f64 x 2)) x))
(-.f64 (+.f64 x (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 4)) (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) -4))
(-.f64 (/.f64 (+.f64 x (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 x 3) 1/3))) 2) (/.f64 x -2))
(-.f64 (+.f64 (-.f64 x (.f64 (pow.f64 x 2) -1/2)) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)) (/.f64 (*.f64 1/6 (pow.f64 x 3)) -2))
(-.f64 (+.f64 (+.f64 x (*.f64 1/6 (pow.f64 x 3))) (/.f64 (pow.f64 x 2) 4)) (/.f64 (pow.f64 x 2) -4))
(-.f64 (+.f64 x (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)) (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))) 2))
(-.f64 (+.f64 x (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)) (+.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) -2) (*.f64 (pow.f64 x 2) -1/2)))
(-.f64 (+.f64 (*.f64 1/6 (pow.f64 x 3)) (/.f64 x 2)) (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) x) 2))
(-.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 x 2)) (+.f64 (/.f64 x -2) (.f64 (pow.f64 x 2) -1/2)))
(-.f64 (+.f64 x (/.f64 (pow.f64 x 2) 4)) (-.f64 (*.f64 (pow.f64 x 3) -1/6) (/.f64 (pow.f64 x 2) 4)))
(-.f64 (+.f64 x (/.f64 (pow.f64 x 2) 4)) (+.f64 (/.f64 (pow.f64 x 2) -4) (*.f64 (pow.f64 x 3) -1/6)))
(-.f64 (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 x 2)) (-.f64 (.f64 (pow.f64 x 3) -1/6) (/.f64 x 2)))
(-.f64 (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 x 2)) (+.f64 (/.f64 x -2) (.f64 (pow.f64 x 3) -1/6)))
(-.f64 (+.f64 (*.f64 1/6 (pow.f64 x 3)) (/.f64 (pow.f64 x 2) 4)) (+.f64 (/.f64 (pow.f64 x 2) -4) (neg.f64 x)))
(-.f64 (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)) (-.f64 (neg.f64 x) (/.f64 (*.f64 1/6 (pow.f64 x 3)) 2)))
(-.f64 (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)) (+.f64 (/.f64 (*.f64 1/6 (pow.f64 x 3)) -2) (neg.f64 x)))
(-.f64 (-.f64 x (neg.f64 (.f64 (pow.f64 x 3) 1/3))) (+.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 (pow.f64 x 2) -1/2)))
(-.f64 (/.f64 (-.f64 x (.f64 (pow.f64 x 2) -1/2)) 2) (-.f64 (.f64 (pow.f64 x 3) -1/6) (/.f64 (-.f64 x (*.f64 (pow.f64 x 2) -1/2)) 2)))
(-.f64 (neg.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2))) (-.f64 (neg.f64 (*.f64 (pow.f64 x 3) 1/3)) x))
(-.f64 (-.f64 x (/.f64 (.f64 1/6 (pow.f64 x 3)) -2)) (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))) 2))
(-.f64 (-.f64 x (/.f64 (.f64 1/6 (pow.f64 x 3)) -2)) (+.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) -2) (*.f64 (pow.f64 x 2) -1/2)))
(-.f64 (/.f64 (-.f64 x (neg.f64 (pow.f64 x 2))) 2) (-.f64 (*.f64 (pow.f64 x 3) -1/6) (/.f64 x 2)))
(-.f64 (/.f64 (-.f64 x (neg.f64 (pow.f64 x 2))) 2) (+.f64 (/.f64 x -2) (*.f64 (pow.f64 x 3) -1/6)))
(-.f64 (-.f64 x (/.f64 (pow.f64 x 2) -4)) (-.f64 (*.f64 (pow.f64 x 3) -1/6) (/.f64 (pow.f64 x 2) 4)))
(-.f64 (-.f64 x (/.f64 (pow.f64 x 2) -4)) (+.f64 (/.f64 (pow.f64 x 2) -4) (*.f64 (pow.f64 x 3) -1/6)))
(-.f64 (/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (pow.f64 x 2)) 2) (-.f64 (neg.f64 x) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)))
(-.f64 (/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (pow.f64 x 2)) 2) (+.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) -2) (neg.f64 x)))
(-.f64 (-.f64 (*.f64 1/6 (pow.f64 x 3)) (/.f64 (pow.f64 x 2) -4)) (-.f64 (neg.f64 x) (/.f64 (pow.f64 x 2) 4)))
(-.f64 (-.f64 (*.f64 1/6 (pow.f64 x 3)) (/.f64 (pow.f64 x 2) -4)) (+.f64 (/.f64 (pow.f64 x 2) -4) (neg.f64 x)))
(-.f64 (-.f64 (*.f64 1/6 (pow.f64 x 3)) (/.f64 x -2)) (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) x) 2))
(-.f64 (-.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 x -2)) (+.f64 (/.f64 x -2) (.f64 (pow.f64 x 2) -1/2)))
(-.f64 (-.f64 x (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) -4)) (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) -4))
(-.f64 (+.f64 (.f64 (pow.f64 x 3) 1/3) (/.f64 x 2)) (/.f64 (-.f64 (+.f64 (.f64 (pow.f64 x 3) 1/3) (neg.f64 (pow.f64 x 2))) x) 2))
(-.f64 (-.f64 (.f64 1/6 (pow.f64 x 3)) x) (-.f64 (.f64 x -2) (*.f64 1/2 (pow.f64 x 2))))
(-.f64 (-.f64 (.f64 1/2 (pow.f64 x 2)) x) (-.f64 (.f64 x -2) (*.f64 1/6 (pow.f64 x 3))))
(-.f64 (+.f64 x (.f64 (pow.f64 x 2) -1/2)) (-.f64 (neg.f64 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(-.f64 (-.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 (*.f64 (pow.f64 x 3) -1/6) x)) (/.f64 (pow.f64 x 2) -4))
(-.f64 (-.f64 (/.f64 (-.f64 x (.f64 (pow.f64 x 2) -1/2)) 2) (.f64 (pow.f64 x 3) -1/6)) (-.f64 0 (/.f64 (-.f64 x (*.f64 (pow.f64 x 2) -1/2)) 2)))
(-.f64 (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (-.f64 1 (.f64 1/2 (pow.f64 x 2)))) (-.f64 (-.f64 -1 x) (/.f64 (*.f64 1/6 (pow.f64 x 3)) 2)))
(-.f64 (-.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2))) (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))) (+.f64 (.f64 (pow.f64 x 3) -1/6) (-.f64 (.f64 (pow.f64 x 2) -1/2) x)))
(-.f64 (-.f64 (/.f64 x 2) (/.f64 (.f64 1/6 (pow.f64 x 3)) -2)) (-.f64 (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))) 2) (/.f64 x 2)))
(-.f64 (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (/.f64 x -2)) (-.f64 (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) x) 2) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)))
(-.f64 (-.f64 x x) (+.f64 (.f64 (pow.f64 x 3) -1/6) (-.f64 (.f64 (pow.f64 x 2) -1/2) x)))
(-.f64 (-.f64 (/.f64 x 2) (-.f64 1 (.f64 1/6 (pow.f64 x 3)))) (-.f64 (-.f64 -1 (.f64 1/2 (pow.f64 x 2))) (/.f64 x 2)))
(-.f64 (-.f64 (/.f64 x 2) (-.f64 1 (.f64 1/2 (pow.f64 x 2)))) (-.f64 (-.f64 -1 (.f64 1/6 (pow.f64 x 3))) (/.f64 x 2)))
(-.f64 (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (-.f64 1 x)) (-.f64 (-.f64 -1 (.f64 1/2 (pow.f64 x 2))) (/.f64 (*.f64 1/6 (pow.f64 x 3)) 2)))
(.f64 1/2 (+.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) (+.f64 x x)))
(.f64 1/2 (-.f64 (+.f64 x (+.f64 x (.f64 (pow.f64 x 3) 1/3))) (neg.f64 (pow.f64 x 2))))
(.f64 2 (.f64 (+.f64 x (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))) 1/2))
(.f64 (+.f64 x (+.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))) 1)
(.f64 1 (+.f64 x (+.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))))
(.f64 (+.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) (+.f64 x x)) 1/2)
(.f64 1/4 (+.f64 (.f64 x 4) (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) 2/3))))
(.f64 (+.f64 (.f64 x 4) (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) 2/3))) 1/4)
(.f64 (.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 x 3) 1/3)) (+.f64 x x)) 4) 1/8)
(/.f64 (+.f64 x (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))) 1)
(/.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 x 3) 1/3)) (+.f64 x x)) 2)
(/.f64 (+.f64 (.f64 x 4) (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 3) 2/3))) 4)
(/.f64 (.f64 (+.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) (+.f64 x x)) 4) 8)
(/.f64 (-.f64 (+.f64 x (+.f64 x (*.f64 (pow.f64 x 3) 1/3))) (neg.f64 (pow.f64 x 2))) 2)
(/.f64 (-.f64 (.f64 x 4) (neg.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 3) 2/3)))) 4)
(/.f64 (-.f64 (.f64 (pow.f64 x 3) 1/3) (-.f64 (.f64 x -2) (pow.f64 x 2))) 2)
(/.f64 (-.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) 2/3)) (neg.f64 (*.f64 x 4))) 4)
(/.f64 (-.f64 (+.f64 (pow.f64 x 2) (+.f64 x x)) (neg.f64 (*.f64 (pow.f64 x 3) 1/3))) 2)
(/.f64 (-.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 x 4)) (neg.f64 (*.f64 (pow.f64 x 3) 2/3))) 4)
(/.f64 (-.f64 (+.f64 (.f64 x 4) (.f64 (pow.f64 x 3) 2/3)) (*.f64 (pow.f64 x 2) -2)) 4)
(/.f64 (-.f64 (.f64 (+.f64 x (.f64 1/6 (pow.f64 x 3))) 4) (*.f64 (pow.f64 x 2) -2)) 4)
(pow.f64 (+.f64 x (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))) 1)
(neg.f64 (+.f64 (.f64 (pow.f64 x 3) -1/6) (-.f64 (.f64 (pow.f64 x 2) -1/2) x)))

Outputs
(*.f64 1/2 (pow.f64 x 2))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(*.f64 1/6 (pow.f64 x 3))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(*.f64 1/6 (pow.f64 x 3))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
x
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) x))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) x))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(*.f64 1/6 (pow.f64 x 3))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) x))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) x))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(*.f64 1/6 (pow.f64 x 3))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) x))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) x))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) 0)
(*.f64 1/6 (pow.f64 x 3))
(+.f64 0 (*.f64 1/6 (pow.f64 x 3)))
(*.f64 1/6 (pow.f64 x 3))
(+.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2))
(*.f64 1/6 (pow.f64 x 3))
(-.f64 (*.f64 1/6 (pow.f64 x 3)) 0)
(*.f64 1/6 (pow.f64 x 3))
(-.f64 0 (*.f64 (pow.f64 x 3) -1/6))
(*.f64 1/6 (pow.f64 x 3))
(-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (/.f64 (.f64 1/6 (pow.f64 x 3)) -2))
(*.f64 1/6 (pow.f64 x 3))
(/.f64 (*.f64 1/6 (pow.f64 x 3)) 1)
(*.f64 1/6 (pow.f64 x 3))
(/.f64 (*.f64 (pow.f64 x 3) -1/6) -1)
(*.f64 1/6 (pow.f64 x 3))
(/.f64 (*.f64 (pow.f64 x 3) 1/3) 2)
(*.f64 1/6 (pow.f64 x 3))
(/.f64 (*.f64 (pow.f64 x 3) 2/3) 4)
(*.f64 1/6 (pow.f64 x 3))
(/.f64 (neg.f64 (*.f64 (pow.f64 x 3) 2/3)) -4)
(*.f64 1/6 (pow.f64 x 3))
(/.f64 (neg.f64 (*.f64 (pow.f64 x 3) 1/3)) -2)
(*.f64 1/6 (pow.f64 x 3))
(/.f64 (.f64 2 (.f64 (pow.f64 x 3) 2/3)) 8)
(*.f64 1/6 (pow.f64 x 3))
(/.f64 (/.f64 (neg.f64 (*.f64 (pow.f64 x 3) 1/3)) -1) 2)
(*.f64 1/6 (pow.f64 x 3))
(/.f64 (/.f64 (neg.f64 (*.f64 (pow.f64 x 3) 2/3)) -1) 4)
(*.f64 1/6 (pow.f64 x 3))
(pow.f64 (*.f64 1/6 (pow.f64 x 3)) 1)
(*.f64 1/6 (pow.f64 x 3))
(neg.f64 (*.f64 (pow.f64 x 3) -1/6))
(*.f64 1/6 (pow.f64 x 3))
(-.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(-.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 (pow.f64 x 3) -1/6) (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(-.f64 (pow.f64 x 2) (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) -1/6)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(-.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) -1/6))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(-.f64 (.f64 1/2 (pow.f64 x 2)) (-.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 (pow.f64 x 3) 1/3)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(-.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2))) 0)
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(-.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2))) (+.f64 (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) -4) (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 4)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(-.f64 0 (-.f64 (.f64 (pow.f64 x 2) -1/2) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(-.f64 (.f64 (pow.f64 x 3) 1/3) (+.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 (pow.f64 x 2) -1/2)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(-.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 (*.f64 (pow.f64 x 3) -1/6) (/.f64 (pow.f64 x 2) 4)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(-.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 (/.f64 (pow.f64 x 2) -4) (*.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(-.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 0 (+.f64 (*.f64 1/6 (pow.f64 x 3)) (/.f64 (pow.f64 x 2) 4))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(-.f64 (/.f64 (pow.f64 x 2) 4) (+.f64 (/.f64 (pow.f64 x 2) -4) (*.f64 (pow.f64 x 3) -1/6)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(-.f64 (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 4) (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) -4))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))) 2))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (-.f64 0 (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 (*.f64 1/6 (pow.f64 x 3)) 2))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (+.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) -2) (*.f64 (pow.f64 x 2) -1/2)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(-.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2)) (neg.f64 (pow.f64 x 2)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(-.f64 (+.f64 (*.f64 1/6 (pow.f64 x 3)) (/.f64 (pow.f64 x 2) 4)) (/.f64 (pow.f64 x 2) -4))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(-.f64 (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)) (/.f64 (*.f64 1/6 (pow.f64 x 3)) -2))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(-.f64 (neg.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2))) (neg.f64 (*.f64 (pow.f64 x 3) 1/3)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(-.f64 (/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (pow.f64 x 2)) 2) (/.f64 (.f64 1/6 (pow.f64 x 3)) -2))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(-.f64 (-.f64 (*.f64 1/6 (pow.f64 x 3)) (/.f64 (pow.f64 x 2) -4)) (/.f64 (pow.f64 x 2) -4))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(-.f64 (.f64 3 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)) (/.f64 (-.f64 (+.f64 (.f64 (pow.f64 x 3) 1/3) (neg.f64 (pow.f64 x 2))) (.f64 1/6 (pow.f64 x 3))) 2))
(-.f64 (.f64 (.f64 1/6 (pow.f64 x 3)) 3/2) (/.f64 (-.f64 (+.f64 (.f64 (pow.f64 x 3) 1/3) (neg.f64 (pow.f64 x 2))) (.f64 1/6 (pow.f64 x 3))) 2))
(-.f64 (.f64 (pow.f64 x 3) 1/4) (.f64 1/2 (-.f64 (*.f64 1/6 (pow.f64 x 3)) (pow.f64 x 2))))
(-.f64 (-.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 (pow.f64 x 2) -1/2) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2))) (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (*.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(.f64 1/2 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(.f64 2 (.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2))) 1/2))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2))) 1)
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(.f64 1 (+.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(.f64 (-.f64 (.f64 (pow.f64 x 2) -1/2) (*.f64 1/6 (pow.f64 x 3))) -1)
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 1/2)
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(.f64 1/4 (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 3) 2/3)))
(.f64 1/4 (+.f64 (.f64 (pow.f64 x 3) 2/3) (*.f64 2 (pow.f64 x 2))))
(.f64 1/4 (-.f64 (.f64 (pow.f64 x 3) 2/3) (*.f64 (pow.f64 x 2) -2)))
(.f64 1/4 (+.f64 (/.f64 (pow.f64 x 2) 1/2) (.f64 (pow.f64 x 3) 2/3)))
(.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 3) 2/3)) 1/4)
(.f64 1/4 (+.f64 (.f64 (pow.f64 x 3) 2/3) (*.f64 2 (pow.f64 x 2))))
(.f64 (.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 x 3) 1/3)) 4) 1/8)
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2))) 1)
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(/.f64 (-.f64 (.f64 (pow.f64 x 2) -1/2) (.f64 1/6 (pow.f64 x 3))) -1)
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(/.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 x 3) 1/3)) 2)
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(/.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) 2/3)) 4)
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(/.f64 (-.f64 (neg.f64 (*.f64 (pow.f64 x 3) 1/3)) (pow.f64 x 2)) -2)
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(/.f64 (neg.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) 2/3))) -4)
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(/.f64 (.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 4) 8)
(/.f64 (.f64 4 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3))) 8)
(/.f64 (.f64 4 (-.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) -1/3))) 8)
(/.f64 (/.f64 (-.f64 (neg.f64 (*.f64 (pow.f64 x 3) 1/3)) (pow.f64 x 2)) -1) 2)
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(/.f64 (/.f64 (neg.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) 2/3))) -1) 4)
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(/.f64 (-.f64 (.f64 (pow.f64 x 3) 2/3) (.f64 (pow.f64 x 2) -2)) 4)
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(/.f64 (-.f64 (.f64 2 (pow.f64 x 2)) (neg.f64 (.f64 (pow.f64 x 3) 2/3))) 4)
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(pow.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2))) 1)
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(neg.f64 (-.f64 (.f64 (pow.f64 x 2) -1/2) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3)))
(+.f64 (*.f64 1/2 (pow.f64 x 2)) 0)
(*.f64 1/2 (pow.f64 x 2))
(+.f64 0 (*.f64 1/2 (pow.f64 x 2)))
(*.f64 1/2 (pow.f64 x 2))
(+.f64 (/.f64 (pow.f64 x 2) 4) (/.f64 (pow.f64 x 2) 4))
(*.f64 1/2 (pow.f64 x 2))
(+.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2))))
(*.f64 1/2 (pow.f64 x 2))
(+.f64 (/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (pow.f64 x 2)) 2) (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (*.f64 1/6 (pow.f64 x 3))))
(*.f64 1/2 (pow.f64 x 2))
(+.f64 (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (.f64 1/6 (pow.f64 x 3))) (/.f64 (+.f64 (*.f64 1/6 (pow.f64 x 3)) (pow.f64 x 2)) 2))
(*.f64 1/2 (pow.f64 x 2))
(+.f64 (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)) (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (+.f64 (.f64 (pow.f64 x 2) -1/2) (/.f64 (*.f64 1/6 (pow.f64 x 3)) 2))))
(*.f64 1/2 (pow.f64 x 2))
(-.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 (pow.f64 x 2) -1/2)))
(*.f64 1/2 (pow.f64 x 2))
(-.f64 (*.f64 1/2 (pow.f64 x 2)) 0)
(*.f64 1/2 (pow.f64 x 2))
(-.f64 0 (*.f64 (pow.f64 x 2) -1/2))
(*.f64 1/2 (pow.f64 x 2))
(-.f64 0 (+.f64 (.f64 (pow.f64 x 3) -1/6) (+.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 (pow.f64 x 2) -1/2))))
(*.f64 1/2 (pow.f64 x 2))
(-.f64 (/.f64 (pow.f64 x 2) 4) (/.f64 (pow.f64 x 2) -4))
(*.f64 1/2 (pow.f64 x 2))
(-.f64 (/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (pow.f64 x 2)) 2) (-.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 (*.f64 1/6 (pow.f64 x 3)) 2)))
(*.f64 1/2 (pow.f64 x 2))
(-.f64 (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2))) (/.f64 (.f64 1/6 (pow.f64 x 3)) -2))
(*.f64 1/2 (pow.f64 x 2))
(-.f64 (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (.f64 1/6 (pow.f64 x 3))) (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) (*.f64 1/6 (pow.f64 x 3))) 2))
(*.f64 1/2 (pow.f64 x 2))
(-.f64 (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (+.f64 (.f64 (pow.f64 x 2) -1/2) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2))) (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (/.f64 (*.f64 1/6 (pow.f64 x 3)) 2)))
(*.f64 1/2 (pow.f64 x 2))
(/.f64 (pow.f64 x 2) 2)
(*.f64 1/2 (pow.f64 x 2))
(/.f64 (*.f64 1/2 (pow.f64 x 2)) 1)
(*.f64 1/2 (pow.f64 x 2))
(/.f64 (*.f64 (pow.f64 x 2) -1/2) -1)
(*.f64 1/2 (pow.f64 x 2))
(/.f64 (*.f64 2 (pow.f64 x 2)) 4)
(*.f64 1/2 (pow.f64 x 2))
(/.f64 (neg.f64 (pow.f64 x 2)) -2)
(*.f64 1/2 (pow.f64 x 2))
(/.f64 (*.f64 (pow.f64 x 2) 4) 8)
(*.f64 1/2 (pow.f64 x 2))
(/.f64 (neg.f64 (*.f64 (pow.f64 x 2) 4)) -8)
(*.f64 1/2 (pow.f64 x 2))
(/.f64 (*.f64 (pow.f64 x 2) -2) -4)
(*.f64 1/2 (pow.f64 x 2))
(/.f64 (.f64 2 (.f64 (pow.f64 x 2) 4)) 16)
(*.f64 1/2 (pow.f64 x 2))
(/.f64 (/.f64 (*.f64 (pow.f64 x 2) -2) -1) 4)
(*.f64 1/2 (pow.f64 x 2))
(/.f64 (-.f64 (.f64 (pow.f64 x 3) 1/3) (+.f64 (.f64 (pow.f64 x 3) 1/3) (neg.f64 (pow.f64 x 2)))) 2)
(*.f64 1/2 (pow.f64 x 2))
(pow.f64 (*.f64 1/2 (pow.f64 x 2)) 1)
(*.f64 1/2 (pow.f64 x 2))
(neg.f64 (*.f64 (pow.f64 x 2) -1/2))
(*.f64 1/2 (pow.f64 x 2))
(-.f64 x (-.f64 (.f64 (pow.f64 x 2) -1/2) (.f64 1/6 (pow.f64 x 3))))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (.f64 1/6 (pow.f64 x 3)) (-.f64 (.f64 (pow.f64 x 2) -1/2) x))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (+.f64 (.f64 (pow.f64 x 3) -1/6) (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2))) (neg.f64 x)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (pow.f64 x 2) (+.f64 (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) -1/6)) (neg.f64 x)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (pow.f64 x 2) (+.f64 (-.f64 (.f64 (pow.f64 x 3) -1/6) x) (.f64 1/2 (pow.f64 x 2))))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (.f64 1/2 (pow.f64 x 2)) (-.f64 (.f64 (pow.f64 x 3) -1/6) x))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (.f64 1/2 (pow.f64 x 2)) (-.f64 (.f64 1/6 (pow.f64 x 3)) (-.f64 x (neg.f64 (*.f64 (pow.f64 x 3) 1/3)))))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2))) (neg.f64 x))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (+.f64 x (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))) 0)
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 0 (+.f64 (.f64 (pow.f64 x 3) -1/6) (-.f64 (.f64 (pow.f64 x 2) -1/2) x)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 0 (+.f64 (-.f64 (.f64 (pow.f64 x 3) -1/6) x) (.f64 (pow.f64 x 2) -1/2)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (-.f64 x (.f64 (pow.f64 x 2) -1/2)) (.f64 (pow.f64 x 3) -1/6))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (+.f64 x (.f64 1/6 (pow.f64 x 3))) (.f64 (pow.f64 x 2) -1/2))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) (+.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2))) (neg.f64 x)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (.f64 (pow.f64 x 3) 1/3) (+.f64 (neg.f64 x) (+.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 (pow.f64 x 2) -1/2))))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (.f64 (pow.f64 x 3) 1/3) (+.f64 (.f64 1/6 (pow.f64 x 3)) (-.f64 (*.f64 (pow.f64 x 2) -1/2) x)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (.f64 (pow.f64 x 3) 1/3) (-.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 (pow.f64 x 2) -1/2)) x))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (+.f64 x x) (+.f64 x (-.f64 (.f64 (pow.f64 x 2) -1/2) (.f64 1/6 (pow.f64 x 3)))))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (+.f64 x x) (+.f64 (+.f64 x (.f64 (pow.f64 x 2) -1/2)) (.f64 (pow.f64 x 3) -1/6)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (+.f64 x (+.f64 x (.f64 (pow.f64 x 3) 1/3))) (+.f64 (.f64 (pow.f64 x 2) -1/2) (+.f64 x (*.f64 1/6 (pow.f64 x 3)))))
(-.f64 (+.f64 x (+.f64 x (.f64 (pow.f64 x 3) 1/3))) (+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 x (*.f64 (pow.f64 x 2) -1/2))))
(+.f64 (-.f64 (+.f64 x (+.f64 x (.f64 (pow.f64 x 3) 1/3))) (+.f64 x (.f64 1/6 (pow.f64 x 3)))) (/.f64 (pow.f64 x 2) 2))
(+.f64 (.f64 1 (+.f64 x (.f64 1/6 (pow.f64 x 3)))) (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 (-.f64 (*.f64 (pow.f64 x 3) -1/6) x) (/.f64 (pow.f64 x 2) 4)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 (/.f64 (pow.f64 x 2) -4) (+.f64 x (*.f64 1/6 (pow.f64 x 3)))))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 0 (+.f64 (+.f64 x (*.f64 1/6 (pow.f64 x 3))) (/.f64 (pow.f64 x 2) 4))))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 (*.f64 (pow.f64 x 3) -1/6) (+.f64 x (/.f64 (pow.f64 x 2) 4))))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 (neg.f64 x) (-.f64 (*.f64 1/6 (pow.f64 x 3)) (/.f64 (pow.f64 x 2) -4))))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (/.f64 (pow.f64 x 2) 4) (+.f64 (-.f64 (*.f64 (pow.f64 x 3) -1/6) (/.f64 (pow.f64 x 2) 4)) (neg.f64 x)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 4) (-.f64 (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) -4) x))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 4) (-.f64 0 (+.f64 x (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 4))))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 4) (+.f64 (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) -4) (neg.f64 x)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (+.f64 (/.f64 (pow.f64 x 2) 4) (/.f64 (+.f64 x (.f64 1/6 (pow.f64 x 3))) 2)) (/.f64 (+.f64 x (+.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))) -2))
(-.f64 (+.f64 (/.f64 (pow.f64 x 2) 4) (/.f64 (+.f64 x (.f64 1/6 (pow.f64 x 3))) 2)) (/.f64 (+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (*.f64 1/6 (pow.f64 x 3)))) -2))
(-.f64 (/.f64 (+.f64 x (.f64 1/6 (pow.f64 x 3))) 2) (+.f64 (.f64 (pow.f64 x 2) -1/2) (neg.f64 (/.f64 (+.f64 x (*.f64 1/6 (pow.f64 x 3))) 2))))
(-.f64 (+.f64 (/.f64 (pow.f64 x 2) 4) (/.f64 (+.f64 x (.f64 1/6 (pow.f64 x 3))) 2)) (-.f64 (/.f64 (pow.f64 x 2) -4) (/.f64 (+.f64 x (.f64 1/6 (pow.f64 x 3))) 2)))
(-.f64 (+.f64 (/.f64 (pow.f64 x 2) 4) (/.f64 (+.f64 x (.f64 1/6 (pow.f64 x 3))) 2)) (/.f64 (+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (*.f64 1/6 (pow.f64 x 3)))) -2))
(-.f64 (/.f64 (+.f64 x (.f64 1/6 (pow.f64 x 3))) 2) (+.f64 (.f64 (pow.f64 x 2) -1/2) (neg.f64 (/.f64 (+.f64 x (*.f64 1/6 (pow.f64 x 3))) 2))))
(-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (-.f64 (-.f64 (.f64 (pow.f64 x 2) -1/2) x) (/.f64 (*.f64 1/6 (pow.f64 x 3)) 2)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (-.f64 (.f64 (pow.f64 x 2) -1/2) (+.f64 x (/.f64 (*.f64 1/6 (pow.f64 x 3)) 2))))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (-.f64 (neg.f64 x) (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 (*.f64 1/6 (pow.f64 x 3)) 2))))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (-.f64 (neg.f64 x) (/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (pow.f64 x 2)) 2)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (+.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) -2) (-.f64 (*.f64 (pow.f64 x 2) -1/2) x)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (+.f64 (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))) 2) (neg.f64 x)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (/.f64 x 2) (/.f64 (-.f64 (-.f64 (neg.f64 (*.f64 (pow.f64 x 3) 1/3)) (pow.f64 x 2)) x) 2))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (/.f64 x 2) (-.f64 (.f64 (pow.f64 x 2) -1/2) (+.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 x 2))))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (/.f64 x 2) (-.f64 (.f64 (pow.f64 x 3) -1/6) (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 x 2))))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (/.f64 x 2) (-.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2)) (+.f64 (*.f64 (pow.f64 x 3) 1/3) (/.f64 x 2))))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (/.f64 x 2) (+.f64 (/.f64 x -2) (-.f64 (.f64 (pow.f64 x 2) -1/2) (.f64 1/6 (pow.f64 x 3)))))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (/.f64 x 2) (+.f64 (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) x) 2) (*.f64 (pow.f64 x 3) -1/6)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2)) (-.f64 (neg.f64 (pow.f64 x 2)) x))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (+.f64 x (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) 4)) (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) -4))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (/.f64 (+.f64 x (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 x 3) 1/3))) 2) (/.f64 x -2))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (+.f64 (-.f64 x (.f64 (pow.f64 x 2) -1/2)) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)) (/.f64 (*.f64 1/6 (pow.f64 x 3)) -2))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (+.f64 (+.f64 x (*.f64 1/6 (pow.f64 x 3))) (/.f64 (pow.f64 x 2) 4)) (/.f64 (pow.f64 x 2) -4))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (+.f64 x (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)) (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))) 2))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (+.f64 x (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)) (+.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) -2) (*.f64 (pow.f64 x 2) -1/2)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (+.f64 (*.f64 1/6 (pow.f64 x 3)) (/.f64 x 2)) (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) x) 2))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 x 2)) (+.f64 (/.f64 x -2) (.f64 (pow.f64 x 2) -1/2)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (+.f64 x (/.f64 (pow.f64 x 2) 4)) (-.f64 (*.f64 (pow.f64 x 3) -1/6) (/.f64 (pow.f64 x 2) 4)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (+.f64 x (/.f64 (pow.f64 x 2) 4)) (+.f64 (/.f64 (pow.f64 x 2) -4) (*.f64 (pow.f64 x 3) -1/6)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 x 2)) (-.f64 (.f64 (pow.f64 x 3) -1/6) (/.f64 x 2)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 x 2)) (+.f64 (/.f64 x -2) (.f64 (pow.f64 x 3) -1/6)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (+.f64 (*.f64 1/6 (pow.f64 x 3)) (/.f64 (pow.f64 x 2) 4)) (+.f64 (/.f64 (pow.f64 x 2) -4) (neg.f64 x)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)) (-.f64 (neg.f64 x) (/.f64 (*.f64 1/6 (pow.f64 x 3)) 2)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)) (+.f64 (/.f64 (*.f64 1/6 (pow.f64 x 3)) -2) (neg.f64 x)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (-.f64 x (neg.f64 (.f64 (pow.f64 x 3) 1/3))) (+.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 (pow.f64 x 2) -1/2)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (/.f64 (-.f64 x (.f64 (pow.f64 x 2) -1/2)) 2) (-.f64 (.f64 (pow.f64 x 3) -1/6) (/.f64 (-.f64 x (*.f64 (pow.f64 x 2) -1/2)) 2)))
(+.f64 (.f64 -2 (+.f64 (/.f64 (pow.f64 x 2) -4) (/.f64 x -2))) (.f64 1/6 (pow.f64 x 3)))
(-.f64 (neg.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 2) -1/2))) (-.f64 (neg.f64 (*.f64 (pow.f64 x 3) 1/3)) x))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (-.f64 x (/.f64 (.f64 1/6 (pow.f64 x 3)) -2)) (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))) 2))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (-.f64 x (/.f64 (.f64 1/6 (pow.f64 x 3)) -2)) (+.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) -2) (*.f64 (pow.f64 x 2) -1/2)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (/.f64 (-.f64 x (neg.f64 (pow.f64 x 2))) 2) (-.f64 (*.f64 (pow.f64 x 3) -1/6) (/.f64 x 2)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (/.f64 (-.f64 x (neg.f64 (pow.f64 x 2))) 2) (+.f64 (/.f64 x -2) (*.f64 (pow.f64 x 3) -1/6)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (-.f64 x (/.f64 (pow.f64 x 2) -4)) (-.f64 (*.f64 (pow.f64 x 3) -1/6) (/.f64 (pow.f64 x 2) 4)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (-.f64 x (/.f64 (pow.f64 x 2) -4)) (+.f64 (/.f64 (pow.f64 x 2) -4) (*.f64 (pow.f64 x 3) -1/6)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (pow.f64 x 2)) 2) (-.f64 (neg.f64 x) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (pow.f64 x 2)) 2) (+.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) -2) (neg.f64 x)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (-.f64 (*.f64 1/6 (pow.f64 x 3)) (/.f64 (pow.f64 x 2) -4)) (-.f64 (neg.f64 x) (/.f64 (pow.f64 x 2) 4)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (-.f64 (*.f64 1/6 (pow.f64 x 3)) (/.f64 (pow.f64 x 2) -4)) (+.f64 (/.f64 (pow.f64 x 2) -4) (neg.f64 x)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (-.f64 (*.f64 1/6 (pow.f64 x 3)) (/.f64 x -2)) (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) x) 2))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (-.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 x -2)) (+.f64 (/.f64 x -2) (.f64 (pow.f64 x 2) -1/2)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (-.f64 x (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) -4)) (/.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) -4))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (+.f64 (.f64 (pow.f64 x 3) 1/3) (/.f64 x 2)) (/.f64 (-.f64 (+.f64 (.f64 (pow.f64 x 3) 1/3) (neg.f64 (pow.f64 x 2))) x) 2))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (-.f64 (.f64 1/6 (pow.f64 x 3)) x) (-.f64 (.f64 x -2) (*.f64 1/2 (pow.f64 x 2))))
(-.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (-.f64 (.f64 x -2) (*.f64 1/2 (pow.f64 x 2))) x))
(-.f64 (.f64 1/6 (pow.f64 x 3)) (-.f64 (.f64 x -2) (-.f64 (*.f64 1/2 (pow.f64 x 2)) x)))
(-.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 x (-.f64 (.f64 x -2) (*.f64 1/2 (pow.f64 x 2)))))
(-.f64 (-.f64 (.f64 1/2 (pow.f64 x 2)) x) (-.f64 (.f64 x -2) (*.f64 1/6 (pow.f64 x 3))))
(-.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (-.f64 (.f64 x -2) (*.f64 1/2 (pow.f64 x 2))) x))
(-.f64 (.f64 1/6 (pow.f64 x 3)) (-.f64 (.f64 x -2) (-.f64 (*.f64 1/2 (pow.f64 x 2)) x)))
(-.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 x (-.f64 (.f64 x -2) (*.f64 1/2 (pow.f64 x 2)))))
(-.f64 (+.f64 x (.f64 (pow.f64 x 2) -1/2)) (-.f64 (neg.f64 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (-.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 (*.f64 (pow.f64 x 3) -1/6) x)) (/.f64 (pow.f64 x 2) -4))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (-.f64 (/.f64 (-.f64 x (.f64 (pow.f64 x 2) -1/2)) 2) (.f64 (pow.f64 x 3) -1/6)) (-.f64 0 (/.f64 (-.f64 x (*.f64 (pow.f64 x 2) -1/2)) 2)))
(-.f64 (/.f64 (-.f64 x (.f64 (pow.f64 x 2) -1/2)) 2) (-.f64 (.f64 (pow.f64 x 3) -1/6) (/.f64 (-.f64 x (*.f64 (pow.f64 x 2) -1/2)) 2)))
(+.f64 (.f64 -2 (+.f64 (/.f64 (pow.f64 x 2) -4) (/.f64 x -2))) (.f64 1/6 (pow.f64 x 3)))
(-.f64 (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (-.f64 1 (.f64 1/2 (pow.f64 x 2)))) (-.f64 (-.f64 -1 x) (/.f64 (*.f64 1/6 (pow.f64 x 3)) 2)))
(-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (-.f64 (-.f64 -1 x) (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (-.f64 1 (*.f64 1/2 (pow.f64 x 2))))))
(-.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (+.f64 (-.f64 -1 x) (.f64 (.f64 1/6 (pow.f64 x 3)) -1/2)) (-.f64 1 (.f64 (*.f64 1/6 (pow.f64 x 3)) 1/2))))
(-.f64 (.f64 1/2 (pow.f64 x 2)) (-.f64 1 (-.f64 (/.f64 (.f64 (pow.f64 x 3) -2/3) -8) (-.f64 (-.f64 -1 x) (/.f64 (*.f64 (pow.f64 x 3) -2/3) -8)))))
(-.f64 (-.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2))) (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))) (+.f64 (.f64 (pow.f64 x 3) -1/6) (-.f64 (.f64 (pow.f64 x 2) -1/2) x)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (-.f64 (/.f64 x 2) (/.f64 (.f64 1/6 (pow.f64 x 3)) -2)) (-.f64 (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))) 2) (/.f64 x 2)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (/.f64 x -2)) (-.f64 (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) x) 2) (/.f64 (.f64 1/6 (pow.f64 x 3)) 2)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (-.f64 x x) (+.f64 (.f64 (pow.f64 x 3) -1/6) (-.f64 (.f64 (pow.f64 x 2) -1/2) x)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(-.f64 (-.f64 (/.f64 x 2) (-.f64 1 (.f64 1/6 (pow.f64 x 3)))) (-.f64 (-.f64 -1 (.f64 1/2 (pow.f64 x 2))) (/.f64 x 2)))
(-.f64 (/.f64 x 2) (-.f64 (-.f64 -1 (.f64 1/2 (pow.f64 x 2))) (-.f64 (.f64 1/6 (pow.f64 x 3)) (-.f64 1 (/.f64 x 2)))))
(-.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (-.f64 -1 (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 x 2))) (-.f64 1 (/.f64 x 2))))
(-.f64 (/.f64 (+.f64 x (pow.f64 x 2)) 2) (+.f64 (-.f64 -1 (/.f64 x 2)) (+.f64 1 (*.f64 (pow.f64 x 3) -1/6))))
(-.f64 (-.f64 (/.f64 x 2) (-.f64 1 (.f64 1/2 (pow.f64 x 2)))) (-.f64 (-.f64 -1 (.f64 1/6 (pow.f64 x 3))) (/.f64 x 2)))
(-.f64 (/.f64 x 2) (+.f64 (-.f64 (-.f64 -1 (/.f64 x 2)) (.f64 1/6 (pow.f64 x 3))) (-.f64 1 (.f64 1/2 (pow.f64 x 2)))))
(-.f64 (.f64 1/6 (pow.f64 x 3)) (-.f64 (-.f64 -1 (/.f64 x 2)) (-.f64 (.f64 1/2 (pow.f64 x 2)) (-.f64 1 (/.f64 x 2)))))
(-.f64 (-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (-.f64 1 x)) (-.f64 (-.f64 -1 (.f64 1/2 (pow.f64 x 2))) (/.f64 (*.f64 1/6 (pow.f64 x 3)) 2)))
(-.f64 (/.f64 (.f64 1/6 (pow.f64 x 3)) 2) (+.f64 (-.f64 (-.f64 -1 (.f64 1/2 (pow.f64 x 2))) (/.f64 (*.f64 1/6 (pow.f64 x 3)) 2)) (-.f64 1 x)))
(-.f64 (.f64 1/2 (pow.f64 x 2)) (-.f64 (-.f64 -1 (.f64 (.f64 1/6 (pow.f64 x 3)) 1/2)) (-.f64 x (-.f64 1 (.f64 (*.f64 1/6 (pow.f64 x 3)) 1/2)))))
(-.f64 (/.f64 (.f64 (pow.f64 x 3) -2/3) -8) (+.f64 (-.f64 1 x) (-.f64 -1 (.f64 1/2 (+.f64 (pow.f64 x 2) (*.f64 1/6 (pow.f64 x 3)))))))
(.f64 1/2 (+.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) (+.f64 x x)))
(.f64 1/2 (+.f64 x (+.f64 x (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)))))
(.f64 1/2 (+.f64 x (+.f64 x (-.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) -1/3)))))
(.f64 1/2 (-.f64 (+.f64 x (+.f64 x (.f64 (pow.f64 x 3) 1/3))) (neg.f64 (pow.f64 x 2))))
(.f64 1/2 (-.f64 (pow.f64 x 2) (neg.f64 (+.f64 x (+.f64 x (.f64 (pow.f64 x 3) 1/3))))))
(.f64 2 (.f64 (+.f64 x (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))) 1/2))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(.f64 (+.f64 x (+.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))) 1)
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(.f64 1 (+.f64 x (+.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(.f64 (+.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) (+.f64 x x)) 1/2)
(.f64 1/2 (+.f64 x (+.f64 x (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)))))
(.f64 1/2 (+.f64 x (+.f64 x (-.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) -1/3)))))
(.f64 1/4 (+.f64 (.f64 x 4) (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) 2/3))))
(.f64 1/4 (+.f64 (.f64 (pow.f64 x 3) 2/3) (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 x 4))))
(.f64 (+.f64 (.f64 x 4) (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) 2/3))) 1/4)
(.f64 1/4 (+.f64 (.f64 (pow.f64 x 3) 2/3) (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 x 4))))
(.f64 (.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 x 3) 1/3)) (+.f64 x x)) 4) 1/8)
(.f64 1/2 (+.f64 x (+.f64 x (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)))))
(.f64 1/2 (+.f64 x (+.f64 x (-.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) -1/3)))))
(/.f64 (+.f64 x (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))) 1)
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(/.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 x 3) 1/3)) (+.f64 x x)) 2)
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(/.f64 (+.f64 (.f64 x 4) (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 3) 2/3))) 4)
(/.f64 (+.f64 (.f64 (pow.f64 x 3) 2/3) (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 x 4))) 4)
(+.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 x 4)) 4))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 (*.f64 x 4) 4)))
(/.f64 (.f64 (+.f64 (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3)) (+.f64 x x)) 4) 8)
(/.f64 (.f64 4 (+.f64 x (+.f64 x (+.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) 1/3))))) 8)
(/.f64 (.f64 4 (+.f64 x (+.f64 x (-.f64 (pow.f64 x 2) (.f64 (pow.f64 x 3) -1/3))))) 8)
(/.f64 (-.f64 (+.f64 x (+.f64 x (*.f64 (pow.f64 x 3) 1/3))) (neg.f64 (pow.f64 x 2))) 2)
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(/.f64 (-.f64 (.f64 x 4) (neg.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 3) 2/3)))) 4)
(/.f64 (+.f64 (.f64 (pow.f64 x 3) 2/3) (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 x 4))) 4)
(+.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 x 4)) 4))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 (*.f64 x 4) 4)))
(/.f64 (-.f64 (.f64 (pow.f64 x 3) 1/3) (-.f64 (.f64 x -2) (pow.f64 x 2))) 2)
(/.f64 (-.f64 (pow.f64 x 2) (-.f64 (.f64 x -2) (.f64 (pow.f64 x 3) 1/3))) 2)
(-.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 (-.f64 (.f64 x -2) (pow.f64 x 2)) 2))
(/.f64 (-.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 (pow.f64 x 3) 2/3)) (neg.f64 (*.f64 x 4))) 4)
(/.f64 (+.f64 (.f64 (pow.f64 x 3) 2/3) (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 x 4))) 4)
(+.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 x 4)) 4))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 (*.f64 x 4) 4)))
(/.f64 (-.f64 (+.f64 (pow.f64 x 2) (+.f64 x x)) (neg.f64 (*.f64 (pow.f64 x 3) 1/3))) 2)
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(/.f64 (-.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 x 4)) (neg.f64 (*.f64 (pow.f64 x 3) 2/3))) 4)
(/.f64 (+.f64 (.f64 (pow.f64 x 3) 2/3) (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 x 4))) 4)
(+.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 x 4)) 4))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 (*.f64 x 4) 4)))
(/.f64 (-.f64 (+.f64 (.f64 x 4) (.f64 (pow.f64 x 3) 2/3)) (*.f64 (pow.f64 x 2) -2)) 4)
(/.f64 (+.f64 (.f64 (pow.f64 x 3) 2/3) (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 x 4))) 4)
(+.f64 (.f64 1/6 (pow.f64 x 3)) (/.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 x 4)) 4))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) (/.f64 (*.f64 x 4) 4)))
(/.f64 (-.f64 (.f64 (+.f64 x (.f64 1/6 (pow.f64 x 3))) 4) (*.f64 (pow.f64 x 2) -2)) 4)
(/.f64 (-.f64 (.f64 4 (+.f64 x (.f64 1/6 (pow.f64 x 3)))) (*.f64 (pow.f64 x 2) -2)) 4)
(-.f64 (/.f64 (.f64 (+.f64 x (.f64 1/6 (pow.f64 x 3))) 8) 8) (*.f64 (pow.f64 x 2) -1/2))
(pow.f64 (+.f64 x (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))) 1)
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))
(neg.f64 (+.f64 (.f64 (pow.f64 x 3) -1/6) (-.f64 (.f64 (pow.f64 x 2) -1/2) x)))
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/6 (pow.f64 x 3))))

localize50.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
	0.0b	(*.f64 1/2 (pow.f64 x 2))

Compiler

Compiled 19 to 14 computations (26.3% saved)

series1.0ms (0%)

Counts

1 → 3

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	inf	(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
0.0ms	x	@	-inf	(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
0.0ms	x	@	0	(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)

rewrite677.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1622×	`rational_best-4`
1622×	`rational_best-2`
1622×	`rational_best-3`
1622×	`rational_best-1`
1622×	`exponential-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	52	19
2	95	19
3	225	19
4	704	19
5	4279	19

Stop Event

1×	node limit

Counts

1 → 58

Calls

Call 1

Inputs
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 x (*.f64 (pow.f64 x 2) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 x (+.f64 (neg.f64 x) (-.f64 x (*.f64 1/2 (pow.f64 x 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (pow.f64 x 2) (-.f64 (*.f64 1/2 (pow.f64 x 2)) x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 1/2 (pow.f64 x 2)) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 1/2 (pow.f64 x 2)) (+.f64 (*.f64 (pow.f64 x 2) -1/2) (-.f64 (*.f64 1/2 (pow.f64 x 2)) x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (*.f64 1/2 (pow.f64 x 2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (-.f64 (*.f64 (pow.f64 x 2) -1/2) x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (+.f64 (neg.f64 (pow.f64 x 2)) (-.f64 (*.f64 1/2 (pow.f64 x 2)) x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (+.f64 (*.f64 x -2) (-.f64 x (*.f64 1/2 (pow.f64 x 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x x) (-.f64 x (*.f64 1/2 (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (/.f64 x 2) (/.f64 (pow.f64 x 2) -4)) (+.f64 (/.f64 x -2) (/.f64 (pow.f64 x 2) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 (/.f64 (pow.f64 x 2) -4) x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 x 2) 4) (neg.f64 (-.f64 x (/.f64 (pow.f64 x 2) -4))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 x 2) 4) (/.f64 (-.f64 (-.f64 (*.f64 (pow.f64 x 2) -1/2) x) x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 x 2) (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 x 2) (neg.f64 (/.f64 (+.f64 x (pow.f64 x 2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 x 2) (/.f64 (-.f64 0 (+.f64 x (pow.f64 x 2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 x (/.f64 x -2)) (+.f64 (/.f64 x -2) (-.f64 x (*.f64 1/2 (pow.f64 x 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 (pow.f64 x 2) 3/2) 2) (+.f64 (/.f64 (pow.f64 x 2) -4) (-.f64 (*.f64 1/2 (pow.f64 x 2)) x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 x (/.f64 (pow.f64 x 2) -4)) (/.f64 (pow.f64 x 2) -4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (+.f64 x (pow.f64 x 2)) 2) (/.f64 x -2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (-.f64 (/.f64 x 2) (/.f64 (pow.f64 x 2) -4)) (+.f64 (/.f64 (pow.f64 x 2) 8) (/.f64 x 4))) (-.f64 0 (+.f64 (/.f64 (pow.f64 x 2) 8) (/.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (/.f64 x 2) (/.f64 x 4)) (-.f64 (*.f64 (pow.f64 x 2) -1/2) (/.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (/.f64 (pow.f64 x 2) 4) (/.f64 (pow.f64 x 2) 8)) (-.f64 (neg.f64 x) (/.f64 (pow.f64 x 2) 8)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (*.f64 1/2 (pow.f64 x 2)) (-.f64 (*.f64 1/2 (pow.f64 x 2)) x)) (*.f64 (pow.f64 x 2) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 (*.f64 1/2 (pow.f64 x 2)) x)) (neg.f64 (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (/.f64 (*.f64 (pow.f64 x 2) 3/2) 2) (-.f64 (*.f64 1/2 (pow.f64 x 2)) x)) (/.f64 (pow.f64 x 2) -4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 x (-.f64 x (*.f64 1/2 (pow.f64 x 2)))) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 x (*.f64 1/2 (pow.f64 x 2)))) (*.f64 x -2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (-.f64 x (/.f64 x -2)) (-.f64 x (*.f64 1/2 (pow.f64 x 2)))) (/.f64 x -2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (/.f64 (pow.f64 x 2) 4) (+.f64 (/.f64 x -2) (/.f64 (pow.f64 x 2) -4))) (/.f64 x -2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (/.f64 x 2) (+.f64 (/.f64 x -2) (/.f64 (pow.f64 x 2) -4))) (/.f64 (pow.f64 x 2) -4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (+.f64 x (-.f64 (/.f64 x 2) (/.f64 (pow.f64 x 2) -4))) 2) (/.f64 (-.f64 (/.f64 x -2) (/.f64 (*.f64 (pow.f64 x 2) 3/2) 2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (+.f64 (/.f64 (pow.f64 x 2) 4) (/.f64 (+.f64 x (pow.f64 x 2)) 2)) 2) (/.f64 (+.f64 (/.f64 x -2) (-.f64 (/.f64 (pow.f64 x 2) -4) x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (/.f64 (*.f64 (+.f64 x (*.f64 1/2 (pow.f64 x 2))) 3) 2) 2) (/.f64 (+.f64 (/.f64 x -2) (/.f64 (pow.f64 x 2) -4)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 (+.f64 x (*.f64 1/2 (pow.f64 x 2))) 3) 4) (/.f64 (-.f64 (*.f64 (pow.f64 x 2) -1/2) x) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (*.f64 1/2 (pow.f64 x 2)) (*.f64 1/2 (pow.f64 x 2))) (-.f64 (*.f64 (pow.f64 x 2) -1/2) x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 x x) (-.f64 (*.f64 (pow.f64 x 2) -1/2) x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (/.f64 (pow.f64 x 2) 4) (+.f64 (/.f64 (pow.f64 x 2) 8) (/.f64 x 4))) (-.f64 (/.f64 x -2) (+.f64 (/.f64 (pow.f64 x 2) 8) (/.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (/.f64 x 2) (+.f64 (/.f64 (pow.f64 x 2) 8) (/.f64 x 4))) (-.f64 (/.f64 (pow.f64 x 2) -4) (+.f64 (/.f64 (pow.f64 x 2) 8) (/.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 x (+.f64 x (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 1/2 (+.f64 x (*.f64 1/2 (pow.f64 x 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (*.f64 1/2 (pow.f64 x 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 x (*.f64 1/2 (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (+.f64 x (pow.f64 x 2))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (-.f64 (*.f64 x 4) (*.f64 (pow.f64 x 2) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 x 4) (*.f64 (pow.f64 x 2) -2)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/8 (*.f64 (+.f64 x (+.f64 x (pow.f64 x 2))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (+.f64 x (pow.f64 x 2))) 4) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/2 (+.f64 x (*.f64 1/2 (pow.f64 x 2)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (*.f64 1/2 (pow.f64 x 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (+.f64 x (pow.f64 x 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 x 4) (*.f64 (pow.f64 x 2) -2)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (+.f64 x (pow.f64 x 2))) 4) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (pow.f64 x 2) 4) (*.f64 2 (*.f64 x 4))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (+.f64 x (+.f64 x (pow.f64 x 2))) 4) (*.f64 (+.f64 x (+.f64 x (pow.f64 x 2))) 4)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x (*.f64 1/2 (pow.f64 x 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (*.f64 (pow.f64 x 2) -1/2) x))))))

simplify687.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

1198×	`rational_best-simplify-3`
1072×	`rational_best-simplify-1`
880×	`rational_best-simplify-108`
730×	`rational_best-simplify-85`
450×	`rational_best-simplify-63`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	161	1277
1	419	1277
2	1032	1269
3	3953	1253
4	7260	1253

Stop Event

1×	node limit

Counts

61 → 71

Calls

Call 1

Inputs
x
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (pow.f64 x 2))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(-.f64 x (+.f64 (neg.f64 x) (-.f64 x (*.f64 1/2 (pow.f64 x 2)))))
(-.f64 (pow.f64 x 2) (-.f64 (*.f64 1/2 (pow.f64 x 2)) x))
(-.f64 (*.f64 1/2 (pow.f64 x 2)) (neg.f64 x))
(-.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 (pow.f64 x 2) -1/2) (-.f64 (*.f64 1/2 (pow.f64 x 2)) x)))
(-.f64 (+.f64 x (*.f64 1/2 (pow.f64 x 2))) 0)
(-.f64 0 (-.f64 (*.f64 (pow.f64 x 2) -1/2) x))
(-.f64 0 (+.f64 (neg.f64 (pow.f64 x 2)) (-.f64 (*.f64 1/2 (pow.f64 x 2)) x)))
(-.f64 0 (+.f64 (.f64 x -2) (-.f64 x (.f64 1/2 (pow.f64 x 2)))))
(-.f64 (+.f64 x x) (-.f64 x (*.f64 1/2 (pow.f64 x 2))))
(-.f64 (-.f64 (/.f64 x 2) (/.f64 (pow.f64 x 2) -4)) (+.f64 (/.f64 x -2) (/.f64 (pow.f64 x 2) -4)))
(-.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 (/.f64 (pow.f64 x 2) -4) x))
(-.f64 (/.f64 (pow.f64 x 2) 4) (neg.f64 (-.f64 x (/.f64 (pow.f64 x 2) -4))))
(-.f64 (/.f64 (pow.f64 x 2) 4) (/.f64 (-.f64 (-.f64 (*.f64 (pow.f64 x 2) -1/2) x) x) 2))
(-.f64 (/.f64 x 2) (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) x) 2))
(-.f64 (/.f64 x 2) (neg.f64 (/.f64 (+.f64 x (pow.f64 x 2)) 2)))
(-.f64 (/.f64 x 2) (/.f64 (-.f64 0 (+.f64 x (pow.f64 x 2))) 2))
(-.f64 (-.f64 x (/.f64 x -2)) (+.f64 (/.f64 x -2) (-.f64 x (*.f64 1/2 (pow.f64 x 2)))))
(-.f64 (/.f64 (.f64 (pow.f64 x 2) 3/2) 2) (+.f64 (/.f64 (pow.f64 x 2) -4) (-.f64 (.f64 1/2 (pow.f64 x 2)) x)))
(-.f64 (-.f64 x (/.f64 (pow.f64 x 2) -4)) (/.f64 (pow.f64 x 2) -4))
(-.f64 (/.f64 (+.f64 x (pow.f64 x 2)) 2) (/.f64 x -2))
(-.f64 (+.f64 (-.f64 (/.f64 x 2) (/.f64 (pow.f64 x 2) -4)) (+.f64 (/.f64 (pow.f64 x 2) 8) (/.f64 x 4))) (-.f64 0 (+.f64 (/.f64 (pow.f64 x 2) 8) (/.f64 x 4))))
(-.f64 (+.f64 (/.f64 x 2) (/.f64 x 4)) (-.f64 (*.f64 (pow.f64 x 2) -1/2) (/.f64 x 4)))
(-.f64 (+.f64 (/.f64 (pow.f64 x 2) 4) (/.f64 (pow.f64 x 2) 8)) (-.f64 (neg.f64 x) (/.f64 (pow.f64 x 2) 8)))
(-.f64 (-.f64 (.f64 1/2 (pow.f64 x 2)) (-.f64 (.f64 1/2 (pow.f64 x 2)) x)) (*.f64 (pow.f64 x 2) -1/2))
(-.f64 (-.f64 0 (-.f64 (*.f64 1/2 (pow.f64 x 2)) x)) (neg.f64 (pow.f64 x 2)))
(-.f64 (-.f64 (/.f64 (.f64 (pow.f64 x 2) 3/2) 2) (-.f64 (.f64 1/2 (pow.f64 x 2)) x)) (/.f64 (pow.f64 x 2) -4))
(-.f64 (-.f64 x (-.f64 x (*.f64 1/2 (pow.f64 x 2)))) (neg.f64 x))
(-.f64 (-.f64 0 (-.f64 x (.f64 1/2 (pow.f64 x 2)))) (.f64 x -2))
(-.f64 (-.f64 (-.f64 x (/.f64 x -2)) (-.f64 x (*.f64 1/2 (pow.f64 x 2)))) (/.f64 x -2))
(-.f64 (-.f64 (/.f64 (pow.f64 x 2) 4) (+.f64 (/.f64 x -2) (/.f64 (pow.f64 x 2) -4))) (/.f64 x -2))
(-.f64 (-.f64 (/.f64 x 2) (+.f64 (/.f64 x -2) (/.f64 (pow.f64 x 2) -4))) (/.f64 (pow.f64 x 2) -4))
(-.f64 (/.f64 (+.f64 x (-.f64 (/.f64 x 2) (/.f64 (pow.f64 x 2) -4))) 2) (/.f64 (-.f64 (/.f64 x -2) (/.f64 (*.f64 (pow.f64 x 2) 3/2) 2)) 2))
(-.f64 (/.f64 (+.f64 (/.f64 (pow.f64 x 2) 4) (/.f64 (+.f64 x (pow.f64 x 2)) 2)) 2) (/.f64 (+.f64 (/.f64 x -2) (-.f64 (/.f64 (pow.f64 x 2) -4) x)) 2))
(-.f64 (/.f64 (/.f64 (.f64 (+.f64 x (.f64 1/2 (pow.f64 x 2))) 3) 2) 2) (/.f64 (+.f64 (/.f64 x -2) (/.f64 (pow.f64 x 2) -4)) 2))
(-.f64 (/.f64 (.f64 (+.f64 x (.f64 1/2 (pow.f64 x 2))) 3) 4) (/.f64 (-.f64 (*.f64 (pow.f64 x 2) -1/2) x) 4))
(-.f64 (-.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/2 (pow.f64 x 2))) (-.f64 (*.f64 (pow.f64 x 2) -1/2) x))
(-.f64 (-.f64 x x) (-.f64 (*.f64 (pow.f64 x 2) -1/2) x))
(-.f64 (+.f64 (/.f64 (pow.f64 x 2) 4) (+.f64 (/.f64 (pow.f64 x 2) 8) (/.f64 x 4))) (-.f64 (/.f64 x -2) (+.f64 (/.f64 (pow.f64 x 2) 8) (/.f64 x 4))))
(-.f64 (+.f64 (/.f64 x 2) (+.f64 (/.f64 (pow.f64 x 2) 8) (/.f64 x 4))) (-.f64 (/.f64 (pow.f64 x 2) -4) (+.f64 (/.f64 (pow.f64 x 2) 8) (/.f64 x 4))))
(*.f64 1/2 (+.f64 x (+.f64 x (pow.f64 x 2))))
(.f64 2 (.f64 1/2 (+.f64 x (*.f64 1/2 (pow.f64 x 2)))))
(.f64 (+.f64 x (.f64 1/2 (pow.f64 x 2))) 1)
(.f64 1 (+.f64 x (.f64 1/2 (pow.f64 x 2))))
(*.f64 (+.f64 x (+.f64 x (pow.f64 x 2))) 1/2)
(.f64 1/4 (-.f64 (.f64 x 4) (*.f64 (pow.f64 x 2) -2)))
(.f64 (-.f64 (.f64 x 4) (*.f64 (pow.f64 x 2) -2)) 1/4)
(.f64 1/8 (.f64 (+.f64 x (+.f64 x (pow.f64 x 2))) 4))
(.f64 (.f64 (+.f64 x (+.f64 x (pow.f64 x 2))) 4) 1/8)
(.f64 (.f64 1/2 (+.f64 x (*.f64 1/2 (pow.f64 x 2)))) 2)
(/.f64 (+.f64 x (*.f64 1/2 (pow.f64 x 2))) 1)
(/.f64 (+.f64 x (+.f64 x (pow.f64 x 2))) 2)
(/.f64 (-.f64 (.f64 x 4) (.f64 (pow.f64 x 2) -2)) 4)
(/.f64 (*.f64 (+.f64 x (+.f64 x (pow.f64 x 2))) 4) 8)
(/.f64 (+.f64 (.f64 (pow.f64 x 2) 4) (.f64 2 (*.f64 x 4))) 8)
(/.f64 (+.f64 (.f64 (+.f64 x (+.f64 x (pow.f64 x 2))) 4) (.f64 (+.f64 x (+.f64 x (pow.f64 x 2))) 4)) 16)
(pow.f64 (+.f64 x (*.f64 1/2 (pow.f64 x 2))) 1)
(neg.f64 (-.f64 (*.f64 (pow.f64 x 2) -1/2) x))

Outputs
x
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (pow.f64 x 2))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 x (+.f64 (neg.f64 x) (-.f64 x (*.f64 1/2 (pow.f64 x 2)))))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (pow.f64 x 2) (-.f64 (*.f64 1/2 (pow.f64 x 2)) x))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (*.f64 1/2 (pow.f64 x 2)) (neg.f64 x))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 (pow.f64 x 2) -1/2) (-.f64 (*.f64 1/2 (pow.f64 x 2)) x)))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (+.f64 x (*.f64 1/2 (pow.f64 x 2))) 0)
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 0 (-.f64 (*.f64 (pow.f64 x 2) -1/2) x))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 0 (+.f64 (neg.f64 (pow.f64 x 2)) (-.f64 (*.f64 1/2 (pow.f64 x 2)) x)))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 0 (+.f64 (.f64 x -2) (-.f64 x (.f64 1/2 (pow.f64 x 2)))))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (+.f64 x x) (-.f64 x (*.f64 1/2 (pow.f64 x 2))))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (-.f64 (/.f64 x 2) (/.f64 (pow.f64 x 2) -4)) (+.f64 (/.f64 x -2) (/.f64 (pow.f64 x 2) -4)))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (/.f64 (pow.f64 x 2) 4) (-.f64 (/.f64 (pow.f64 x 2) -4) x))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (/.f64 (pow.f64 x 2) 4) (neg.f64 (-.f64 x (/.f64 (pow.f64 x 2) -4))))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (/.f64 (pow.f64 x 2) 4) (/.f64 (-.f64 (-.f64 (*.f64 (pow.f64 x 2) -1/2) x) x) 2))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (/.f64 x 2) (/.f64 (-.f64 (neg.f64 (pow.f64 x 2)) x) 2))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (/.f64 x 2) (neg.f64 (/.f64 (+.f64 x (pow.f64 x 2)) 2)))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (/.f64 x 2) (/.f64 (-.f64 0 (+.f64 x (pow.f64 x 2))) 2))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (-.f64 x (/.f64 x -2)) (+.f64 (/.f64 x -2) (-.f64 x (*.f64 1/2 (pow.f64 x 2)))))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (/.f64 (.f64 (pow.f64 x 2) 3/2) 2) (+.f64 (/.f64 (pow.f64 x 2) -4) (-.f64 (.f64 1/2 (pow.f64 x 2)) x)))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (-.f64 x (/.f64 (pow.f64 x 2) -4)) (/.f64 (pow.f64 x 2) -4))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (/.f64 (+.f64 x (pow.f64 x 2)) 2) (/.f64 x -2))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (+.f64 (-.f64 (/.f64 x 2) (/.f64 (pow.f64 x 2) -4)) (+.f64 (/.f64 (pow.f64 x 2) 8) (/.f64 x 4))) (-.f64 0 (+.f64 (/.f64 (pow.f64 x 2) 8) (/.f64 x 4))))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (+.f64 (/.f64 x 2) (/.f64 x 4)) (-.f64 (*.f64 (pow.f64 x 2) -1/2) (/.f64 x 4)))
(-.f64 (/.f64 x 4) (-.f64 (*.f64 (pow.f64 x 2) -1/2) (+.f64 (/.f64 x 2) (/.f64 x 4))))
(-.f64 (/.f64 x 4) (+.f64 (*.f64 (+.f64 x (pow.f64 x 2)) -1/2) (/.f64 x -4)))
(+.f64 (/.f64 x 4) (-.f64 (/.f64 x 4) (*.f64 -1/2 (+.f64 x (pow.f64 x 2)))))
(-.f64 (+.f64 (/.f64 (pow.f64 x 2) 4) (/.f64 (pow.f64 x 2) 8)) (-.f64 (neg.f64 x) (/.f64 (pow.f64 x 2) 8)))
(-.f64 (/.f64 (pow.f64 x 2) 8) (-.f64 (neg.f64 x) (+.f64 (/.f64 (pow.f64 x 2) 4) (/.f64 (pow.f64 x 2) 8))))
(-.f64 x (-.f64 (neg.f64 (/.f64 (pow.f64 x 2) 8)) (+.f64 (/.f64 (pow.f64 x 2) 4) (/.f64 (pow.f64 x 2) 8))))
(-.f64 (/.f64 (*.f64 (pow.f64 x 2) 3/2) 4) (-.f64 (neg.f64 x) (/.f64 (pow.f64 x 2) 8)))
(-.f64 (-.f64 (.f64 1/2 (pow.f64 x 2)) (-.f64 (.f64 1/2 (pow.f64 x 2)) x)) (*.f64 (pow.f64 x 2) -1/2))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (-.f64 0 (-.f64 (*.f64 1/2 (pow.f64 x 2)) x)) (neg.f64 (pow.f64 x 2)))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (-.f64 (/.f64 (.f64 (pow.f64 x 2) 3/2) 2) (-.f64 (.f64 1/2 (pow.f64 x 2)) x)) (/.f64 (pow.f64 x 2) -4))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (-.f64 x (-.f64 x (*.f64 1/2 (pow.f64 x 2)))) (neg.f64 x))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (-.f64 0 (-.f64 x (.f64 1/2 (pow.f64 x 2)))) (.f64 x -2))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (-.f64 (-.f64 x (/.f64 x -2)) (-.f64 x (*.f64 1/2 (pow.f64 x 2)))) (/.f64 x -2))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (-.f64 (/.f64 (pow.f64 x 2) 4) (+.f64 (/.f64 x -2) (/.f64 (pow.f64 x 2) -4))) (/.f64 x -2))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (-.f64 (/.f64 x 2) (+.f64 (/.f64 x -2) (/.f64 (pow.f64 x 2) -4))) (/.f64 (pow.f64 x 2) -4))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (/.f64 (+.f64 x (-.f64 (/.f64 x 2) (/.f64 (pow.f64 x 2) -4))) 2) (/.f64 (-.f64 (/.f64 x -2) (/.f64 (*.f64 (pow.f64 x 2) 3/2) 2)) 2))
(/.f64 (-.f64 (+.f64 x (-.f64 (/.f64 x 2) (/.f64 (pow.f64 x 2) -4))) (-.f64 (/.f64 x -2) (/.f64 (*.f64 (pow.f64 x 2) 3/2) 2))) 2)
(-.f64 (/.f64 (+.f64 x (-.f64 (/.f64 x 2) (/.f64 (pow.f64 x 2) -4))) 2) (-.f64 (/.f64 x -4) (/.f64 (*.f64 (pow.f64 x 2) 3/2) 4)))
(-.f64 (+.f64 (/.f64 x 2) (/.f64 (+.f64 (pow.f64 x 2) (+.f64 x x)) 8)) (/.f64 (-.f64 (neg.f64 x) (*.f64 (pow.f64 x 2) 3/2)) 4))
(-.f64 (/.f64 (.f64 (pow.f64 x 2) 3/2) 4) (+.f64 (.f64 (+.f64 (pow.f64 x 2) (+.f64 x x)) -1/8) (.f64 3 (.f64 x -1/4))))
(-.f64 (/.f64 (+.f64 (/.f64 (pow.f64 x 2) 4) (/.f64 (+.f64 x (pow.f64 x 2)) 2)) 2) (/.f64 (+.f64 (/.f64 x -2) (-.f64 (/.f64 (pow.f64 x 2) -4) x)) 2))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (/.f64 (/.f64 (.f64 (+.f64 x (.f64 1/2 (pow.f64 x 2))) 3) 2) 2) (/.f64 (+.f64 (/.f64 x -2) (/.f64 (pow.f64 x 2) -4)) 2))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (/.f64 (.f64 (+.f64 x (.f64 1/2 (pow.f64 x 2))) 3) 4) (/.f64 (-.f64 (*.f64 (pow.f64 x 2) -1/2) x) 4))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (-.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/2 (pow.f64 x 2))) (-.f64 (*.f64 (pow.f64 x 2) -1/2) x))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (-.f64 x x) (-.f64 (*.f64 (pow.f64 x 2) -1/2) x))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (+.f64 (/.f64 (pow.f64 x 2) 4) (+.f64 (/.f64 (pow.f64 x 2) 8) (/.f64 x 4))) (-.f64 (/.f64 x -2) (+.f64 (/.f64 (pow.f64 x 2) 8) (/.f64 x 4))))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (+.f64 (/.f64 x 2) (+.f64 (/.f64 (pow.f64 x 2) 8) (/.f64 x 4))) (-.f64 (/.f64 (pow.f64 x 2) -4) (+.f64 (/.f64 (pow.f64 x 2) 8) (/.f64 x 4))))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(*.f64 1/2 (+.f64 x (+.f64 x (pow.f64 x 2))))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(.f64 2 (.f64 1/2 (+.f64 x (*.f64 1/2 (pow.f64 x 2)))))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(.f64 (+.f64 x (.f64 1/2 (pow.f64 x 2))) 1)
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(.f64 1 (+.f64 x (.f64 1/2 (pow.f64 x 2))))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(*.f64 (+.f64 x (+.f64 x (pow.f64 x 2))) 1/2)
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(.f64 1/4 (-.f64 (.f64 x 4) (*.f64 (pow.f64 x 2) -2)))
(.f64 (-.f64 (.f64 x 4) (*.f64 (pow.f64 x 2) -2)) 1/4)
(.f64 1/4 (-.f64 (.f64 x 4) (*.f64 (pow.f64 x 2) -2)))
(.f64 1/8 (.f64 (+.f64 x (+.f64 x (pow.f64 x 2))) 4))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(.f64 (.f64 (+.f64 x (+.f64 x (pow.f64 x 2))) 4) 1/8)
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(.f64 (.f64 1/2 (+.f64 x (*.f64 1/2 (pow.f64 x 2)))) 2)
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(/.f64 (+.f64 x (*.f64 1/2 (pow.f64 x 2))) 1)
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(/.f64 (+.f64 x (+.f64 x (pow.f64 x 2))) 2)
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(/.f64 (-.f64 (.f64 x 4) (.f64 (pow.f64 x 2) -2)) 4)
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(/.f64 (*.f64 (+.f64 x (+.f64 x (pow.f64 x 2))) 4) 8)
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(/.f64 (+.f64 (.f64 (pow.f64 x 2) 4) (.f64 2 (*.f64 x 4))) 8)
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(/.f64 (+.f64 (.f64 (+.f64 x (+.f64 x (pow.f64 x 2))) 4) (.f64 (+.f64 x (+.f64 x (pow.f64 x 2))) 4)) 16)
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(pow.f64 (+.f64 x (*.f64 1/2 (pow.f64 x 2))) 1)
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))
(neg.f64 (-.f64 (*.f64 (pow.f64 x 2) -1/2) x))
(-.f64 x (*.f64 (pow.f64 x 2) -1/2))
(+.f64 x (*.f64 1/2 (pow.f64 x 2)))

eval1.6s (2%)

Compiler: Compiled 6450 to 5108 computations (20.8% saved)

prune181.0ms (0.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	355	0	355
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	355	4	359

Error

0.0b

Counts

359 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	58.7b	(-.f64 (exp.f64 x) 1)
✓	1.0b	(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
✓	0.8b	(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
	1.4b	x

Compiler

Compiled 29 to 22 computations (24.1% saved)

eval0.0ms (0%)

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

prune3.0ms (0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	3	3
Total	4	4

Error

0.0b

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	58.7b	(-.f64 (exp.f64 x) 1)
✓	1.0b	(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
✓	0.8b	(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
	1.4b	x

Compiler

Compiled 29 to 22 computations (24.1% saved)

eval0.0ms (0%)

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

prune19.0ms (0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	3	3
Total	4	4

Error

0.0b

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	58.7b	(-.f64 (exp.f64 x) 1)
✓	1.0b	(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
✓	0.8b	(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
	1.4b	x

Compiler

Compiled 29 to 22 computations (24.1% saved)

regimes41.0ms (0.1%)

Counts

4 → 1

Calls

Call 1

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

Outputs
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))

Calls

3 calls:

31.0ms	x
4.0ms	(-.f64 (exp.f64 x) 1)
4.0ms	(exp.f64 x)

Results

Error	Segments	Branch
0.8b	1	`x`
0.8b	1	`(-.f64 (exp.f64 x) 1)`
0.8b	1	`(exp.f64 x)`

Compiler

Compiled 36 to 26 computations (27.8% saved)

regimes272.0ms (0.4%)

Counts

3 → 1

Calls

Call 1

Inputs
x
(-.f64 (exp.f64 x) 1)
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)

Outputs
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)

Calls

3 calls:

252.0ms	(exp.f64 x)
15.0ms	x
3.0ms	(-.f64 (exp.f64 x) 1)

Results

Error	Segments	Branch
1.0b	1	`x`
1.0b	1	`(-.f64 (exp.f64 x) 1)`
1.0b	1	`(exp.f64 x)`

Compiler

Compiled 23 to 16 computations (30.4% saved)

regimes37.0ms (0%)

Accuracy

Total -58.3b remaining (-4025.6%)

Threshold costs -58.3b (-4025.6%)

Counts

2 → 1

Calls

Call 1

Inputs
x
(-.f64 (exp.f64 x) 1)

Outputs
x

Calls

3 calls:

27.0ms	(-.f64 (exp.f64 x) 1)
6.0ms	x
3.0ms	(exp.f64 x)

Results

Error	Segments	Branch
1.4b	1	`x`
1.4b	1	`(-.f64 (exp.f64 x) 1)`
1.4b	1	`(exp.f64 x)`

Compiler

Compiled 16 to 11 computations (31.3% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	57

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 x (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
x

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

Compiler

Compiled 24 to 18 computations (25% saved)

soundness734.0ms (1%)

Algorithm

1×	egg-herbie

Rules

854×	`rational_best-simplify-1`
832×	`rational_best-simplify-3`
708×	`rational_best-simplify-65`
682×	`rational_best-simplify-62`
660×	`rational_best-simplify-50`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	133	814
1	278	800
2	614	794
3	1825	794
4	6567	778

Stop Event

1×	node limit

Compiler

Compiled 27 to 21 computations (22.2% saved)

end164.0ms (0.2%)

Compiler: Compiled 22 to 16 computations (27.3% saved)

Details

analyze3.0ms (0%)

sample6.7s (8.8%)

preprocess9.0ms (0%)

simplify192.0ms (0.3%)

eval1.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0%)

series1.0ms (0%)

rewrite269.0ms (0.4%)

simplify442.0ms (0.6%)

eval30.9s (40.4%)

prune40.0ms (0.1%)

localize111.0ms (0.1%)

series5.0ms (0%)

rewrite32.5s (42.6%)

simplify776.0ms (1%)

localize50.0ms (0.1%)

series1.0ms (0%)

rewrite677.0ms (0.9%)

simplify687.0ms (0.9%)

eval1.6s (2%)

prune181.0ms (0.2%)

eval0.0ms (0%)

prune3.0ms (0%)

eval0.0ms (0%)

prune19.0ms (0%)

regimes41.0ms (0.1%)

regimes272.0ms (0.4%)

regimes37.0ms (0%)

simplify4.0ms (0%)

soundness734.0ms (1%)

end164.0ms (0.2%)

Profiling