Details

analyze12.0ms (0.4%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	25%	75%	0%	0%	0%	0
0%	0%	25%	75%	0%	0%	0%	1
50%	12.5%	12.5%	75%	0%	0%	0%	2
50%	12.5%	12.5%	75%	0%	0%	0%	3
75%	18.7%	6.2%	75%	0%	0%	0%	4
87.5%	21.8%	3.1%	75%	0%	0%	0%	5
93.8%	23.4%	1.6%	75%	0%	0%	0%	6
93.8%	23.4%	1.6%	75%	0%	0%	0%	7
96.9%	24.2%	0.8%	75%	0%	0%	0%	8
96.9%	24.2%	0.8%	75%	0%	0%	0%	9
98.4%	24.6%	0.4%	75%	0%	0%	0%	10
98.4%	24.6%	0.4%	75%	0%	0%	0%	11
99.2%	24.8%	0.2%	75%	0%	0%	0%	12

Compiler

Compiled 20 to 14 computations (30% saved)

sample2.2s (65.6%)

Results

959.0ms	2057×	body	1024	valid
872.0ms	5183×	body	256	valid
317.0ms	1008×	body	512	valid
6.0ms	8×	body	2048	valid

Bogosity

preprocess6.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

8×	`rational.json-simplify-2`
4×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	66
1	24	66
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
(/.f64 (.f64 v (sin.f64 e)) (+.f64 1 (.f64 v (cos.f64 e))))

Outputs
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
(/.f64 (.f64 v (sin.f64 e)) (+.f64 1 (.f64 v (cos.f64 e))))

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`rational.json-simplify-2`
2×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	33
1	15	33

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))

Outputs
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))

eval0.0ms (0%)

Compiler: Compiled 13 to 9 computations (30.8% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.2b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.2b	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))

Compiler

Compiled 13 to 9 computations (30.8% saved)

localize12.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
✓	0.1b	(*.f64 e (cos.f64 v))
✓	0.1b	(*.f64 e (sin.f64 v))

Compiler

Compiled 34 to 12 computations (64.7% saved)

series8.0ms (0.2%)

Counts

3 → 72

Calls

18 calls:

Time	Variable		Point	Expression
1.0ms	v	@	0	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
1.0ms	e	@	0	(*.f64 e (sin.f64 v))
1.0ms	e	@	-inf	(*.f64 e (cos.f64 v))
1.0ms	e	@	0	(*.f64 e (cos.f64 v))
1.0ms	v	@	inf	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))

rewrite9.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

30×	`rational.json-simplify-2`
30×	`bool.json-1`
28×	`rational.json-simplify-1`
26×	`rational.json-1`
26×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	55
1	54	55
2	85	55
3	90	55

Stop Event

1×

saturated

Counts

3 → 8

Calls

Call 1

Inputs
(*.f64 e (sin.f64 v))
(*.f64 e (cos.f64 v))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 e (sin.f64 v)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 e (sin.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 e (sin.f64 v)) (.f64 e (sin.f64 v)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 e (cos.f64 v)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 e (cos.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 e (cos.f64 v)) (.f64 e (cos.f64 v)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1)) (/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 e (sin.f64 v)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 e (sin.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 e (sin.f64 v)) (*.f64 e (sin.f64 v)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 e (cos.f64 v)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 e (cos.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 e (cos.f64 v)) (*.f64 e (cos.f64 v)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 (*.f64 e (cos.f64 v)) 1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 (*.f64 e (cos.f64 v)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 (*.f64 e (cos.f64 v)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 (*.f64 e (cos.f64 v)) 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 (*.f64 e (sin.f64 v)) (+.f64 (*.f64 e (cos.f64 v)) 1)) (/.f64 (*.f64 e (sin.f64 v)) (+.f64 (*.f64 e (cos.f64 v)) 1)))))))

simplify111.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

806×	`rational.json-simplify-2`
804×	`rational.json-simplify-31`
540×	`rational.json-simplify-1`
464×	`rational.json-simplify-27`
366×	`rational.json-simplify-33`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	131	3042
1	267	3042
2	448	3042
3	722	3042
4	1142	3042
5	1649	3042
6	2218	3042
7	2577	3042
8	2628	3042
9	2628	3042
10	2739	3042
11	2779	3042
12	2781	3042

Stop Event

1×

saturated

Counts

80 → 83

Calls

Call 1

Inputs
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 v e)
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (*.f64 v e))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (+.f64 (.f64 1/120 (.f64 (pow.f64 v 5) e)) (*.f64 v e)))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (+.f64 (.f64 1/120 (.f64 (pow.f64 v 5) e)) (+.f64 (.f64 v e) (.f64 -1/5040 (*.f64 (pow.f64 v 7) e)))))
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (cos.f64 v) e)
(*.f64 (cos.f64 v) e)
(*.f64 (cos.f64 v) e)
(*.f64 (cos.f64 v) e)
(*.f64 (cos.f64 v) e)
(*.f64 (cos.f64 v) e)
(*.f64 (cos.f64 v) e)
(*.f64 (cos.f64 v) e)
(*.f64 (cos.f64 v) e)
(*.f64 (cos.f64 v) e)
(*.f64 (cos.f64 v) e)
(*.f64 (cos.f64 v) e)
e
(+.f64 (.f64 -1/2 (.f64 (pow.f64 v 2) e)) e)
(+.f64 (.f64 1/24 (.f64 (pow.f64 v 4) e)) (+.f64 (.f64 -1/2 (.f64 (pow.f64 v 2) e)) e))
(+.f64 (.f64 -1/720 (.f64 (pow.f64 v 6) e)) (+.f64 (.f64 1/24 (.f64 (pow.f64 v 4) e)) (+.f64 (.f64 -1/2 (.f64 (pow.f64 v 2) e)) e)))
(*.f64 (cos.f64 v) e)
(*.f64 (cos.f64 v) e)
(*.f64 (cos.f64 v) e)
(*.f64 (cos.f64 v) e)
(*.f64 (cos.f64 v) e)
(*.f64 (cos.f64 v) e)
(*.f64 (cos.f64 v) e)
(*.f64 (cos.f64 v) e)
(*.f64 (sin.f64 v) e)
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 3)))))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 4)))) (+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 3))))))
(/.f64 (sin.f64 v) (cos.f64 v))
(+.f64 (.f64 -1 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) e))) (/.f64 (sin.f64 v) (cos.f64 v)))
(+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (+.f64 (.f64 -1 (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e))) (/.f64 (sin.f64 v) (cos.f64 v))))
(+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (+.f64 (.f64 -1 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 4) (pow.f64 e 3)))) (+.f64 (.f64 -1 (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e))) (/.f64 (sin.f64 v) (cos.f64 v)))))
(/.f64 (sin.f64 v) (cos.f64 v))
(+.f64 (.f64 -1 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) e))) (/.f64 (sin.f64 v) (cos.f64 v)))
(+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (+.f64 (.f64 -1 (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e))) (/.f64 (sin.f64 v) (cos.f64 v))))
(+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (+.f64 (.f64 -1 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 4) (pow.f64 e 3)))) (+.f64 (.f64 -1 (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e))) (/.f64 (sin.f64 v) (cos.f64 v)))))
(/.f64 (*.f64 v e) (+.f64 1 e))
(+.f64 (.f64 (pow.f64 v 3) (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))))) (/.f64 (.f64 v e) (+.f64 1 e)))
(+.f64 (.f64 (pow.f64 v 3) (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))))) (+.f64 (/.f64 (.f64 v e) (+.f64 1 e)) (.f64 (pow.f64 v 5) (-.f64 (.f64 1/120 (/.f64 e (+.f64 1 e))) (+.f64 (.f64 1/24 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))) (.f64 -1/2 (/.f64 (.f64 (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (*.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2)))) e) (+.f64 1 e))))))))
(+.f64 (.f64 (pow.f64 v 3) (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))))) (+.f64 (/.f64 (.f64 v e) (+.f64 1 e)) (+.f64 (.f64 (pow.f64 v 7) (-.f64 (.f64 -1/5040 (/.f64 e (+.f64 1 e))) (+.f64 (.f64 1/24 (/.f64 (.f64 (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2)))) e) (+.f64 1 e))) (+.f64 (.f64 -1/2 (/.f64 (.f64 (-.f64 (.f64 1/120 (/.f64 e (+.f64 1 e))) (+.f64 (.f64 1/24 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))) (.f64 -1/2 (/.f64 (.f64 (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2)))) e) (+.f64 1 e))))) e) (+.f64 1 e))) (.f64 -1/720 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))))))) (.f64 (pow.f64 v 5) (-.f64 (.f64 1/120 (/.f64 e (+.f64 1 e))) (+.f64 (.f64 1/24 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))) (.f64 -1/2 (/.f64 (.f64 (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2)))) e) (+.f64 1 e)))))))))
(/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (.f64 (cos.f64 v) e)))
(+.f64 (*.f64 e (sin.f64 v)) 0)
(+.f64 0 (*.f64 e (sin.f64 v)))
(+.f64 (*.f64 e (cos.f64 v)) 0)
(+.f64 0 (*.f64 e (cos.f64 v)))
(+.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1)) 0)
(+.f64 0 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1)))
(.f64 1 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (*.f64 e (cos.f64 v)) 1)))
(.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (*.f64 e (cos.f64 v)) 1)) 1)

Outputs
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 v e)
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (*.f64 v e))
(+.f64 (.f64 v e) (.f64 -1/6 (*.f64 e (pow.f64 v 3))))
(+.f64 (.f64 v e) (.f64 e (*.f64 -1/6 (pow.f64 v 3))))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (+.f64 (.f64 1/120 (.f64 (pow.f64 v 5) e)) (*.f64 v e)))
(+.f64 (.f64 -1/6 (.f64 e (pow.f64 v 3))) (+.f64 (.f64 v e) (.f64 (pow.f64 v 5) (*.f64 1/120 e))))
(+.f64 (.f64 e (.f64 -1/6 (pow.f64 v 3))) (+.f64 (.f64 v e) (.f64 (pow.f64 v 5) (*.f64 e 1/120))))
(+.f64 (.f64 v e) (+.f64 (.f64 -1/6 (.f64 e (pow.f64 v 3))) (.f64 e (*.f64 1/120 (pow.f64 v 5)))))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (+.f64 (.f64 1/120 (.f64 (pow.f64 v 5) e)) (+.f64 (.f64 v e) (.f64 -1/5040 (*.f64 (pow.f64 v 7) e)))))
(+.f64 (.f64 -1/6 (.f64 e (pow.f64 v 3))) (+.f64 (.f64 (pow.f64 v 5) (.f64 1/120 e)) (+.f64 (.f64 v e) (.f64 (pow.f64 v 7) (*.f64 -1/5040 e)))))
(+.f64 (.f64 e (.f64 -1/6 (pow.f64 v 3))) (+.f64 (+.f64 (.f64 (pow.f64 v 5) (.f64 e 1/120)) (.f64 (pow.f64 v 7) (.f64 e -1/5040))) (*.f64 v e)))
(+.f64 (.f64 v e) (+.f64 (.f64 e (.f64 -1/5040 (pow.f64 v 7))) (+.f64 (.f64 -1/6 (.f64 e (pow.f64 v 3))) (.f64 e (*.f64 1/120 (pow.f64 v 5))))))
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (sin.f64 v) e)
(*.f64 (cos.f64 v) e)
(*.f64 e (cos.f64 v))
(*.f64 (cos.f64 v) e)
(*.f64 e (cos.f64 v))
(*.f64 (cos.f64 v) e)
(*.f64 e (cos.f64 v))
(*.f64 (cos.f64 v) e)
(*.f64 e (cos.f64 v))
(*.f64 (cos.f64 v) e)
(*.f64 e (cos.f64 v))
(*.f64 (cos.f64 v) e)
(*.f64 e (cos.f64 v))
(*.f64 (cos.f64 v) e)
(*.f64 e (cos.f64 v))
(*.f64 (cos.f64 v) e)
(*.f64 e (cos.f64 v))
(*.f64 (cos.f64 v) e)
(*.f64 e (cos.f64 v))
(*.f64 (cos.f64 v) e)
(*.f64 e (cos.f64 v))
(*.f64 (cos.f64 v) e)
(*.f64 e (cos.f64 v))
(*.f64 (cos.f64 v) e)
(*.f64 e (cos.f64 v))
e
(+.f64 (.f64 -1/2 (.f64 (pow.f64 v 2) e)) e)
(+.f64 e (.f64 (pow.f64 v 2) (.f64 -1/2 e)))
(+.f64 e (.f64 (pow.f64 v 2) (.f64 e -1/2)))
(+.f64 e (.f64 -1/2 (.f64 e (pow.f64 v 2))))
(+.f64 (.f64 1/24 (.f64 (pow.f64 v 4) e)) (+.f64 (.f64 -1/2 (.f64 (pow.f64 v 2) e)) e))
(+.f64 (+.f64 e (.f64 (pow.f64 v 2) (.f64 -1/2 e))) (.f64 (pow.f64 v 4) (.f64 1/24 e)))
(+.f64 e (+.f64 (.f64 (pow.f64 v 2) (.f64 e -1/2)) (.f64 (pow.f64 v 4) (.f64 e 1/24))))
(+.f64 e (+.f64 (.f64 -1/2 (.f64 e (pow.f64 v 2))) (.f64 e (.f64 1/24 (pow.f64 v 4)))))
(+.f64 (.f64 -1/2 (.f64 e (pow.f64 v 2))) (.f64 e (+.f64 1 (.f64 1/24 (pow.f64 v 4)))))
(+.f64 (.f64 -1/720 (.f64 (pow.f64 v 6) e)) (+.f64 (.f64 1/24 (.f64 (pow.f64 v 4) e)) (+.f64 (.f64 -1/2 (.f64 (pow.f64 v 2) e)) e)))
(+.f64 (+.f64 (+.f64 e (.f64 (pow.f64 v 2) (.f64 -1/2 e))) (.f64 (pow.f64 v 4) (.f64 1/24 e))) (.f64 (pow.f64 v 6) (.f64 -1/720 e)))
(+.f64 (+.f64 e (.f64 (pow.f64 v 2) (.f64 e -1/2))) (+.f64 (.f64 (pow.f64 v 4) (.f64 e 1/24)) (.f64 (pow.f64 v 6) (.f64 e -1/720))))
(+.f64 (+.f64 e (.f64 -1/2 (.f64 e (pow.f64 v 2)))) (+.f64 (.f64 e (.f64 1/24 (pow.f64 v 4))) (.f64 -1/720 (.f64 e (pow.f64 v 6)))))
(+.f64 (.f64 -1/2 (.f64 e (pow.f64 v 2))) (+.f64 (.f64 -1/720 (.f64 e (pow.f64 v 6))) (.f64 e (+.f64 1 (.f64 1/24 (pow.f64 v 4))))))
(*.f64 (cos.f64 v) e)
(*.f64 e (cos.f64 v))
(*.f64 (cos.f64 v) e)
(*.f64 e (cos.f64 v))
(*.f64 (cos.f64 v) e)
(*.f64 e (cos.f64 v))
(*.f64 (cos.f64 v) e)
(*.f64 e (cos.f64 v))
(*.f64 (cos.f64 v) e)
(*.f64 e (cos.f64 v))
(*.f64 (cos.f64 v) e)
(*.f64 e (cos.f64 v))
(*.f64 (cos.f64 v) e)
(*.f64 e (cos.f64 v))
(*.f64 (cos.f64 v) e)
(*.f64 e (cos.f64 v))
(*.f64 (sin.f64 v) e)
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))))
(+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2)))))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 3)))))
(+.f64 (+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2))))) (.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 3))))
(+.f64 (+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2))))) (.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 3))))
(+.f64 (.f64 (sin.f64 v) e) (+.f64 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2)))) (.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 3)))))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 4)))) (+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 3))))))
(+.f64 (.f64 (sin.f64 v) (.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))) (+.f64 (+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 3)))) (.f64 (sin.f64 v) (.f64 -1 (*.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 4))))))
(+.f64 (+.f64 (+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2))))) (.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 3)))) (.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (*.f64 -1 (pow.f64 e 4)))))
(+.f64 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2)))) (+.f64 (.f64 (sin.f64 v) e) (+.f64 (.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 3))) (.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (*.f64 -1 (pow.f64 e 4)))))))
(+.f64 (.f64 (sin.f64 v) e) (+.f64 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2)))) (+.f64 (.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 3))) (.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (*.f64 -1 (pow.f64 e 4)))))))
(/.f64 (sin.f64 v) (cos.f64 v))
(+.f64 (.f64 -1 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) e))) (/.f64 (sin.f64 v) (cos.f64 v)))
(+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (.f64 -1 (/.f64 (sin.f64 v) (.f64 e (pow.f64 (cos.f64 v) 2)))))
(+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (+.f64 (.f64 -1 (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e))) (/.f64 (sin.f64 v) (cos.f64 v))))
(+.f64 (+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (.f64 -1 (/.f64 (sin.f64 v) (.f64 e (pow.f64 (cos.f64 v) 2))))) (/.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3))))
(+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (+.f64 (.f64 -1 (/.f64 (sin.f64 v) (.f64 e (pow.f64 (cos.f64 v) 2)))) (/.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3)))))
(+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (+.f64 (.f64 -1 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 4) (pow.f64 e 3)))) (+.f64 (.f64 -1 (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e))) (/.f64 (sin.f64 v) (cos.f64 v)))))
(+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3))) (+.f64 (+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (.f64 -1 (/.f64 (sin.f64 v) (.f64 e (pow.f64 (cos.f64 v) 2))))) (.f64 -1 (/.f64 (sin.f64 v) (*.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 4))))))
(+.f64 (+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (.f64 -1 (/.f64 (sin.f64 v) (.f64 e (pow.f64 (cos.f64 v) 2))))) (+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3))) (.f64 -1 (/.f64 (sin.f64 v) (*.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 4))))))
(+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3))) (+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (+.f64 (.f64 -1 (/.f64 (sin.f64 v) (.f64 e (pow.f64 (cos.f64 v) 2)))) (.f64 -1 (/.f64 (sin.f64 v) (*.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 4)))))))
(/.f64 (sin.f64 v) (cos.f64 v))
(+.f64 (.f64 -1 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) e))) (/.f64 (sin.f64 v) (cos.f64 v)))
(+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (.f64 -1 (/.f64 (sin.f64 v) (.f64 e (pow.f64 (cos.f64 v) 2)))))
(+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (+.f64 (.f64 -1 (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e))) (/.f64 (sin.f64 v) (cos.f64 v))))
(+.f64 (+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (.f64 -1 (/.f64 (sin.f64 v) (.f64 e (pow.f64 (cos.f64 v) 2))))) (/.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3))))
(+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (+.f64 (.f64 -1 (/.f64 (sin.f64 v) (.f64 e (pow.f64 (cos.f64 v) 2)))) (/.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3)))))
(+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (+.f64 (.f64 -1 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 4) (pow.f64 e 3)))) (+.f64 (.f64 -1 (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e))) (/.f64 (sin.f64 v) (cos.f64 v)))))
(+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3))) (+.f64 (+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (.f64 -1 (/.f64 (sin.f64 v) (.f64 e (pow.f64 (cos.f64 v) 2))))) (.f64 -1 (/.f64 (sin.f64 v) (*.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 4))))))
(+.f64 (+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (.f64 -1 (/.f64 (sin.f64 v) (.f64 e (pow.f64 (cos.f64 v) 2))))) (+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3))) (.f64 -1 (/.f64 (sin.f64 v) (*.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 4))))))
(+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3))) (+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (+.f64 (.f64 -1 (/.f64 (sin.f64 v) (.f64 e (pow.f64 (cos.f64 v) 2)))) (.f64 -1 (/.f64 (sin.f64 v) (*.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 4)))))))
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 (*.f64 v e) (+.f64 e 1))
(+.f64 (.f64 (pow.f64 v 3) (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))))) (/.f64 (.f64 v e) (+.f64 1 e)))
(+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (.f64 (pow.f64 v 3) (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))))
(+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/2))))
(+.f64 (.f64 (pow.f64 v 3) (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))))) (+.f64 (/.f64 (.f64 v e) (+.f64 1 e)) (.f64 (pow.f64 v 5) (-.f64 (.f64 1/120 (/.f64 e (+.f64 1 e))) (+.f64 (.f64 1/24 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))) (.f64 -1/2 (/.f64 (.f64 (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (*.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2)))) e) (+.f64 1 e))))))))
(+.f64 (+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (.f64 (pow.f64 v 3) (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)))))) (.f64 (pow.f64 v 5) (-.f64 (.f64 1/120 (/.f64 e (+.f64 e 1))) (+.f64 (.f64 1/24 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))) (.f64 -1/2 (/.f64 (.f64 e (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (*.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 e 1)))))))
(+.f64 (+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (.f64 (pow.f64 v 3) (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)))))) (.f64 (pow.f64 v 5) (-.f64 (-.f64 (.f64 1/120 (/.f64 e (+.f64 e 1))) (.f64 1/24 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)))) (.f64 -1/2 (/.f64 (.f64 e (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (*.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 e 1))))))
(+.f64 (.f64 (pow.f64 v 3) (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (.f64 (pow.f64 v 5) (-.f64 (.f64 1/120 (/.f64 e (+.f64 e 1))) (+.f64 (.f64 1/24 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))) (.f64 -1/2 (/.f64 (.f64 e (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (*.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 e 1))))))))
(+.f64 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/2))) (+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (.f64 (pow.f64 v 5) (-.f64 (.f64 1/120 (/.f64 e (+.f64 e 1))) (+.f64 (.f64 1/24 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))) (.f64 -1/2 (/.f64 (.f64 e (+.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (*.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/2))) (+.f64 e 1))))))))
(+.f64 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/2))) (+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (.f64 (pow.f64 v 5) (+.f64 (.f64 (/.f64 (.f64 e (+.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/2))) (+.f64 e 1)) 1/2) (+.f64 (.f64 1/120 (/.f64 e (+.f64 e 1))) (*.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) -1/24))))))
(+.f64 (.f64 (pow.f64 v 3) (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))))) (+.f64 (/.f64 (.f64 v e) (+.f64 1 e)) (+.f64 (.f64 (pow.f64 v 7) (-.f64 (.f64 -1/5040 (/.f64 e (+.f64 1 e))) (+.f64 (.f64 1/24 (/.f64 (.f64 (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2)))) e) (+.f64 1 e))) (+.f64 (.f64 -1/2 (/.f64 (.f64 (-.f64 (.f64 1/120 (/.f64 e (+.f64 1 e))) (+.f64 (.f64 1/24 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))) (.f64 -1/2 (/.f64 (.f64 (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2)))) e) (+.f64 1 e))))) e) (+.f64 1 e))) (.f64 -1/720 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))))))) (.f64 (pow.f64 v 5) (-.f64 (.f64 1/120 (/.f64 e (+.f64 1 e))) (+.f64 (.f64 1/24 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))) (.f64 -1/2 (/.f64 (.f64 (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2)))) e) (+.f64 1 e)))))))))
(+.f64 (.f64 (pow.f64 v 3) (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 (+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (.f64 (pow.f64 v 7) (-.f64 (-.f64 (.f64 -1/5040 (/.f64 e (+.f64 e 1))) (+.f64 (.f64 -1/2 (/.f64 (.f64 e (-.f64 (.f64 1/120 (/.f64 e (+.f64 e 1))) (+.f64 (.f64 1/24 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))) (.f64 -1/2 (/.f64 (.f64 e (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 e 1)))))) (+.f64 e 1))) (.f64 -1/720 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (.f64 1/24 (/.f64 (.f64 e (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 e 1)))))) (.f64 (pow.f64 v 5) (-.f64 (.f64 1/120 (/.f64 e (+.f64 e 1))) (+.f64 (.f64 1/24 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))) (.f64 -1/2 (/.f64 (.f64 e (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 e 1))))))))
(+.f64 (.f64 (pow.f64 v 3) (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 (.f64 (pow.f64 v 5) (-.f64 (-.f64 (.f64 1/120 (/.f64 e (+.f64 e 1))) (.f64 1/24 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)))) (.f64 -1/2 (/.f64 (.f64 e (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 e 1))))) (+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (.f64 (pow.f64 v 7) (-.f64 (-.f64 (.f64 -1/5040 (/.f64 e (+.f64 e 1))) (+.f64 (.f64 -1/2 (/.f64 (.f64 e (-.f64 (-.f64 (.f64 1/120 (/.f64 e (+.f64 e 1))) (.f64 1/24 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)))) (.f64 -1/2 (/.f64 (.f64 e (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 e 1))))) (+.f64 e 1))) (.f64 -1/720 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (.f64 1/24 (/.f64 (.f64 e (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 e 1))))))))
(+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (+.f64 (+.f64 (.f64 (pow.f64 v 3) (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (.f64 (pow.f64 v 5) (-.f64 (.f64 1/120 (/.f64 e (+.f64 e 1))) (+.f64 (.f64 1/24 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))) (.f64 -1/2 (/.f64 (.f64 e (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 e 1))))))) (.f64 (pow.f64 v 7) (-.f64 (-.f64 (.f64 -1/5040 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (.f64 e (-.f64 (.f64 1/120 (/.f64 e (+.f64 e 1))) (+.f64 (.f64 1/24 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))) (.f64 -1/2 (/.f64 (.f64 e (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 e 1)))))) (+.f64 e 1)))) (+.f64 (.f64 1/24 (/.f64 (.f64 e (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 e 1))) (.f64 -1/720 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))))))
(+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (+.f64 (.f64 (pow.f64 v 7) (-.f64 (-.f64 (.f64 -1/5040 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (.f64 e (-.f64 (.f64 1/120 (/.f64 e (+.f64 e 1))) (+.f64 (.f64 1/24 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))) (.f64 -1/2 (/.f64 (.f64 e (+.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/2))) (+.f64 e 1)))))) (+.f64 e 1)))) (+.f64 (.f64 1/24 (/.f64 (.f64 e (+.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/2))) (+.f64 e 1))) (.f64 -1/720 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)))))) (+.f64 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/2))) (.f64 (pow.f64 v 5) (-.f64 (.f64 1/120 (/.f64 e (+.f64 e 1))) (+.f64 (.f64 1/24 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))) (.f64 -1/2 (/.f64 (.f64 e (+.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/2))) (+.f64 e 1)))))))))
(+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (+.f64 (.f64 (pow.f64 v 7) (+.f64 (.f64 -1/5040 (/.f64 e (+.f64 e 1))) (-.f64 (-.f64 (.f64 (/.f64 (.f64 e (+.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/2))) (+.f64 e 1)) -1/24) (.f64 -1/720 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)))) (.f64 -1/2 (/.f64 (.f64 e (+.f64 (.f64 (/.f64 (.f64 e (+.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/2))) (+.f64 e 1)) 1/2) (+.f64 (.f64 1/120 (/.f64 e (+.f64 e 1))) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) -1/24)))) (+.f64 e 1)))))) (+.f64 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/2))) (.f64 (pow.f64 v 5) (+.f64 (.f64 (/.f64 (.f64 e (+.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/2))) (+.f64 e 1)) 1/2) (+.f64 (.f64 1/120 (/.f64 e (+.f64 e 1))) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) -1/24)))))))
(+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (+.f64 (.f64 (pow.f64 v 7) (+.f64 (.f64 -1/5040 (/.f64 e (+.f64 e 1))) (+.f64 (.f64 (/.f64 (.f64 e (+.f64 (.f64 (/.f64 (.f64 e (+.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/2))) (+.f64 e 1)) 1/2) (+.f64 (.f64 1/120 (/.f64 e (+.f64 e 1))) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) -1/24)))) (+.f64 e 1)) 1/2) (+.f64 (.f64 (/.f64 (.f64 e (+.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/2))) (+.f64 e 1)) -1/24) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/720))))) (+.f64 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/2))) (.f64 (pow.f64 v 5) (+.f64 (.f64 (/.f64 (.f64 e (+.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/2))) (+.f64 e 1)) 1/2) (+.f64 (.f64 1/120 (/.f64 e (+.f64 e 1))) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) -1/24)))))))
(/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (.f64 e (cos.f64 v))))
(/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (.f64 e (cos.f64 v))))
(/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (.f64 e (cos.f64 v))))
(/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (.f64 e (cos.f64 v))))
(/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (.f64 e (cos.f64 v))))
(/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (.f64 e (cos.f64 v))))
(/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (.f64 e (cos.f64 v))))
(/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (.f64 e (cos.f64 v))))
(+.f64 (*.f64 e (sin.f64 v)) 0)
(+.f64 (*.f64 (sin.f64 v) e) 0)
(+.f64 0 (*.f64 e (sin.f64 v)))
(+.f64 (*.f64 (sin.f64 v) e) 0)
(+.f64 (*.f64 e (cos.f64 v)) 0)
(+.f64 0 (*.f64 e (cos.f64 v)))
(+.f64 0 (*.f64 e (cos.f64 v)))
(+.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1)) 0)
(+.f64 0 (/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (.f64 e (cos.f64 v)))))
(+.f64 0 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1)))
(+.f64 0 (/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (.f64 e (cos.f64 v)))))
(.f64 1 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (*.f64 e (cos.f64 v)) 1)))
(.f64 1 (/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (*.f64 e (cos.f64 v)))))
(.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (*.f64 e (cos.f64 v)) 1)) 1)
(.f64 1 (/.f64 (.f64 (sin.f64 v) e) (+.f64 1 (*.f64 e (cos.f64 v)))))

