Details

analyze767.0ms (8.8%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
6.3%	6.2%	93.6%	0.1%	0%	0%	0%	7
9.4%	9.4%	90.5%	0.1%	0%	0%	0%	8
23.4%	23.4%	76.5%	0.1%	0%	0%	0%	9
23.4%	23.4%	76.5%	0.1%	0%	0%	0%	10
27.3%	27.3%	72.5%	0.1%	0%	0%	0%	11
35.5%	35.5%	64.4%	0.1%	0%	0%	0%	12

Compiler

Compiled 34 to 19 computations (44.1% saved)

sample6.4s (72.8%)

Results

3.6s	2097×	body	1024	valid
1.6s	5167×	body	256	valid
1.2s	984×	body	512	valid
16.0ms	8×	body	2048	valid

Bogosity

preprocess94.0ms (1.1%)

Algorithm

2×	egg-herbie

Rules

3564×	`rational.json-simplify-31`
1576×	`rational.json-simplify-2`
432×	`rational.json-simplify-27`
356×	`rational.json-simplify-41`
222×	`rational.json-simplify-9`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	62	396
1	106	396
2	172	396
3	259	396
4	372	396
5	539	396
6	817	396
7	1161	396
8	1314	396
9	1390	396
10	1482	396
11	1562	396
12	1654	396
13	2017	396
14	2017	396
15	2114	396
16	2114	396
17	2842	396
18	2979	396
19	2979	396
20	3426	396
21	3493	396
22	3535	396
23	3535	396
24	3648	396
25	3708	396
0	3	3

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

Inputs
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
(fabs.f64 (-.f64 (.f64 (.f64 eh (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 ew) (tan.f64 t)) eh)))) (.f64 (.f64 ew (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 ew) (tan.f64 t)) eh))))))
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 eh)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 t) (tan.f64 eh)) ew)))) (.f64 (.f64 t (sin.f64 eh)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 t) (tan.f64 eh)) ew))))))
(fabs.f64 (-.f64 (.f64 (.f64 t (cos.f64 ew)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 ew)) t)))) (.f64 (.f64 eh (sin.f64 ew)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 ew)) t))))))

Outputs
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
(fabs.f64 (-.f64 (.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))) (cos.f64 t))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
(fabs.f64 (-.f64 (.f64 eh (.f64 (sin.f64 t) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (.f64 ew (.f64 (cos.f64 t) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))))
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 eh (.f64 (sin.f64 t) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))))
(fabs.f64 (-.f64 (.f64 (.f64 eh (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 ew) (tan.f64 t)) eh)))) (.f64 (.f64 ew (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 ew) (tan.f64 t)) eh))))))
(fabs.f64 (-.f64 (.f64 (.f64 (cos.f64 t) eh) (cos.f64 (atan.f64 (/.f64 (.f64 (tan.f64 t) (neg.f64 ew)) eh)))) (.f64 (.f64 ew (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (tan.f64 t) (neg.f64 ew)) eh))))))
(fabs.f64 (-.f64 (.f64 eh (.f64 (cos.f64 t) (cos.f64 (atan.f64 (/.f64 (.f64 (tan.f64 t) (neg.f64 ew)) eh))))) (.f64 (sin.f64 t) (.f64 ew (sin.f64 (atan.f64 (/.f64 (.f64 (tan.f64 t) (neg.f64 ew)) eh)))))))
(fabs.f64 (-.f64 (.f64 (.f64 (cos.f64 t) eh) (cos.f64 (atan.f64 (/.f64 (.f64 (tan.f64 t) (neg.f64 ew)) eh)))) (.f64 (sin.f64 t) (.f64 ew (sin.f64 (atan.f64 (/.f64 (.f64 (tan.f64 t) (neg.f64 ew)) eh)))))))
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 eh)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 t) (tan.f64 eh)) ew)))) (.f64 (.f64 t (sin.f64 eh)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 t) (tan.f64 eh)) ew))))))
(fabs.f64 (-.f64 (.f64 (.f64 t (cos.f64 ew)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 ew)) t)))) (.f64 (.f64 eh (sin.f64 ew)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 ew)) t))))))
(fabs.f64 (-.f64 (.f64 (.f64 t (cos.f64 ew)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 ew)) t)))) (.f64 (sin.f64 ew) (.f64 eh (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 ew)) t)))))))

Compiler

Compiled 36 to 21 computations (41.7% saved)

simplify23.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

666×	`rational.json-simplify-31`
386×	`rational.json-simplify-2`
38×	`rational.json-simplify-27`
32×	`rational.json-simplify-9`
30×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	99
1	33	99
2	50	99
3	72	99
4	102	99
5	146	99
6	220	99
7	309	99
8	406	99
9	550	99
10	574	99
11	574	99
12	606	99
13	612	99
14	612	99
15	641	99
16	660	99
17	678	99

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs

(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Outputs

(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

eval1.0ms (0%)

Compiler: Compiled 33 to 18 computations (45.5% 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.1b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Status

Error

Program

▶

0.1b

(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 33 to 18 computations (45.5% saved)

localize31.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (neg.f64 eh) (tan.f64 t))
✓	0.1b	(.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
✓	2.8b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	21.5b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

Compiler

Compiled 147 to 18 computations (87.8% saved)

series23.0ms (0.3%)

Counts

4 → 132

Calls

33 calls:

Time	Variable		Point	Expression
3.0ms	eh	@	-inf	(.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
2.0ms	eh	@	0	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
2.0ms	t	@	inf	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
1.0ms	ew	@	0	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
1.0ms	t	@	-inf	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)

rewrite13.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

78×	`rational.json-simplify-2`
56×	`bool.json-1`
50×	`rational.json-1`
50×	`rational.json-2`
44×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	110
1	69	110
2	122	110
3	154	110
4	176	110
5	180	110
6	185	110
7	194	110
8	208	110

Stop Event

1×

saturated

Counts

4 → 12

Calls

Call 1

Inputs
(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
(.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
(*.f64 (neg.f64 eh) (tan.f64 t))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))) (#(struct:change #<rule egg-rr> (2) ((x or (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))) (cos.f64 t))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))) (cos.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))) (cos.f64 t))) (.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))) (cos.f64 t))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (neg.f64 eh) (tan.f64 t)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (neg.f64 eh) (tan.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 (neg.f64 eh) (tan.f64 t)) (.f64 (neg.f64 eh) (tan.f64 t)))))))

simplify91.0ms (1%)

Algorithm

1×	egg-herbie

Rules

284×	`rational.json-simplify-2`
172×	`rational.json-simplify-1`
160×	`rational.json-simplify-31`
100×	`rational.json-simplify-33`
6×	`rational.json-simplify-19`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	101	5568
1	181	5560
2	298	5560
3	411	5452
4	483	5452
5	493	5452
6	505	5452
7	517	5452

Stop Event

1×

saturated

Counts

144 → 68

Calls

Call 1

Inputs
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(+.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)) (.f64 -1/3 (/.f64 (.f64 (pow.f64 t 3) eh) ew)))
(+.f64 (.f64 -2/15 (/.f64 (.f64 (pow.f64 t 5) eh) ew)) (+.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)) (.f64 -1/3 (/.f64 (.f64 (pow.f64 t 3) eh) ew))))
(+.f64 (.f64 -17/315 (/.f64 (.f64 (pow.f64 t 7) eh) ew)) (+.f64 (.f64 -2/15 (/.f64 (.f64 (pow.f64 t 5) eh) ew)) (+.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)) (.f64 -1/3 (/.f64 (.f64 (pow.f64 t 3) eh) ew)))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 (tan.f64 t) eh) ew)))) ew)
(+.f64 (.f64 -1/2 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 2) ew))) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) ew))
(+.f64 (.f64 -1/2 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 2) ew))) (+.f64 (.f64 1/24 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 4) ew))) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 (tan.f64 t) eh) ew)))) ew)))
(+.f64 (.f64 -1/2 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 2) ew))) (+.f64 (.f64 -1/720 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 6) ew))) (+.f64 (.f64 1/24 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 4) ew))) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) ew))))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (.f64 t eh))
(+.f64 (.f64 -1 (.f64 t eh)) (.f64 -1/3 (.f64 (pow.f64 t 3) eh)))
(+.f64 (.f64 -1 (.f64 t eh)) (+.f64 (.f64 -1/3 (.f64 (pow.f64 t 3) eh)) (.f64 -2/15 (.f64 (pow.f64 t 5) eh))))
(+.f64 (.f64 -1 (.f64 t eh)) (+.f64 (.f64 -1/3 (.f64 (pow.f64 t 3) eh)) (+.f64 (.f64 -17/315 (.f64 (pow.f64 t 7) eh)) (.f64 -2/15 (.f64 (pow.f64 t 5) eh)))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(+.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))) 0)
(+.f64 0 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
(.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))) 1)
(.f64 1 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))
(+.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew) 0)
(+.f64 0 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))
(.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) 1)
(.f64 1 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))
(+.f64 (.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))) (cos.f64 t))) 0)
(+.f64 0 (.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))) (cos.f64 t))))
(+.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) 0)
(+.f64 0 (*.f64 (neg.f64 eh) (tan.f64 t)))