eval49.0ms (1.5%)

Compiler: Compiled 3466 to 2301 computations (33.6% saved)

prune16.0ms (0.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	78	5	83
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	78	6	84

Error

0.1b

Counts

84 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	31.4b	(/.f64 (+.f64 (.f64 v e) (.f64 e (.f64 -1/6 (pow.f64 v 3)))) (+.f64 1 (.f64 e (cos.f64 v))))
▶	30.8b	(/.f64 (*.f64 v e) (+.f64 e 1))
✓	0.2b	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
▶	1.0b	(/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 e))
▶	0.8b	(+.f64 (+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2))))) (.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 3))))
▶	1.2b	(+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2)))))

Compiler

Compiled 187 to 125 computations (33.2% saved)

localize37.0ms (1.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2)))
✓	0.1b	(*.f64 (sin.f64 v) e)
✓	0.1b	(.f64 (sin.f64 v) (.f64 (cos.f64 v) (*.f64 -1 (pow.f64 e 2))))
✓	0.2b	(pow.f64 (cos.f64 v) 2)

Compiler

Compiled 112 to 61 computations (45.5% saved)

series9.0ms (0.3%)

Counts

4 → 56

Calls

21 calls:

Time	Variable		Point	Expression
2.0ms	v	@	-inf	(.f64 (sin.f64 v) (.f64 (cos.f64 v) (*.f64 -1 (pow.f64 e 2))))
1.0ms	v	@	-inf	(pow.f64 (cos.f64 v) 2)
1.0ms	v	@	inf	(.f64 (sin.f64 v) (.f64 (cos.f64 v) (*.f64 -1 (pow.f64 e 2))))
1.0ms	v	@	0	(.f64 (sin.f64 v) (.f64 (cos.f64 v) (*.f64 -1 (pow.f64 e 2))))
1.0ms	e	@	0	(.f64 (sin.f64 v) (.f64 (cos.f64 v) (*.f64 -1 (pow.f64 e 2))))

rewrite8.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

94×	`rational.json-simplify-2`
64×	`bool.json-1`
56×	`rational.json-1`
56×	`rational.json-2`
46×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	78
1	72	78
2	130	78
3	177	78
4	209	78
5	216	78

Stop Event

1×

saturated

Counts

4 → 10

Calls

Call 1

Inputs
(pow.f64 (cos.f64 v) 2)
(.f64 (sin.f64 v) (.f64 (cos.f64 v) (*.f64 -1 (pow.f64 e 2))))
(*.f64 (sin.f64 v) e)
(.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2)))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (cos.f64 v) 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 (cos.f64 v) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cos.f64 v) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (pow.f64 (cos.f64 v) 2))))) (#(struct:change #<rule egg-rr> (2) ((x or (pow.f64 (cos.f64 v) 2) (pow.f64 (cos.f64 v) 2))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 (sin.f64 v) (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2)))) (.f64 (sin.f64 v) (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (sin.f64 v) e) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (sin.f64 v) e))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) e))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2))))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2))) (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2))))))))

simplify36.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

280×	`rational.json-simplify-1`
202×	`rational.json-simplify-2`
166×	`rational.json-simplify-33`
78×	`rational.json-simplify-31`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	117	2346
1	232	2346
2	362	2346
3	474	2346
4	527	2346
5	530	2346

Stop Event

1×

saturated

Counts

66 → 74

Calls

Call 1

Inputs
1
(+.f64 1 (*.f64 -1 (pow.f64 v 2)))
(+.f64 (.f64 1/3 (pow.f64 v 4)) (+.f64 1 (.f64 -1 (pow.f64 v 2))))
(+.f64 (.f64 1/3 (pow.f64 v 4)) (+.f64 1 (+.f64 (.f64 -1 (pow.f64 v 2)) (*.f64 -2/45 (pow.f64 v 6)))))
(.f64 -1 (.f64 v (pow.f64 e 2)))
(+.f64 (.f64 -1 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/2 (pow.f64 e 2)) (.f64 -1/6 (pow.f64 e 2))))) (.f64 -1 (.f64 v (pow.f64 e 2))))
(+.f64 (.f64 -1 (.f64 (pow.f64 v 5) (+.f64 (.f64 1/12 (pow.f64 e 2)) (+.f64 (.f64 1/24 (pow.f64 e 2)) (.f64 1/120 (pow.f64 e 2)))))) (+.f64 (.f64 -1 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/2 (pow.f64 e 2)) (.f64 -1/6 (pow.f64 e 2))))) (.f64 -1 (*.f64 v (pow.f64 e 2)))))
(+.f64 (.f64 -1 (.f64 (pow.f64 v 5) (+.f64 (.f64 1/12 (pow.f64 e 2)) (+.f64 (.f64 1/24 (pow.f64 e 2)) (.f64 1/120 (pow.f64 e 2)))))) (+.f64 (.f64 -1 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/2 (pow.f64 e 2)) (.f64 -1/6 (pow.f64 e 2))))) (+.f64 (.f64 -1 (.f64 (pow.f64 v 7) (+.f64 (.f64 -1/720 (pow.f64 e 2)) (+.f64 (.f64 -1/144 (pow.f64 e 2)) (+.f64 (.f64 -1/240 (pow.f64 e 2)) (.f64 -1/5040 (pow.f64 e 2))))))) (.f64 -1 (*.f64 v (pow.f64 e 2))))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(*.f64 v e)
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (*.f64 v e))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (+.f64 (.f64 1/120 (.f64 (pow.f64 v 5) e)) (*.f64 v e)))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (+.f64 (.f64 1/120 (.f64 (pow.f64 v 5) e)) (+.f64 (.f64 v e) (.f64 -1/5040 (*.f64 (pow.f64 v 7) e)))))
(*.f64 -1 (pow.f64 e 2))
(+.f64 (.f64 -1 (pow.f64 e 2)) (.f64 1/2 (*.f64 (pow.f64 v 2) (pow.f64 e 2))))
(+.f64 (.f64 -1 (pow.f64 e 2)) (+.f64 (.f64 1/2 (.f64 (pow.f64 v 2) (pow.f64 e 2))) (.f64 -1/24 (*.f64 (pow.f64 v 4) (pow.f64 e 2)))))
(+.f64 (.f64 -1 (pow.f64 e 2)) (+.f64 (.f64 1/2 (.f64 (pow.f64 v 2) (pow.f64 e 2))) (+.f64 (.f64 1/720 (.f64 (pow.f64 v 6) (pow.f64 e 2))) (.f64 -1/24 (*.f64 (pow.f64 v 4) (pow.f64 e 2))))))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(+.f64 (pow.f64 (cos.f64 v) 2) 0)
(+.f64 0 (pow.f64 (cos.f64 v) 2))
(*.f64 (pow.f64 (cos.f64 v) 2) 1)
(*.f64 1 (pow.f64 (cos.f64 v) 2))
(+.f64 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (*.f64 -1 (pow.f64 e 2)))) 0)
(+.f64 0 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (*.f64 -1 (pow.f64 e 2)))))
(+.f64 (*.f64 (sin.f64 v) e) 0)
(+.f64 0 (*.f64 (sin.f64 v) e))
(+.f64 (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2))) 0)
(+.f64 0 (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2))))

Outputs
1
(+.f64 1 (*.f64 -1 (pow.f64 v 2)))
(+.f64 (.f64 1/3 (pow.f64 v 4)) (+.f64 1 (.f64 -1 (pow.f64 v 2))))
(+.f64 (+.f64 (.f64 1/3 (pow.f64 v 4)) 1) (.f64 -1 (pow.f64 v 2)))
(+.f64 (.f64 -1 (pow.f64 v 2)) (+.f64 1 (.f64 1/3 (pow.f64 v 4))))
(+.f64 (.f64 1/3 (pow.f64 v 4)) (+.f64 1 (+.f64 (.f64 -1 (pow.f64 v 2)) (*.f64 -2/45 (pow.f64 v 6)))))
(+.f64 (+.f64 (.f64 1/3 (pow.f64 v 4)) 1) (+.f64 (.f64 -1 (pow.f64 v 2)) (*.f64 -2/45 (pow.f64 v 6))))
(+.f64 (+.f64 (.f64 -1 (pow.f64 v 2)) (+.f64 1 (.f64 1/3 (pow.f64 v 4)))) (*.f64 -2/45 (pow.f64 v 6)))
(.f64 -1 (.f64 v (pow.f64 e 2)))
(.f64 (pow.f64 e 2) (.f64 -1 v))
(+.f64 (.f64 -1 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/2 (pow.f64 e 2)) (.f64 -1/6 (pow.f64 e 2))))) (.f64 -1 (.f64 v (pow.f64 e 2))))
(+.f64 (.f64 -1 (.f64 v (pow.f64 e 2))) (.f64 -1 (.f64 (pow.f64 v 3) (+.f64 (.f64 (pow.f64 e 2) -1/2) (.f64 (pow.f64 e 2) -1/6)))))
(+.f64 (.f64 (pow.f64 e 2) (.f64 -1 v)) (.f64 (+.f64 (.f64 (pow.f64 e 2) -1/2) (.f64 (pow.f64 e 2) -1/6)) (.f64 -1 (pow.f64 v 3))))
(+.f64 (.f64 -1 (.f64 v (pow.f64 e 2))) (.f64 (+.f64 (.f64 (pow.f64 e 2) -1/2) (.f64 (pow.f64 e 2) -1/6)) (.f64 -1 (pow.f64 v 3))))
(+.f64 (.f64 -1 (.f64 (pow.f64 v 5) (+.f64 (.f64 1/12 (pow.f64 e 2)) (+.f64 (.f64 1/24 (pow.f64 e 2)) (.f64 1/120 (pow.f64 e 2)))))) (+.f64 (.f64 -1 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/2 (pow.f64 e 2)) (.f64 -1/6 (pow.f64 e 2))))) (.f64 -1 (*.f64 v (pow.f64 e 2)))))
(+.f64 (+.f64 (.f64 -1 (.f64 v (pow.f64 e 2))) (.f64 -1 (.f64 (pow.f64 v 3) (+.f64 (.f64 (pow.f64 e 2) -1/2) (.f64 (pow.f64 e 2) -1/6))))) (.f64 -1 (.f64 (pow.f64 v 5) (+.f64 (.f64 (pow.f64 e 2) 1/12) (+.f64 (.f64 (pow.f64 e 2) 1/24) (*.f64 (pow.f64 e 2) 1/120))))))
(+.f64 (+.f64 (.f64 (pow.f64 e 2) (.f64 -1 v)) (.f64 (+.f64 (.f64 (pow.f64 e 2) -1/2) (.f64 (pow.f64 e 2) -1/6)) (.f64 -1 (pow.f64 v 3)))) (.f64 (+.f64 (.f64 (pow.f64 e 2) 1/12) (+.f64 (.f64 (pow.f64 e 2) 1/24) (.f64 (pow.f64 e 2) 1/120))) (*.f64 -1 (pow.f64 v 5))))
(+.f64 (.f64 (+.f64 (.f64 (pow.f64 e 2) -1/2) (.f64 (pow.f64 e 2) -1/6)) (.f64 -1 (pow.f64 v 3))) (+.f64 (.f64 -1 (.f64 v (pow.f64 e 2))) (.f64 (+.f64 (.f64 (pow.f64 e 2) 1/12) (+.f64 (.f64 (pow.f64 e 2) 1/24) (.f64 (pow.f64 e 2) 1/120))) (*.f64 -1 (pow.f64 v 5)))))
(+.f64 (.f64 -1 (.f64 (pow.f64 v 5) (+.f64 (.f64 1/12 (pow.f64 e 2)) (+.f64 (.f64 1/24 (pow.f64 e 2)) (.f64 1/120 (pow.f64 e 2)))))) (+.f64 (.f64 -1 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/2 (pow.f64 e 2)) (.f64 -1/6 (pow.f64 e 2))))) (+.f64 (.f64 -1 (.f64 (pow.f64 v 7) (+.f64 (.f64 -1/720 (pow.f64 e 2)) (+.f64 (.f64 -1/144 (pow.f64 e 2)) (+.f64 (.f64 -1/240 (pow.f64 e 2)) (.f64 -1/5040 (pow.f64 e 2))))))) (.f64 -1 (*.f64 v (pow.f64 e 2))))))
(+.f64 (.f64 -1 (.f64 (pow.f64 v 5) (+.f64 (.f64 (pow.f64 e 2) 1/12) (+.f64 (.f64 (pow.f64 e 2) 1/24) (.f64 (pow.f64 e 2) 1/120))))) (+.f64 (+.f64 (.f64 -1 (.f64 (pow.f64 v 3) (+.f64 (.f64 (pow.f64 e 2) -1/2) (.f64 (pow.f64 e 2) -1/6)))) (.f64 -1 (.f64 (pow.f64 v 7) (+.f64 (+.f64 (.f64 (pow.f64 e 2) -1/720) (.f64 (pow.f64 e 2) -1/144)) (+.f64 (.f64 (pow.f64 e 2) -1/240) (.f64 (pow.f64 e 2) -1/5040)))))) (.f64 -1 (*.f64 v (pow.f64 e 2)))))
(+.f64 (.f64 (+.f64 (.f64 (pow.f64 e 2) 1/12) (+.f64 (.f64 (pow.f64 e 2) 1/24) (.f64 (pow.f64 e 2) 1/120))) (.f64 -1 (pow.f64 v 5))) (+.f64 (.f64 (pow.f64 e 2) (.f64 -1 v)) (+.f64 (.f64 (+.f64 (.f64 (pow.f64 e 2) -1/2) (.f64 (pow.f64 e 2) -1/6)) (.f64 -1 (pow.f64 v 3))) (.f64 (+.f64 (.f64 (pow.f64 e 2) -1/720) (+.f64 (+.f64 (.f64 (pow.f64 e 2) -1/144) (.f64 (pow.f64 e 2) -1/5040)) (.f64 (pow.f64 e 2) -1/240))) (*.f64 -1 (pow.f64 v 7))))))
(+.f64 (.f64 (+.f64 (.f64 (pow.f64 e 2) 1/12) (+.f64 (.f64 (pow.f64 e 2) 1/24) (.f64 (pow.f64 e 2) 1/120))) (.f64 -1 (pow.f64 v 5))) (+.f64 (.f64 -1 (.f64 v (pow.f64 e 2))) (+.f64 (.f64 (+.f64 (.f64 (pow.f64 e 2) -1/2) (.f64 (pow.f64 e 2) -1/6)) (.f64 -1 (pow.f64 v 3))) (.f64 (+.f64 (.f64 (pow.f64 e 2) -1/720) (+.f64 (.f64 (pow.f64 e 2) -1/240) (+.f64 (.f64 (pow.f64 e 2) -1/144) (.f64 (pow.f64 e 2) -1/5040)))) (*.f64 -1 (pow.f64 v 7))))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (cos.f64 v))))
(.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (*.f64 (cos.f64 v) -1)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) (*.f64 -1 (sin.f64 v))))
(.f64 (.f64 (pow.f64 e 2) (cos.f64 v)) (*.f64 -1 (sin.f64 v)))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (cos.f64 v))))
(.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (*.f64 (cos.f64 v) -1)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) (*.f64 -1 (sin.f64 v))))
(.f64 (.f64 (pow.f64 e 2) (cos.f64 v)) (*.f64 -1 (sin.f64 v)))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (cos.f64 v))))
(.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (*.f64 (cos.f64 v) -1)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) (*.f64 -1 (sin.f64 v))))
(.f64 (.f64 (pow.f64 e 2) (cos.f64 v)) (*.f64 -1 (sin.f64 v)))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (cos.f64 v))))
(.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (*.f64 (cos.f64 v) -1)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) (*.f64 -1 (sin.f64 v))))
(.f64 (.f64 (pow.f64 e 2) (cos.f64 v)) (*.f64 -1 (sin.f64 v)))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (cos.f64 v))))
(.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (*.f64 (cos.f64 v) -1)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) (*.f64 -1 (sin.f64 v))))
(.f64 (.f64 (pow.f64 e 2) (cos.f64 v)) (*.f64 -1 (sin.f64 v)))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (cos.f64 v))))
(.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (*.f64 (cos.f64 v) -1)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) (*.f64 -1 (sin.f64 v))))
(.f64 (.f64 (pow.f64 e 2) (cos.f64 v)) (*.f64 -1 (sin.f64 v)))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (cos.f64 v))))
(.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (*.f64 (cos.f64 v) -1)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) (*.f64 -1 (sin.f64 v))))
(.f64 (.f64 (pow.f64 e 2) (cos.f64 v)) (*.f64 -1 (sin.f64 v)))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (cos.f64 v))))
(.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (*.f64 (cos.f64 v) -1)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) (*.f64 -1 (sin.f64 v))))
(.f64 (.f64 (pow.f64 e 2) (cos.f64 v)) (*.f64 -1 (sin.f64 v)))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (cos.f64 v))))
(.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (*.f64 (cos.f64 v) -1)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) (*.f64 -1 (sin.f64 v))))
(.f64 (.f64 (pow.f64 e 2) (cos.f64 v)) (*.f64 -1 (sin.f64 v)))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (cos.f64 v))))
(.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (*.f64 (cos.f64 v) -1)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) (*.f64 -1 (sin.f64 v))))
(.f64 (.f64 (pow.f64 e 2) (cos.f64 v)) (*.f64 -1 (sin.f64 v)))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (cos.f64 v))))
(.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (*.f64 (cos.f64 v) -1)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) (*.f64 -1 (sin.f64 v))))
(.f64 (.f64 (pow.f64 e 2) (cos.f64 v)) (*.f64 -1 (sin.f64 v)))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (cos.f64 v))))
(.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (*.f64 (cos.f64 v) -1)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) (*.f64 -1 (sin.f64 v))))
(.f64 (.f64 (pow.f64 e 2) (cos.f64 v)) (*.f64 -1 (sin.f64 v)))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (cos.f64 v))))
(.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (*.f64 (cos.f64 v) -1)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) (*.f64 -1 (sin.f64 v))))
(.f64 (.f64 (pow.f64 e 2) (cos.f64 v)) (*.f64 -1 (sin.f64 v)))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (cos.f64 v))))
(.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (*.f64 (cos.f64 v) -1)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) (*.f64 -1 (sin.f64 v))))
(.f64 (.f64 (pow.f64 e 2) (cos.f64 v)) (*.f64 -1 (sin.f64 v)))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (cos.f64 v))))
(.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (*.f64 (cos.f64 v) -1)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) (*.f64 -1 (sin.f64 v))))
(.f64 (.f64 (pow.f64 e 2) (cos.f64 v)) (*.f64 -1 (sin.f64 v)))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (cos.f64 v))))
(.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (*.f64 (cos.f64 v) -1)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) (*.f64 -1 (sin.f64 v))))
(.f64 (.f64 (pow.f64 e 2) (cos.f64 v)) (*.f64 -1 (sin.f64 v)))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (cos.f64 v))))
(.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (*.f64 (cos.f64 v) -1)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) (*.f64 -1 (sin.f64 v))))
(.f64 (.f64 (pow.f64 e 2) (cos.f64 v)) (*.f64 -1 (sin.f64 v)))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (cos.f64 v))))
(.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (*.f64 (cos.f64 v) -1)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) (*.f64 -1 (sin.f64 v))))
(.f64 (.f64 (pow.f64 e 2) (cos.f64 v)) (*.f64 -1 (sin.f64 v)))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (cos.f64 v))))
(.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (*.f64 (cos.f64 v) -1)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) (*.f64 -1 (sin.f64 v))))
(.f64 (.f64 (pow.f64 e 2) (cos.f64 v)) (*.f64 -1 (sin.f64 v)))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (cos.f64 v))))
(.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (*.f64 (cos.f64 v) -1)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) (*.f64 -1 (sin.f64 v))))
(.f64 (.f64 (pow.f64 e 2) (cos.f64 v)) (*.f64 -1 (sin.f64 v)))
(*.f64 v e)
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (*.f64 v e))
(+.f64 (.f64 v e) (.f64 (pow.f64 v 3) (*.f64 -1/6 e)))
(+.f64 (.f64 v e) (.f64 e (*.f64 -1/6 (pow.f64 v 3))))
(+.f64 (.f64 v e) (.f64 e (*.f64 (pow.f64 v 3) -1/6)))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (+.f64 (.f64 1/120 (.f64 (pow.f64 v 5) e)) (*.f64 v e)))
(+.f64 (.f64 (pow.f64 v 3) (.f64 -1/6 e)) (+.f64 (.f64 v e) (.f64 (pow.f64 v 5) (*.f64 1/120 e))))
(+.f64 (.f64 v e) (+.f64 (.f64 e (.f64 -1/6 (pow.f64 v 3))) (.f64 e (*.f64 1/120 (pow.f64 v 5)))))
(+.f64 (.f64 v e) (+.f64 (.f64 e (.f64 (pow.f64 v 3) -1/6)) (.f64 e (*.f64 (pow.f64 v 5) 1/120))))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (+.f64 (.f64 1/120 (.f64 (pow.f64 v 5) e)) (+.f64 (.f64 v e) (.f64 -1/5040 (*.f64 (pow.f64 v 7) e)))))
(+.f64 (.f64 (pow.f64 v 3) (.f64 -1/6 e)) (+.f64 (.f64 (pow.f64 v 5) (.f64 1/120 e)) (+.f64 (.f64 v e) (.f64 (pow.f64 v 7) (*.f64 -1/5040 e)))))
(+.f64 (.f64 e (.f64 -1/6 (pow.f64 v 3))) (+.f64 (.f64 e (.f64 1/120 (pow.f64 v 5))) (+.f64 (.f64 v e) (.f64 e (*.f64 -1/5040 (pow.f64 v 7))))))
(+.f64 (.f64 e (.f64 (pow.f64 v 3) -1/6)) (+.f64 (.f64 v e) (+.f64 (.f64 e (.f64 (pow.f64 v 5) 1/120)) (.f64 e (*.f64 (pow.f64 v 7) -1/5040)))))
(+.f64 (.f64 v e) (+.f64 (.f64 e (.f64 (pow.f64 v 3) -1/6)) (+.f64 (.f64 e (.f64 (pow.f64 v 5) 1/120)) (.f64 e (*.f64 (pow.f64 v 7) -1/5040)))))
(*.f64 -1 (pow.f64 e 2))
(+.f64 (.f64 -1 (pow.f64 e 2)) (.f64 1/2 (*.f64 (pow.f64 v 2) (pow.f64 e 2))))
(+.f64 (.f64 -1 (pow.f64 e 2)) (.f64 (pow.f64 v 2) (*.f64 1/2 (pow.f64 e 2))))
(+.f64 (.f64 -1 (pow.f64 e 2)) (.f64 (pow.f64 e 2) (*.f64 1/2 (pow.f64 v 2))))
(+.f64 (.f64 -1 (pow.f64 e 2)) (.f64 (pow.f64 e 2) (*.f64 (pow.f64 v 2) 1/2)))
(+.f64 (.f64 -1 (pow.f64 e 2)) (+.f64 (.f64 1/2 (.f64 (pow.f64 v 2) (pow.f64 e 2))) (.f64 -1/24 (*.f64 (pow.f64 v 4) (pow.f64 e 2)))))
(+.f64 (.f64 -1 (pow.f64 e 2)) (+.f64 (.f64 (pow.f64 v 2) (.f64 1/2 (pow.f64 e 2))) (.f64 (pow.f64 v 4) (*.f64 -1/24 (pow.f64 e 2)))))
(+.f64 (.f64 -1 (pow.f64 e 2)) (+.f64 (.f64 (pow.f64 e 2) (.f64 1/2 (pow.f64 v 2))) (.f64 (pow.f64 v 4) (*.f64 (pow.f64 e 2) -1/24))))
(+.f64 (.f64 -1 (pow.f64 e 2)) (+.f64 (.f64 (pow.f64 e 2) (.f64 (pow.f64 v 2) 1/2)) (.f64 (pow.f64 v 4) (*.f64 (pow.f64 e 2) -1/24))))
(+.f64 (.f64 -1 (pow.f64 e 2)) (+.f64 (.f64 1/2 (.f64 (pow.f64 v 2) (pow.f64 e 2))) (+.f64 (.f64 1/720 (.f64 (pow.f64 v 6) (pow.f64 e 2))) (.f64 -1/24 (*.f64 (pow.f64 v 4) (pow.f64 e 2))))))
(+.f64 (.f64 -1 (pow.f64 e 2)) (+.f64 (.f64 (pow.f64 v 2) (.f64 1/2 (pow.f64 e 2))) (+.f64 (.f64 (pow.f64 v 4) (.f64 -1/24 (pow.f64 e 2))) (.f64 (pow.f64 v 6) (*.f64 1/720 (pow.f64 e 2))))))
(+.f64 (+.f64 (.f64 -1 (pow.f64 e 2)) (.f64 (pow.f64 e 2) (.f64 1/2 (pow.f64 v 2)))) (+.f64 (.f64 (pow.f64 v 4) (.f64 (pow.f64 e 2) -1/24)) (.f64 (pow.f64 v 6) (*.f64 (pow.f64 e 2) 1/720))))
(+.f64 (+.f64 (.f64 -1 (pow.f64 e 2)) (.f64 (pow.f64 e 2) (.f64 (pow.f64 v 2) 1/2))) (+.f64 (.f64 (pow.f64 v 4) (.f64 (pow.f64 e 2) -1/24)) (.f64 (pow.f64 v 6) (*.f64 (pow.f64 e 2) 1/720))))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (pow.f64 e 2) (cos.f64 v)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) -1))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (pow.f64 e 2) (cos.f64 v)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) -1))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (pow.f64 e 2) (cos.f64 v)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) -1))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (pow.f64 e 2) (cos.f64 v)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) -1))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (pow.f64 e 2) (cos.f64 v)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) -1))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (pow.f64 e 2) (cos.f64 v)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) -1))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (pow.f64 e 2) (cos.f64 v)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) -1))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (pow.f64 e 2) (cos.f64 v)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) -1))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (pow.f64 e 2) (cos.f64 v)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) -1))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (pow.f64 e 2) (cos.f64 v)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) -1))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (pow.f64 e 2) (cos.f64 v)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) -1))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (pow.f64 e 2) (cos.f64 v)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) -1))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (pow.f64 e 2) (cos.f64 v)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) -1))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (pow.f64 e 2) (cos.f64 v)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) -1))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (pow.f64 e 2) (cos.f64 v)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) -1))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (pow.f64 e 2) (cos.f64 v)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) -1))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (pow.f64 e 2) (cos.f64 v)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) -1))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (pow.f64 e 2) (cos.f64 v)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) -1))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (pow.f64 e 2) (cos.f64 v)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) -1))
(.f64 -1 (.f64 (cos.f64 v) (pow.f64 e 2)))
(.f64 -1 (.f64 (pow.f64 e 2) (cos.f64 v)))
(.f64 (pow.f64 e 2) (.f64 (cos.f64 v) -1))
(+.f64 (pow.f64 (cos.f64 v) 2) 0)
(+.f64 0 (pow.f64 (cos.f64 v) 2))
(+.f64 (pow.f64 (cos.f64 v) 2) 0)
(*.f64 (pow.f64 (cos.f64 v) 2) 1)
(*.f64 1 (pow.f64 (cos.f64 v) 2))
(*.f64 1 (pow.f64 (cos.f64 v) 2))
(+.f64 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (*.f64 -1 (pow.f64 e 2)))) 0)
(+.f64 0 (.f64 -1 (.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (cos.f64 v)))))
(+.f64 0 (.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (*.f64 (cos.f64 v) -1))))
(+.f64 0 (.f64 (pow.f64 e 2) (.f64 (cos.f64 v) (*.f64 -1 (sin.f64 v)))))
(+.f64 0 (.f64 (.f64 (pow.f64 e 2) (cos.f64 v)) (*.f64 -1 (sin.f64 v))))
(+.f64 0 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (*.f64 -1 (pow.f64 e 2)))))
(+.f64 0 (.f64 -1 (.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (cos.f64 v)))))
(+.f64 0 (.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (*.f64 (cos.f64 v) -1))))
(+.f64 0 (.f64 (pow.f64 e 2) (.f64 (cos.f64 v) (*.f64 -1 (sin.f64 v)))))
(+.f64 0 (.f64 (.f64 (pow.f64 e 2) (cos.f64 v)) (*.f64 -1 (sin.f64 v))))
(+.f64 (*.f64 (sin.f64 v) e) 0)
(+.f64 0 (*.f64 e (sin.f64 v)))
(+.f64 0 (*.f64 (sin.f64 v) e))
(+.f64 0 (*.f64 e (sin.f64 v)))
(+.f64 (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2))) 0)
(+.f64 0 (.f64 -1 (.f64 (pow.f64 e 2) (cos.f64 v))))
(+.f64 0 (.f64 (pow.f64 e 2) (.f64 (cos.f64 v) -1)))
(+.f64 0 (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2))))
(+.f64 0 (.f64 -1 (.f64 (pow.f64 e 2) (cos.f64 v))))
(+.f64 0 (.f64 (pow.f64 e 2) (.f64 (cos.f64 v) -1)))

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (*.f64 v e) (+.f64 e 1))

Compiler

Compiled 18 to 9 computations (50% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	v	@	0	(/.f64 (*.f64 v e) (+.f64 e 1))
1.0ms	v	@	inf	(/.f64 (*.f64 v e) (+.f64 e 1))
1.0ms	e	@	inf	(/.f64 (*.f64 v e) (+.f64 e 1))
0.0ms	v	@	-inf	(/.f64 (*.f64 v e) (+.f64 e 1))
0.0ms	e	@	0	(/.f64 (*.f64 v e) (+.f64 e 1))

rewrite5.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

22×	`bool.json-1`
20×	`rational.json-simplify-2`
20×	`rational.json-simplify-1`
18×	`rational.json-1`
18×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	37	19
2	60	19
3	65	19

Stop Event

1×

saturated

Counts

1 → 4

Calls

Call 1

Inputs
(/.f64 (*.f64 v e) (+.f64 e 1))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 v e) (+.f64 e 1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (*.f64 v e) (+.f64 e 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (*.f64 v e) (+.f64 e 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 v e) (+.f64 e 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 (*.f64 v e) (+.f64 e 1)) (/.f64 (*.f64 v e) (+.f64 e 1)))))))

simplify13.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

108×	`rational.json-simplify-1`
66×	`rational.json-simplify-33`
32×	`rational.json-simplify-2`
8×	`rational.json-simplify-31`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	724
1	75	724
2	108	724
3	141	724
4	159	724
5	161	724

Stop Event

1×

saturated

Counts

28 → 15

Calls

Call 1

Inputs
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 (*.f64 v e) (+.f64 1 e))
(*.f64 v e)
(+.f64 (.f64 v e) (.f64 -1 (*.f64 v (pow.f64 e 2))))
(+.f64 (.f64 v e) (+.f64 (.f64 -1 (.f64 v (pow.f64 e 2))) (.f64 v (pow.f64 e 3))))
(+.f64 (.f64 v e) (+.f64 (.f64 -1 (.f64 v (pow.f64 e 2))) (+.f64 (.f64 v (pow.f64 e 3)) (.f64 -1 (.f64 v (pow.f64 e 4))))))
v
(+.f64 v (*.f64 -1 (/.f64 v e)))
(+.f64 v (+.f64 (*.f64 -1 (/.f64 v e)) (/.f64 v (pow.f64 e 2))))
(+.f64 v (+.f64 (.f64 -1 (/.f64 v e)) (+.f64 (.f64 -1 (/.f64 v (pow.f64 e 3))) (/.f64 v (pow.f64 e 2)))))
v
(+.f64 v (*.f64 -1 (/.f64 v e)))
(+.f64 v (+.f64 (*.f64 -1 (/.f64 v e)) (/.f64 v (pow.f64 e 2))))
(+.f64 v (+.f64 (.f64 -1 (/.f64 v e)) (+.f64 (.f64 -1 (/.f64 v (pow.f64 e 3))) (/.f64 v (pow.f64 e 2)))))
(+.f64 (/.f64 (*.f64 v e) (+.f64 e 1)) 0)
(+.f64 0 (/.f64 (*.f64 v e) (+.f64 e 1)))
(.f64 1 (/.f64 (.f64 v e) (+.f64 e 1)))
(.f64 (/.f64 (.f64 v e) (+.f64 e 1)) 1)