Outputs
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(+.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)) (.f64 -1/3 (/.f64 (.f64 (pow.f64 t 3) eh) ew)))
(+.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)) (.f64 -1/3 (/.f64 (.f64 eh (pow.f64 t 3)) ew)))
(+.f64 (.f64 -2/15 (/.f64 (.f64 (pow.f64 t 5) eh) ew)) (+.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)) (.f64 -1/3 (/.f64 (.f64 (pow.f64 t 3) eh) ew))))
(+.f64 (+.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)) (.f64 -1/3 (/.f64 (.f64 eh (pow.f64 t 3)) ew))) (.f64 -2/15 (/.f64 (.f64 eh (pow.f64 t 5)) ew)))
(+.f64 (.f64 -1/3 (/.f64 (.f64 eh (pow.f64 t 3)) ew)) (+.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)) (.f64 -2/15 (/.f64 (.f64 eh (pow.f64 t 5)) ew))))
(+.f64 (.f64 -17/315 (/.f64 (.f64 (pow.f64 t 7) eh) ew)) (+.f64 (.f64 -2/15 (/.f64 (.f64 (pow.f64 t 5) eh) ew)) (+.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)) (.f64 -1/3 (/.f64 (.f64 (pow.f64 t 3) eh) ew)))))
(+.f64 (+.f64 (+.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)) (.f64 -1/3 (/.f64 (.f64 eh (pow.f64 t 3)) ew))) (.f64 -2/15 (/.f64 (.f64 eh (pow.f64 t 5)) ew))) (.f64 -17/315 (/.f64 (.f64 eh (pow.f64 t 7)) ew)))
(+.f64 (+.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)) (.f64 -1/3 (/.f64 (.f64 eh (pow.f64 t 3)) ew))) (+.f64 (.f64 -2/15 (/.f64 (.f64 eh (pow.f64 t 5)) ew)) (.f64 -17/315 (/.f64 (.f64 eh (pow.f64 t 7)) ew))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (*.f64 ew (cos.f64 t))))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 (tan.f64 t) eh) ew)))) ew)
(.f64 ew (cos.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 (tan.f64 t) eh) ew)))))
(+.f64 (.f64 -1/2 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 2) ew))) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) ew))
(+.f64 (.f64 ew (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 -1/2 (.f64 ew (pow.f64 t 2)))))
(+.f64 (.f64 ew (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 2) (.f64 -1/2 ew))))
(+.f64 (.f64 ew (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 2) (.f64 ew -1/2))))
(.f64 (.f64 ew (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))) (+.f64 1 (*.f64 -1/2 (pow.f64 t 2))))
(.f64 ew (.f64 (+.f64 1 (.f64 -1/2 (pow.f64 t 2))) (cos.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 (tan.f64 t) eh) ew))))))
(.f64 ew (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (+.f64 1 (*.f64 -1/2 (pow.f64 t 2)))))
(+.f64 (.f64 -1/2 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 2) ew))) (+.f64 (.f64 1/24 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 4) ew))) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 (tan.f64 t) eh) ew)))) ew)))
(+.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 -1/2 (.f64 ew (pow.f64 t 2)))) (+.f64 (.f64 ew (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 1/24 (*.f64 ew (pow.f64 t 4))))))
(+.f64 (.f64 ew (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))) (+.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 2) (.f64 -1/2 ew))) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 4) (*.f64 1/24 ew)))))
(+.f64 (.f64 ew (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))) (+.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 2) (.f64 ew -1/2))) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 4) (*.f64 ew 1/24)))))
(+.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 2) (.f64 ew -1/2))) (.f64 (.f64 ew (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))) (+.f64 1 (.f64 1/24 (pow.f64 t 4)))))
(+.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 2) (.f64 ew -1/2))) (.f64 ew (.f64 (+.f64 1 (.f64 1/24 (pow.f64 t 4))) (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))))))
(+.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 2) (.f64 ew -1/2))) (.f64 ew (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (+.f64 1 (.f64 1/24 (pow.f64 t 4))))))
(+.f64 (.f64 -1/2 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 2) ew))) (+.f64 (.f64 -1/720 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 6) ew))) (+.f64 (.f64 1/24 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 4) ew))) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) ew))))
(+.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 -1/2 (.f64 ew (pow.f64 t 2)))) (+.f64 (+.f64 (.f64 ew (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 1/24 (.f64 ew (pow.f64 t 4))))) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 -1/720 (.f64 ew (pow.f64 t 6))))))
(+.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 2) (.f64 -1/2 ew))) (+.f64 (.f64 ew (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))) (+.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 4) (.f64 1/24 ew))) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (.f64 -1/720 (pow.f64 t 6)))))))
(+.f64 (.f64 ew (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))) (+.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 2) (.f64 ew -1/2))) (+.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 4) (.f64 ew 1/24))) (.f64 ew (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 -1/720 (pow.f64 t 6)))))))
(+.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 2) (.f64 ew -1/2))) (+.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 4) (.f64 ew 1/24))) (.f64 (.f64 ew (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))) (+.f64 1 (*.f64 -1/720 (pow.f64 t 6))))))
(+.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 2) (.f64 ew -1/2))) (+.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 4) (.f64 ew 1/24))) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (+.f64 1 (*.f64 -1/720 (pow.f64 t 6))) ew))))
(+.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 2) (.f64 ew -1/2))) (+.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (pow.f64 t 4) (.f64 ew 1/24))) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (+.f64 1 (*.f64 -1/720 (pow.f64 t 6)))))))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (cos.f64 t)))
(.f64 -1 (.f64 t eh))
(*.f64 t (neg.f64 eh))
(+.f64 (.f64 -1 (.f64 t eh)) (.f64 -1/3 (.f64 (pow.f64 t 3) eh)))
(+.f64 (.f64 -1 (.f64 t eh)) (.f64 (pow.f64 t 3) (.f64 -1/3 eh)))
(+.f64 (.f64 t (neg.f64 eh)) (.f64 (pow.f64 t 3) (*.f64 eh -1/3)))
(+.f64 (.f64 -1 (.f64 t eh)) (+.f64 (.f64 -1/3 (.f64 (pow.f64 t 3) eh)) (.f64 -2/15 (.f64 (pow.f64 t 5) eh))))
(+.f64 (+.f64 (.f64 -1 (.f64 t eh)) (.f64 (pow.f64 t 3) (.f64 -1/3 eh))) (.f64 -2/15 (.f64 eh (pow.f64 t 5))))
(+.f64 (.f64 t (neg.f64 eh)) (+.f64 (.f64 (pow.f64 t 3) (.f64 eh -1/3)) (.f64 eh (*.f64 -2/15 (pow.f64 t 5)))))
(+.f64 (.f64 -1 (.f64 t eh)) (+.f64 (.f64 -1/3 (.f64 (pow.f64 t 3) eh)) (+.f64 (.f64 -17/315 (.f64 (pow.f64 t 7) eh)) (.f64 -2/15 (.f64 (pow.f64 t 5) eh)))))
(+.f64 (+.f64 (.f64 -1 (.f64 t eh)) (.f64 (pow.f64 t 3) (.f64 -1/3 eh))) (+.f64 (.f64 -2/15 (.f64 eh (pow.f64 t 5))) (.f64 -17/315 (.f64 eh (pow.f64 t 7)))))
(+.f64 (.f64 t (neg.f64 eh)) (+.f64 (.f64 eh (.f64 -2/15 (pow.f64 t 5))) (+.f64 (.f64 (pow.f64 t 3) (.f64 eh -1/3)) (.f64 eh (*.f64 -17/315 (pow.f64 t 7))))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (cos.f64 t)))
(.f64 -1 (/.f64 (.f64 eh (sin.f64 t)) (cos.f64 t)))
(+.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))) 0)
(+.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) (neg.f64 eh)) ew))) 0)
(+.f64 0 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
(+.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) (neg.f64 eh)) ew))) 0)
(.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))) 1)
(.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (tan.f64 t) (neg.f64 eh)) ew))) 1)
(.f64 1 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))
(.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (tan.f64 t) (neg.f64 eh)) ew))) 1)
(+.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew) 0)
(+.f64 (/.f64 (*.f64 (tan.f64 t) (neg.f64 eh)) ew) 0)
(+.f64 0 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))
(+.f64 (/.f64 (*.f64 (tan.f64 t) (neg.f64 eh)) ew) 0)
(.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) 1)
(.f64 (/.f64 (.f64 (tan.f64 t) (neg.f64 eh)) ew) 1)
(.f64 1 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))
(.f64 (/.f64 (.f64 (tan.f64 t) (neg.f64 eh)) ew) 1)
(+.f64 (.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))) (cos.f64 t))) 0)
(+.f64 0 (.f64 ew (.f64 (cos.f64 t) (cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) (neg.f64 eh)) ew))))))
(+.f64 0 (.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))) (cos.f64 t))))
(+.f64 0 (.f64 ew (.f64 (cos.f64 t) (cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) (neg.f64 eh)) ew))))))
(+.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) 0)
(+.f64 (*.f64 (tan.f64 t) (neg.f64 eh)) 0)
(+.f64 0 (*.f64 (neg.f64 eh) (tan.f64 t)))
(+.f64 (*.f64 (tan.f64 t) (neg.f64 eh)) 0)