Outputs
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 (*.f64 v e) (+.f64 e 1))
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 (*.f64 v e) (+.f64 e 1))
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 (*.f64 v e) (+.f64 e 1))
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 (*.f64 v e) (+.f64 e 1))
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 (*.f64 v e) (+.f64 e 1))
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 (*.f64 v e) (+.f64 e 1))
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 (*.f64 v e) (+.f64 e 1))
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 (*.f64 v e) (+.f64 e 1))
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 (*.f64 v e) (+.f64 e 1))
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 (*.f64 v e) (+.f64 e 1))
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 (*.f64 v e) (+.f64 e 1))
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 (*.f64 v e) (+.f64 e 1))
(*.f64 v e)
(+.f64 (.f64 v e) (.f64 -1 (*.f64 v (pow.f64 e 2))))
(+.f64 (.f64 v e) (+.f64 (.f64 -1 (.f64 v (pow.f64 e 2))) (.f64 v (pow.f64 e 3))))
(+.f64 (.f64 v e) (+.f64 (.f64 -1 (.f64 v (pow.f64 e 2))) (+.f64 (.f64 v (pow.f64 e 3)) (.f64 -1 (.f64 v (pow.f64 e 4))))))
v
(+.f64 v (*.f64 -1 (/.f64 v e)))
(+.f64 v (+.f64 (*.f64 -1 (/.f64 v e)) (/.f64 v (pow.f64 e 2))))
(+.f64 v (+.f64 (.f64 -1 (/.f64 v e)) (+.f64 (.f64 -1 (/.f64 v (pow.f64 e 3))) (/.f64 v (pow.f64 e 2)))))
(+.f64 v (+.f64 (.f64 -1 (/.f64 v e)) (+.f64 (/.f64 v (pow.f64 e 2)) (.f64 -1 (/.f64 v (pow.f64 e 3))))))
v
(+.f64 v (*.f64 -1 (/.f64 v e)))
(+.f64 v (+.f64 (*.f64 -1 (/.f64 v e)) (/.f64 v (pow.f64 e 2))))
(+.f64 v (+.f64 (.f64 -1 (/.f64 v e)) (+.f64 (.f64 -1 (/.f64 v (pow.f64 e 3))) (/.f64 v (pow.f64 e 2)))))
(+.f64 v (+.f64 (.f64 -1 (/.f64 v e)) (+.f64 (/.f64 v (pow.f64 e 2)) (.f64 -1 (/.f64 v (pow.f64 e 3))))))
(+.f64 (/.f64 (*.f64 v e) (+.f64 e 1)) 0)
(+.f64 0 (/.f64 (*.f64 v e) (+.f64 e 1)))
(+.f64 (/.f64 (*.f64 v e) (+.f64 e 1)) 0)
(.f64 1 (/.f64 (.f64 v e) (+.f64 e 1)))
(.f64 (/.f64 (.f64 v e) (+.f64 e 1)) 1)
(.f64 1 (/.f64 (.f64 v e) (+.f64 e 1)))

localize9.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 e))
	0.1b	(*.f64 e (sin.f64 v))

Compiler

Compiled 22 to 10 computations (54.5% saved)

series6.0ms (0.2%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	v	@	inf	(/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 e))
0.0ms	v	@	-inf	(/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 e))
0.0ms	v	@	0	(/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 e))
0.0ms	e	@	0	(/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 e))
0.0ms	e	@	inf	(/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 e))

rewrite5.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

26×	`bool.json-1`
24×	`rational.json-simplify-2`
24×	`rational.json-simplify-1`
22×	`rational.json-1`
22×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	23
1	45	23
2	72	23
3	77	23

Stop Event

1×

saturated

Counts

1 → 4

Calls

Call 1

Inputs
(/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 e))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 e 1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 e 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 e 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 e 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 (*.f64 e (sin.f64 v)) (+.f64 e 1)) (/.f64 (*.f64 e (sin.f64 v)) (+.f64 e 1)))))))

simplify18.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

162×	`rational.json-simplify-1`
100×	`rational.json-simplify-33`
46×	`rational.json-simplify-2`
8×	`rational.json-simplify-31`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	69	1108
1	114	1108
2	161	1108
3	211	1108
4	241	1108
5	244	1108

Stop Event

1×

saturated

Counts

28 → 35

Calls

Call 1

Inputs
(*.f64 (sin.f64 v) e)
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (pow.f64 e 2))) (*.f64 (sin.f64 v) e))
(+.f64 (.f64 (sin.f64 v) (pow.f64 e 3)) (+.f64 (.f64 -1 (.f64 (sin.f64 v) (pow.f64 e 2))) (.f64 (sin.f64 v) e)))
(+.f64 (.f64 (sin.f64 v) (pow.f64 e 3)) (+.f64 (.f64 -1 (.f64 (sin.f64 v) (pow.f64 e 2))) (+.f64 (.f64 -1 (.f64 (sin.f64 v) (pow.f64 e 4))) (.f64 (sin.f64 v) e))))
(sin.f64 v)
(+.f64 (sin.f64 v) (*.f64 -1 (/.f64 (sin.f64 v) e)))
(+.f64 (sin.f64 v) (+.f64 (*.f64 -1 (/.f64 (sin.f64 v) e)) (/.f64 (sin.f64 v) (pow.f64 e 2))))
(+.f64 (sin.f64 v) (+.f64 (.f64 -1 (/.f64 (sin.f64 v) e)) (+.f64 (/.f64 (sin.f64 v) (pow.f64 e 2)) (.f64 -1 (/.f64 (sin.f64 v) (pow.f64 e 3))))))
(sin.f64 v)
(+.f64 (sin.f64 v) (*.f64 -1 (/.f64 (sin.f64 v) e)))
(+.f64 (sin.f64 v) (+.f64 (*.f64 -1 (/.f64 (sin.f64 v) e)) (/.f64 (sin.f64 v) (pow.f64 e 2))))
(+.f64 (sin.f64 v) (+.f64 (.f64 -1 (/.f64 (sin.f64 v) e)) (+.f64 (/.f64 (sin.f64 v) (pow.f64 e 2)) (.f64 -1 (/.f64 (sin.f64 v) (pow.f64 e 3))))))
(/.f64 (*.f64 v e) (+.f64 1 e))
(+.f64 (.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 e))) (/.f64 (*.f64 v e) (+.f64 1 e)))
(+.f64 (.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 e))) (+.f64 (.f64 1/120 (/.f64 (.f64 (pow.f64 v 5) e) (+.f64 1 e))) (/.f64 (*.f64 v e) (+.f64 1 e))))
(+.f64 (.f64 -1/5040 (/.f64 (.f64 (pow.f64 v 7) e) (+.f64 1 e))) (+.f64 (.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 e))) (+.f64 (.f64 1/120 (/.f64 (.f64 (pow.f64 v 5) e) (+.f64 1 e))) (/.f64 (*.f64 v e) (+.f64 1 e)))))
(/.f64 (*.f64 (sin.f64 v) e) (+.f64 1 e))
(/.f64 (*.f64 (sin.f64 v) e) (+.f64 1 e))
(/.f64 (*.f64 (sin.f64 v) e) (+.f64 1 e))
(/.f64 (*.f64 (sin.f64 v) e) (+.f64 1 e))
(/.f64 (*.f64 (sin.f64 v) e) (+.f64 1 e))
(/.f64 (*.f64 (sin.f64 v) e) (+.f64 1 e))
(/.f64 (*.f64 (sin.f64 v) e) (+.f64 1 e))
(/.f64 (*.f64 (sin.f64 v) e) (+.f64 1 e))
(+.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 e 1)) 0)
(+.f64 0 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 e 1)))
(.f64 1 (/.f64 (.f64 e (sin.f64 v)) (+.f64 e 1)))
(.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 e 1)) 1)

Outputs
(*.f64 (sin.f64 v) e)
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (pow.f64 e 2))) (*.f64 (sin.f64 v) e))
(+.f64 (.f64 (sin.f64 v) e) (.f64 -1 (*.f64 (sin.f64 v) (pow.f64 e 2))))
(+.f64 (.f64 (sin.f64 v) (pow.f64 e 3)) (+.f64 (.f64 -1 (.f64 (sin.f64 v) (pow.f64 e 2))) (.f64 (sin.f64 v) e)))
(+.f64 (+.f64 (.f64 (sin.f64 v) e) (.f64 -1 (.f64 (sin.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) (pow.f64 e 3)))
(+.f64 (.f64 (sin.f64 v) e) (+.f64 (.f64 -1 (.f64 (sin.f64 v) (pow.f64 e 2))) (.f64 (sin.f64 v) (pow.f64 e 3))))
(+.f64 (.f64 (sin.f64 v) (pow.f64 e 3)) (+.f64 (.f64 -1 (.f64 (sin.f64 v) (pow.f64 e 2))) (+.f64 (.f64 -1 (.f64 (sin.f64 v) (pow.f64 e 4))) (.f64 (sin.f64 v) e))))
(+.f64 (.f64 (sin.f64 v) (pow.f64 e 3)) (+.f64 (.f64 -1 (.f64 (sin.f64 v) (pow.f64 e 2))) (+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 -1 (pow.f64 e 4))))))
(+.f64 (.f64 (sin.f64 v) e) (+.f64 (.f64 (sin.f64 v) (.f64 -1 (pow.f64 e 4))) (+.f64 (.f64 -1 (.f64 (sin.f64 v) (pow.f64 e 2))) (.f64 (sin.f64 v) (pow.f64 e 3)))))
(+.f64 (.f64 (sin.f64 v) e) (+.f64 (.f64 -1 (.f64 (sin.f64 v) (pow.f64 e 2))) (+.f64 (.f64 (sin.f64 v) (pow.f64 e 3)) (.f64 (sin.f64 v) (.f64 -1 (pow.f64 e 4))))))
(sin.f64 v)
(+.f64 (sin.f64 v) (*.f64 -1 (/.f64 (sin.f64 v) e)))
(+.f64 (sin.f64 v) (+.f64 (*.f64 -1 (/.f64 (sin.f64 v) e)) (/.f64 (sin.f64 v) (pow.f64 e 2))))
(+.f64 (sin.f64 v) (+.f64 (.f64 -1 (/.f64 (sin.f64 v) e)) (+.f64 (/.f64 (sin.f64 v) (pow.f64 e 2)) (.f64 -1 (/.f64 (sin.f64 v) (pow.f64 e 3))))))
(+.f64 (+.f64 (sin.f64 v) (+.f64 (.f64 -1 (/.f64 (sin.f64 v) e)) (.f64 -1 (/.f64 (sin.f64 v) (pow.f64 e 3))))) (/.f64 (sin.f64 v) (pow.f64 e 2)))
(sin.f64 v)
(+.f64 (sin.f64 v) (*.f64 -1 (/.f64 (sin.f64 v) e)))
(+.f64 (sin.f64 v) (+.f64 (*.f64 -1 (/.f64 (sin.f64 v) e)) (/.f64 (sin.f64 v) (pow.f64 e 2))))
(+.f64 (sin.f64 v) (+.f64 (.f64 -1 (/.f64 (sin.f64 v) e)) (+.f64 (/.f64 (sin.f64 v) (pow.f64 e 2)) (.f64 -1 (/.f64 (sin.f64 v) (pow.f64 e 3))))))
(+.f64 (+.f64 (sin.f64 v) (+.f64 (.f64 -1 (/.f64 (sin.f64 v) e)) (.f64 -1 (/.f64 (sin.f64 v) (pow.f64 e 3))))) (/.f64 (sin.f64 v) (pow.f64 e 2)))
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 (*.f64 v e) (+.f64 e 1))
(+.f64 (.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 e))) (/.f64 (*.f64 v e) (+.f64 1 e)))
(+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (.f64 -1/6 (/.f64 (*.f64 e (pow.f64 v 3)) (+.f64 e 1))))
(+.f64 (.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 e))) (+.f64 (.f64 1/120 (/.f64 (.f64 (pow.f64 v 5) e) (+.f64 1 e))) (/.f64 (*.f64 v e) (+.f64 1 e))))
(+.f64 (.f64 -1/6 (/.f64 (.f64 e (pow.f64 v 3)) (+.f64 e 1))) (+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (.f64 1/120 (/.f64 (*.f64 e (pow.f64 v 5)) (+.f64 e 1)))))
(+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (+.f64 (.f64 -1/6 (/.f64 (.f64 e (pow.f64 v 3)) (+.f64 e 1))) (.f64 1/120 (/.f64 (*.f64 e (pow.f64 v 5)) (+.f64 e 1)))))
(+.f64 (.f64 -1/5040 (/.f64 (.f64 (pow.f64 v 7) e) (+.f64 1 e))) (+.f64 (.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 e))) (+.f64 (.f64 1/120 (/.f64 (.f64 (pow.f64 v 5) e) (+.f64 1 e))) (/.f64 (*.f64 v e) (+.f64 1 e)))))
(+.f64 (+.f64 (.f64 -1/6 (/.f64 (.f64 e (pow.f64 v 3)) (+.f64 e 1))) (+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (.f64 1/120 (/.f64 (.f64 e (pow.f64 v 5)) (+.f64 e 1))))) (.f64 -1/5040 (/.f64 (*.f64 e (pow.f64 v 7)) (+.f64 e 1))))
(+.f64 (+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (.f64 1/120 (/.f64 (.f64 e (pow.f64 v 5)) (+.f64 e 1)))) (+.f64 (.f64 -1/6 (/.f64 (.f64 e (pow.f64 v 3)) (+.f64 e 1))) (.f64 -1/5040 (/.f64 (*.f64 e (pow.f64 v 7)) (+.f64 e 1)))))
(+.f64 (.f64 -1/6 (/.f64 (.f64 e (pow.f64 v 3)) (+.f64 e 1))) (+.f64 (+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (.f64 1/120 (/.f64 (.f64 e (pow.f64 v 5)) (+.f64 e 1)))) (.f64 -1/5040 (/.f64 (*.f64 e (pow.f64 v 7)) (+.f64 e 1)))))
(+.f64 (.f64 -1/6 (/.f64 (.f64 e (pow.f64 v 3)) (+.f64 e 1))) (+.f64 (.f64 1/120 (/.f64 (.f64 e (pow.f64 v 5)) (+.f64 e 1))) (+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (.f64 -1/5040 (/.f64 (*.f64 e (pow.f64 v 7)) (+.f64 e 1))))))
(/.f64 (*.f64 (sin.f64 v) e) (+.f64 1 e))
(/.f64 (*.f64 (sin.f64 v) e) (+.f64 e 1))
(/.f64 (*.f64 (sin.f64 v) e) (+.f64 1 e))
(/.f64 (*.f64 (sin.f64 v) e) (+.f64 e 1))
(/.f64 (*.f64 (sin.f64 v) e) (+.f64 1 e))
(/.f64 (*.f64 (sin.f64 v) e) (+.f64 e 1))
(/.f64 (*.f64 (sin.f64 v) e) (+.f64 1 e))
(/.f64 (*.f64 (sin.f64 v) e) (+.f64 e 1))
(/.f64 (*.f64 (sin.f64 v) e) (+.f64 1 e))
(/.f64 (*.f64 (sin.f64 v) e) (+.f64 e 1))
(/.f64 (*.f64 (sin.f64 v) e) (+.f64 1 e))
(/.f64 (*.f64 (sin.f64 v) e) (+.f64 e 1))
(/.f64 (*.f64 (sin.f64 v) e) (+.f64 1 e))
(/.f64 (*.f64 (sin.f64 v) e) (+.f64 e 1))
(/.f64 (*.f64 (sin.f64 v) e) (+.f64 1 e))
(/.f64 (*.f64 (sin.f64 v) e) (+.f64 e 1))
(+.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 e 1)) 0)
(+.f64 (/.f64 (*.f64 (sin.f64 v) e) (+.f64 e 1)) 0)
(+.f64 0 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 e 1)))
(+.f64 (/.f64 (*.f64 (sin.f64 v) e) (+.f64 e 1)) 0)
(.f64 1 (/.f64 (.f64 e (sin.f64 v)) (+.f64 e 1)))
(.f64 1 (/.f64 (.f64 (sin.f64 v) e) (+.f64 e 1)))
(.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 e 1)) 1)
(.f64 1 (/.f64 (.f64 (sin.f64 v) e) (+.f64 e 1)))

localize28.0ms (0.9%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 (.f64 v e) (.f64 e (.f64 -1/6 (pow.f64 v 3)))) (+.f64 1 (.f64 e (cos.f64 v))))
	0.1b	(*.f64 e (cos.f64 v))
✓	0.1b	(*.f64 -1/6 (pow.f64 v 3))
✓	4.7b	(.f64 e (.f64 -1/6 (pow.f64 v 3)))

Compiler

Compiled 66 to 36 computations (45.5% saved)

series8.0ms (0.2%)

Counts

3 → 48

Calls

15 calls:

Time	Variable		Point	Expression
1.0ms	e	@	0	(.f64 e (.f64 -1/6 (pow.f64 v 3)))
1.0ms	v	@	0	(/.f64 (+.f64 (.f64 v e) (.f64 e (.f64 -1/6 (pow.f64 v 3)))) (+.f64 1 (.f64 e (cos.f64 v))))
1.0ms	e	@	-inf	(/.f64 (+.f64 (.f64 v e) (.f64 e (.f64 -1/6 (pow.f64 v 3)))) (+.f64 1 (.f64 e (cos.f64 v))))
1.0ms	e	@	inf	(/.f64 (+.f64 (.f64 v e) (.f64 e (.f64 -1/6 (pow.f64 v 3)))) (+.f64 1 (.f64 e (cos.f64 v))))
1.0ms	v	@	inf	(/.f64 (+.f64 (.f64 v e) (.f64 e (.f64 -1/6 (pow.f64 v 3)))) (+.f64 1 (.f64 e (cos.f64 v))))

rewrite7.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

52×	`rational.json-simplify-2`
46×	`bool.json-1`
40×	`rational.json-simplify-1`
38×	`rational.json-1`
38×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	85
1	79	85
2	123	85
3	138	85
4	142	85

Stop Event

1×

saturated

Counts

3 → 8

Calls

Call 1