eval56.0ms (0.6%)

Compiler: Compiled 4395 to 1615 computations (63.3% saved)

prune18.0ms (0.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	98	3	101
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	98	4	102

Error

0.1b

Counts

102 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
▶	0.9b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
▶	7.8b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
▶	14.6b	(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 128 to 81 computations (36.7% saved)

localize45.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(*.f64 (neg.f64 eh) (tan.f64 t))
✓	2.8b	(/.f64 (*.f64 (tan.f64 t) eh) ew)
	2.8b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	21.5b	(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))

Compiler

Compiled 164 to 42 computations (74.4% saved)

series2.0ms (0%)

Counts

2 → 36

Calls

18 calls:

Time	Variable		Point	Expression
0.0ms	t	@	inf	(/.f64 (*.f64 (tan.f64 t) eh) ew)
0.0ms	t	@	0	(/.f64 (*.f64 (tan.f64 t) eh) ew)
0.0ms	t	@	0	(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
0.0ms	eh	@	-inf	(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
0.0ms	ew	@	-inf	(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))

rewrite6.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

34×	`bool.json-1`
32×	`rational.json-simplify-2`
28×	`rational.json-1`
28×	`rational.json-2`
28×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	48
1	58	48
2	94	48
3	99	48

Stop Event

1×

saturated

Counts

2 → 8

Calls

Call 1

Inputs
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(/.f64 (*.f64 (tan.f64 t) eh) ew)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x or (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 (tan.f64 t) eh) ew) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (.f64 (tan.f64 t) eh) ew))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (.f64 (tan.f64 t) eh) ew) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (.f64 (tan.f64 t) eh) ew))))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 (.f64 (tan.f64 t) eh) ew) (/.f64 (.f64 (tan.f64 t) eh) ew))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (cos.f64 (atan.f64 (*.f64 -1 (/.f64 (*.f64 (tan.f64 t) eh) ew)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (cos.f64 (atan.f64 (*.f64 -1 (/.f64 (*.f64 (tan.f64 t) eh) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cos.f64 (atan.f64 (*.f64 -1 (/.f64 (*.f64 (tan.f64 t) eh) ew)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cos.f64 (atan.f64 (*.f64 -1 (/.f64 (*.f64 (tan.f64 t) eh) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x or (cos.f64 (atan.f64 (*.f64 -1 (/.f64 (*.f64 (tan.f64 t) eh) ew)))) (cos.f64 (atan.f64 (*.f64 -1 (/.f64 (*.f64 (tan.f64 t) eh) ew)))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (*.f64 (tan.f64 t) eh) ew))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (*.f64 (tan.f64 t) eh) ew))))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 (*.f64 (tan.f64 t) eh) ew) (/.f64 (*.f64 (tan.f64 t) eh) ew))))))

simplify22.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

56×	`rational.json-simplify-1`
36×	`rational.json-simplify-33`
26×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	54	1336
1	75	1336
2	87	1336
3	101	1336
4	113	1336
5	114	1336

Stop Event

1×

saturated

Counts

44 → 22

Calls

Call 1

Inputs
(/.f64 (*.f64 t eh) ew)
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 (pow.f64 t 3) eh) ew)))
(+.f64 (/.f64 (.f64 t eh) ew) (+.f64 (.f64 2/15 (/.f64 (.f64 (pow.f64 t 5) eh) ew)) (.f64 1/3 (/.f64 (*.f64 (pow.f64 t 3) eh) ew))))
(+.f64 (/.f64 (.f64 t eh) ew) (+.f64 (.f64 2/15 (/.f64 (.f64 (pow.f64 t 5) eh) ew)) (+.f64 (.f64 1/3 (/.f64 (.f64 (pow.f64 t 3) eh) ew)) (.f64 17/315 (/.f64 (*.f64 (pow.f64 t 7) eh) ew)))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(+.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) 0)
(+.f64 0 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 (tan.f64 t) eh) ew)))) 1)
(.f64 1 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 (tan.f64 t) eh) ew)))))
(+.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew) 0)
(+.f64 0 (/.f64 (*.f64 (tan.f64 t) eh) ew))
(.f64 (/.f64 (.f64 (tan.f64 t) eh) ew) 1)
(.f64 1 (/.f64 (.f64 (tan.f64 t) eh) ew))

Outputs
(/.f64 (*.f64 t eh) ew)
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 (pow.f64 t 3) eh) ew)))
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 eh (pow.f64 t 3)) ew)))
(+.f64 (/.f64 (.f64 t eh) ew) (+.f64 (.f64 2/15 (/.f64 (.f64 (pow.f64 t 5) eh) ew)) (.f64 1/3 (/.f64 (*.f64 (pow.f64 t 3) eh) ew))))
(+.f64 (/.f64 (.f64 t eh) ew) (+.f64 (.f64 1/3 (/.f64 (.f64 eh (pow.f64 t 3)) ew)) (.f64 2/15 (/.f64 (*.f64 eh (pow.f64 t 5)) ew))))
(+.f64 (/.f64 (.f64 t eh) ew) (+.f64 (.f64 2/15 (/.f64 (.f64 (pow.f64 t 5) eh) ew)) (+.f64 (.f64 1/3 (/.f64 (.f64 (pow.f64 t 3) eh) ew)) (.f64 17/315 (/.f64 (*.f64 (pow.f64 t 7) eh) ew)))))
(+.f64 (/.f64 (.f64 t eh) ew) (+.f64 (.f64 2/15 (/.f64 (.f64 eh (pow.f64 t 5)) ew)) (+.f64 (.f64 1/3 (/.f64 (.f64 eh (pow.f64 t 3)) ew)) (.f64 17/315 (/.f64 (*.f64 eh (pow.f64 t 7)) ew)))))
(+.f64 (/.f64 (.f64 t eh) ew) (+.f64 (.f64 1/3 (/.f64 (.f64 eh (pow.f64 t 3)) ew)) (+.f64 (.f64 2/15 (/.f64 (.f64 eh (pow.f64 t 5)) ew)) (.f64 17/315 (/.f64 (*.f64 eh (pow.f64 t 7)) ew)))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (.f64 eh (sin.f64 t)) (.f64 ew (cos.f64 t)))
(+.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) 0)
(+.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 eh (tan.f64 t)) ew)))) 0)
(+.f64 0 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))))
(+.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 eh (tan.f64 t)) ew)))) 0)
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 (tan.f64 t) eh) ew)))) 1)
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 eh (tan.f64 t)) ew)))) 1)
(.f64 1 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 (tan.f64 t) eh) ew)))))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 eh (tan.f64 t)) ew)))) 1)
(+.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew) 0)
(+.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew) 0)
(+.f64 0 (/.f64 (*.f64 (tan.f64 t) eh) ew))
(+.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew) 0)
(.f64 (/.f64 (.f64 (tan.f64 t) eh) ew) 1)
(.f64 (/.f64 (.f64 eh (tan.f64 t)) ew) 1)
(.f64 1 (/.f64 (.f64 (tan.f64 t) eh) ew))
(.f64 (/.f64 (.f64 eh (tan.f64 t)) ew) 1)

localize38.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 t (neg.f64 eh)) ew))))
	2.8b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	5.7b	(/.f64 (*.f64 t (neg.f64 eh)) ew)
✓	28.8b	(cos.f64 (atan.f64 (/.f64 (*.f64 t (neg.f64 eh)) ew)))

Compiler

Compiled 160 to 21 computations (86.9% saved)

series13.0ms (0.1%)

Counts

3 → 108

Calls

27 calls:

Time	Variable		Point	Expression
1.0ms	ew	@	-inf	(.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 t (neg.f64 eh)) ew))))
1.0ms	eh	@	0	(/.f64 (*.f64 t (neg.f64 eh)) ew)
1.0ms	t	@	0	(.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 t (neg.f64 eh)) ew))))
1.0ms	ew	@	0	(/.f64 (*.f64 t (neg.f64 eh)) ew)
1.0ms	t	@	0	(cos.f64 (atan.f64 (/.f64 (*.f64 t (neg.f64 eh)) ew)))

rewrite9.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

74×	`rational.json-simplify-2`
54×	`bool.json-1`
48×	`rational.json-1`
48×	`rational.json-2`
42×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	83
1	65	83
2	116	83
3	146	83
4	167	83
5	171	83
6	176	83
7	185	83
8	200	83

Stop Event

1×

saturated

Counts

3 → 10

Calls

Call 1

Inputs
(cos.f64 (atan.f64 (/.f64 (*.f64 t (neg.f64 eh)) ew)))
(/.f64 (*.f64 t (neg.f64 eh)) ew)
(.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 t (neg.f64 eh)) ew))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) t) ew))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) t) ew))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) t) ew))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) t) ew))))))) (#(struct:change #<rule egg-rr> (2) ((x or (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) t) ew))) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) t) ew))))))))

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

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 ew (*.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) t) ew))) (cos.f64 t))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 ew (*.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) t) ew))) (cos.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 ew (*.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) t) ew))) (cos.f64 t))) (*.f64 ew (*.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) t) ew))) (cos.f64 t))))))))

simplify98.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

216×	`rational.json-simplify-2`
136×	`rational.json-simplify-31`
68×	`rational.json-simplify-1`
36×	`rational.json-simplify-33`
6×	`rational.json-simplify-19`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	52	3810
1	89	3810
2	156	3714
3	237	3714
4	292	3714
5	303	3714
6	313	3714
7	321	3714
8	325	3714

Stop Event

1×

saturated

Counts

118 → 42

Calls

Call 1

Inputs
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 t eh) ew)))) ew)
(+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))) (+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 t eh) ew)))) ew)))
(+.f64 (.f64 -1/720 (.f64 (pow.f64 t 6) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))) (+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))) (+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(+.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) t) ew))) 0)
(+.f64 0 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) t) ew))))
(.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) t) ew))) 1)
(.f64 1 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) t) ew))))
(+.f64 (/.f64 (*.f64 (neg.f64 eh) t) ew) 0)
(+.f64 0 (/.f64 (*.f64 (neg.f64 eh) t) ew))
(.f64 (/.f64 (.f64 (neg.f64 eh) t) ew) 1)
(.f64 1 (/.f64 (.f64 (neg.f64 eh) t) ew))
(+.f64 (.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) t) ew))) (cos.f64 t))) 0)
(+.f64 0 (.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) t) ew))) (cos.f64 t))))

Outputs
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 t eh) ew)))) ew)
(.f64 ew (cos.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 t eh) ew)))))
(+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(+.f64 (.f64 ew (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))) (.f64 -1/2 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (pow.f64 t 2) ew))))
(+.f64 (.f64 ew (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))) (.f64 -1/2 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (pow.f64 t 2)))))
(.f64 (.f64 ew (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))) (+.f64 1 (*.f64 -1/2 (pow.f64 t 2))))
(.f64 ew (.f64 (+.f64 1 (.f64 -1/2 (pow.f64 t 2))) (cos.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 t eh) ew))))))
(.f64 ew (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (+.f64 1 (*.f64 -1/2 (pow.f64 t 2)))))
(+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))) (+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 t eh) ew)))) ew)))
(+.f64 (+.f64 (.f64 ew (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))) (.f64 -1/2 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (pow.f64 t 2) ew)))) (.f64 1/24 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (*.f64 (pow.f64 t 4) ew))))
(+.f64 (+.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 1/24 (.f64 ew (pow.f64 t 4)))) (.f64 ew (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))))) (.f64 -1/2 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (*.f64 ew (pow.f64 t 2)))))
(+.f64 (.f64 (.f64 ew (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))) (+.f64 1 (.f64 -1/2 (pow.f64 t 2)))) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (.f64 1/24 (pow.f64 t 4)))))
(+.f64 (.f64 ew (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 -1/2 (pow.f64 t 2)))) (.f64 (.f64 ew (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))) (+.f64 1 (.f64 1/24 (pow.f64 t 4)))))
(+.f64 (.f64 ew (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 -1/2 (pow.f64 t 2)))) (.f64 ew (.f64 (+.f64 1 (.f64 1/24 (pow.f64 t 4))) (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))))))
(+.f64 (.f64 ew (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 -1/2 (pow.f64 t 2)))) (.f64 ew (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (+.f64 1 (.f64 1/24 (pow.f64 t 4))))))
(+.f64 (.f64 -1/720 (.f64 (pow.f64 t 6) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))) (+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))) (+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))))
(+.f64 (+.f64 (.f64 -1/720 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (pow.f64 t 6) ew))) (.f64 1/24 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (pow.f64 t 4) ew)))) (+.f64 (.f64 ew (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))) (.f64 -1/2 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (pow.f64 t 2) ew)))))
(+.f64 (+.f64 (.f64 ew (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))) (.f64 -1/2 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (pow.f64 t 2))))) (+.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 1/24 (.f64 ew (pow.f64 t 4)))) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 -1/720 (.f64 ew (pow.f64 t 6))))))
(+.f64 (.f64 (.f64 ew (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))) (+.f64 1 (.f64 -1/2 (pow.f64 t 2)))) (+.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (.f64 1/24 (pow.f64 t 4)))) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (*.f64 -1/720 (pow.f64 t 6))))))
(+.f64 (.f64 ew (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 -1/2 (pow.f64 t 2)))) (+.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (.f64 -1/720 (pow.f64 t 6)))) (.f64 (.f64 ew (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))) (+.f64 1 (*.f64 1/24 (pow.f64 t 4))))))
(+.f64 (.f64 ew (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 -1/2 (pow.f64 t 2)))) (+.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (.f64 -1/720 (pow.f64 t 6)))) (.f64 ew (.f64 (+.f64 1 (.f64 1/24 (pow.f64 t 4))) (cos.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 t eh) ew))))))))
(+.f64 (.f64 ew (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 -1/2 (pow.f64 t 2)))) (+.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (.f64 -1/720 (pow.f64 t 6)))) (.f64 ew (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (+.f64 1 (*.f64 1/24 (pow.f64 t 4)))))))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(.f64 (cos.f64 t) (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 (cos.f64 t) ew))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) (.f64 ew (cos.f64 t)))
(+.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) t) ew))) 0)
(+.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 t (neg.f64 eh)) ew))) 0)
(+.f64 0 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) t) ew))))
(+.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 t (neg.f64 eh)) ew))) 0)
(.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) t) ew))) 1)
(.f64 (cos.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))) 1)
(.f64 1 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) t) ew))))
(.f64 (cos.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))) 1)
(+.f64 (/.f64 (*.f64 (neg.f64 eh) t) ew) 0)
(+.f64 (/.f64 (*.f64 t (neg.f64 eh)) ew) 0)
(+.f64 0 (/.f64 (*.f64 (neg.f64 eh) t) ew))
(+.f64 (/.f64 (*.f64 t (neg.f64 eh)) ew) 0)
(.f64 (/.f64 (.f64 (neg.f64 eh) t) ew) 1)
(.f64 (/.f64 (.f64 t (neg.f64 eh)) ew) 1)
(.f64 1 (/.f64 (.f64 (neg.f64 eh) t) ew))
(.f64 (/.f64 (.f64 t (neg.f64 eh)) ew) 1)
(+.f64 (.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) t) ew))) (cos.f64 t))) 0)
(+.f64 0 (.f64 ew (.f64 (cos.f64 t) (cos.f64 (atan.f64 (/.f64 (*.f64 t (neg.f64 eh)) ew))))))
(+.f64 0 (.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) t) ew))) (cos.f64 t))))
(+.f64 0 (.f64 ew (.f64 (cos.f64 t) (cos.f64 (atan.f64 (/.f64 (*.f64 t (neg.f64 eh)) ew))))))

localize37.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
	2.8b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
	5.7b	(/.f64 (*.f64 t (neg.f64 eh)) ew)
	21.5b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

Compiler

Compiled 160 to 21 computations (86.9% saved)

eval216.0ms (2.5%)

Compiler: Compiled 7167 to 2817 computations (60.7% saved)