Inputs
(.f64 e (.f64 -1/6 (pow.f64 v 3)))
(*.f64 -1/6 (pow.f64 v 3))
(/.f64 (+.f64 (.f64 v e) (.f64 e (.f64 -1/6 (pow.f64 v 3)))) (+.f64 1 (.f64 e (cos.f64 v))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 e (*.f64 -1/6 (pow.f64 v 3))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 e (*.f64 -1/6 (pow.f64 v 3))))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 e (*.f64 -1/6 (pow.f64 v 3))) (*.f64 e (*.f64 -1/6 (pow.f64 v 3))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -1/6 (pow.f64 v 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 -1/6 (pow.f64 v 3)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 -1/6 (pow.f64 v 3)) (*.f64 -1/6 (pow.f64 v 3)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (+.f64 (*.f64 e (*.f64 -1/6 (pow.f64 v 3))) (*.f64 e v)) (+.f64 1 (*.f64 e (cos.f64 v)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (+.f64 (*.f64 e (*.f64 -1/6 (pow.f64 v 3))) (*.f64 e v)) (+.f64 1 (*.f64 e (cos.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (+.f64 (*.f64 e (*.f64 -1/6 (pow.f64 v 3))) (*.f64 e v)) (+.f64 1 (*.f64 e (cos.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 e (*.f64 -1/6 (pow.f64 v 3))) (*.f64 e v)) (+.f64 1 (*.f64 e (cos.f64 v)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 (+.f64 (*.f64 e (*.f64 -1/6 (pow.f64 v 3))) (*.f64 e v)) (+.f64 1 (*.f64 e (cos.f64 v)))) (/.f64 (+.f64 (*.f64 e (*.f64 -1/6 (pow.f64 v 3))) (*.f64 e v)) (+.f64 1 (*.f64 e (cos.f64 v)))))))))

simplify140.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

2004×	`rational.json-simplify-33`
1450×	`rational.json-simplify-1`
378×	`rational.json-simplify-2`
268×	`rational.json-simplify-31`
20×	`rational.json-simplify-27`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	153	3796
1	288	3796
2	452	3796
3	815	3796
4	1404	3796
5	1709	3796
6	1771	3796
7	1826	3796
8	1862	3796
9	1871	3796
10	1871	3796
11	1871	3796
12	2391	3796
13	2437	3796
14	2437	3796
15	2439	3796

Stop Event

1×

saturated

Counts

56 → 75

Calls

Call 1

Inputs
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(/.f64 (*.f64 v e) (+.f64 1 e))
(+.f64 (.f64 (pow.f64 v 3) (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))))) (/.f64 (.f64 v e) (+.f64 1 e)))
(+.f64 (.f64 (pow.f64 v 3) (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))))) (+.f64 (/.f64 (.f64 v e) (+.f64 1 e)) (.f64 -1 (.f64 (pow.f64 v 5) (+.f64 (.f64 1/24 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))) (.f64 -1/2 (/.f64 (.f64 (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (*.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2)))) e) (+.f64 1 e))))))))
(+.f64 (.f64 -1 (.f64 (pow.f64 v 7) (+.f64 (.f64 1/24 (/.f64 (.f64 (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2)))) e) (+.f64 1 e))) (+.f64 (.f64 -1/720 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))) (.f64 1/2 (/.f64 (.f64 (+.f64 (.f64 1/24 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))) (.f64 -1/2 (/.f64 (.f64 (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2)))) e) (+.f64 1 e)))) e) (+.f64 1 e))))))) (+.f64 (.f64 (pow.f64 v 3) (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))))) (+.f64 (/.f64 (.f64 v e) (+.f64 1 e)) (.f64 -1 (.f64 (pow.f64 v 5) (+.f64 (.f64 1/24 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))) (.f64 -1/2 (/.f64 (.f64 (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (*.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2)))) e) (+.f64 1 e)))))))))
(.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 (*.f64 (cos.f64 v) e))))
(+.f64 (/.f64 (.f64 v e) (+.f64 1 (.f64 (cos.f64 v) e))) (.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 (*.f64 (cos.f64 v) e)))))
(+.f64 (/.f64 (.f64 v e) (+.f64 1 (.f64 (cos.f64 v) e))) (.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 (*.f64 (cos.f64 v) e)))))
(+.f64 (/.f64 (.f64 v e) (+.f64 1 (.f64 (cos.f64 v) e))) (.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 (*.f64 (cos.f64 v) e)))))
(.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 (*.f64 (cos.f64 v) e))))
(+.f64 (/.f64 (.f64 v e) (+.f64 1 (.f64 (cos.f64 v) e))) (.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 (*.f64 (cos.f64 v) e)))))
(+.f64 (/.f64 (.f64 v e) (+.f64 1 (.f64 (cos.f64 v) e))) (.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 (*.f64 (cos.f64 v) e)))))
(+.f64 (/.f64 (.f64 v e) (+.f64 1 (.f64 (cos.f64 v) e))) (.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 (*.f64 (cos.f64 v) e)))))
(.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3))))
(+.f64 (.f64 -1 (.f64 (cos.f64 v) (.f64 (pow.f64 e 2) (+.f64 v (.f64 -1/6 (pow.f64 v 3)))))) (.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3)))))
(+.f64 (.f64 -1 (.f64 (cos.f64 v) (.f64 (pow.f64 e 2) (+.f64 v (.f64 -1/6 (pow.f64 v 3)))))) (+.f64 (.f64 (pow.f64 (cos.f64 v) 2) (.f64 (pow.f64 e 3) (+.f64 v (.f64 -1/6 (pow.f64 v 3))))) (.f64 e (+.f64 v (*.f64 -1/6 (pow.f64 v 3))))))
(+.f64 (.f64 -1 (.f64 (pow.f64 (cos.f64 v) 3) (.f64 (pow.f64 e 4) (+.f64 v (.f64 -1/6 (pow.f64 v 3)))))) (+.f64 (.f64 -1 (.f64 (cos.f64 v) (.f64 (pow.f64 e 2) (+.f64 v (.f64 -1/6 (pow.f64 v 3)))))) (+.f64 (.f64 (pow.f64 (cos.f64 v) 2) (.f64 (pow.f64 e 3) (+.f64 v (.f64 -1/6 (pow.f64 v 3))))) (.f64 e (+.f64 v (*.f64 -1/6 (pow.f64 v 3)))))))
(/.f64 (+.f64 v (*.f64 -1/6 (pow.f64 v 3))) (cos.f64 v))
(+.f64 (/.f64 v (cos.f64 v)) (+.f64 (.f64 -1 (/.f64 (+.f64 (/.f64 v (pow.f64 (cos.f64 v) 2)) (.f64 -1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 2)))) e)) (*.f64 -1/6 (/.f64 (pow.f64 v 3) (cos.f64 v)))))
(+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2)))) (+.f64 (/.f64 v (cos.f64 v)) (+.f64 (.f64 -1 (/.f64 (+.f64 (/.f64 v (pow.f64 (cos.f64 v) 2)) (.f64 -1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 2)))) e)) (+.f64 (/.f64 v (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (.f64 -1/6 (/.f64 (pow.f64 v 3) (cos.f64 v)))))))
(+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 4))) (/.f64 v (pow.f64 (cos.f64 v) 4))) (pow.f64 e 3))) (+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2)))) (+.f64 (/.f64 v (cos.f64 v)) (+.f64 (.f64 -1 (/.f64 (+.f64 (/.f64 v (pow.f64 (cos.f64 v) 2)) (.f64 -1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 2)))) e)) (+.f64 (/.f64 v (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (.f64 -1/6 (/.f64 (pow.f64 v 3) (cos.f64 v))))))))
(.f64 -1 (/.f64 (+.f64 (.f64 1/6 (pow.f64 v 3)) (*.f64 -1 v)) (cos.f64 v)))
(+.f64 (.f64 -1 (/.f64 v (.f64 (pow.f64 (cos.f64 v) 2) e))) (+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 (cos.f64 v) 2) e))) (.f64 -1 (/.f64 (+.f64 (.f64 1/6 (pow.f64 v 3)) (*.f64 -1 v)) (cos.f64 v)))))
(+.f64 (.f64 -1 (/.f64 v (.f64 (pow.f64 (cos.f64 v) 2) e))) (+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 (cos.f64 v) 2) e))) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 3))) (.f64 -1 (/.f64 v (pow.f64 (cos.f64 v) 3)))) (pow.f64 e 2))) (.f64 -1 (/.f64 (+.f64 (.f64 1/6 (pow.f64 v 3)) (.f64 -1 v)) (cos.f64 v))))))
(+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 (cos.f64 v) 4) (pow.f64 e 3)))) (+.f64 (.f64 -1 (/.f64 v (.f64 (pow.f64 (cos.f64 v) 2) e))) (+.f64 (.f64 -1 (/.f64 v (.f64 (pow.f64 (cos.f64 v) 4) (pow.f64 e 3)))) (+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 (cos.f64 v) 2) e))) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 3))) (.f64 -1 (/.f64 v (pow.f64 (cos.f64 v) 3)))) (pow.f64 e 2))) (.f64 -1 (/.f64 (+.f64 (.f64 1/6 (pow.f64 v 3)) (.f64 -1 v)) (cos.f64 v))))))))
(+.f64 (.f64 e (.f64 -1/6 (pow.f64 v 3))) 0)
(+.f64 0 (.f64 e (.f64 -1/6 (pow.f64 v 3))))
(+.f64 (*.f64 -1/6 (pow.f64 v 3)) 0)
(+.f64 0 (*.f64 -1/6 (pow.f64 v 3)))
(+.f64 (/.f64 (+.f64 (.f64 e (.f64 -1/6 (pow.f64 v 3))) (.f64 e v)) (+.f64 1 (.f64 e (cos.f64 v)))) 0)
(+.f64 0 (/.f64 (+.f64 (.f64 e (.f64 -1/6 (pow.f64 v 3))) (.f64 e v)) (+.f64 1 (.f64 e (cos.f64 v)))))
(.f64 1 (/.f64 (+.f64 (.f64 e (.f64 -1/6 (pow.f64 v 3))) (.f64 e v)) (+.f64 1 (*.f64 e (cos.f64 v)))))
(.f64 (/.f64 (+.f64 (.f64 e (.f64 -1/6 (pow.f64 v 3))) (.f64 e v)) (+.f64 1 (*.f64 e (cos.f64 v)))) 1)