prune60.0ms (0.7%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	170	3	173
Fresh	0	0	0
Picked	0	1	1
Done	1	2	3
Total	171	6	177

Error

0.1b

Counts

177 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	0.9b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
▶	7.7b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 t eh) ew)))))))
✓	14.6b	(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
▶	14.6b	(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
▶	15.6b	(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 188 to 124 computations (34% saved)

localize45.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(*.f64 (neg.f64 eh) (tan.f64 t))
	2.8b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	5.7b	(/.f64 (*.f64 t eh) ew)
✓	28.8b	(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))

Compiler

Compiled 156 to 42 computations (73.1% saved)

series1.0ms (0%)

Counts

2 → 0

Calls

18 calls:

Time	Variable		Point	Expression
0.0ms	t	@	inf	(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
0.0ms	t	@	0	(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
0.0ms	t	@	-inf	(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
0.0ms	eh	@	-inf	(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
0.0ms	ew	@	inf	(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))

rewrite7.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	40
1	54	40
2	88	40
3	93	40

Stop Event

1×

saturated

Counts

2 → 8

Calls

Call 1

Inputs
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))
(/.f64 (*.f64 t eh) ew)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (cos.f64 (atan.f64 (*.f64 -1 (/.f64 (*.f64 t eh) ew)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (cos.f64 (atan.f64 (*.f64 -1 (/.f64 (*.f64 t eh) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cos.f64 (atan.f64 (*.f64 -1 (/.f64 (*.f64 t eh) ew)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cos.f64 (atan.f64 (*.f64 -1 (/.f64 (*.f64 t eh) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x or (cos.f64 (atan.f64 (*.f64 -1 (/.f64 (*.f64 t eh) ew)))) (cos.f64 (atan.f64 (*.f64 -1 (/.f64 (*.f64 t eh) ew)))))))))

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

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	208
1	24	208

Stop Event

1×

saturated

Counts

8 → 8

Calls

Call 1

Inputs
(+.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) 0)
(+.f64 0 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 t eh) ew)))) 1)
(.f64 1 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 t eh) ew)))))
(+.f64 (/.f64 (*.f64 t eh) ew) 0)
(+.f64 0 (/.f64 (*.f64 t eh) ew))
(.f64 (/.f64 (.f64 t eh) ew) 1)
(.f64 1 (/.f64 (.f64 t eh) ew))

Outputs
(+.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) 0)
(+.f64 0 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))))
(+.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) 0)
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 t eh) ew)))) 1)
(.f64 1 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 t eh) ew)))))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 t eh) ew)))) 1)
(+.f64 (/.f64 (*.f64 t eh) ew) 0)
(+.f64 0 (/.f64 (*.f64 t eh) ew))
(+.f64 (/.f64 (*.f64 t eh) ew) 0)
(.f64 (/.f64 (.f64 t eh) ew) 1)
(.f64 1 (/.f64 (.f64 t eh) ew))
(.f64 (/.f64 (.f64 t eh) ew) 1)

localize46.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (tan.f64 t) eh)
	2.8b	(/.f64 (*.f64 (tan.f64 t) eh) ew)
	5.7b	(/.f64 (*.f64 t (neg.f64 eh)) ew)
	21.5b	(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))

Compiler

Compiled 157 to 42 computations (73.2% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	t	@	0	(*.f64 (tan.f64 t) eh)
0.0ms	t	@	inf	(*.f64 (tan.f64 t) eh)
0.0ms	eh	@	-inf	(*.f64 (tan.f64 t) eh)
0.0ms	t	@	-inf	(*.f64 (tan.f64 t) eh)
0.0ms	eh	@	inf	(*.f64 (tan.f64 t) eh)

rewrite5.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	33	11
2	59	11
3	63	11

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(*.f64 (tan.f64 t) eh)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (tan.f64 t) eh) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (tan.f64 t) eh))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 (tan.f64 t) eh) (*.f64 (tan.f64 t) eh))))))

simplify12.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

54×	`rational.json-simplify-1`
42×	`rational.json-simplify-2`
30×	`rational.json-simplify-33`
12×	`rational.json-simplify-31`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	626
1	61	626
2	87	626
3	108	626
4	114	626
5	115	626

Stop Event

1×

saturated

Counts

26 → 15

Calls

Call 1

Inputs
(*.f64 t eh)
(+.f64 (.f64 t eh) (.f64 1/3 (*.f64 (pow.f64 t 3) eh)))
(+.f64 (.f64 t eh) (+.f64 (.f64 1/3 (.f64 (pow.f64 t 3) eh)) (.f64 2/15 (*.f64 (pow.f64 t 5) eh))))
(+.f64 (.f64 t eh) (+.f64 (.f64 1/3 (.f64 (pow.f64 t 3) eh)) (+.f64 (.f64 17/315 (.f64 (pow.f64 t 7) eh)) (.f64 2/15 (*.f64 (pow.f64 t 5) eh)))))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(+.f64 (*.f64 (tan.f64 t) eh) 0)
(+.f64 0 (*.f64 (tan.f64 t) eh))

Outputs
(*.f64 t eh)
(+.f64 (.f64 t eh) (.f64 1/3 (*.f64 (pow.f64 t 3) eh)))
(+.f64 (.f64 t eh) (.f64 1/3 (*.f64 eh (pow.f64 t 3))))
(+.f64 (.f64 t eh) (.f64 eh (*.f64 1/3 (pow.f64 t 3))))
(+.f64 (.f64 t eh) (+.f64 (.f64 1/3 (.f64 (pow.f64 t 3) eh)) (.f64 2/15 (*.f64 (pow.f64 t 5) eh))))
(+.f64 (.f64 t eh) (+.f64 (.f64 1/3 (.f64 eh (pow.f64 t 3))) (.f64 2/15 (*.f64 eh (pow.f64 t 5)))))
(+.f64 (.f64 t eh) (+.f64 (.f64 eh (.f64 1/3 (pow.f64 t 3))) (.f64 eh (*.f64 2/15 (pow.f64 t 5)))))
(+.f64 (.f64 t eh) (+.f64 (.f64 1/3 (.f64 (pow.f64 t 3) eh)) (+.f64 (.f64 17/315 (.f64 (pow.f64 t 7) eh)) (.f64 2/15 (*.f64 (pow.f64 t 5) eh)))))
(+.f64 (.f64 t eh) (+.f64 (.f64 1/3 (.f64 eh (pow.f64 t 3))) (+.f64 (.f64 2/15 (.f64 eh (pow.f64 t 5))) (.f64 17/315 (*.f64 eh (pow.f64 t 7))))))
(+.f64 (.f64 t eh) (+.f64 (.f64 eh (.f64 1/3 (pow.f64 t 3))) (+.f64 (.f64 eh (.f64 2/15 (pow.f64 t 5))) (.f64 eh (*.f64 17/315 (pow.f64 t 7))))))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 eh (sin.f64 t)) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 eh (sin.f64 t)) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 eh (sin.f64 t)) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 eh (sin.f64 t)) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 eh (sin.f64 t)) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 eh (sin.f64 t)) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 eh (sin.f64 t)) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 eh (sin.f64 t)) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 eh (sin.f64 t)) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 eh (sin.f64 t)) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 eh (sin.f64 t)) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 eh (sin.f64 t)) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 eh (sin.f64 t)) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 eh (sin.f64 t)) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 eh (sin.f64 t)) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 eh (sin.f64 t)) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 eh (sin.f64 t)) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 eh (sin.f64 t)) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 eh (sin.f64 t)) (cos.f64 t))
(/.f64 (*.f64 (sin.f64 t) eh) (cos.f64 t))
(/.f64 (*.f64 eh (sin.f64 t)) (cos.f64 t))
(+.f64 (*.f64 (tan.f64 t) eh) 0)
(+.f64 (*.f64 eh (tan.f64 t)) 0)
(+.f64 0 (*.f64 (tan.f64 t) eh))
(+.f64 (*.f64 eh (tan.f64 t)) 0)

localize89.0ms (1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 t (neg.f64 eh)) ew))))
	5.7b	(/.f64 (*.f64 t (neg.f64 eh)) ew)
	5.7b	(/.f64 (*.f64 t eh) ew)
	28.8b	(cos.f64 (atan.f64 (/.f64 (*.f64 t (neg.f64 eh)) ew)))

Compiler

Compiled 162 to 43 computations (73.5% saved)

eval53.0ms (0.6%)

Compiler: Compiled 4950 to 2269 computations (54.2% saved)

prune29.0ms (0.3%)

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	129	2	131
Fresh	0	0	0
Picked	0	1	1
Done	1	4	5
Total	130	7	137

Error

0.1b

Counts

137 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	0.9b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
✓	7.7b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 t eh) ew)))))))
▶	16.2b	(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 eh (.f64 1/3 (pow.f64 t 3)))) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
✓	14.6b	(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	14.6b	(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
▶	15.5b	(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))

Compiler

Compiled 224 to 149 computations (33.5% saved)

localize42.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 eh (sin.f64 t))
	5.7b	(/.f64 (*.f64 t (neg.f64 eh)) ew)
	5.7b	(/.f64 (*.f64 t eh) ew)
	28.8b	(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew))))

Compiler