Outputs
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 (*.f64 v e) (+.f64 e 1))
(+.f64 (.f64 (pow.f64 v 3) (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))))) (/.f64 (.f64 v e) (+.f64 1 e)))
(+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (.f64 (pow.f64 v 3) (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))))
(+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/2))))
(+.f64 (.f64 (pow.f64 v 3) (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))))) (+.f64 (/.f64 (.f64 v e) (+.f64 1 e)) (.f64 -1 (.f64 (pow.f64 v 5) (+.f64 (.f64 1/24 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))) (.f64 -1/2 (/.f64 (.f64 (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (*.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2)))) e) (+.f64 1 e))))))))
(+.f64 (+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (.f64 (pow.f64 v 3) (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)))))) (.f64 (pow.f64 v 5) (.f64 -1 (+.f64 (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/24) (.f64 -1/2 (/.f64 (.f64 e (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (*.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 e 1)))))))
(+.f64 (.f64 (pow.f64 v 3) (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (.f64 -1 (.f64 (pow.f64 v 5) (+.f64 (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/24) (.f64 -1/2 (/.f64 (.f64 e (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (*.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 e 1))))))))
(+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (+.f64 (.f64 (pow.f64 v 3) (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (.f64 -1 (.f64 (pow.f64 v 5) (+.f64 (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/24) (.f64 -1/2 (/.f64 (.f64 e (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (*.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 e 1))))))))
(+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (+.f64 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/2))) (.f64 -1 (.f64 (pow.f64 v 5) (+.f64 (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/24) (.f64 -1/2 (/.f64 (.f64 e (+.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (*.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/2))) (+.f64 e 1))))))))
(+.f64 (.f64 -1 (.f64 (pow.f64 v 7) (+.f64 (.f64 1/24 (/.f64 (.f64 (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2)))) e) (+.f64 1 e))) (+.f64 (.f64 -1/720 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))) (.f64 1/2 (/.f64 (.f64 (+.f64 (.f64 1/24 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))) (.f64 -1/2 (/.f64 (.f64 (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2)))) e) (+.f64 1 e)))) e) (+.f64 1 e))))))) (+.f64 (.f64 (pow.f64 v 3) (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))))) (+.f64 (/.f64 (.f64 v e) (+.f64 1 e)) (.f64 -1 (.f64 (pow.f64 v 5) (+.f64 (.f64 1/24 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2))) (.f64 -1/2 (/.f64 (.f64 (-.f64 (.f64 -1/6 (/.f64 e (+.f64 1 e))) (*.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 1 e) 2)))) e) (+.f64 1 e)))))))))
(+.f64 (+.f64 (+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (.f64 (pow.f64 v 3) (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)))))) (.f64 (pow.f64 v 5) (.f64 -1 (+.f64 (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/24) (.f64 -1/2 (/.f64 (.f64 e (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 e 1))))))) (.f64 -1 (.f64 (pow.f64 v 7) (+.f64 (+.f64 (.f64 1/24 (/.f64 (.f64 e (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 e 1))) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) -1/720)) (.f64 1/2 (/.f64 (.f64 e (+.f64 (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/24) (.f64 -1/2 (/.f64 (.f64 e (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (*.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 e 1))))) (+.f64 e 1)))))))
(+.f64 (+.f64 (.f64 (pow.f64 v 3) (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (.f64 -1 (.f64 (pow.f64 v 5) (+.f64 (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/24) (.f64 -1/2 (/.f64 (.f64 e (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 e 1)))))))) (.f64 -1 (.f64 (pow.f64 v 7) (+.f64 (.f64 1/24 (/.f64 (.f64 e (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 e 1))) (+.f64 (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) -1/720) (.f64 1/2 (/.f64 (.f64 e (+.f64 (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/24) (.f64 -1/2 (/.f64 (.f64 e (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (*.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 e 1))))) (+.f64 e 1))))))))
(+.f64 (+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (+.f64 (.f64 (pow.f64 v 3) (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (.f64 -1 (.f64 (pow.f64 v 5) (+.f64 (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/24) (.f64 -1/2 (/.f64 (.f64 e (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 e 1)))))))) (.f64 -1 (.f64 (pow.f64 v 7) (+.f64 (.f64 1/24 (/.f64 (.f64 e (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 e 1))) (+.f64 (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) -1/720) (.f64 1/2 (/.f64 (.f64 e (+.f64 (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/24) (.f64 -1/2 (/.f64 (.f64 e (-.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (*.f64 -1/2 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2))))) (+.f64 e 1))))) (+.f64 e 1))))))))
(+.f64 (+.f64 (/.f64 (.f64 v e) (+.f64 e 1)) (+.f64 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/2))) (.f64 -1 (.f64 (pow.f64 v 5) (+.f64 (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/24) (.f64 -1/2 (/.f64 (.f64 e (+.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/2))) (+.f64 e 1)))))))) (.f64 -1 (.f64 (pow.f64 v 7) (+.f64 (.f64 1/24 (/.f64 (.f64 e (+.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/2))) (+.f64 e 1))) (+.f64 (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) -1/720) (.f64 1/2 (/.f64 (.f64 e (+.f64 (.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/24) (.f64 -1/2 (/.f64 (.f64 e (+.f64 (.f64 -1/6 (/.f64 e (+.f64 e 1))) (*.f64 (/.f64 (pow.f64 e 2) (pow.f64 (+.f64 e 1) 2)) 1/2))) (+.f64 e 1))))) (+.f64 e 1))))))))
(.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 (*.f64 (cos.f64 v) e))))
(.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 (*.f64 e (cos.f64 v)))))
(+.f64 (/.f64 (.f64 v e) (+.f64 1 (.f64 (cos.f64 v) e))) (.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 (*.f64 (cos.f64 v) e)))))
(+.f64 (.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 (.f64 e (cos.f64 v))))) (/.f64 (.f64 v e) (+.f64 1 (*.f64 e (cos.f64 v)))))
(+.f64 (/.f64 (.f64 v e) (+.f64 1 (.f64 (cos.f64 v) e))) (.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 (*.f64 (cos.f64 v) e)))))
(+.f64 (.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 (.f64 e (cos.f64 v))))) (/.f64 (.f64 v e) (+.f64 1 (*.f64 e (cos.f64 v)))))
(+.f64 (/.f64 (.f64 v e) (+.f64 1 (.f64 (cos.f64 v) e))) (.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 (*.f64 (cos.f64 v) e)))))
(+.f64 (.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 (.f64 e (cos.f64 v))))) (/.f64 (.f64 v e) (+.f64 1 (*.f64 e (cos.f64 v)))))
(.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 (*.f64 (cos.f64 v) e))))
(.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 (*.f64 e (cos.f64 v)))))
(+.f64 (/.f64 (.f64 v e) (+.f64 1 (.f64 (cos.f64 v) e))) (.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 (*.f64 (cos.f64 v) e)))))
(+.f64 (.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 (.f64 e (cos.f64 v))))) (/.f64 (.f64 v e) (+.f64 1 (*.f64 e (cos.f64 v)))))
(+.f64 (/.f64 (.f64 v e) (+.f64 1 (.f64 (cos.f64 v) e))) (.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 (*.f64 (cos.f64 v) e)))))
(+.f64 (.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 (.f64 e (cos.f64 v))))) (/.f64 (.f64 v e) (+.f64 1 (*.f64 e (cos.f64 v)))))
(+.f64 (/.f64 (.f64 v e) (+.f64 1 (.f64 (cos.f64 v) e))) (.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 (*.f64 (cos.f64 v) e)))))
(+.f64 (.f64 -1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 (.f64 e (cos.f64 v))))) (/.f64 (.f64 v e) (+.f64 1 (*.f64 e (cos.f64 v)))))
(.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3))))
(+.f64 (.f64 -1 (.f64 (cos.f64 v) (.f64 (pow.f64 e 2) (+.f64 v (.f64 -1/6 (pow.f64 v 3)))))) (.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3)))))
(+.f64 (.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3)))) (.f64 -1 (.f64 (pow.f64 e 2) (.f64 (cos.f64 v) (+.f64 v (.f64 -1/6 (pow.f64 v 3)))))))
(+.f64 (.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3)))) (.f64 (pow.f64 e 2) (.f64 -1 (.f64 (cos.f64 v) (+.f64 v (.f64 -1/6 (pow.f64 v 3)))))))
(+.f64 (.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3)))) (.f64 (+.f64 v (.f64 -1/6 (pow.f64 v 3))) (.f64 -1 (.f64 (pow.f64 e 2) (cos.f64 v)))))
(+.f64 (.f64 -1 (.f64 (cos.f64 v) (.f64 (pow.f64 e 2) (+.f64 v (.f64 -1/6 (pow.f64 v 3)))))) (+.f64 (.f64 (pow.f64 (cos.f64 v) 2) (.f64 (pow.f64 e 3) (+.f64 v (.f64 -1/6 (pow.f64 v 3))))) (.f64 e (+.f64 v (*.f64 -1/6 (pow.f64 v 3))))))
(+.f64 (.f64 -1 (.f64 (pow.f64 e 2) (.f64 (cos.f64 v) (+.f64 v (.f64 -1/6 (pow.f64 v 3)))))) (+.f64 (.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3)))) (.f64 (pow.f64 (cos.f64 v) 2) (.f64 (+.f64 v (*.f64 -1/6 (pow.f64 v 3))) (pow.f64 e 3)))))
(+.f64 (.f64 (pow.f64 e 2) (.f64 -1 (.f64 (cos.f64 v) (+.f64 v (.f64 -1/6 (pow.f64 v 3)))))) (+.f64 (.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3)))) (.f64 (+.f64 v (.f64 -1/6 (pow.f64 v 3))) (*.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 3)))))
(+.f64 (.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3)))) (+.f64 (.f64 (+.f64 v (.f64 -1/6 (pow.f64 v 3))) (.f64 -1 (.f64 (pow.f64 e 2) (cos.f64 v)))) (.f64 (+.f64 v (.f64 -1/6 (pow.f64 v 3))) (*.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 3)))))
(+.f64 (.f64 -1 (.f64 (pow.f64 (cos.f64 v) 3) (.f64 (pow.f64 e 4) (+.f64 v (.f64 -1/6 (pow.f64 v 3)))))) (+.f64 (.f64 -1 (.f64 (cos.f64 v) (.f64 (pow.f64 e 2) (+.f64 v (.f64 -1/6 (pow.f64 v 3)))))) (+.f64 (.f64 (pow.f64 (cos.f64 v) 2) (.f64 (pow.f64 e 3) (+.f64 v (.f64 -1/6 (pow.f64 v 3))))) (.f64 e (+.f64 v (*.f64 -1/6 (pow.f64 v 3)))))))
(+.f64 (+.f64 (.f64 -1 (.f64 (pow.f64 e 2) (.f64 (cos.f64 v) (+.f64 v (.f64 -1/6 (pow.f64 v 3)))))) (+.f64 (.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3)))) (.f64 (pow.f64 (cos.f64 v) 2) (.f64 (+.f64 v (.f64 -1/6 (pow.f64 v 3))) (pow.f64 e 3))))) (.f64 -1 (.f64 (pow.f64 e 4) (.f64 (pow.f64 (cos.f64 v) 3) (+.f64 v (*.f64 -1/6 (pow.f64 v 3)))))))
(+.f64 (+.f64 (.f64 (pow.f64 e 2) (.f64 -1 (.f64 (cos.f64 v) (+.f64 v (.f64 -1/6 (pow.f64 v 3)))))) (+.f64 (.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3)))) (.f64 (+.f64 v (.f64 -1/6 (pow.f64 v 3))) (.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 3))))) (.f64 -1 (.f64 (+.f64 v (.f64 -1/6 (pow.f64 v 3))) (*.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 4)))))
(+.f64 (+.f64 (.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3)))) (+.f64 (.f64 (+.f64 v (.f64 -1/6 (pow.f64 v 3))) (.f64 -1 (.f64 (pow.f64 e 2) (cos.f64 v)))) (.f64 (+.f64 v (.f64 -1/6 (pow.f64 v 3))) (.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 3))))) (.f64 -1 (.f64 (+.f64 v (.f64 -1/6 (pow.f64 v 3))) (*.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 4)))))
(/.f64 (+.f64 v (*.f64 -1/6 (pow.f64 v 3))) (cos.f64 v))
(+.f64 (/.f64 v (cos.f64 v)) (+.f64 (.f64 -1 (/.f64 (+.f64 (/.f64 v (pow.f64 (cos.f64 v) 2)) (.f64 -1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 2)))) e)) (*.f64 -1/6 (/.f64 (pow.f64 v 3) (cos.f64 v)))))
(+.f64 (+.f64 (/.f64 v (cos.f64 v)) (.f64 -1 (/.f64 (+.f64 (/.f64 v (pow.f64 (cos.f64 v) 2)) (.f64 -1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 2)))) e))) (*.f64 -1/6 (/.f64 (pow.f64 v 3) (cos.f64 v))))
(+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2)))) (+.f64 (/.f64 v (cos.f64 v)) (+.f64 (.f64 -1 (/.f64 (+.f64 (/.f64 v (pow.f64 (cos.f64 v) 2)) (.f64 -1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 2)))) e)) (+.f64 (/.f64 v (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (.f64 -1/6 (/.f64 (pow.f64 v 3) (cos.f64 v)))))))
(+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3)))) (+.f64 (+.f64 (/.f64 v (cos.f64 v)) (.f64 -1 (/.f64 (+.f64 (/.f64 v (pow.f64 (cos.f64 v) 2)) (.f64 -1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 2)))) e))) (+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (cos.f64 v))) (/.f64 v (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3))))))
(+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3)))) (+.f64 (/.f64 v (cos.f64 v)) (+.f64 (.f64 -1 (/.f64 (+.f64 (/.f64 v (pow.f64 (cos.f64 v) 2)) (.f64 -1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 2)))) e)) (+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (cos.f64 v))) (/.f64 v (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3)))))))
(+.f64 (/.f64 v (cos.f64 v)) (+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3)))) (+.f64 (.f64 -1 (/.f64 (+.f64 (/.f64 v (pow.f64 (cos.f64 v) 2)) (.f64 -1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 2)))) e)) (+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (cos.f64 v))) (/.f64 v (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3)))))))
(+.f64 (/.f64 v (cos.f64 v)) (+.f64 (.f64 -1 (/.f64 (+.f64 (/.f64 v (pow.f64 (cos.f64 v) 2)) (.f64 -1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 2)))) e)) (+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3)))) (+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (cos.f64 v))) (/.f64 v (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3)))))))
(+.f64 (/.f64 v (cos.f64 v)) (+.f64 (.f64 -1 (/.f64 (+.f64 (/.f64 v (pow.f64 (cos.f64 v) 2)) (.f64 -1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 2)))) e)) (+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (cos.f64 v))) (+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3)))) (/.f64 v (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3)))))))
(+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 4))) (/.f64 v (pow.f64 (cos.f64 v) 4))) (pow.f64 e 3))) (+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2)))) (+.f64 (/.f64 v (cos.f64 v)) (+.f64 (.f64 -1 (/.f64 (+.f64 (/.f64 v (pow.f64 (cos.f64 v) 2)) (.f64 -1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 2)))) e)) (+.f64 (/.f64 v (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (.f64 -1/6 (/.f64 (pow.f64 v 3) (cos.f64 v))))))))
(+.f64 (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 4))) (/.f64 v (pow.f64 (cos.f64 v) 4))) (pow.f64 e 3))) (.f64 -1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3))))) (+.f64 (+.f64 (/.f64 v (cos.f64 v)) (.f64 -1 (/.f64 (+.f64 (/.f64 v (pow.f64 (cos.f64 v) 2)) (.f64 -1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 2)))) e))) (+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (cos.f64 v))) (/.f64 v (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3))))))
(+.f64 (+.f64 (/.f64 v (cos.f64 v)) (+.f64 (.f64 -1 (/.f64 (+.f64 (/.f64 v (pow.f64 (cos.f64 v) 2)) (.f64 -1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 2)))) e)) (+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (cos.f64 v))) (/.f64 v (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3)))))) (+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3)))) (.f64 -1 (/.f64 (+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 4))) (/.f64 v (pow.f64 (cos.f64 v) 4))) (pow.f64 e 3)))))
(+.f64 (/.f64 v (cos.f64 v)) (+.f64 (+.f64 (.f64 -1 (/.f64 (+.f64 (/.f64 v (pow.f64 (cos.f64 v) 2)) (.f64 -1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 2)))) e)) (+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (cos.f64 v))) (/.f64 v (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3))))) (+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3)))) (.f64 -1 (/.f64 (+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 4))) (/.f64 v (pow.f64 (cos.f64 v) 4))) (pow.f64 e 3))))))
(+.f64 (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 4))) (/.f64 v (pow.f64 (cos.f64 v) 4))) (pow.f64 e 3))) (+.f64 (+.f64 (.f64 -1 (/.f64 (+.f64 (/.f64 v (pow.f64 (cos.f64 v) 2)) (.f64 -1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 2)))) e)) (.f64 -1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3))))) (+.f64 (/.f64 v (cos.f64 v)) (.f64 -1/6 (/.f64 (pow.f64 v 3) (cos.f64 v)))))) (/.f64 v (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3))))
(+.f64 (/.f64 v (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3))) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 4))) (/.f64 v (pow.f64 (cos.f64 v) 4))) (pow.f64 e 3))) (+.f64 (+.f64 (/.f64 v (cos.f64 v)) (.f64 -1/6 (/.f64 (pow.f64 v 3) (cos.f64 v)))) (+.f64 (.f64 -1 (/.f64 (+.f64 (/.f64 v (pow.f64 (cos.f64 v) 2)) (.f64 -1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 2)))) e)) (.f64 -1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3))))))))
(+.f64 (.f64 -1 (/.f64 (+.f64 (/.f64 v (pow.f64 (cos.f64 v) 2)) (.f64 -1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 2)))) e)) (+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3)))) (+.f64 (/.f64 v (.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 3))) (+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (cos.f64 v))) (+.f64 (/.f64 v (cos.f64 v)) (.f64 -1 (/.f64 (+.f64 (.f64 -1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 4))) (/.f64 v (pow.f64 (cos.f64 v) 4))) (pow.f64 e 3))))))))
(.f64 -1 (/.f64 (+.f64 (.f64 1/6 (pow.f64 v 3)) (*.f64 -1 v)) (cos.f64 v)))
(.f64 -1 (/.f64 (+.f64 (.f64 (pow.f64 v 3) 1/6) (*.f64 v -1)) (cos.f64 v)))
(+.f64 (.f64 -1 (/.f64 v (.f64 (pow.f64 (cos.f64 v) 2) e))) (+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 (cos.f64 v) 2) e))) (.f64 -1 (/.f64 (+.f64 (.f64 1/6 (pow.f64 v 3)) (*.f64 -1 v)) (cos.f64 v)))))
(+.f64 (.f64 -1 (/.f64 v (.f64 e (pow.f64 (cos.f64 v) 2)))) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 (pow.f64 v 3) 1/6) (.f64 v -1)) (cos.f64 v))) (.f64 1/6 (/.f64 (pow.f64 v 3) (*.f64 e (pow.f64 (cos.f64 v) 2))))))
(+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 (pow.f64 v 3) 1/6) (.f64 v -1)) (cos.f64 v))) (+.f64 (.f64 -1 (/.f64 v (.f64 e (pow.f64 (cos.f64 v) 2)))) (.f64 1/6 (/.f64 (pow.f64 v 3) (*.f64 e (pow.f64 (cos.f64 v) 2))))))
(+.f64 (.f64 -1 (/.f64 v (.f64 (pow.f64 (cos.f64 v) 2) e))) (+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 (cos.f64 v) 2) e))) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 3))) (.f64 -1 (/.f64 v (pow.f64 (cos.f64 v) 3)))) (pow.f64 e 2))) (.f64 -1 (/.f64 (+.f64 (.f64 1/6 (pow.f64 v 3)) (.f64 -1 v)) (cos.f64 v))))))
(+.f64 (+.f64 (.f64 -1 (/.f64 v (.f64 e (pow.f64 (cos.f64 v) 2)))) (.f64 1/6 (/.f64 (pow.f64 v 3) (.f64 e (pow.f64 (cos.f64 v) 2))))) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 (pow.f64 v 3) 1/6) (.f64 v -1)) (cos.f64 v))) (.f64 -1 (/.f64 (+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 3))) (.f64 -1 (/.f64 v (pow.f64 (cos.f64 v) 3)))) (pow.f64 e 2)))))
(+.f64 (.f64 -1 (/.f64 v (.f64 e (pow.f64 (cos.f64 v) 2)))) (+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (.f64 e (pow.f64 (cos.f64 v) 2)))) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 (pow.f64 v 3) 1/6) (.f64 v -1)) (cos.f64 v))) (.f64 -1 (/.f64 (+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 3))) (.f64 -1 (/.f64 v (pow.f64 (cos.f64 v) 3)))) (pow.f64 e 2))))))
(+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 (pow.f64 v 3) 1/6) (.f64 v -1)) (cos.f64 v))) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 3))) (.f64 -1 (/.f64 v (pow.f64 (cos.f64 v) 3)))) (pow.f64 e 2))) (+.f64 (.f64 -1 (/.f64 v (.f64 e (pow.f64 (cos.f64 v) 2)))) (.f64 1/6 (/.f64 (pow.f64 v 3) (.f64 e (pow.f64 (cos.f64 v) 2)))))))
(+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 (cos.f64 v) 4) (pow.f64 e 3)))) (+.f64 (.f64 -1 (/.f64 v (.f64 (pow.f64 (cos.f64 v) 2) e))) (+.f64 (.f64 -1 (/.f64 v (.f64 (pow.f64 (cos.f64 v) 4) (pow.f64 e 3)))) (+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 (cos.f64 v) 2) e))) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 3))) (.f64 -1 (/.f64 v (pow.f64 (cos.f64 v) 3)))) (pow.f64 e 2))) (.f64 -1 (/.f64 (+.f64 (.f64 1/6 (pow.f64 v 3)) (.f64 -1 v)) (cos.f64 v))))))))
(+.f64 (+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 4)))) (.f64 -1 (/.f64 v (.f64 e (pow.f64 (cos.f64 v) 2))))) (+.f64 (+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (.f64 e (pow.f64 (cos.f64 v) 2)))) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 (pow.f64 v 3) 1/6) (.f64 v -1)) (cos.f64 v))) (.f64 -1 (/.f64 (+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 3))) (.f64 -1 (/.f64 v (pow.f64 (cos.f64 v) 3)))) (pow.f64 e 2))))) (.f64 -1 (/.f64 v (.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 4))))))
(+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 4)))) (+.f64 (.f64 -1 (/.f64 v (.f64 e (pow.f64 (cos.f64 v) 2)))) (+.f64 (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 (pow.f64 v 3) 1/6) (.f64 v -1)) (cos.f64 v))) (.f64 -1 (/.f64 (+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 3))) (.f64 -1 (/.f64 v (pow.f64 (cos.f64 v) 3)))) (pow.f64 e 2)))) (+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (.f64 e (pow.f64 (cos.f64 v) 2)))) (.f64 -1 (/.f64 v (.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 4))))))))
(+.f64 (+.f64 (+.f64 (.f64 -1 (/.f64 v (.f64 e (pow.f64 (cos.f64 v) 2)))) (.f64 1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 4))))) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 (pow.f64 v 3) 1/6) (.f64 v -1)) (cos.f64 v))) (+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (.f64 e (pow.f64 (cos.f64 v) 2)))) (.f64 -1 (/.f64 v (.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 4))))))) (.f64 -1 (/.f64 (+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 3))) (.f64 -1 (/.f64 v (pow.f64 (cos.f64 v) 3)))) (pow.f64 e 2))))
(+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (.f64 e (pow.f64 (cos.f64 v) 2)))) (+.f64 (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 (pow.f64 v 3) 1/6) (.f64 v -1)) (cos.f64 v))) (+.f64 (.f64 -1 (/.f64 v (.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 4)))) (+.f64 (.f64 -1 (/.f64 v (.f64 e (pow.f64 (cos.f64 v) 2)))) (.f64 1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 4))))))) (.f64 -1 (/.f64 (+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 3))) (.f64 -1 (/.f64 v (pow.f64 (cos.f64 v) 3)))) (pow.f64 e 2)))))
(+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (.f64 e (pow.f64 (cos.f64 v) 2)))) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 1/6 (/.f64 (pow.f64 v 3) (pow.f64 (cos.f64 v) 3))) (.f64 -1 (/.f64 v (pow.f64 (cos.f64 v) 3)))) (pow.f64 e 2))) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 (pow.f64 v 3) 1/6) (.f64 v -1)) (cos.f64 v))) (+.f64 (.f64 -1 (/.f64 v (.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 4)))) (+.f64 (.f64 -1 (/.f64 v (.f64 e (pow.f64 (cos.f64 v) 2)))) (.f64 1/6 (/.f64 (pow.f64 v 3) (.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 4)))))))))
(+.f64 (.f64 e (.f64 -1/6 (pow.f64 v 3))) 0)
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) 0)
(+.f64 0 (.f64 e (.f64 -1/6 (pow.f64 v 3))))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) 0)
(+.f64 (*.f64 -1/6 (pow.f64 v 3)) 0)
(+.f64 0 (*.f64 -1/6 (pow.f64 v 3)))
(+.f64 (*.f64 -1/6 (pow.f64 v 3)) 0)
(+.f64 (/.f64 (+.f64 (.f64 e (.f64 -1/6 (pow.f64 v 3))) (.f64 e v)) (+.f64 1 (.f64 e (cos.f64 v)))) 0)
(+.f64 0 (/.f64 (+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (.f64 v e)) (+.f64 1 (.f64 e (cos.f64 v)))))
(+.f64 0 (/.f64 (+.f64 (.f64 e (.f64 -1/6 (pow.f64 v 3))) (.f64 e v)) (+.f64 1 (.f64 e (cos.f64 v)))))
(+.f64 0 (/.f64 (+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (.f64 v e)) (+.f64 1 (.f64 e (cos.f64 v)))))
(.f64 1 (/.f64 (+.f64 (.f64 e (.f64 -1/6 (pow.f64 v 3))) (.f64 e v)) (+.f64 1 (*.f64 e (cos.f64 v)))))
(.f64 1 (/.f64 (+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (.f64 v e)) (+.f64 1 (*.f64 e (cos.f64 v)))))
(.f64 (/.f64 (+.f64 (.f64 e (.f64 -1/6 (pow.f64 v 3))) (.f64 e v)) (+.f64 1 (*.f64 e (cos.f64 v)))) 1)
(.f64 1 (/.f64 (+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (.f64 v e)) (+.f64 1 (*.f64 e (cos.f64 v)))))

localize22.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2)))))
	0.1b	(.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2)))
	0.1b	(*.f64 (sin.f64 v) e)
	0.1b	(.f64 (sin.f64 v) (.f64 (cos.f64 v) (*.f64 -1 (pow.f64 e 2))))

Compiler

Compiled 57 to 31 computations (45.6% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	v	@	0	(+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2)))))
0.0ms	v	@	inf	(+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2)))))
0.0ms	v	@	-inf	(+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2)))))
0.0ms	e	@	inf	(+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2)))))
0.0ms	e	@	-inf	(+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2)))))

rewrite7.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

94×	`rational.json-simplify-2`
64×	`bool.json-1`
56×	`rational.json-1`
56×	`rational.json-2`
48×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	49
1	73	49
2	131	49
3	178	49
4	210	49
5	217	49

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2)))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 (sin.f64 v) e) (*.f64 (sin.f64 v) (*.f64 (cos.f64 v) (*.f64 -1 (pow.f64 e 2))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 (sin.f64 v) e) (*.f64 (sin.f64 v) (*.f64 (cos.f64 v) (*.f64 -1 (pow.f64 e 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (*.f64 (sin.f64 v) e) (*.f64 (sin.f64 v) (*.f64 (cos.f64 v) (*.f64 -1 (pow.f64 e 2))))) (+.f64 (*.f64 (sin.f64 v) e) (*.f64 (sin.f64 v) (*.f64 (cos.f64 v) (*.f64 -1 (pow.f64 e 2))))))))))

simplify23.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

132×	`rational.json-simplify-1`
98×	`rational.json-simplify-2`
68×	`rational.json-simplify-33`
36×	`rational.json-simplify-31`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	72	1588
1	131	1588
2	180	1588
3	231	1588
4	256	1588
5	258	1588

Stop Event

1×

saturated

Counts

26 → 18

Calls

Call 1

Inputs
(.f64 v (+.f64 (.f64 -1 (pow.f64 e 2)) e))
(+.f64 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1 (+.f64 (.f64 -1/2 (pow.f64 e 2)) (.f64 -1/6 (pow.f64 e 2)))) (.f64 -1/6 e))) (.f64 v (+.f64 (*.f64 -1 (pow.f64 e 2)) e)))
(+.f64 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1 (+.f64 (.f64 -1/2 (pow.f64 e 2)) (.f64 -1/6 (pow.f64 e 2)))) (.f64 -1/6 e))) (+.f64 (.f64 v (+.f64 (.f64 -1 (pow.f64 e 2)) e)) (.f64 (pow.f64 v 5) (+.f64 (.f64 1/120 e) (.f64 -1 (+.f64 (.f64 1/12 (pow.f64 e 2)) (+.f64 (.f64 1/24 (pow.f64 e 2)) (*.f64 1/120 (pow.f64 e 2)))))))))
(+.f64 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1 (+.f64 (.f64 -1/2 (pow.f64 e 2)) (.f64 -1/6 (pow.f64 e 2)))) (.f64 -1/6 e))) (+.f64 (.f64 v (+.f64 (.f64 -1 (pow.f64 e 2)) e)) (+.f64 (.f64 (pow.f64 v 7) (+.f64 (.f64 -1/5040 e) (.f64 -1 (+.f64 (.f64 -1/720 (pow.f64 e 2)) (+.f64 (.f64 -1/144 (pow.f64 e 2)) (+.f64 (.f64 -1/5040 (pow.f64 e 2)) (.f64 -1/240 (pow.f64 e 2)))))))) (.f64 (pow.f64 v 5) (+.f64 (.f64 1/120 e) (.f64 -1 (+.f64 (.f64 1/12 (pow.f64 e 2)) (+.f64 (.f64 1/24 (pow.f64 e 2)) (.f64 1/120 (pow.f64 e 2))))))))))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(*.f64 (sin.f64 v) e)
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(.f64 (+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 (cos.f64 v) (*.f64 -1 (pow.f64 e 2))))) 1)
(.f64 1 (+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 (cos.f64 v) (*.f64 -1 (pow.f64 e 2))))))