Compiled 147 to 41 computations (72.1% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	t	@	0	(*.f64 eh (sin.f64 t))
0.0ms	eh	@	inf	(*.f64 eh (sin.f64 t))
0.0ms	eh	@	0	(*.f64 eh (sin.f64 t))
0.0ms	eh	@	-inf	(*.f64 eh (sin.f64 t))
0.0ms	t	@	inf	(*.f64 eh (sin.f64 t))

rewrite5.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	33	11
2	59	11
3	63	11

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(*.f64 eh (sin.f64 t))

Outputs

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

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

58×	`rational.json-simplify-1`
40×	`rational.json-simplify-2`
36×	`rational.json-simplify-33`
12×	`rational.json-simplify-31`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	426
1	52	426
2	77	426
3	100	426
4	113	426
5	115	426

Stop Event

1×

saturated

Counts

26 → 15

Calls

Call 1

Inputs
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 t eh)
(+.f64 (.f64 t eh) (.f64 -1/6 (*.f64 (pow.f64 t 3) eh)))
(+.f64 (.f64 t eh) (+.f64 (.f64 1/120 (.f64 (pow.f64 t 5) eh)) (.f64 -1/6 (*.f64 (pow.f64 t 3) eh))))
(+.f64 (.f64 -1/5040 (.f64 (pow.f64 t 7) eh)) (+.f64 (.f64 t eh) (+.f64 (.f64 1/120 (.f64 (pow.f64 t 5) eh)) (.f64 -1/6 (*.f64 (pow.f64 t 3) eh)))))
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(+.f64 (*.f64 eh (sin.f64 t)) 0)
(+.f64 0 (*.f64 eh (sin.f64 t)))

Outputs
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 t eh)
(+.f64 (.f64 t eh) (.f64 -1/6 (*.f64 (pow.f64 t 3) eh)))
(+.f64 (.f64 t eh) (.f64 -1/6 (*.f64 eh (pow.f64 t 3))))
(+.f64 (.f64 t eh) (.f64 eh (*.f64 -1/6 (pow.f64 t 3))))
(+.f64 (.f64 t eh) (+.f64 (.f64 1/120 (.f64 (pow.f64 t 5) eh)) (.f64 -1/6 (*.f64 (pow.f64 t 3) eh))))
(+.f64 (.f64 t eh) (+.f64 (.f64 -1/6 (.f64 eh (pow.f64 t 3))) (.f64 1/120 (*.f64 eh (pow.f64 t 5)))))
(+.f64 (.f64 t eh) (+.f64 (.f64 eh (.f64 -1/6 (pow.f64 t 3))) (.f64 eh (*.f64 1/120 (pow.f64 t 5)))))
(+.f64 (.f64 -1/5040 (.f64 (pow.f64 t 7) eh)) (+.f64 (.f64 t eh) (+.f64 (.f64 1/120 (.f64 (pow.f64 t 5) eh)) (.f64 -1/6 (*.f64 (pow.f64 t 3) eh)))))
(+.f64 (+.f64 (.f64 t eh) (+.f64 (.f64 -1/6 (.f64 eh (pow.f64 t 3))) (.f64 1/120 (.f64 eh (pow.f64 t 5))))) (.f64 -1/5040 (*.f64 eh (pow.f64 t 7))))
(+.f64 (+.f64 (.f64 eh (.f64 -1/6 (pow.f64 t 3))) (.f64 eh (.f64 1/120 (pow.f64 t 5)))) (+.f64 (.f64 t eh) (.f64 eh (*.f64 -1/5040 (pow.f64 t 7)))))
(+.f64 (.f64 t eh) (+.f64 (+.f64 (.f64 eh (.f64 -1/6 (pow.f64 t 3))) (.f64 eh (.f64 1/120 (pow.f64 t 5)))) (.f64 eh (*.f64 -1/5040 (pow.f64 t 7)))))
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(+.f64 (*.f64 eh (sin.f64 t)) 0)
(+.f64 (*.f64 (sin.f64 t) eh) 0)
(+.f64 0 (*.f64 eh (sin.f64 t)))
(+.f64 (*.f64 (sin.f64 t) eh) 0)

localize78.0ms (0.9%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.3b	(/.f64 (+.f64 (.f64 t eh) (.f64 eh (*.f64 1/3 (pow.f64 t 3)))) ew)
✓	5.4b	(.f64 eh (.f64 1/3 (pow.f64 t 3)))
	5.7b	(/.f64 (*.f64 t (neg.f64 eh)) ew)
✓	34.4b	(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 eh (.f64 1/3 (pow.f64 t 3)))) ew))))

Compiler

Compiled 231 to 108 computations (53.2% saved)

series20.0ms (0.2%)

Counts

3 → 96

Calls

24 calls:

Time	Variable		Point	Expression
5.0ms	eh	@	inf	(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 eh (.f64 1/3 (pow.f64 t 3)))) ew))))
3.0ms	ew	@	-inf	(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 eh (.f64 1/3 (pow.f64 t 3)))) ew))))
1.0ms	eh	@	0	(.f64 eh (.f64 1/3 (pow.f64 t 3)))
1.0ms	ew	@	0	(/.f64 (+.f64 (.f64 t eh) (.f64 eh (*.f64 1/3 (pow.f64 t 3)))) ew)
1.0ms	eh	@	-inf	(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 eh (.f64 1/3 (pow.f64 t 3)))) ew))))

rewrite8.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

54×	`rational.json-simplify-2`
50×	`bool.json-1`
40×	`rational.json-1`
40×	`rational.json-2`
40×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	107
1	83	107
2	132	107
3	147	107
4	151	107

Stop Event

1×

saturated

Counts

3 → 10

Calls

Call 1

Inputs

(cos.f64 (atan.f64 (*.f64 -1 (/.f64 (+.f64 (*.f64 t eh) (*.f64 eh (*.f64 1/3 (pow.f64 t 3)))) ew))))

(*.f64 eh (*.f64 1/3 (pow.f64 t 3)))

(/.f64 (+.f64 (*.f64 t eh) (*.f64 eh (*.f64 1/3 (pow.f64 t 3)))) ew)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (cos.f64 (atan.f64 (*.f64 -1 (/.f64 (+.f64 (*.f64 t eh) (*.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (cos.f64 (atan.f64 (*.f64 -1 (/.f64 (+.f64 (*.f64 t eh) (*.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cos.f64 (atan.f64 (*.f64 -1 (/.f64 (+.f64 (*.f64 t eh) (*.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cos.f64 (atan.f64 (*.f64 -1 (/.f64 (+.f64 (*.f64 t eh) (*.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x or (cos.f64 (atan.f64 (*.f64 -1 (/.f64 (+.f64 (*.f64 t eh) (*.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew)))) (cos.f64 (atan.f64 (*.f64 -1 (/.f64 (+.f64 (*.f64 t eh) (*.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew)))))))))

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

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

simplify36.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

34×	`rational.json-simplify-2`
16×	`rational.json-simplify-1`
4×	`rational.json-simplify-31`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	4056
1	72	4056
2	73	4056

Stop Event

1×

saturated

Counts

106 → 25

Calls

Call 1

Inputs
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(/.f64 (*.f64 t eh) ew)
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 (pow.f64 t 3) eh) ew)))
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 (pow.f64 t 3) eh) ew)))
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 (pow.f64 t 3) eh) ew)))
(.f64 1/3 (/.f64 (.f64 (pow.f64 t 3) eh) ew))
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 (pow.f64 t 3) eh) ew)))
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 (pow.f64 t 3) eh) ew)))
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 (pow.f64 t 3) eh) ew)))
(.f64 1/3 (/.f64 (.f64 (pow.f64 t 3) eh) ew))
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 (pow.f64 t 3) eh) ew)))
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 (pow.f64 t 3) eh) ew)))
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 (pow.f64 t 3) eh) ew)))
(/.f64 (.f64 (+.f64 t (.f64 1/3 (pow.f64 t 3))) eh) ew)
(/.f64 (.f64 (+.f64 t (.f64 1/3 (pow.f64 t 3))) eh) ew)
(/.f64 (.f64 (+.f64 t (.f64 1/3 (pow.f64 t 3))) eh) ew)
(/.f64 (.f64 (+.f64 t (.f64 1/3 (pow.f64 t 3))) eh) ew)
(/.f64 (.f64 (+.f64 t (.f64 1/3 (pow.f64 t 3))) eh) ew)
(/.f64 (.f64 (+.f64 t (.f64 1/3 (pow.f64 t 3))) eh) ew)
(/.f64 (.f64 (+.f64 t (.f64 1/3 (pow.f64 t 3))) eh) ew)
(/.f64 (.f64 (+.f64 t (.f64 1/3 (pow.f64 t 3))) eh) ew)
(.f64 -1 (/.f64 (.f64 (+.f64 (.f64 -1 t) (.f64 -1/3 (pow.f64 t 3))) eh) ew))
(.f64 -1 (/.f64 (.f64 (+.f64 (.f64 -1 t) (.f64 -1/3 (pow.f64 t 3))) eh) ew))
(.f64 -1 (/.f64 (.f64 (+.f64 (.f64 -1 t) (.f64 -1/3 (pow.f64 t 3))) eh) ew))
(.f64 -1 (/.f64 (.f64 (+.f64 (.f64 -1 t) (.f64 -1/3 (pow.f64 t 3))) eh) ew))
(/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (*.f64 (pow.f64 t 3) eh))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (*.f64 (pow.f64 t 3) eh))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (*.f64 (pow.f64 t 3) eh))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (*.f64 (pow.f64 t 3) eh))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (*.f64 (pow.f64 t 3) eh))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (*.f64 (pow.f64 t 3) eh))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (*.f64 (pow.f64 t 3) eh))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (*.f64 (pow.f64 t 3) eh))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (*.f64 (pow.f64 t 3) eh))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (*.f64 (pow.f64 t 3) eh))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (*.f64 (pow.f64 t 3) eh))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (*.f64 (pow.f64 t 3) eh))) ew)
(+.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew)))) 0)
(+.f64 0 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew)))))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew)))) 1)
(.f64 1 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew)))))
(+.f64 (.f64 (pow.f64 t 3) (.f64 eh 1/3)) 0)
(+.f64 0 (.f64 (pow.f64 t 3) (.f64 eh 1/3)))
(+.f64 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew) 0)
(+.f64 0 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew))
(.f64 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew) 1)
(.f64 1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))

Outputs
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (.f64 (pow.f64 t 3) eh))) ew))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 (pow.f64 t 3) (.f64 eh 1/3))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 (pow.f64 t 3) (.f64 eh 1/3))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 (pow.f64 t 3) (.f64 eh 1/3))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 (pow.f64 t 3) (.f64 eh 1/3))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 (pow.f64 t 3) (.f64 eh 1/3))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 (pow.f64 t 3) (.f64 eh 1/3))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 (pow.f64 t 3) (.f64 eh 1/3))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 (pow.f64 t 3) (.f64 eh 1/3))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 (pow.f64 t 3) (.f64 eh 1/3))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 (pow.f64 t 3) (.f64 eh 1/3))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 (pow.f64 t 3) (.f64 eh 1/3))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 (pow.f64 t 3) (.f64 eh 1/3))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 (pow.f64 t 3) (.f64 eh 1/3))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 (pow.f64 t 3) (.f64 eh 1/3))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 (pow.f64 t 3) (.f64 eh 1/3))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 (pow.f64 t 3) (.f64 eh 1/3))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 (pow.f64 t 3) (.f64 eh 1/3))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 (pow.f64 t 3) (.f64 eh 1/3))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 (pow.f64 t 3) (.f64 eh 1/3))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 (pow.f64 t 3) (.f64 eh 1/3))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 (pow.f64 t 3) (.f64 eh 1/3))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 (pow.f64 t 3) (.f64 eh 1/3))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 (pow.f64 t 3) (.f64 eh 1/3))
(.f64 1/3 (.f64 (pow.f64 t 3) eh))
(.f64 (pow.f64 t 3) (.f64 eh 1/3))
(/.f64 (*.f64 t eh) ew)
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 (pow.f64 t 3) eh) ew)))
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 eh (pow.f64 t 3)) ew)))
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 (pow.f64 t 3) eh) ew)))
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 eh (pow.f64 t 3)) ew)))
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 (pow.f64 t 3) eh) ew)))
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 eh (pow.f64 t 3)) ew)))
(.f64 1/3 (/.f64 (.f64 (pow.f64 t 3) eh) ew))
(.f64 1/3 (/.f64 (.f64 eh (pow.f64 t 3)) ew))
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 (pow.f64 t 3) eh) ew)))
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 eh (pow.f64 t 3)) ew)))
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 (pow.f64 t 3) eh) ew)))
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 eh (pow.f64 t 3)) ew)))
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 (pow.f64 t 3) eh) ew)))
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 eh (pow.f64 t 3)) ew)))
(.f64 1/3 (/.f64 (.f64 (pow.f64 t 3) eh) ew))
(.f64 1/3 (/.f64 (.f64 eh (pow.f64 t 3)) ew))
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 (pow.f64 t 3) eh) ew)))
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 eh (pow.f64 t 3)) ew)))
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 (pow.f64 t 3) eh) ew)))
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 eh (pow.f64 t 3)) ew)))
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 (pow.f64 t 3) eh) ew)))
(+.f64 (/.f64 (.f64 t eh) ew) (.f64 1/3 (/.f64 (*.f64 eh (pow.f64 t 3)) ew)))
(/.f64 (.f64 (+.f64 t (.f64 1/3 (pow.f64 t 3))) eh) ew)
(/.f64 (.f64 eh (+.f64 t (.f64 1/3 (pow.f64 t 3)))) ew)
(/.f64 (.f64 (+.f64 t (.f64 1/3 (pow.f64 t 3))) eh) ew)
(/.f64 (.f64 eh (+.f64 t (.f64 1/3 (pow.f64 t 3)))) ew)
(/.f64 (.f64 (+.f64 t (.f64 1/3 (pow.f64 t 3))) eh) ew)
(/.f64 (.f64 eh (+.f64 t (.f64 1/3 (pow.f64 t 3)))) ew)
(/.f64 (.f64 (+.f64 t (.f64 1/3 (pow.f64 t 3))) eh) ew)
(/.f64 (.f64 eh (+.f64 t (.f64 1/3 (pow.f64 t 3)))) ew)
(/.f64 (.f64 (+.f64 t (.f64 1/3 (pow.f64 t 3))) eh) ew)
(/.f64 (.f64 eh (+.f64 t (.f64 1/3 (pow.f64 t 3)))) ew)
(/.f64 (.f64 (+.f64 t (.f64 1/3 (pow.f64 t 3))) eh) ew)
(/.f64 (.f64 eh (+.f64 t (.f64 1/3 (pow.f64 t 3)))) ew)
(/.f64 (.f64 (+.f64 t (.f64 1/3 (pow.f64 t 3))) eh) ew)
(/.f64 (.f64 eh (+.f64 t (.f64 1/3 (pow.f64 t 3)))) ew)
(/.f64 (.f64 (+.f64 t (.f64 1/3 (pow.f64 t 3))) eh) ew)
(/.f64 (.f64 eh (+.f64 t (.f64 1/3 (pow.f64 t 3)))) ew)
(.f64 -1 (/.f64 (.f64 (+.f64 (.f64 -1 t) (.f64 -1/3 (pow.f64 t 3))) eh) ew))
(.f64 -1 (/.f64 (.f64 eh (+.f64 (.f64 -1 t) (.f64 (pow.f64 t 3) -1/3))) ew))
(.f64 -1 (/.f64 (.f64 (+.f64 (.f64 -1 t) (.f64 -1/3 (pow.f64 t 3))) eh) ew))
(.f64 -1 (/.f64 (.f64 eh (+.f64 (.f64 -1 t) (.f64 (pow.f64 t 3) -1/3))) ew))
(.f64 -1 (/.f64 (.f64 (+.f64 (.f64 -1 t) (.f64 -1/3 (pow.f64 t 3))) eh) ew))
(.f64 -1 (/.f64 (.f64 eh (+.f64 (.f64 -1 t) (.f64 (pow.f64 t 3) -1/3))) ew))
(.f64 -1 (/.f64 (.f64 (+.f64 (.f64 -1 t) (.f64 -1/3 (pow.f64 t 3))) eh) ew))
(.f64 -1 (/.f64 (.f64 eh (+.f64 (.f64 -1 t) (.f64 (pow.f64 t 3) -1/3))) ew))
(/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (*.f64 (pow.f64 t 3) eh))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (*.f64 (pow.f64 t 3) eh))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (*.f64 (pow.f64 t 3) eh))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (*.f64 (pow.f64 t 3) eh))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (*.f64 (pow.f64 t 3) eh))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (*.f64 (pow.f64 t 3) eh))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (*.f64 (pow.f64 t 3) eh))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (*.f64 (pow.f64 t 3) eh))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (*.f64 (pow.f64 t 3) eh))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (*.f64 (pow.f64 t 3) eh))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (*.f64 (pow.f64 t 3) eh))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 1/3 (*.f64 (pow.f64 t 3) eh))) ew)
(/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew)
(+.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew)))) 0)
(+.f64 0 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew)))))
(+.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew)))) 0)
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew)))) 1)
(.f64 1 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew)))))
(.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew)))) 1)
(+.f64 (.f64 (pow.f64 t 3) (.f64 eh 1/3)) 0)
(+.f64 0 (.f64 (pow.f64 t 3) (.f64 eh 1/3)))
(+.f64 (.f64 (pow.f64 t 3) (.f64 eh 1/3)) 0)
(+.f64 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew) 0)
(+.f64 0 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew))
(+.f64 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (*.f64 eh 1/3))) ew) 0)
(.f64 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew) 1)
(.f64 1 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew))
(.f64 (/.f64 (+.f64 (.f64 t eh) (.f64 (pow.f64 t 3) (.f64 eh 1/3))) ew) 1)