Outputs
(.f64 v (+.f64 (.f64 -1 (pow.f64 e 2)) e))
(.f64 v (+.f64 e (.f64 -1 (pow.f64 e 2))))
(+.f64 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1 (+.f64 (.f64 -1/2 (pow.f64 e 2)) (.f64 -1/6 (pow.f64 e 2)))) (.f64 -1/6 e))) (.f64 v (+.f64 (*.f64 -1 (pow.f64 e 2)) e)))
(+.f64 (.f64 v (+.f64 e (.f64 -1 (pow.f64 e 2)))) (.f64 (pow.f64 v 3) (+.f64 (.f64 -1 (+.f64 (.f64 (pow.f64 e 2) -1/2) (.f64 (pow.f64 e 2) -1/6))) (*.f64 e -1/6))))
(+.f64 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1 (+.f64 (.f64 -1/2 (pow.f64 e 2)) (.f64 -1/6 (pow.f64 e 2)))) (.f64 -1/6 e))) (+.f64 (.f64 v (+.f64 (.f64 -1 (pow.f64 e 2)) e)) (.f64 (pow.f64 v 5) (+.f64 (.f64 1/120 e) (.f64 -1 (+.f64 (.f64 1/12 (pow.f64 e 2)) (+.f64 (.f64 1/24 (pow.f64 e 2)) (*.f64 1/120 (pow.f64 e 2)))))))))
(+.f64 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1 (+.f64 (.f64 (pow.f64 e 2) -1/2) (.f64 (pow.f64 e 2) -1/6))) (.f64 e -1/6))) (+.f64 (.f64 v (+.f64 e (.f64 -1 (pow.f64 e 2)))) (.f64 (pow.f64 v 5) (+.f64 (.f64 e 1/120) (.f64 -1 (+.f64 (.f64 (pow.f64 e 2) 1/12) (+.f64 (.f64 (pow.f64 e 2) 1/24) (*.f64 (pow.f64 e 2) 1/120))))))))
(+.f64 (.f64 v (+.f64 e (.f64 -1 (pow.f64 e 2)))) (+.f64 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1 (+.f64 (.f64 (pow.f64 e 2) -1/2) (.f64 (pow.f64 e 2) -1/6))) (.f64 e -1/6))) (.f64 (pow.f64 v 5) (+.f64 (.f64 e 1/120) (.f64 -1 (+.f64 (.f64 (pow.f64 e 2) 1/12) (+.f64 (.f64 (pow.f64 e 2) 1/24) (*.f64 (pow.f64 e 2) 1/120))))))))
(+.f64 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1 (+.f64 (.f64 -1/2 (pow.f64 e 2)) (.f64 -1/6 (pow.f64 e 2)))) (.f64 -1/6 e))) (+.f64 (.f64 v (+.f64 (.f64 -1 (pow.f64 e 2)) e)) (+.f64 (.f64 (pow.f64 v 7) (+.f64 (.f64 -1/5040 e) (.f64 -1 (+.f64 (.f64 -1/720 (pow.f64 e 2)) (+.f64 (.f64 -1/144 (pow.f64 e 2)) (+.f64 (.f64 -1/5040 (pow.f64 e 2)) (.f64 -1/240 (pow.f64 e 2)))))))) (.f64 (pow.f64 v 5) (+.f64 (.f64 1/120 e) (.f64 -1 (+.f64 (.f64 1/12 (pow.f64 e 2)) (+.f64 (.f64 1/24 (pow.f64 e 2)) (.f64 1/120 (pow.f64 e 2))))))))))
(+.f64 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1 (+.f64 (.f64 (pow.f64 e 2) -1/2) (.f64 (pow.f64 e 2) -1/6))) (.f64 e -1/6))) (+.f64 (.f64 v (+.f64 e (.f64 -1 (pow.f64 e 2)))) (+.f64 (.f64 (pow.f64 v 5) (+.f64 (.f64 e 1/120) (.f64 -1 (+.f64 (.f64 (pow.f64 e 2) 1/12) (+.f64 (.f64 (pow.f64 e 2) 1/24) (.f64 (pow.f64 e 2) 1/120)))))) (.f64 (pow.f64 v 7) (+.f64 (.f64 e -1/5040) (.f64 -1 (+.f64 (.f64 (pow.f64 e 2) -1/720) (+.f64 (.f64 (pow.f64 e 2) -1/144) (+.f64 (.f64 (pow.f64 e 2) -1/5040) (.f64 (pow.f64 e 2) -1/240))))))))))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (cos.f64 v)))) (.f64 e (sin.f64 v)))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (cos.f64 v)))) (.f64 e (sin.f64 v)))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (cos.f64 v)))) (.f64 e (sin.f64 v)))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (cos.f64 v)))) (.f64 e (sin.f64 v)))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (cos.f64 v)))) (.f64 e (sin.f64 v)))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (cos.f64 v)))) (.f64 e (sin.f64 v)))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (cos.f64 v)))) (.f64 e (sin.f64 v)))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (cos.f64 v)))) (.f64 e (sin.f64 v)))
(*.f64 (sin.f64 v) e)
(*.f64 e (sin.f64 v))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (cos.f64 v)))) (.f64 e (sin.f64 v)))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (cos.f64 v)))) (.f64 e (sin.f64 v)))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (cos.f64 v)))) (.f64 e (sin.f64 v)))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (cos.f64 v))))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (cos.f64 v)))) (.f64 e (sin.f64 v)))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (cos.f64 v)))) (.f64 e (sin.f64 v)))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (cos.f64 v)))) (.f64 e (sin.f64 v)))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (cos.f64 v) (pow.f64 e 2))))
(.f64 -1 (.f64 (sin.f64 v) (*.f64 (pow.f64 e 2) (cos.f64 v))))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (cos.f64 v)))) (.f64 e (sin.f64 v)))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (cos.f64 v)))) (.f64 e (sin.f64 v)))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (cos.f64 v) (pow.f64 e 2)))) (.f64 (sin.f64 v) e))
(+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (cos.f64 v)))) (.f64 e (sin.f64 v)))
(.f64 (+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 (cos.f64 v) (*.f64 -1 (pow.f64 e 2))))) 1)
(.f64 (+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (cos.f64 v)))) (*.f64 e (sin.f64 v))) 1)
(.f64 1 (+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 (cos.f64 v) (*.f64 -1 (pow.f64 e 2))))))
(.f64 (+.f64 (.f64 -1 (.f64 (sin.f64 v) (.f64 (pow.f64 e 2) (cos.f64 v)))) (*.f64 e (sin.f64 v))) 1)

eval177.0ms (5.4%)

Compiler: Compiled 11421 to 7534 computations (34% saved)

prune51.0ms (1.5%)

Pruning

11 alts after pruning (7 fresh and 4 done)

	Pruned	Kept	Total
New	307	7	314
Fresh	0	0	0
Picked	1	0	1
Done	1	4	5
Total	309	11	320

Error

0.1b

Counts

320 → 11

Alt Table

Click to see full alt table

Status	Error	Program
	31.4b	(/.f64 (+.f64 (.f64 v e) (.f64 e (*.f64 -1/6 (pow.f64 v 3)))) (+.f64 1 e))
✓	30.8b	(/.f64 (*.f64 v e) (+.f64 e 1))
✓	0.2b	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
✓	1.0b	(/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 e))
✓	0.8b	(+.f64 (+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2))))) (.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 3))))
▶	62.6b	(+.f64 v (*.f64 -1 (/.f64 v e)))
▶	1.9b	(*.f64 (sin.f64 v) e)
▶	31.3b	(.f64 v (+.f64 (.f64 -1 (pow.f64 e 2)) e))
▶	31.7b	(*.f64 v e)
▶	60.1b	(sin.f64 v)
	61.1b	v

Compiler

Compiled 169 to 115 computations (32% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
	0.1b	(*.f64 (sin.f64 v) e)

Compiler

Compiled 10 to 4 computations (60% saved)

localize4.0ms (0.1%)

Compiler: Compiled 7 to 3 computations (57.1% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 v (*.f64 -1 (/.f64 v e)))

Compiler

Compiled 20 to 9 computations (55% saved)

series2.0ms (0.1%)

Counts

1 → 15

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	v	@	0	(+.f64 v (*.f64 -1 (/.f64 v e)))
0.0ms	v	@	inf	(+.f64 v (*.f64 -1 (/.f64 v e)))
0.0ms	e	@	0	(+.f64 v (*.f64 -1 (/.f64 v e)))
0.0ms	e	@	inf	(+.f64 v (*.f64 -1 (/.f64 v e)))
0.0ms	v	@	-inf	(+.f64 v (*.f64 -1 (/.f64 v e)))

rewrite5.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

24×	`bool.json-1`
20×	`rational.json-simplify-2`
20×	`rational.json-simplify-1`
18×	`rational.json-1`
18×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	38	19
2	64	19
3	69	19

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(+.f64 v (*.f64 -1 (/.f64 v e)))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 v (*.f64 -1 (/.f64 v e))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 v (*.f64 -1 (/.f64 v e))))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 v (*.f64 -1 (/.f64 v e))) (+.f64 v (*.f64 -1 (/.f64 v e))))))))

simplify10.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

86×	`rational.json-simplify-31`
70×	`rational.json-simplify-2`
18×	`rational.json-simplify-27`
18×	`rational.json-simplify-9`
12×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	293
1	32	293
2	43	293
3	56	293
4	72	293
5	99	293
6	130	293
7	146	293
8	148	293

Stop Event

1×

saturated

Counts

17 → 6

Calls

Call 1

Inputs
(*.f64 v (-.f64 1 (/.f64 1 e)))
(*.f64 v (-.f64 1 (/.f64 1 e)))
(*.f64 v (-.f64 1 (/.f64 1 e)))
(*.f64 v (-.f64 1 (/.f64 1 e)))
(*.f64 v (-.f64 1 (/.f64 1 e)))
(*.f64 v (-.f64 1 (/.f64 1 e)))
(*.f64 v (-.f64 1 (/.f64 1 e)))
(*.f64 v (-.f64 1 (/.f64 1 e)))
(.f64 -1 (.f64 v (-.f64 (/.f64 1 e) 1)))
(.f64 -1 (.f64 v (-.f64 (/.f64 1 e) 1)))
(.f64 -1 (.f64 v (-.f64 (/.f64 1 e) 1)))
(.f64 -1 (.f64 v (-.f64 (/.f64 1 e) 1)))
(*.f64 -1 (/.f64 v e))
v
v
(.f64 (+.f64 v (.f64 -1 (/.f64 v e))) 1)
(.f64 1 (+.f64 v (.f64 -1 (/.f64 v e))))

Outputs
(*.f64 v (-.f64 1 (/.f64 1 e)))
(*.f64 v (-.f64 1 (/.f64 1 e)))
(*.f64 v (-.f64 1 (/.f64 1 e)))
(*.f64 v (-.f64 1 (/.f64 1 e)))
(*.f64 v (-.f64 1 (/.f64 1 e)))
(*.f64 v (-.f64 1 (/.f64 1 e)))
(*.f64 v (-.f64 1 (/.f64 1 e)))
(*.f64 v (-.f64 1 (/.f64 1 e)))
(.f64 -1 (.f64 v (-.f64 (/.f64 1 e) 1)))
(*.f64 v (-.f64 1 (/.f64 1 e)))
(.f64 -1 (.f64 v (-.f64 (/.f64 1 e) 1)))
(*.f64 v (-.f64 1 (/.f64 1 e)))
(.f64 -1 (.f64 v (-.f64 (/.f64 1 e) 1)))
(*.f64 v (-.f64 1 (/.f64 1 e)))
(.f64 -1 (.f64 v (-.f64 (/.f64 1 e) 1)))
(*.f64 v (-.f64 1 (/.f64 1 e)))
(*.f64 -1 (/.f64 v e))
v
v
(.f64 (+.f64 v (.f64 -1 (/.f64 v e))) 1)
(.f64 1 (+.f64 v (.f64 -1 (/.f64 v e))))
(.f64 1 (+.f64 v (.f64 -1 (/.f64 v e))))

localize3.0ms (0.1%)

Compiler: Compiled 5 to 3 computations (40% saved)

localize13.0ms (0.4%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 v (+.f64 (.f64 -1 (pow.f64 e 2)) e))

Compiler

Compiled 30 to 21 computations (30% saved)

series2.0ms (0.1%)

Counts

1 → 12

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	v	@	0	(.f64 v (+.f64 (.f64 -1 (pow.f64 e 2)) e))
0.0ms	e	@	inf	(.f64 v (+.f64 (.f64 -1 (pow.f64 e 2)) e))
0.0ms	v	@	inf	(.f64 v (+.f64 (.f64 -1 (pow.f64 e 2)) e))
0.0ms	e	@	-inf	(.f64 v (+.f64 (.f64 -1 (pow.f64 e 2)) e))
0.0ms	e	@	0	(.f64 v (+.f64 (.f64 -1 (pow.f64 e 2)) e))

rewrite5.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

28×	`bool.json-1`
24×	`rational.json-simplify-2`
22×	`rational.json-simplify-1`
20×	`rational.json-1`
20×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	47	25
2	75	25
3	80	25

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(.f64 v (+.f64 (.f64 -1 (pow.f64 e 2)) e))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 v (+.f64 e (*.f64 -1 (pow.f64 e 2)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 v (+.f64 e (*.f64 -1 (pow.f64 e 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 v (+.f64 e (*.f64 -1 (pow.f64 e 2)))) (*.f64 v (+.f64 e (*.f64 -1 (pow.f64 e 2)))))))))

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

16×	`rational.json-simplify-2`
6×	`rational.json-simplify-31`
6×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	386
1	25	386
2	30	386
3	31	386

Stop Event

1×

saturated

Counts

14 → 9

Calls

Call 1

Inputs
(*.f64 v e)
(+.f64 (.f64 v e) (.f64 -1 (*.f64 v (pow.f64 e 2))))
(+.f64 (.f64 v e) (.f64 -1 (*.f64 v (pow.f64 e 2))))
(+.f64 (.f64 v e) (.f64 -1 (*.f64 v (pow.f64 e 2))))
(.f64 -1 (.f64 v (pow.f64 e 2)))
(+.f64 (.f64 v e) (.f64 -1 (*.f64 v (pow.f64 e 2))))
(+.f64 (.f64 v e) (.f64 -1 (*.f64 v (pow.f64 e 2))))
(+.f64 (.f64 v e) (.f64 -1 (*.f64 v (pow.f64 e 2))))
(.f64 -1 (.f64 v (pow.f64 e 2)))
(+.f64 (.f64 v e) (.f64 -1 (*.f64 v (pow.f64 e 2))))
(+.f64 (.f64 v e) (.f64 -1 (*.f64 v (pow.f64 e 2))))
(+.f64 (.f64 v e) (.f64 -1 (*.f64 v (pow.f64 e 2))))
(+.f64 (.f64 v (+.f64 e (.f64 -1 (pow.f64 e 2)))) 0)
(+.f64 0 (.f64 v (+.f64 e (.f64 -1 (pow.f64 e 2)))))

Outputs
(*.f64 v e)
(+.f64 (.f64 v e) (.f64 -1 (*.f64 v (pow.f64 e 2))))
(+.f64 (.f64 v e) (.f64 v (*.f64 -1 (pow.f64 e 2))))
(+.f64 (.f64 v e) (.f64 (pow.f64 e 2) (*.f64 v -1)))
(+.f64 (.f64 v e) (.f64 -1 (*.f64 v (pow.f64 e 2))))
(+.f64 (.f64 v e) (.f64 v (*.f64 -1 (pow.f64 e 2))))
(+.f64 (.f64 v e) (.f64 (pow.f64 e 2) (*.f64 v -1)))
(+.f64 (.f64 v e) (.f64 -1 (*.f64 v (pow.f64 e 2))))
(+.f64 (.f64 v e) (.f64 v (*.f64 -1 (pow.f64 e 2))))
(+.f64 (.f64 v e) (.f64 (pow.f64 e 2) (*.f64 v -1)))
(.f64 -1 (.f64 v (pow.f64 e 2)))
(.f64 v (.f64 -1 (pow.f64 e 2)))
(.f64 (pow.f64 e 2) (.f64 v -1))
(+.f64 (.f64 v e) (.f64 -1 (*.f64 v (pow.f64 e 2))))
(+.f64 (.f64 v e) (.f64 v (*.f64 -1 (pow.f64 e 2))))
(+.f64 (.f64 v e) (.f64 (pow.f64 e 2) (*.f64 v -1)))
(+.f64 (.f64 v e) (.f64 -1 (*.f64 v (pow.f64 e 2))))
(+.f64 (.f64 v e) (.f64 v (*.f64 -1 (pow.f64 e 2))))
(+.f64 (.f64 v e) (.f64 (pow.f64 e 2) (*.f64 v -1)))
(+.f64 (.f64 v e) (.f64 -1 (*.f64 v (pow.f64 e 2))))
(+.f64 (.f64 v e) (.f64 v (*.f64 -1 (pow.f64 e 2))))
(+.f64 (.f64 v e) (.f64 (pow.f64 e 2) (*.f64 v -1)))
(.f64 -1 (.f64 v (pow.f64 e 2)))
(.f64 v (.f64 -1 (pow.f64 e 2)))
(.f64 (pow.f64 e 2) (.f64 v -1))
(+.f64 (.f64 v e) (.f64 -1 (*.f64 v (pow.f64 e 2))))
(+.f64 (.f64 v e) (.f64 v (*.f64 -1 (pow.f64 e 2))))
(+.f64 (.f64 v e) (.f64 (pow.f64 e 2) (*.f64 v -1)))
(+.f64 (.f64 v e) (.f64 -1 (*.f64 v (pow.f64 e 2))))
(+.f64 (.f64 v e) (.f64 v (*.f64 -1 (pow.f64 e 2))))
(+.f64 (.f64 v e) (.f64 (pow.f64 e 2) (*.f64 v -1)))
(+.f64 (.f64 v e) (.f64 -1 (*.f64 v (pow.f64 e 2))))
(+.f64 (.f64 v e) (.f64 v (*.f64 -1 (pow.f64 e 2))))
(+.f64 (.f64 v e) (.f64 (pow.f64 e 2) (*.f64 v -1)))
(+.f64 (.f64 v (+.f64 e (.f64 -1 (pow.f64 e 2)))) 0)
(+.f64 0 (.f64 v (+.f64 e (.f64 -1 (pow.f64 e 2)))))
(+.f64 (.f64 v (+.f64 e (.f64 -1 (pow.f64 e 2)))) 0)

eval7.0ms (0.2%)

Compiler: Compiled 397 to 248 computations (37.5% saved)

prune10.0ms (0.3%)

Pruning

13 alts after pruning (4 fresh and 9 done)

	Pruned	Kept	Total
New	29	3	32
Fresh	1	1	2
Picked	0	1	1
Done	0	8	8
Total	30	13	43

Error

0.1b

Counts

43 → 13

Alt Table

Click to see full alt table

Status	Error	Program
✓	30.8b	(/.f64 (*.f64 v e) (+.f64 e 1))
✓	0.2b	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
✓	1.0b	(/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 e))
✓	0.8b	(+.f64 (+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2))))) (.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 3))))
▶	32.3b	(+.f64 (.f64 v e) (.f64 (pow.f64 v 3) (*.f64 -1/6 e)))
✓	62.6b	(+.f64 v (*.f64 -1 (/.f64 v e)))
✓	1.9b	(*.f64 (sin.f64 v) e)
▶	62.6b	(*.f64 v (-.f64 1 (/.f64 1 e)))
✓	31.3b	(.f64 v (+.f64 (.f64 -1 (pow.f64 e 2)) e))
✓	31.7b	(*.f64 v e)
▶	62.6b	(*.f64 -1 (/.f64 v e))
✓	60.1b	(sin.f64 v)
	61.1b	v

Compiler

Compiled 129 to 88 computations (31.8% saved)

localize5.0ms (0.1%)

Compiler: Compiled 13 to 6 computations (53.8% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 1 (/.f64 1 e))
✓	0.2b	(*.f64 v (-.f64 1 (/.f64 1 e)))

Compiler

Compiled 20 to 14 computations (30% saved)

series2.0ms (0.1%)

Counts

2 → 15

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	v	@	0	(*.f64 v (-.f64 1 (/.f64 1 e)))
0.0ms	v	@	inf	(*.f64 v (-.f64 1 (/.f64 1 e)))
0.0ms	e	@	-inf	(*.f64 v (-.f64 1 (/.f64 1 e)))
0.0ms	v	@	-inf	(*.f64 v (-.f64 1 (/.f64 1 e)))
0.0ms	e	@	inf	(*.f64 v (-.f64 1 (/.f64 1 e)))

rewrite8.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

66×	`rational.json-simplify-2`
50×	`bool.json-1`
44×	`rational.json-1`
44×	`rational.json-2`
32×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	41	32
2	83	32
3	115	32
4	148	32
5	175	32
6	191	32
7	201	32

Stop Event

1×

saturated

Counts

2 → 11

Calls

Call 1