eval23.0ms (0.3%)

Compiler: Compiled 2084 to 926 computations (55.6% saved)

prune14.0ms (0.2%)

Pruning

8 alts after pruning (2 fresh and 6 done)

	Pruned	Kept	Total
New	60	2	62
Fresh	0	0	0
Picked	1	0	1
Done	0	6	6
Total	61	8	69

Error

0.1b

Counts

69 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	0.9b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
✓	7.7b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 t eh) ew)))))))
✓	14.6b	(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	14.6b	(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
	29.7b	(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew) (.f64 (.f64 t eh) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
✓	15.5b	(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
	16.5b	(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (.f64 1/3 (/.f64 (.f64 (pow.f64 t 3) eh) ew))))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 t (neg.f64 eh)) ew))))))

Compiler

Compiled 248 to 165 computations (33.5% saved)

regimes44.0ms (0.5%)

Counts

11 → 1

Calls

Call 1

Inputs
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew) (.f64 (.f64 t eh) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 t eh) ew)))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (.f64 1/3 (/.f64 (.f64 (pow.f64 t 3) eh) ew))))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 t (neg.f64 eh)) ew))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 eh (.f64 1/3 (pow.f64 t 3)))) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Outputs

(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Calls

5 calls:

11.0ms	(-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))
8.0ms	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
7.0ms	t
7.0ms	eh
7.0ms	ew

Results

Error	Segments	Branch
0.1b	1	`eh`
0.1b	1	`ew`
0.1b	1	`t`
0.1b	1	`(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))`
0.1b	1	`(-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))`

Compiler

Compiled 394 to 147 computations (62.7% saved)

regimes24.0ms (0.3%)

Counts

10 → 1

Calls

Call 1

Inputs
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew) (.f64 (.f64 t eh) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 t eh) ew)))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (.f64 1/3 (/.f64 (.f64 (pow.f64 t 3) eh) ew))))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 t (neg.f64 eh)) ew))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 eh (.f64 1/3 (pow.f64 t 3)))) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))

Outputs
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))

Calls

3 calls:

7.0ms	t
6.0ms	eh
6.0ms	ew

Results

Error	Segments	Branch
0.9b	1	`eh`
0.9b	1	`ew`
0.9b	1	`t`

Compiler

Compiled 299 to 110 computations (63.2% saved)

regimes23.0ms (0.3%)

Counts

9 → 1

Calls

Call 1

Inputs
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew) (.f64 (.f64 t eh) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 t eh) ew)))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (.f64 1/3 (/.f64 (.f64 (pow.f64 t 3) eh) ew))))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 t (neg.f64 eh)) ew))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (+.f64 (.f64 t eh) (.f64 eh (.f64 1/3 (pow.f64 t 3)))) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Outputs
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 t eh) ew)))))))

Calls

3 calls:

7.0ms	eh
6.0ms	t
6.0ms	ew

Results

Error	Segments	Branch
7.7b	1	`eh`
7.7b	1	`ew`
7.7b	1	`t`

Compiler

Compiled 270 to 106 computations (60.7% saved)

regimes15.0ms (0.2%)

Counts

4 → 1

Calls

Call 1

Inputs
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew) (.f64 (.f64 t eh) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))

Outputs
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))

Calls

3 calls:

5.0ms	ew
4.0ms	t
4.0ms	eh

Results

Error	Segments	Branch
14.6b	1	`eh`
14.6b	1	`ew`
14.6b	1	`t`

Compiler

Compiled 120 to 59 computations (50.8% saved)

regimes13.0ms (0.1%)

Accuracy

Total -14.2b remaining (-91.1%)

Threshold costs -14.2b (-91.1%)

Counts

3 → 1

Calls

Call 1

Inputs

(fabs.f64 (-.f64 (*.f64 (cos.f64 (atan.f64 (*.f64 -1 (/.f64 (*.f64 t eh) ew)))) ew) (*.f64 (*.f64 t eh) (sin.f64 (atan.f64 (/.f64 (*.f64 t (neg.f64 eh)) ew))))))

(fabs.f64 (-.f64 (*.f64 (cos.f64 (atan.f64 (*.f64 -1 (/.f64 (*.f64 t eh) ew)))) ew) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 t (neg.f64 eh)) ew))))))

(fabs.f64 (-.f64 (*.f64 (cos.f64 (atan.f64 (*.f64 -1 (/.f64 (*.f64 t eh) ew)))) ew) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Outputs
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))

Calls

3 calls:

4.0ms	ew
3.0ms	t
3.0ms	eh

Results

Error	Segments	Branch
15.5b	1	`eh`
15.5b	1	`ew`
15.5b	1	`t`

Compiler

Compiled 93 to 50 computations (46.2% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	54	536

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 t eh) ew)))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew) (.f64 (.f64 t eh) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))

Outputs
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (.f64 -1 (/.f64 (*.f64 t eh) ew)))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 t eh) ew)))) ew) (.f64 (.f64 t eh) (sin.f64 (atan.f64 (/.f64 (.f64 t (neg.f64 eh)) ew))))))

Compiler

Compiled 184 to 120 computations (34.8% saved)

soundness0.0ms (0%)

end54.0ms (0.6%)

Compiler: Compiled 169 to 60 computations (64.5% saved)

Iter	Nodes	Cost
0	21	99
1	33	99
2	50	99
3	72	99
4	102	99
5	146	99
6	220	99
7	309	99
8	406	99
9	550	99
10	574	99
11	574	99
12	606	99
13	612	99
14	612	99
15	641	99
16	660	99
17	678	99

Iter	Nodes	Cost
0	15	110
1	69	110
2	122	110
3	154	110
4	176	110
5	180	110
6	185	110
7	194	110
8	208	110

Iter	Nodes	Cost
0	21	99
1	33	99
2	50	99
3	72	99
4	102	99
5	146	99
6	220	99
7	309	99
8	406	99
9	550	99
10	574	99
11	574	99
12	606	99
13	612	99
14	612	99
15	641	99
16	660	99
17	678	99

Iter	Nodes	Cost
0	15	110
1	69	110
2	122	110
3	154	110
4	176	110
5	180	110
6	185	110
7	194	110
8	208	110

Details

analyze767.0ms (8.8%)

sample6.4s (72.8%)

preprocess94.0ms (1.1%)

simplify23.0ms (0.3%)

eval1.0ms (0%)

prune1.0ms (0%)

localize31.0ms (0.4%)

series23.0ms (0.3%)

rewrite13.0ms (0.1%)

simplify91.0ms (1%)

eval56.0ms (0.6%)

prune18.0ms (0.2%)

localize45.0ms (0.5%)

series2.0ms (0%)

rewrite6.0ms (0.1%)

simplify22.0ms (0.2%)

localize38.0ms (0.4%)

series13.0ms (0.1%)

rewrite9.0ms (0.1%)

simplify98.0ms (1.1%)

localize37.0ms (0.4%)

eval216.0ms (2.5%)

prune60.0ms (0.7%)

localize45.0ms (0.5%)

series1.0ms (0%)

rewrite7.0ms (0.1%)

simplify5.0ms (0.1%)

localize46.0ms (0.5%)

series1.0ms (0%)

rewrite5.0ms (0.1%)

simplify12.0ms (0.1%)

localize89.0ms (1%)

eval53.0ms (0.6%)

prune29.0ms (0.3%)

localize42.0ms (0.5%)

series2.0ms (0%)

rewrite5.0ms (0.1%)

simplify11.0ms (0.1%)

localize78.0ms (0.9%)

series20.0ms (0.2%)

rewrite8.0ms (0.1%)

simplify36.0ms (0.4%)

eval23.0ms (0.3%)

prune14.0ms (0.2%)

regimes44.0ms (0.5%)

regimes24.0ms (0.3%)

regimes23.0ms (0.3%)

regimes15.0ms (0.2%)

regimes13.0ms (0.1%)

simplify6.0ms (0.1%)

soundness0.0ms (0%)

end54.0ms (0.6%)

Profiling

Iter	Nodes	Cost
0	21	99
1	33	99
2	50	99
3	72	99
4	102	99
5	146	99
6	220	99
7	309	99
8	406	99
9	550	99
10	574	99
11	574	99
12	606	99
13	612	99
14	612	99
15	641	99
16	660	99
17	678	99

Iter	Nodes	Cost
0	15	110
1	69	110
2	122	110
3	154	110
4	176	110
5	180	110
6	185	110
7	194	110
8	208	110