Inputs
(*.f64 v (-.f64 1 (/.f64 1 e)))
(-.f64 1 (/.f64 1 e))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 1 (/.f64 1 e)) v) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (-.f64 1 (/.f64 1 e)) v))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 (-.f64 1 (/.f64 1 e)) v) (*.f64 (-.f64 1 (/.f64 1 e)) v))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (neg.f64 (/.f64 1 e)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 1 (/.f64 1 e)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 1 (/.f64 1 e)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (/.f64 1 e)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 1 (/.f64 1 e)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 1 (/.f64 1 e)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 -1 (/.f64 1 e)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (+.f64 -1 (/.f64 1 e)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 -1 (/.f64 1 e)))))) (#(struct:change #<rule egg-rr> (2) ((x or (-.f64 1 (/.f64 1 e)) (-.f64 1 (/.f64 1 e)))))))

simplify13.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

72×	`rational.json-simplify-2`
58×	`rational.json-simplify-31`
26×	`rational.json-simplify-27`
22×	`rational.json-simplify-1`
20×	`rational.json-simplify-40`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	362
1	36	362
2	51	362
3	79	362
4	144	362
5	186	362
6	194	362
7	196	362
8	197	362

Stop Event

1×

saturated

Counts

26 → 18

Calls

Call 1

Inputs
(*.f64 -1 (/.f64 v e))
(+.f64 v (*.f64 -1 (/.f64 v e)))
(+.f64 v (*.f64 -1 (/.f64 v e)))
(+.f64 v (*.f64 -1 (/.f64 v e)))
v
(+.f64 v (*.f64 -1 (/.f64 v e)))
(+.f64 v (*.f64 -1 (/.f64 v e)))
(+.f64 v (*.f64 -1 (/.f64 v e)))
v
(+.f64 v (*.f64 -1 (/.f64 v e)))
(+.f64 v (*.f64 -1 (/.f64 v e)))
(+.f64 v (*.f64 -1 (/.f64 v e)))
(/.f64 -1 e)
1
1
(+.f64 (*.f64 (-.f64 1 (/.f64 1 e)) v) 0)
(+.f64 0 (*.f64 (-.f64 1 (/.f64 1 e)) v))
(+.f64 1 (neg.f64 (/.f64 1 e)))
(+.f64 (-.f64 1 (/.f64 1 e)) 0)
(+.f64 0 (-.f64 1 (/.f64 1 e)))
(+.f64 (neg.f64 (/.f64 1 e)) 1)
(*.f64 1 (-.f64 1 (/.f64 1 e)))
(*.f64 (-.f64 1 (/.f64 1 e)) 1)
(*.f64 (+.f64 -1 (/.f64 1 e)) -1)
(*.f64 -1 (+.f64 -1 (/.f64 1 e)))
(neg.f64 (+.f64 -1 (/.f64 1 e)))

Outputs
(*.f64 -1 (/.f64 v e))
(+.f64 v (*.f64 -1 (/.f64 v e)))
(+.f64 v (*.f64 -1 (/.f64 v e)))
(+.f64 v (*.f64 -1 (/.f64 v e)))
v
(+.f64 v (*.f64 -1 (/.f64 v e)))
(+.f64 v (*.f64 -1 (/.f64 v e)))
(+.f64 v (*.f64 -1 (/.f64 v e)))
v
(+.f64 v (*.f64 -1 (/.f64 v e)))
(+.f64 v (*.f64 -1 (/.f64 v e)))
(+.f64 v (*.f64 -1 (/.f64 v e)))
(/.f64 -1 e)
1
1
(+.f64 (*.f64 (-.f64 1 (/.f64 1 e)) v) 0)
(+.f64 (*.f64 v (-.f64 1 (/.f64 1 e))) 0)
(+.f64 0 (*.f64 (-.f64 1 (/.f64 1 e)) v))
(+.f64 (*.f64 v (-.f64 1 (/.f64 1 e))) 0)
(+.f64 1 (neg.f64 (/.f64 1 e)))
(-.f64 1 (/.f64 1 e))
(+.f64 (-.f64 1 (/.f64 1 e)) 0)
(-.f64 1 (/.f64 1 e))
(+.f64 0 (-.f64 1 (/.f64 1 e)))
(-.f64 1 (/.f64 1 e))
(+.f64 (neg.f64 (/.f64 1 e)) 1)
(-.f64 1 (/.f64 1 e))
(*.f64 1 (-.f64 1 (/.f64 1 e)))
(-.f64 1 (/.f64 1 e))
(*.f64 (-.f64 1 (/.f64 1 e)) 1)
(-.f64 1 (/.f64 1 e))
(*.f64 (+.f64 -1 (/.f64 1 e)) -1)
(-.f64 1 (/.f64 1 e))
(*.f64 -1 (+.f64 -1 (/.f64 1 e)))
(-.f64 1 (/.f64 1 e))
(neg.f64 (+.f64 -1 (/.f64 1 e)))
(-.f64 1 (/.f64 1 e))

localize17.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 v 3)
✓	0.0b	(+.f64 (.f64 v e) (.f64 (pow.f64 v 3) (*.f64 -1/6 e)))
✓	0.4b	(*.f64 -1/6 e)
✓	4.8b	(.f64 (pow.f64 v 3) (.f64 -1/6 e))

Compiler

Compiled 33 to 20 computations (39.4% saved)

series3.0ms (0.1%)

Counts

4 → 48

Calls

18 calls:

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

rewrite7.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

40×	`rational.json-simplify-2`
36×	`bool.json-1`
28×	`rational.json-1`
28×	`rational.json-2`
28×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	64
1	54	64
2	91	64
3	105	64
4	109	64

Stop Event

1×

saturated

Counts

4 → 10

Calls

Call 1

Inputs
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(*.f64 -1/6 e)
(+.f64 (.f64 v e) (.f64 (pow.f64 v 3) (*.f64 -1/6 e)))
(pow.f64 v 3)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 v 3) (.f64 -1/6 e)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (pow.f64 v 3) (.f64 -1/6 e)))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 (pow.f64 v 3) (.f64 -1/6 e)) (.f64 (pow.f64 v 3) (.f64 -1/6 e)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 -1/6 e) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 -1/6 e))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 -1/6 e) (.f64 -1/6 e))))))
((#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 (pow.f64 v 3) (.f64 -1/6 e)) (.f64 v e)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 (.f64 (pow.f64 v 3) (.f64 -1/6 e)) (.f64 v e)))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (.f64 (pow.f64 v 3) (.f64 -1/6 e)) (.f64 v e)) (+.f64 (.f64 (pow.f64 v 3) (.f64 -1/6 e)) (.f64 v e)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 v 3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 v 3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 v 3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (pow.f64 v 3))))) (#(struct:change #<rule egg-rr> (2) ((x or (pow.f64 v 3) (pow.f64 v 3))))))

simplify15.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

36×	`rational.json-simplify-2`
14×	`rational.json-simplify-1`
8×	`rational.json-simplify-31`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	1330
1	53	1330
2	58	1330
3	61	1330

Stop Event

1×

saturated

Counts

58 → 20

Calls

Call 1

Inputs
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(*.f64 v e)
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (*.f64 v e))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (*.f64 v e))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (*.f64 v e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (*.f64 v e))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (*.f64 v e))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (*.f64 v e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (*.f64 v e))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (*.f64 v e))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (*.f64 v e))
(.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3))))
(.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3))))
(.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3))))
(.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3))))
(.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3))))
(.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3))))
(.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3))))
(.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3))))
(.f64 -1 (.f64 (+.f64 (.f64 1/6 (pow.f64 v 3)) (.f64 -1 v)) e))
(.f64 -1 (.f64 (+.f64 (.f64 1/6 (pow.f64 v 3)) (.f64 -1 v)) e))
(.f64 -1 (.f64 (+.f64 (.f64 1/6 (pow.f64 v 3)) (.f64 -1 v)) e))
(.f64 -1 (.f64 (+.f64 (.f64 1/6 (pow.f64 v 3)) (.f64 -1 v)) e))
(+.f64 (.f64 (pow.f64 v 3) (.f64 -1/6 e)) 0)
(+.f64 0 (.f64 (pow.f64 v 3) (.f64 -1/6 e)))
(+.f64 (*.f64 -1/6 e) 0)
(+.f64 0 (*.f64 -1/6 e))
(.f64 (+.f64 (.f64 (pow.f64 v 3) (.f64 -1/6 e)) (.f64 v e)) 1)
(.f64 1 (+.f64 (.f64 (pow.f64 v 3) (.f64 -1/6 e)) (.f64 v e)))
(+.f64 (pow.f64 v 3) 0)
(+.f64 0 (pow.f64 v 3))
(*.f64 (pow.f64 v 3) 1)
(*.f64 1 (pow.f64 v 3))

Outputs
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(*.f64 v e)
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (*.f64 v e))
(+.f64 (.f64 v e) (.f64 (pow.f64 v 3) (*.f64 -1/6 e)))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (*.f64 v e))
(+.f64 (.f64 v e) (.f64 (pow.f64 v 3) (*.f64 -1/6 e)))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (*.f64 v e))
(+.f64 (.f64 v e) (.f64 (pow.f64 v 3) (*.f64 -1/6 e)))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (*.f64 v e))
(+.f64 (.f64 v e) (.f64 (pow.f64 v 3) (*.f64 -1/6 e)))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (*.f64 v e))
(+.f64 (.f64 v e) (.f64 (pow.f64 v 3) (*.f64 -1/6 e)))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (*.f64 v e))
(+.f64 (.f64 v e) (.f64 (pow.f64 v 3) (*.f64 -1/6 e)))
(.f64 -1/6 (.f64 (pow.f64 v 3) e))
(.f64 (pow.f64 v 3) (.f64 -1/6 e))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (*.f64 v e))
(+.f64 (.f64 v e) (.f64 (pow.f64 v 3) (*.f64 -1/6 e)))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (*.f64 v e))
(+.f64 (.f64 v e) (.f64 (pow.f64 v 3) (*.f64 -1/6 e)))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 v 3) e)) (*.f64 v e))
(+.f64 (.f64 v e) (.f64 (pow.f64 v 3) (*.f64 -1/6 e)))
(.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3))))
(.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3))))
(.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3))))
(.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3))))
(.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3))))
(.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3))))
(.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3))))
(.f64 e (+.f64 v (.f64 -1/6 (pow.f64 v 3))))
(.f64 -1 (.f64 (+.f64 (.f64 1/6 (pow.f64 v 3)) (.f64 -1 v)) e))
(.f64 -1 (.f64 e (+.f64 (.f64 (pow.f64 v 3) 1/6) (.f64 v -1))))
(.f64 e (.f64 -1 (+.f64 (.f64 (pow.f64 v 3) 1/6) (.f64 v -1))))
(.f64 -1 (.f64 (+.f64 (.f64 1/6 (pow.f64 v 3)) (.f64 -1 v)) e))
(.f64 -1 (.f64 e (+.f64 (.f64 (pow.f64 v 3) 1/6) (.f64 v -1))))
(.f64 e (.f64 -1 (+.f64 (.f64 (pow.f64 v 3) 1/6) (.f64 v -1))))
(.f64 -1 (.f64 (+.f64 (.f64 1/6 (pow.f64 v 3)) (.f64 -1 v)) e))
(.f64 -1 (.f64 e (+.f64 (.f64 (pow.f64 v 3) 1/6) (.f64 v -1))))
(.f64 e (.f64 -1 (+.f64 (.f64 (pow.f64 v 3) 1/6) (.f64 v -1))))
(.f64 -1 (.f64 (+.f64 (.f64 1/6 (pow.f64 v 3)) (.f64 -1 v)) e))
(.f64 -1 (.f64 e (+.f64 (.f64 (pow.f64 v 3) 1/6) (.f64 v -1))))
(.f64 e (.f64 -1 (+.f64 (.f64 (pow.f64 v 3) 1/6) (.f64 v -1))))
(+.f64 (.f64 (pow.f64 v 3) (.f64 -1/6 e)) 0)
(+.f64 0 (.f64 (pow.f64 v 3) (.f64 -1/6 e)))
(+.f64 (.f64 (pow.f64 v 3) (.f64 -1/6 e)) 0)
(+.f64 (*.f64 -1/6 e) 0)
(+.f64 0 (*.f64 -1/6 e))
(+.f64 (*.f64 -1/6 e) 0)
(.f64 (+.f64 (.f64 (pow.f64 v 3) (.f64 -1/6 e)) (.f64 v e)) 1)
(.f64 (+.f64 (.f64 v e) (.f64 (pow.f64 v 3) (.f64 -1/6 e))) 1)
(.f64 1 (+.f64 (.f64 (pow.f64 v 3) (.f64 -1/6 e)) (.f64 v e)))
(.f64 (+.f64 (.f64 v e) (.f64 (pow.f64 v 3) (.f64 -1/6 e))) 1)
(+.f64 (pow.f64 v 3) 0)
(+.f64 0 (pow.f64 v 3))
(+.f64 (pow.f64 v 3) 0)
(*.f64 (pow.f64 v 3) 1)
(*.f64 1 (pow.f64 v 3))
(*.f64 (pow.f64 v 3) 1)

eval9.0ms (0.3%)

Compiler: Compiled 373 to 248 computations (33.5% saved)

prune9.0ms (0.3%)

Pruning

14 alts after pruning (2 fresh and 12 done)

	Pruned	Kept	Total
New	37	1	38
Fresh	0	1	1
Picked	0	1	1
Done	0	11	11
Total	37	14	51

Error

0.1b

Counts

51 → 14

Alt Table

Click to see full alt table

Status	Error	Program
✓	30.8b	(/.f64 (*.f64 v e) (+.f64 e 1))
✓	0.2b	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
✓	1.0b	(/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 e))
✓	0.8b	(+.f64 (+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2))))) (.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 3))))
✓	32.3b	(+.f64 (.f64 v e) (.f64 (pow.f64 v 3) (*.f64 -1/6 e)))
✓	62.6b	(+.f64 v (*.f64 -1 (/.f64 v e)))
✓	1.9b	(*.f64 (sin.f64 v) e)
	62.6b	(*.f64 v (/.f64 -1 e))
✓	62.6b	(*.f64 v (-.f64 1 (/.f64 1 e)))
✓	31.3b	(.f64 v (+.f64 (.f64 -1 (pow.f64 e 2)) e))
✓	31.7b	(*.f64 v e)
✓	62.6b	(*.f64 -1 (/.f64 v e))
✓	60.1b	(sin.f64 v)
	61.1b	v

Compiler

Compiled 136 to 93 computations (31.6% saved)

regimes30.0ms (0.9%)

Counts

17 → 1

Calls

Call 1

Inputs
v
(*.f64 v e)
(*.f64 -1 (/.f64 v e))
(*.f64 v (/.f64 -1 e))
(*.f64 v (-.f64 1 (/.f64 1 e)))
(+.f64 v (*.f64 -1 (/.f64 v e)))
(/.f64 (*.f64 v e) (+.f64 e 1))
(sin.f64 v)
(*.f64 (sin.f64 v) e)
(/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 e))
(.f64 v (+.f64 (.f64 -1 (pow.f64 e 2)) e))
(+.f64 (.f64 v e) (.f64 (pow.f64 v 3) (*.f64 -1/6 e)))
(/.f64 (+.f64 (.f64 v e) (.f64 e (*.f64 -1/6 (pow.f64 v 3)))) (+.f64 1 e))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
(/.f64 (+.f64 (.f64 v e) (.f64 e (.f64 -1/6 (pow.f64 v 3)))) (+.f64 1 (.f64 e (cos.f64 v))))
(+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2)))))
(+.f64 (+.f64 (.f64 (sin.f64 v) e) (.f64 (sin.f64 v) (.f64 (cos.f64 v) (.f64 -1 (pow.f64 e 2))))) (.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 3))))

Outputs
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))

Calls

3 calls:

9.0ms	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
8.0ms	v
8.0ms	e

Results

Error	Segments	Branch
0.2b	1	`e`
0.2b	1	`v`
0.2b	1	`(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))`

Compiler

Compiled 178 to 95 computations (46.6% saved)

regimes17.0ms (0.5%)

Counts

13 → 1

Calls

Call 1

Inputs
v
(*.f64 v e)
(*.f64 -1 (/.f64 v e))
(*.f64 v (/.f64 -1 e))
(*.f64 v (-.f64 1 (/.f64 1 e)))
(+.f64 v (*.f64 -1 (/.f64 v e)))
(/.f64 (*.f64 v e) (+.f64 e 1))
(sin.f64 v)
(*.f64 (sin.f64 v) e)
(/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 e))
(.f64 v (+.f64 (.f64 -1 (pow.f64 e 2)) e))
(+.f64 (.f64 v e) (.f64 (pow.f64 v 3) (*.f64 -1/6 e)))
(/.f64 (+.f64 (.f64 v e) (.f64 e (*.f64 -1/6 (pow.f64 v 3)))) (+.f64 1 e))

Outputs
(/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 e))

Calls

2 calls:

7.0ms	e
7.0ms	v

Results

Error	Segments	Branch
1.0b	1	`e`
1.0b	1	`v`

Compiler

Compiled 92 to 51 computations (44.6% saved)

regimes14.0ms (0.4%)

Counts

9 → 1

Calls

Call 1

Inputs
v
(*.f64 v e)
(*.f64 -1 (/.f64 v e))
(*.f64 v (/.f64 -1 e))
(*.f64 v (-.f64 1 (/.f64 1 e)))
(+.f64 v (*.f64 -1 (/.f64 v e)))
(/.f64 (*.f64 v e) (+.f64 e 1))
(sin.f64 v)
(*.f64 (sin.f64 v) e)

Outputs
(*.f64 (sin.f64 v) e)

Calls

2 calls:

7.0ms	v
5.0ms	e

Results

Error	Segments	Branch
1.9b	1	`e`
1.9b	1	`v`

Compiler

Compiled 49 to 26 computations (46.9% saved)

regimes13.0ms (0.4%)

Counts

8 → 1

Calls

Call 1

Inputs
v
(*.f64 v e)
(*.f64 -1 (/.f64 v e))
(*.f64 v (/.f64 -1 e))
(*.f64 v (-.f64 1 (/.f64 1 e)))
(+.f64 v (*.f64 -1 (/.f64 v e)))
(/.f64 (*.f64 v e) (+.f64 e 1))
(sin.f64 v)

Outputs
(/.f64 (*.f64 v e) (+.f64 e 1))

Calls

2 calls:

6.0ms	e
5.0ms	v

Results

Error	Segments	Branch
30.8b	1	`e`
30.8b	1	`v`

Compiler

Compiled 45 to 25 computations (44.4% saved)

regimes10.0ms (0.3%)

Accuracy

Total -31.1b remaining (-97.8%)

Threshold costs -31.1b (-97.8%)

Counts

6 → 1

Calls

Call 1

Inputs
v
(*.f64 v e)
(*.f64 -1 (/.f64 v e))
(*.f64 v (/.f64 -1 e))
(*.f64 v (-.f64 1 (/.f64 1 e)))
(+.f64 v (*.f64 -1 (/.f64 v e)))

Outputs
(*.f64 v e)

Calls

2 calls:

4.0ms	v
4.0ms	e

Results

Error	Segments	Branch
31.7b	1	`e`
31.7b	1	`v`

Compiler

Compiled 36 to 21 computations (41.7% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	94

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
(/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 e))
(*.f64 (sin.f64 v) e)
(/.f64 (*.f64 v e) (+.f64 e 1))
(*.f64 v e)
v

Outputs
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
(/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 e))
(*.f64 (sin.f64 v) e)
(/.f64 (*.f64 v e) (+.f64 e 1))
(*.f64 v e)
v

Compiler

Compiled 46 to 31 computations (32.6% saved)

soundness0.0ms (0%)

end29.0ms (0.9%)

Compiler: Compiled 36 to 17 computations (52.8% saved)

Details

analyze12.0ms (0.4%)

sample2.2s (65.6%)

preprocess6.0ms (0.2%)

simplify4.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

localize12.0ms (0.4%)

series8.0ms (0.2%)

rewrite9.0ms (0.3%)

simplify111.0ms (3.4%)

eval49.0ms (1.5%)

prune16.0ms (0.5%)

localize37.0ms (1.1%)

series9.0ms (0.3%)

rewrite8.0ms (0.2%)

simplify36.0ms (1.1%)

localize7.0ms (0.2%)

series3.0ms (0.1%)

rewrite5.0ms (0.2%)

simplify13.0ms (0.4%)

localize9.0ms (0.3%)

series6.0ms (0.2%)

rewrite5.0ms (0.2%)

simplify18.0ms (0.5%)

localize28.0ms (0.9%)

series8.0ms (0.2%)

rewrite7.0ms (0.2%)

simplify140.0ms (4.2%)

localize22.0ms (0.7%)

series1.0ms (0%)

rewrite7.0ms (0.2%)

simplify23.0ms (0.7%)

eval177.0ms (5.4%)

prune51.0ms (1.5%)

localize5.0ms (0.2%)

localize4.0ms (0.1%)

localize7.0ms (0.2%)

series2.0ms (0.1%)

rewrite5.0ms (0.2%)

simplify10.0ms (0.3%)

localize3.0ms (0.1%)

localize13.0ms (0.4%)

series2.0ms (0.1%)

rewrite5.0ms (0.2%)

simplify7.0ms (0.2%)

eval7.0ms (0.2%)

prune10.0ms (0.3%)

localize5.0ms (0.1%)

localize8.0ms (0.2%)

series2.0ms (0.1%)

rewrite8.0ms (0.2%)

simplify13.0ms (0.4%)

localize17.0ms (0.5%)

series3.0ms (0.1%)

rewrite7.0ms (0.2%)

simplify15.0ms (0.5%)

eval9.0ms (0.3%)

prune9.0ms (0.3%)

regimes30.0ms (0.9%)

regimes17.0ms (0.5%)

regimes14.0ms (0.4%)

regimes13.0ms (0.4%)

regimes10.0ms (0.3%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

end29.0ms (0.9%)

Profiling