Details

analyze3.1s (26%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
12.5%	87.4%	0.1%	8
31.2%	68.6%	0.1%	9
31.2%	68.6%	0.1%	10
31.2%	68.6%	0.1%	11
40.6%	59.3%	0.1%	12
40.6%	59.3%	0.1%	13
40.6%	59.3%	0.1%	14

Compiler

Compiled 34 to 19 computations (44.1% saved)

sample6.2s (52.9%)

Results

3.3s	2046×	body	1024	valid
1.4s	4579×	body	128	valid
1.1s	1071×	body	512	valid
396.0ms	555×	body	256	valid
17.0ms	5×	body	2048	valid

Compiler

Compiled 68 to 38 computations (44.1% saved)

preprocess58.0ms (0.5%)

Algorithm

2×	egg-herbie

Rules

946×	`fma-def_binary64`
468×	`fma-neg_binary64`
352×	`times-frac_binary64`
303×	`cancel-sign-sub-inv_binary64`
212×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	200
1	152	200
2	439	200
3	1107	200
4	1793	200
5	3387	200
6	4384	200
0	3	3

Stop Event

1×	saturated
1×	node limit

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 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (/.f64 ew (tan.f64 t)))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (/.f64 ew (tan.f64 t))))))))
(fabs.f64 (-.f64 (.f64 ew (.f64 (cos.f64 t) (cos.f64 (atan.f64 (.f64 (/.f64 (neg.f64 eh) ew) (tan.f64 t)))))) (.f64 eh (.f64 (sin.f64 t) (sin.f64 (atan.f64 (.f64 (/.f64 (neg.f64 eh) ew) (tan.f64 t))))))))
(fabs.f64 (-.f64 (.f64 (cos.f64 t) (.f64 ew (cos.f64 (atan.f64 (.f64 (tan.f64 t) (neg.f64 (/.f64 eh ew))))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (.f64 (tan.f64 t) (neg.f64 (/.f64 eh ew))))))))
(fabs.f64 (-.f64 (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (.f64 (tan.f64 t) (neg.f64 (/.f64 eh ew)))))) (.f64 (cos.f64 t) (.f64 ew (cos.f64 (atan.f64 (.f64 (tan.f64 t) (neg.f64 (/.f64 eh ew)))))))))
(fabs.f64 (-.f64 (.f64 eh (.f64 (sin.f64 t) (sin.f64 (atan.f64 (.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew))))))) (.f64 (cos.f64 t) (.f64 ew (cos.f64 (atan.f64 (.f64 eh (neg.f64 (/.f64 (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 (.f64 (cos.f64 t) eh) (cos.f64 (atan.f64 (.f64 (/.f64 (neg.f64 ew) eh) (tan.f64 t))))) (.f64 (sin.f64 t) (.f64 ew (sin.f64 (atan.f64 (.f64 (/.f64 (neg.f64 ew) eh) (tan.f64 t))))))))
(fabs.f64 (-.f64 (.f64 (.f64 (cos.f64 t) eh) (cos.f64 (atan.f64 (.f64 (tan.f64 t) (/.f64 (neg.f64 ew) eh))))) (.f64 (sin.f64 t) (.f64 ew (sin.f64 (atan.f64 (.f64 (tan.f64 t) (/.f64 (neg.f64 ew) eh))))))))
(fabs.f64 (-.f64 (.f64 (sin.f64 t) (.f64 ew (sin.f64 (atan.f64 (.f64 (tan.f64 t) (/.f64 (neg.f64 ew) eh)))))) (.f64 (.f64 (cos.f64 t) eh) (cos.f64 (atan.f64 (.f64 (tan.f64 t) (/.f64 (neg.f64 ew) eh)))))))
(fabs.f64 (-.f64 (.f64 (sin.f64 t) (.f64 ew (sin.f64 (atan.f64 (/.f64 (neg.f64 ew) (/.f64 eh (tan.f64 t))))))) (.f64 (.f64 (cos.f64 t) eh) (cos.f64 (atan.f64 (/.f64 (neg.f64 ew) (/.f64 eh (tan.f64 t))))))))
(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 ew (cos.f64 eh)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 t) (tan.f64 eh)) ew)))) (.f64 t (.f64 (sin.f64 eh) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 t) (tan.f64 eh)) ew)))))))
(fabs.f64 (-.f64 (.f64 ew (.f64 (cos.f64 eh) (cos.f64 (atan.f64 (.f64 (/.f64 (neg.f64 t) ew) (tan.f64 eh)))))) (.f64 t (.f64 (sin.f64 eh) (sin.f64 (atan.f64 (.f64 (/.f64 (neg.f64 t) ew) (tan.f64 eh))))))))
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 eh)) (cos.f64 (atan.f64 (.f64 (tan.f64 eh) (/.f64 (neg.f64 t) ew))))) (.f64 (.f64 t (sin.f64 eh)) (sin.f64 (atan.f64 (.f64 (tan.f64 eh) (/.f64 (neg.f64 t) ew)))))))
(fabs.f64 (-.f64 (.f64 (.f64 t (sin.f64 eh)) (sin.f64 (atan.f64 (.f64 (tan.f64 eh) (/.f64 (neg.f64 t) ew))))) (.f64 (.f64 ew (cos.f64 eh)) (cos.f64 (atan.f64 (.f64 (tan.f64 eh) (/.f64 (neg.f64 t) ew)))))))
(fabs.f64 (fma.f64 ew (.f64 (cos.f64 (atan.f64 (.f64 (neg.f64 t) (/.f64 (tan.f64 eh) ew)))) (neg.f64 (cos.f64 eh))) (.f64 (.f64 t (sin.f64 eh)) (sin.f64 (atan.f64 (*.f64 (neg.f64 t) (/.f64 (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 t (.f64 (cos.f64 ew) (cos.f64 (atan.f64 (.f64 (/.f64 (neg.f64 eh) t) (tan.f64 ew)))))) (.f64 eh (.f64 (sin.f64 ew) (sin.f64 (atan.f64 (.f64 (/.f64 (neg.f64 eh) t) (tan.f64 ew))))))))
(fabs.f64 (-.f64 (.f64 t (.f64 (cos.f64 ew) (cos.f64 (atan.f64 (.f64 (tan.f64 ew) (/.f64 (neg.f64 eh) t)))))) (.f64 eh (.f64 (sin.f64 ew) (sin.f64 (atan.f64 (.f64 (tan.f64 ew) (/.f64 (neg.f64 eh) t))))))))
(fabs.f64 (-.f64 (.f64 t (.f64 (cos.f64 ew) (cos.f64 (atan.f64 (.f64 (neg.f64 eh) (/.f64 (tan.f64 ew) t)))))) (.f64 eh (.f64 (sin.f64 ew) (sin.f64 (atan.f64 (.f64 (neg.f64 eh) (/.f64 (tan.f64 ew) t))))))))
(fabs.f64 (-.f64 (.f64 eh (.f64 (sin.f64 ew) (sin.f64 (atan.f64 (.f64 (neg.f64 eh) (/.f64 (tan.f64 ew) t)))))) (.f64 t (.f64 (cos.f64 ew) (cos.f64 (atan.f64 (.f64 (neg.f64 eh) (/.f64 (tan.f64 ew) t))))))))

Compiler

Compiled 33 to 18 computations (45.5% saved)

simplify40.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1286×	`fma-def_binary64`
698×	`fma-neg_binary64`
423×	`times-frac_binary64`
245×	`div-sub_binary64`
182×	`associate-/l*_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	50
1	44	50
2	118	50
3	290	50
4	456	50
5	801	50
6	1325	50
7	2149	50
8	3160	50
9	4423	50
10	4992	50

Stop Event

1×	node limit

Counts

1 → 2

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))))))
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (/.f64 ew (tan.f64 t)))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (/.f64 ew (tan.f64 t))))))))
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (.f64 (/.f64 (neg.f64 eh) ew) (tan.f64 t))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (.f64 (/.f64 (neg.f64 eh) ew) (tan.f64 t)))))))
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (.f64 (tan.f64 t) (/.f64 (neg.f64 eh) ew))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (.f64 (tan.f64 t) (/.f64 (neg.f64 eh) ew)))))))
(fabs.f64 (-.f64 (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (.f64 (tan.f64 t) (/.f64 (neg.f64 eh) ew))))) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (.f64 (tan.f64 t) (/.f64 (neg.f64 eh) ew)))))))
(fabs.f64 (fma.f64 (sin.f64 t) (.f64 (neg.f64 eh) (sin.f64 (atan.f64 (.f64 eh (/.f64 (neg.f64 (tan.f64 t)) ew))))) (.f64 ew (.f64 (cos.f64 t) (cos.f64 (atan.f64 (*.f64 eh (/.f64 (neg.f64 (tan.f64 t)) ew))))))))
(fabs.f64 (fma.f64 (sin.f64 t) (.f64 (neg.f64 eh) (sin.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew)))))) (.f64 ew (.f64 (cos.f64 t) (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew)))))))))
(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (.f64 (neg.f64 eh) (sin.f64 t)) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))))))

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.1b

Counts

3 → 1

Alt Table

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

Status

Error

Program

▶

0.1b

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

Compiler

Compiled 129 to 64 computations (50.4% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (neg.f64 eh) (sin.f64 t))
✓	0.2b	(/.f64 (tan.f64 t) (neg.f64 ew))
✓	2.4b	(*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew)))
✓	17.8b	(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew)))))

series38.0ms (0.3%)

Counts

4 → 120

Calls

30 calls:

Time	Variable		Point	Expression
6.0ms	t	@	-inf	(*.f64 (neg.f64 eh) (sin.f64 t))
4.0ms	eh	@	inf	(*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew)))
3.0ms	eh	@	0	(*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew)))
3.0ms	t	@	inf	(*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew)))
2.0ms	ew	@	0	(*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew)))

rewrite54.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

219×	`expm1-udef_binary64`
219×	`log1p-udef_binary64`
187×	`log-pow_binary64`
141×	`add-sqr-sqrt_binary64`
139×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	42
1	272	34
2	3698	34

Stop Event

1×	node limit

Counts

4 → 104

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew)))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew)))))) (sin.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))) (pow.f64 (cbrt.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))) 2) (cbrt.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))) (sqrt.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (hypot.f64 1 (.f64 eh (/.f64 (tan.f64 t) ew))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (hypot.f64 1 (.f64 eh (/.f64 (tan.f64 t) ew))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (neg.f64 (hypot.f64 1 (.f64 eh (/.f64 (tan.f64 t) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (hypot.f64 1 (.f64 eh (/.f64 (tan.f64 t) ew))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 eh (/.f64 (tan.f64 t) ew)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 eh (/.f64 ew (tan.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 ew (.f64 eh (tan.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 eh (tan.f64 t)) ew)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 eh (tan.f64 t))) ew)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 eh (tan.f64 t)) 1) ew)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 eh (tan.f64 t)) (pow.f64 (cbrt.f64 ew) 2)) (cbrt.f64 ew))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 eh (tan.f64 t)) (sqrt.f64 ew)) (sqrt.f64 ew))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 eh (tan.f64 t)) -1) ew)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 (tan.f64 t)) eh) ew)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 eh (neg.f64 (tan.f64 t))) ew)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 eh (/.f64 (tan.f64 t) ew)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 eh (/.f64 (tan.f64 t) ew)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 eh (/.f64 (tan.f64 t) ew))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 eh (/.f64 (tan.f64 t) ew))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 eh (/.f64 (tan.f64 t) ew)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 eh) (/.f64 (tan.f64 t) ew)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 eh (/.f64 (tan.f64 t) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 eh (/.f64 (tan.f64 t) ew)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 eh 3) (pow.f64 (/.f64 (tan.f64 t) ew) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (/.f64 (tan.f64 t) ew) 3) (pow.f64 eh 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 eh (/.f64 (tan.f64 t) ew))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (tan.f64 t) ew))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (tan.f64 t) (/.f64 1 ew))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (tan.f64 t) ew) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (tan.f64 t) ew))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (/.f64 (tan.f64 t) ew)) (pow.f64 (cbrt.f64 (/.f64 (tan.f64 t) ew)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (/.f64 (tan.f64 t) ew)) 2) (cbrt.f64 (/.f64 (tan.f64 t) ew)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (tan.f64 t)) 2) (.f64 (cbrt.f64 (tan.f64 t)) (/.f64 1 ew)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (/.f64 (tan.f64 t) ew)) (sqrt.f64 (/.f64 (tan.f64 t) ew)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (tan.f64 t)) (.f64 (sqrt.f64 (tan.f64 t)) (/.f64 1 ew)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (tan.f64 t)) (/.f64 1 ew))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 ew) (tan.f64 t))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (/.f64 (tan.f64 t) ew))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 t)) 2) 1) (/.f64 (cbrt.f64 (tan.f64 t)) ew))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (tan.f64 t)) 1) (/.f64 (sqrt.f64 (tan.f64 t)) ew))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (pow.f64 (cbrt.f64 ew) 2)) (/.f64 (tan.f64 t) (cbrt.f64 ew)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 t)) 2) (pow.f64 (cbrt.f64 ew) 2)) (cbrt.f64 (/.f64 (tan.f64 t) ew)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (tan.f64 t)) (pow.f64 (cbrt.f64 ew) 2)) (/.f64 (sqrt.f64 (tan.f64 t)) (cbrt.f64 ew)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (sqrt.f64 ew)) (/.f64 (tan.f64 t) (sqrt.f64 ew)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 t)) 2) (sqrt.f64 ew)) (/.f64 (cbrt.f64 (tan.f64 t)) (sqrt.f64 ew)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 t)) 2) -1) (/.f64 (cbrt.f64 (tan.f64 t)) ew))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (tan.f64 t)) -1) (/.f64 (sqrt.f64 (tan.f64 t)) ew))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (tan.f64 t) ew) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (tan.f64 t) ew) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (tan.f64 t) ew)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (tan.f64 t) ew)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 ew (tan.f64 t)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (tan.f64 t) ew))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (tan.f64 t) ew) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (tan.f64 t) ew)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (tan.f64 t) ew))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 1 (exp.f64 (/.f64 (tan.f64 t) ew))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 1 (+.f64 1 (expm1.f64 (/.f64 (tan.f64 t) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (tan.f64 t) ew) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (tan.f64 t) 3) (pow.f64 ew 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (tan.f64 t) ew)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (tan.f64 t) ew)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (tan.f64 t) ew)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (tan.f64 t) ew)) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (.f64 eh (sin.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 eh (sin.f64 t)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 eh (sin.f64 t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 eh (sin.f64 t)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 eh (sin.f64 t))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 eh (sin.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 eh (sin.f64 t)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 eh) (sin.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 eh (sin.f64 t)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 1 (+.f64 1 (expm1.f64 (.f64 eh (sin.f64 t))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 eh (sin.f64 t)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 eh 3) (pow.f64 (sin.f64 t) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (sin.f64 t) 3) (pow.f64 eh 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 eh (sin.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 eh (sin.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 eh (sin.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 eh (sin.f64 t))) 1))))))

simplify59.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

637×	`fma-neg_binary64`
511×	`cancel-sign-sub-inv_binary64`
352×	`associate-/l*_binary64`
216×	`associate-/r/_binary64`
213×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	78	1760
1	237	1750
2	768	1736
3	2543	1724

Stop Event

1×	node limit

Counts

224 → 136

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))
(neg.f64 (+.f64 (.f64 1/3 (/.f64 (.f64 (pow.f64 t 3) eh) ew)) (/.f64 (*.f64 t eh) ew)))
(neg.f64 (+.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 (*.f64 t eh) ew))))
(neg.f64 (+.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 (/.f64 (.f64 t eh) ew) (.f64 17/315 (/.f64 (*.f64 (pow.f64 t 7) 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 -1 (/.f64 t ew))
(neg.f64 (+.f64 (*.f64 1/3 (/.f64 (pow.f64 t 3) ew)) (/.f64 t ew)))
(neg.f64 (+.f64 (.f64 1/3 (/.f64 (pow.f64 t 3) ew)) (+.f64 (/.f64 t ew) (.f64 2/15 (/.f64 (pow.f64 t 5) ew)))))
(neg.f64 (+.f64 (.f64 1/3 (/.f64 (pow.f64 t 3) ew)) (+.f64 (/.f64 t ew) (+.f64 (.f64 17/315 (/.f64 (pow.f64 t 7) ew)) (*.f64 2/15 (/.f64 (pow.f64 t 5) ew))))))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(.f64 -1 (.f64 (sin.f64 t) eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(.f64 -1 (.f64 t eh))
(-.f64 (.f64 1/6 (.f64 (pow.f64 t 3) eh)) (*.f64 t eh))
(-.f64 (.f64 1/6 (.f64 (pow.f64 t 3) eh)) (+.f64 (.f64 1/120 (.f64 (pow.f64 t 5) eh)) (*.f64 t eh)))
(-.f64 (+.f64 (.f64 1/6 (.f64 (pow.f64 t 3) eh)) (.f64 1/5040 (.f64 (pow.f64 t 7) eh))) (+.f64 (.f64 1/120 (.f64 (pow.f64 t 5) eh)) (*.f64 t eh)))
(.f64 -1 (.f64 (sin.f64 t) eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(.f64 -1 (.f64 (sin.f64 t) eh))

Outputs
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(cos.f64 (atan.f64 (.f64 -1 (/.f64 (.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
(cos.f64 (atan.f64 (/.f64 (neg.f64 (tan.f64 t)) (/.f64 ew eh))))
(cos.f64 (atan.f64 (*.f64 (/.f64 (tan.f64 t) ew) (neg.f64 eh))))
(cos.f64 (atan.f64 (*.f64 eh (neg.f64 (/.f64 (tan.f64 t) ew)))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 t eh) ew))
(/.f64 (neg.f64 (*.f64 t eh)) ew)
(/.f64 (*.f64 t (neg.f64 eh)) ew)
(*.f64 (/.f64 t ew) (neg.f64 eh))
(/.f64 t (/.f64 ew (neg.f64 eh)))
(neg.f64 (+.f64 (.f64 1/3 (/.f64 (.f64 (pow.f64 t 3) eh) ew)) (/.f64 (*.f64 t eh) ew)))
(neg.f64 (fma.f64 1/3 (/.f64 (pow.f64 t 3) (/.f64 ew eh)) (/.f64 t (/.f64 ew eh))))
(-.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) ew) eh) -1/3) (/.f64 t (/.f64 ew eh)))
(-.f64 (.f64 (.f64 (/.f64 eh ew) (pow.f64 t 3)) -1/3) (*.f64 (/.f64 eh ew) t))
(.f64 eh (-.f64 (.f64 (/.f64 (pow.f64 t 3) ew) -1/3) (/.f64 t ew)))
(neg.f64 (+.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 (*.f64 t eh) ew))))
(neg.f64 (fma.f64 2/15 (/.f64 (pow.f64 t 5) (/.f64 ew eh)) (fma.f64 1/3 (/.f64 (pow.f64 t 3) (/.f64 ew eh)) (/.f64 t (/.f64 ew eh)))))
(-.f64 (.f64 (.f64 (/.f64 (pow.f64 t 5) ew) eh) -2/15) (fma.f64 1/3 (*.f64 (/.f64 (pow.f64 t 3) ew) eh) (/.f64 t (/.f64 ew eh))))
(-.f64 (.f64 (.f64 eh (/.f64 (pow.f64 t 5) ew)) -2/15) (fma.f64 1/3 (.f64 (/.f64 eh ew) (pow.f64 t 3)) (.f64 (/.f64 eh ew) t)))
(fma.f64 (.f64 (/.f64 eh ew) (pow.f64 t 5)) -2/15 (.f64 eh (-.f64 (*.f64 (/.f64 (pow.f64 t 3) ew) -1/3) (/.f64 t ew))))
(neg.f64 (+.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 (/.f64 (.f64 t eh) ew) (.f64 17/315 (/.f64 (*.f64 (pow.f64 t 7) eh) ew))))))
(neg.f64 (fma.f64 2/15 (/.f64 (pow.f64 t 5) (/.f64 ew eh)) (+.f64 (fma.f64 1/3 (/.f64 (pow.f64 t 3) (/.f64 ew eh)) (/.f64 t (/.f64 ew eh))) (*.f64 17/315 (/.f64 (pow.f64 t 7) (/.f64 ew eh))))))
(-.f64 (.f64 (.f64 (/.f64 (pow.f64 t 5) ew) eh) -2/15) (fma.f64 1/3 (.f64 (/.f64 (pow.f64 t 3) ew) eh) (fma.f64 17/315 (.f64 (/.f64 (pow.f64 t 7) ew) eh) (/.f64 t (/.f64 ew eh)))))
(-.f64 (fma.f64 (.f64 eh (/.f64 (pow.f64 t 5) ew)) -2/15 (.f64 (.f64 (/.f64 eh ew) (pow.f64 t 3)) -1/3)) (fma.f64 17/315 (.f64 eh (/.f64 (pow.f64 t 7) ew)) (*.f64 (/.f64 eh ew) t)))
(-.f64 (.f64 eh (fma.f64 (/.f64 (pow.f64 t 3) ew) -1/3 (.f64 (/.f64 -2/15 ew) (pow.f64 t 5)))) (*.f64 eh (fma.f64 17/315 (/.f64 (pow.f64 t 7) ew) (/.f64 t ew))))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(.f64 -1 (/.f64 (.f64 (sin.f64 t) eh) (*.f64 (cos.f64 t) ew)))
(/.f64 (neg.f64 (.f64 eh (sin.f64 t))) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (neg.f64 (/.f64 eh ew)))
(/.f64 (.f64 (sin.f64 t) (neg.f64 eh)) (.f64 ew (cos.f64 t)))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 (neg.f64 eh) ew))
(*.f64 -1 (/.f64 t ew))
(neg.f64 (/.f64 t ew))
(/.f64 (neg.f64 t) ew)
(neg.f64 (+.f64 (*.f64 1/3 (/.f64 (pow.f64 t 3) ew)) (/.f64 t ew)))
(neg.f64 (fma.f64 1/3 (/.f64 (pow.f64 t 3) ew) (/.f64 t ew)))
(-.f64 (*.f64 (/.f64 (pow.f64 t 3) ew) -1/3) (/.f64 t ew))
(-.f64 (/.f64 (*.f64 (pow.f64 t 3) -1/3) ew) (/.f64 t ew))
(neg.f64 (+.f64 (.f64 1/3 (/.f64 (pow.f64 t 3) ew)) (+.f64 (/.f64 t ew) (.f64 2/15 (/.f64 (pow.f64 t 5) ew)))))
(neg.f64 (+.f64 (fma.f64 1/3 (/.f64 (pow.f64 t 3) ew) (/.f64 t ew)) (/.f64 (*.f64 2/15 (pow.f64 t 5)) ew)))
(-.f64 (*.f64 (/.f64 (pow.f64 t 3) ew) -1/3) (fma.f64 2/15 (/.f64 (pow.f64 t 5) ew) (/.f64 t ew)))
(-.f64 (/.f64 (*.f64 (pow.f64 t 3) -1/3) ew) (fma.f64 2/15 (/.f64 (pow.f64 t 5) ew) (/.f64 t ew)))
(neg.f64 (+.f64 (.f64 1/3 (/.f64 (pow.f64 t 3) ew)) (+.f64 (/.f64 t ew) (+.f64 (.f64 17/315 (/.f64 (pow.f64 t 7) ew)) (*.f64 2/15 (/.f64 (pow.f64 t 5) ew))))))
(neg.f64 (+.f64 (fma.f64 1/3 (/.f64 (pow.f64 t 3) ew) (/.f64 t ew)) (fma.f64 17/315 (/.f64 (pow.f64 t 7) ew) (/.f64 (*.f64 2/15 (pow.f64 t 5)) ew))))
(-.f64 (.f64 (/.f64 (pow.f64 t 3) ew) -1/3) (+.f64 (/.f64 t ew) (fma.f64 2/15 (/.f64 (pow.f64 t 5) ew) (.f64 17/315 (/.f64 (pow.f64 t 7) ew)))))
(-.f64 (/.f64 (*.f64 (pow.f64 t 3) -1/3) ew) (fma.f64 2/15 (/.f64 (pow.f64 t 5) ew) (fma.f64 17/315 (/.f64 (pow.f64 t 7) ew) (/.f64 t ew))))
(-.f64 (*.f64 (/.f64 (pow.f64 t 3) ew) -1/3) (fma.f64 2/15 (/.f64 (pow.f64 t 5) ew) (fma.f64 17/315 (/.f64 (pow.f64 t 7) ew) (/.f64 t ew))))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(neg.f64 (/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t))))
(/.f64 (neg.f64 (sin.f64 t)) (*.f64 ew (cos.f64 t)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(neg.f64 (/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t))))
(/.f64 (neg.f64 (sin.f64 t)) (*.f64 ew (cos.f64 t)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(neg.f64 (/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t))))
(/.f64 (neg.f64 (sin.f64 t)) (*.f64 ew (cos.f64 t)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(neg.f64 (/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t))))
(/.f64 (neg.f64 (sin.f64 t)) (*.f64 ew (cos.f64 t)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(neg.f64 (/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t))))
(/.f64 (neg.f64 (sin.f64 t)) (*.f64 ew (cos.f64 t)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(neg.f64 (/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t))))
(/.f64 (neg.f64 (sin.f64 t)) (*.f64 ew (cos.f64 t)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(neg.f64 (/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t))))
(/.f64 (neg.f64 (sin.f64 t)) (*.f64 ew (cos.f64 t)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(neg.f64 (/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t))))
(/.f64 (neg.f64 (sin.f64 t)) (*.f64 ew (cos.f64 t)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(neg.f64 (/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t))))
(/.f64 (neg.f64 (sin.f64 t)) (*.f64 ew (cos.f64 t)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(neg.f64 (/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t))))
(/.f64 (neg.f64 (sin.f64 t)) (*.f64 ew (cos.f64 t)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(neg.f64 (/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t))))
(/.f64 (neg.f64 (sin.f64 t)) (*.f64 ew (cos.f64 t)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(neg.f64 (/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t))))
(/.f64 (neg.f64 (sin.f64 t)) (*.f64 ew (cos.f64 t)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(neg.f64 (/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t))))
(/.f64 (neg.f64 (sin.f64 t)) (*.f64 ew (cos.f64 t)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(neg.f64 (/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t))))
(/.f64 (neg.f64 (sin.f64 t)) (*.f64 ew (cos.f64 t)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(neg.f64 (/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t))))
(/.f64 (neg.f64 (sin.f64 t)) (*.f64 ew (cos.f64 t)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(neg.f64 (/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t))))
(/.f64 (neg.f64 (sin.f64 t)) (*.f64 ew (cos.f64 t)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(neg.f64 (/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t))))
(/.f64 (neg.f64 (sin.f64 t)) (*.f64 ew (cos.f64 t)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(neg.f64 (/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t))))
(/.f64 (neg.f64 (sin.f64 t)) (*.f64 ew (cos.f64 t)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(neg.f64 (/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t))))
(/.f64 (neg.f64 (sin.f64 t)) (*.f64 ew (cos.f64 t)))
(.f64 -1 (/.f64 (sin.f64 t) (.f64 (cos.f64 t) ew)))
(neg.f64 (/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t))))
(/.f64 (neg.f64 (sin.f64 t)) (*.f64 ew (cos.f64 t)))
(.f64 -1 (.f64 (sin.f64 t) eh))
(neg.f64 (*.f64 eh (sin.f64 t)))
(*.f64 eh (neg.f64 (sin.f64 t)))
(*.f64 (sin.f64 t) (neg.f64 eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(neg.f64 (*.f64 eh (sin.f64 t)))
(*.f64 eh (neg.f64 (sin.f64 t)))
(*.f64 (sin.f64 t) (neg.f64 eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(neg.f64 (*.f64 eh (sin.f64 t)))
(*.f64 eh (neg.f64 (sin.f64 t)))
(*.f64 (sin.f64 t) (neg.f64 eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(neg.f64 (*.f64 eh (sin.f64 t)))
(*.f64 eh (neg.f64 (sin.f64 t)))
(*.f64 (sin.f64 t) (neg.f64 eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(neg.f64 (*.f64 eh (sin.f64 t)))
(*.f64 eh (neg.f64 (sin.f64 t)))
(*.f64 (sin.f64 t) (neg.f64 eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(neg.f64 (*.f64 eh (sin.f64 t)))
(*.f64 eh (neg.f64 (sin.f64 t)))
(*.f64 (sin.f64 t) (neg.f64 eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(neg.f64 (*.f64 eh (sin.f64 t)))
(*.f64 eh (neg.f64 (sin.f64 t)))
(*.f64 (sin.f64 t) (neg.f64 eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(neg.f64 (*.f64 eh (sin.f64 t)))
(*.f64 eh (neg.f64 (sin.f64 t)))
(*.f64 (sin.f64 t) (neg.f64 eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(neg.f64 (*.f64 eh (sin.f64 t)))
(*.f64 eh (neg.f64 (sin.f64 t)))
(*.f64 (sin.f64 t) (neg.f64 eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(neg.f64 (*.f64 eh (sin.f64 t)))
(*.f64 eh (neg.f64 (sin.f64 t)))
(*.f64 (sin.f64 t) (neg.f64 eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(neg.f64 (*.f64 eh (sin.f64 t)))
(*.f64 eh (neg.f64 (sin.f64 t)))
(*.f64 (sin.f64 t) (neg.f64 eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(neg.f64 (*.f64 eh (sin.f64 t)))
(*.f64 eh (neg.f64 (sin.f64 t)))
(*.f64 (sin.f64 t) (neg.f64 eh))
(.f64 -1 (.f64 t eh))
(neg.f64 (*.f64 t eh))
(*.f64 t (neg.f64 eh))
(-.f64 (.f64 1/6 (.f64 (pow.f64 t 3) eh)) (*.f64 t eh))
(fma.f64 1/6 (.f64 eh (pow.f64 t 3)) (neg.f64 (.f64 t eh)))
(.f64 eh (-.f64 (.f64 (pow.f64 t 3) 1/6) t))
(-.f64 (.f64 1/6 (.f64 (pow.f64 t 3) eh)) (+.f64 (.f64 1/120 (.f64 (pow.f64 t 5) eh)) (*.f64 t eh)))
(-.f64 (.f64 (.f64 eh (pow.f64 t 3)) 1/6) (fma.f64 1/120 (.f64 eh (pow.f64 t 5)) (.f64 t eh)))
(-.f64 (.f64 (pow.f64 t 3) (.f64 eh 1/6)) (.f64 eh (+.f64 t (.f64 (pow.f64 t 5) 1/120))))
(.f64 eh (-.f64 (.f64 (pow.f64 t 3) 1/6) (fma.f64 (pow.f64 t 5) 1/120 t)))
(-.f64 (+.f64 (.f64 1/6 (.f64 (pow.f64 t 3) eh)) (.f64 1/5040 (.f64 (pow.f64 t 7) eh))) (+.f64 (.f64 1/120 (.f64 (pow.f64 t 5) eh)) (*.f64 t eh)))
(-.f64 (fma.f64 1/6 (.f64 eh (pow.f64 t 3)) (.f64 (.f64 1/5040 (pow.f64 t 7)) eh)) (fma.f64 1/120 (.f64 eh (pow.f64 t 5)) (*.f64 t eh)))
(-.f64 (.f64 eh (+.f64 (.f64 (pow.f64 t 3) 1/6) (.f64 (pow.f64 t 7) 1/5040))) (.f64 eh (+.f64 t (*.f64 (pow.f64 t 5) 1/120))))
(.f64 eh (-.f64 (fma.f64 (pow.f64 t 3) 1/6 (.f64 (pow.f64 t 7) 1/5040)) (fma.f64 (pow.f64 t 5) 1/120 t)))
(.f64 -1 (.f64 (sin.f64 t) eh))
(neg.f64 (*.f64 eh (sin.f64 t)))
(*.f64 eh (neg.f64 (sin.f64 t)))
(*.f64 (sin.f64 t) (neg.f64 eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(neg.f64 (*.f64 eh (sin.f64 t)))
(*.f64 eh (neg.f64 (sin.f64 t)))
(*.f64 (sin.f64 t) (neg.f64 eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(neg.f64 (*.f64 eh (sin.f64 t)))
(*.f64 eh (neg.f64 (sin.f64 t)))
(*.f64 (sin.f64 t) (neg.f64 eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(neg.f64 (*.f64 eh (sin.f64 t)))
(*.f64 eh (neg.f64 (sin.f64 t)))
(*.f64 (sin.f64 t) (neg.f64 eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(neg.f64 (*.f64 eh (sin.f64 t)))
(*.f64 eh (neg.f64 (sin.f64 t)))
(*.f64 (sin.f64 t) (neg.f64 eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(neg.f64 (*.f64 eh (sin.f64 t)))
(*.f64 eh (neg.f64 (sin.f64 t)))
(*.f64 (sin.f64 t) (neg.f64 eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(neg.f64 (*.f64 eh (sin.f64 t)))
(*.f64 eh (neg.f64 (sin.f64 t)))
(*.f64 (sin.f64 t) (neg.f64 eh))
(.f64 -1 (.f64 (sin.f64 t) eh))
(neg.f64 (*.f64 eh (sin.f64 t)))
(*.f64 eh (neg.f64 (sin.f64 t)))
(*.f64 (sin.f64 t) (neg.f64 eh))

prune230.0ms (2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	214	5	219
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	215	5	220

Error

0.1b

Counts

220 → 5

Alt Table

Status	Error	Program
	11.6b	(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (expm1.f64 (log1p.f64 (.f64 eh (sin.f64 t)))) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))))))
▶	0.1b	(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (.f64 (neg.f64 eh) (sin.f64 t)) (.f64 (.f64 ew (cos.f64 t)) (pow.f64 (cbrt.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))) 3))))
	21.0b	(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (cbrt.f64 (.f64 (pow.f64 eh 3) (pow.f64 (sin.f64 t) 3))) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))))))
	29.2b	(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (pow.f64 (sqrt.f64 (.f64 eh (sin.f64 t))) 2) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))))))
	0.7b	(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 3) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))))))

Compiler

Compiled 7900 to 2087 computations (73.6% saved)

localize34.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (tan.f64 t) ew)
✓	2.4b	(*.f64 eh (/.f64 (tan.f64 t) ew))
	2.4b	(*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew)))
✓	17.8b	(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))

series10.0ms (0.1%)

Counts

3 → 96

Calls

24 calls:

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

rewrite57.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

495×	`log-prod_binary64`
262×	`pow2_binary64`
185×	`pow1/3_binary64`
181×	`expm1-udef_binary64`
181×	`log1p-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	28
1	188	28
2	2456	28

Stop Event

1×	node limit

Counts

3 → 95

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew)))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew)))))) (sin.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew)))))) 2)) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))) (pow.f64 (cbrt.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))) 2) (cbrt.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))) (sqrt.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (hypot.f64 1 (.f64 eh (/.f64 (tan.f64 t) ew))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (hypot.f64 1 (.f64 eh (/.f64 (tan.f64 t) ew))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (neg.f64 (hypot.f64 1 (.f64 eh (/.f64 (tan.f64 t) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (hypot.f64 1 (.f64 eh (/.f64 (tan.f64 t) ew))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (hypot.f64 1 (.f64 eh (/.f64 (tan.f64 t) ew))) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 eh (/.f64 (tan.f64 t) ew)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 eh) (/.f64 (tan.f64 t) ew))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eh) (/.f64 (tan.f64 t) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eh) (/.f64 (tan.f64 t) ew)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eh) (/.f64 (tan.f64 t) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 eh (/.f64 (tan.f64 t) ew)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 eh (/.f64 ew (tan.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 ew (.f64 eh (tan.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 eh (tan.f64 t)) ew)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 eh (tan.f64 t))) (neg.f64 ew))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 eh (tan.f64 t)) 1) ew)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 eh (tan.f64 t)) (pow.f64 (cbrt.f64 ew) 2)) (cbrt.f64 ew))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 eh (tan.f64 t)) (sqrt.f64 ew)) (sqrt.f64 ew))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 (tan.f64 t)) eh) (neg.f64 ew))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 eh (neg.f64 (tan.f64 t))) (neg.f64 ew))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 eh (/.f64 (tan.f64 t) ew)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 eh (/.f64 (tan.f64 t) ew)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 eh (/.f64 (tan.f64 t) ew))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 eh (/.f64 (tan.f64 t) ew))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 eh 3) (pow.f64 (/.f64 (tan.f64 t) ew) 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 (/.f64 (tan.f64 t) ew) 3) (pow.f64 eh 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 ew (.f64 eh (tan.f64 t))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 eh (/.f64 (tan.f64 t) ew)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 eh) (/.f64 (tan.f64 t) ew)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 eh (/.f64 (tan.f64 t) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 eh (/.f64 (tan.f64 t) ew)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 eh 3) (pow.f64 (/.f64 (tan.f64 t) ew) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (/.f64 (tan.f64 t) ew) 3) (pow.f64 eh 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 eh (/.f64 (tan.f64 t) ew))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (tan.f64 t) ew))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 (tan.f64 t) ew))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (tan.f64 t) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (tan.f64 t) ew)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (tan.f64 t) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (tan.f64 t) ew))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (tan.f64 t) (/.f64 1 ew))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (tan.f64 t) ew) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (tan.f64 t) ew))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (/.f64 (tan.f64 t) ew)) (pow.f64 (cbrt.f64 (/.f64 (tan.f64 t) ew)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (/.f64 (tan.f64 t) ew)) 2) (cbrt.f64 (/.f64 (tan.f64 t) ew)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (tan.f64 t) 2)) (.f64 (cbrt.f64 (tan.f64 t)) (/.f64 1 ew)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (/.f64 (tan.f64 t) ew)) (sqrt.f64 (/.f64 (tan.f64 t) ew)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (tan.f64 t)) (.f64 (sqrt.f64 (tan.f64 t)) (/.f64 1 ew)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (tan.f64 t)) (/.f64 1 (neg.f64 ew)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 ew) (tan.f64 t))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (pow.f64 (tan.f64 t) 2)) 1) (/.f64 (cbrt.f64 (tan.f64 t)) ew))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (tan.f64 t)) 1) (/.f64 (sqrt.f64 (tan.f64 t)) ew))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (pow.f64 (cbrt.f64 ew) 2)) (/.f64 (tan.f64 t) (cbrt.f64 ew)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (pow.f64 (tan.f64 t) 2)) (pow.f64 (cbrt.f64 ew) 2)) (cbrt.f64 (/.f64 (tan.f64 t) ew)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (tan.f64 t)) (pow.f64 (cbrt.f64 ew) 2)) (/.f64 (sqrt.f64 (tan.f64 t)) (cbrt.f64 ew)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (sqrt.f64 ew)) (/.f64 (tan.f64 t) (sqrt.f64 ew)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (pow.f64 (tan.f64 t) 2)) (sqrt.f64 ew)) (/.f64 (cbrt.f64 (tan.f64 t)) (sqrt.f64 ew)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (tan.f64 t) ew) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (tan.f64 t) ew) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (tan.f64 t) ew)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (tan.f64 t) ew)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 ew (tan.f64 t)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (pow.f64 (tan.f64 t) 3) (pow.f64 ew 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 ew (tan.f64 t)) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (tan.f64 t) (neg.f64 ew)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (tan.f64 t) ew) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (tan.f64 t) ew)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (tan.f64 t) ew))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (tan.f64 t) ew) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (tan.f64 t) 3) (pow.f64 ew 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (tan.f64 t) ew)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (tan.f64 t) ew)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (tan.f64 t) ew)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (/.f64 (tan.f64 t) ew)) 1))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (cos.f64 (exp.f64 (log1p.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew)))))) (cos.f64 1)) (*.f64 (sin.f64 (exp.f64 (log1p.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew)))))) (sin.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew)))))) 2)) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))) (pow.f64 (cbrt.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))) 2) (cbrt.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))) (sqrt.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (hypot.f64 1 (*.f64 eh (/.f64 (tan.f64 t) ew))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (hypot.f64 1 (*.f64 eh (/.f64 (tan.f64 t) ew))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (neg.f64 (hypot.f64 1 (*.f64 eh (/.f64 (tan.f64 t) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (hypot.f64 1 (*.f64 eh (/.f64 (tan.f64 t) ew))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (hypot.f64 1 (*.f64 eh (/.f64 (tan.f64 t) ew))) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))) 1))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 eh (/.f64 (tan.f64 t) ew)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 eh) (/.f64 (tan.f64 t) ew))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eh) (/.f64 (tan.f64 t) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eh) (/.f64 (tan.f64 t) ew)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eh) (/.f64 (tan.f64 t) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 eh (/.f64 (tan.f64 t) ew)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 eh (/.f64 ew (tan.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 ew (*.f64 eh (tan.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 eh (tan.f64 t)) ew)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 eh (tan.f64 t))) (neg.f64 ew))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 eh (tan.f64 t)) 1) ew)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 eh (tan.f64 t)) (pow.f64 (cbrt.f64 ew) 2)) (cbrt.f64 ew))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 eh (tan.f64 t)) (sqrt.f64 ew)) (sqrt.f64 ew))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (tan.f64 t)) eh) (neg.f64 ew))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 eh (neg.f64 (tan.f64 t))) (neg.f64 ew))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 eh (/.f64 (tan.f64 t) ew)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 eh (/.f64 (tan.f64 t) ew)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 eh 3) (pow.f64 (/.f64 (tan.f64 t) ew) 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 (/.f64 (tan.f64 t) ew) 3) (pow.f64 eh 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 ew (*.f64 eh (tan.f64 t))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 eh (/.f64 (tan.f64 t) ew)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 eh) (/.f64 (tan.f64 t) ew)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 eh (/.f64 (tan.f64 t) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 eh (/.f64 (tan.f64 t) ew)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 eh 3) (pow.f64 (/.f64 (tan.f64 t) ew) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (/.f64 (tan.f64 t) ew) 3) (pow.f64 eh 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))) 1))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (tan.f64 t) ew))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 (tan.f64 t) ew))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (tan.f64 t) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (tan.f64 t) ew)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (tan.f64 t) ew)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (tan.f64 t) ew))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (tan.f64 t) (/.f64 1 ew))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (tan.f64 t) ew) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (tan.f64 t) ew))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (tan.f64 t) ew)) (pow.f64 (cbrt.f64 (/.f64 (tan.f64 t) ew)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 (tan.f64 t) ew)) 2) (cbrt.f64 (/.f64 (tan.f64 t) ew)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (tan.f64 t) 2)) (*.f64 (cbrt.f64 (tan.f64 t)) (/.f64 1 ew)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (tan.f64 t) ew)) (sqrt.f64 (/.f64 (tan.f64 t) ew)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (tan.f64 t)) (*.f64 (sqrt.f64 (tan.f64 t)) (/.f64 1 ew)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (tan.f64 t)) (/.f64 1 (neg.f64 ew)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 ew) (tan.f64 t))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (pow.f64 (tan.f64 t) 2)) 1) (/.f64 (cbrt.f64 (tan.f64 t)) ew))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (tan.f64 t)) 1) (/.f64 (sqrt.f64 (tan.f64 t)) ew))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 ew) 2)) (/.f64 (tan.f64 t) (cbrt.f64 ew)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (pow.f64 (tan.f64 t) 2)) (pow.f64 (cbrt.f64 ew) 2)) (cbrt.f64 (/.f64 (tan.f64 t) ew)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (tan.f64 t)) (pow.f64 (cbrt.f64 ew) 2)) (/.f64 (sqrt.f64 (tan.f64 t)) (cbrt.f64 ew)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 ew)) (/.f64 (tan.f64 t) (sqrt.f64 ew)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (pow.f64 (tan.f64 t) 2)) (sqrt.f64 ew)) (/.f64 (cbrt.f64 (tan.f64 t)) (sqrt.f64 ew)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (tan.f64 t) ew) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (tan.f64 t) ew) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (tan.f64 t) ew)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (tan.f64 t) ew)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 ew (tan.f64 t)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (pow.f64 (tan.f64 t) 3) (pow.f64 ew 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 ew (tan.f64 t)) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (tan.f64 t) (neg.f64 ew)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (tan.f64 t) ew) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (tan.f64 t) ew)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (tan.f64 t) ew))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (tan.f64 t) ew) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (tan.f64 t) 3) (pow.f64 ew 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (tan.f64 t) ew)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (tan.f64 t) ew)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (tan.f64 t) ew)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (tan.f64 t) ew)) 1))))))

simplify84.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

645×	`associate-/l*_binary64`
493×	`associate-/r/_binary64`
462×	`unswap-sqr_binary64`
435×	`associate-/r*_binary64`
358×	`*-commutative_binary64`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	53	1324
1	135	1320
2	333	1318
3	770	1308
4	2041	1299
5	4274	1294
6	4927	1294

Stop Event

1×	node limit

Counts

191 → 116

Calls

Call 1

Inputs
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) 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 t eh) ew)
(+.f64 (.f64 1/3 (/.f64 (.f64 (pow.f64 t 3) eh) ew)) (/.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 (*.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 (/.f64 (.f64 t 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 t ew)
(+.f64 (*.f64 1/3 (/.f64 (pow.f64 t 3) ew)) (/.f64 t ew))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 t 3) ew)) (+.f64 (/.f64 t ew) (.f64 2/15 (/.f64 (pow.f64 t 5) ew))))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 t 3) ew)) (+.f64 (/.f64 t ew) (+.f64 (.f64 17/315 (/.f64 (pow.f64 t 7) ew)) (*.f64 2/15 (/.f64 (pow.f64 t 5) ew)))))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))

Outputs
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (*.f64 t eh) ew)
(/.f64 t (/.f64 ew eh))
(*.f64 (/.f64 t ew) eh)
(*.f64 eh (/.f64 t ew))
(*.f64 t (/.f64 eh ew))
(+.f64 (.f64 1/3 (/.f64 (.f64 (pow.f64 t 3) eh) ew)) (/.f64 (*.f64 t eh) ew))
(fma.f64 1/3 (/.f64 (*.f64 eh (pow.f64 t 3)) ew) (/.f64 t (/.f64 ew eh)))
(fma.f64 1/3 (.f64 (/.f64 (pow.f64 t 3) ew) eh) (.f64 (/.f64 t ew) eh))
(fma.f64 1/3 (.f64 eh (/.f64 (pow.f64 t 3) ew)) (.f64 eh (/.f64 t ew)))
(*.f64 eh (fma.f64 1/3 (/.f64 (pow.f64 t 3) ew) (/.f64 t ew)))
(.f64 (/.f64 eh ew) (+.f64 t (.f64 1/3 (pow.f64 t 3))))
(+.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 (*.f64 t eh) ew)))
(fma.f64 2/15 (/.f64 (.f64 eh (pow.f64 t 5)) ew) (fma.f64 1/3 (/.f64 (.f64 eh (pow.f64 t 3)) ew) (/.f64 t (/.f64 ew eh))))
(fma.f64 2/15 (/.f64 eh (/.f64 ew (pow.f64 t 5))) (fma.f64 1/3 (.f64 (/.f64 (pow.f64 t 3) ew) eh) (.f64 (/.f64 t ew) eh)))
(fma.f64 2/15 (.f64 eh (/.f64 (pow.f64 t 5) ew)) (fma.f64 1/3 (.f64 eh (/.f64 (pow.f64 t 3) ew)) (*.f64 eh (/.f64 t ew))))
(fma.f64 1/3 (.f64 eh (/.f64 (pow.f64 t 3) ew)) (.f64 eh (fma.f64 2/15 (/.f64 (pow.f64 t 5) ew) (/.f64 t ew))))
(*.f64 eh (fma.f64 1/3 (/.f64 (pow.f64 t 3) ew) (fma.f64 2/15 (/.f64 (pow.f64 t 5) ew) (/.f64 t ew))))
(.f64 (/.f64 eh ew) (+.f64 (.f64 1/3 (pow.f64 t 3)) (+.f64 t (*.f64 2/15 (pow.f64 t 5)))))
(+.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 (/.f64 (.f64 t eh) ew) (.f64 17/315 (/.f64 (*.f64 (pow.f64 t 7) eh) ew)))))
(fma.f64 2/15 (/.f64 (.f64 eh (pow.f64 t 5)) ew) (+.f64 (fma.f64 1/3 (/.f64 (.f64 eh (pow.f64 t 3)) ew) (/.f64 t (/.f64 ew eh))) (*.f64 17/315 (/.f64 (pow.f64 t 7) (/.f64 ew eh)))))
(fma.f64 2/15 (/.f64 eh (/.f64 ew (pow.f64 t 5))) (fma.f64 1/3 (.f64 (/.f64 (pow.f64 t 3) ew) eh) (fma.f64 17/315 (.f64 (/.f64 (pow.f64 t 7) ew) eh) (*.f64 (/.f64 t ew) eh))))
(fma.f64 1/3 (.f64 eh (/.f64 (pow.f64 t 3) ew)) (fma.f64 2/15 (.f64 eh (/.f64 (pow.f64 t 5) ew)) (fma.f64 17/315 (.f64 eh (/.f64 (pow.f64 t 7) ew)) (.f64 eh (/.f64 t ew)))))
(+.f64 (.f64 eh (fma.f64 1/3 (/.f64 (pow.f64 t 3) ew) (/.f64 t ew))) (.f64 eh (fma.f64 2/15 (/.f64 (pow.f64 t 5) ew) (/.f64 17/315 (/.f64 ew (pow.f64 t 7))))))
(*.f64 eh (fma.f64 1/3 (/.f64 (pow.f64 t 3) ew) (fma.f64 2/15 (/.f64 (pow.f64 t 5) ew) (fma.f64 17/315 (/.f64 (pow.f64 t 7) ew) (/.f64 t ew)))))
(.f64 (/.f64 eh ew) (+.f64 (+.f64 t (.f64 1/3 (pow.f64 t 3))) (+.f64 (.f64 17/315 (pow.f64 t 7)) (.f64 2/15 (pow.f64 t 5)))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 (.f64 (sin.f64 t) eh) (.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (/.f64 (*.f64 ew (cos.f64 t)) eh))
(*.f64 (/.f64 (sin.f64 t) (cos.f64 t)) (/.f64 eh ew))
(.f64 eh (/.f64 (sin.f64 t) (.f64 ew (cos.f64 t))))
(/.f64 t ew)
(+.f64 (*.f64 1/3 (/.f64 (pow.f64 t 3) ew)) (/.f64 t ew))
(fma.f64 1/3 (/.f64 (pow.f64 t 3) ew) (/.f64 t ew))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 t 3) ew)) (+.f64 (/.f64 t ew) (.f64 2/15 (/.f64 (pow.f64 t 5) ew))))
(+.f64 (fma.f64 1/3 (/.f64 (pow.f64 t 3) ew) (/.f64 t ew)) (*.f64 2/15 (/.f64 (pow.f64 t 5) ew)))
(fma.f64 1/3 (/.f64 (pow.f64 t 3) ew) (fma.f64 2/15 (/.f64 (pow.f64 t 5) ew) (/.f64 t ew)))
(+.f64 (.f64 1/3 (/.f64 (pow.f64 t 3) ew)) (+.f64 (/.f64 t ew) (+.f64 (.f64 17/315 (/.f64 (pow.f64 t 7) ew)) (*.f64 2/15 (/.f64 (pow.f64 t 5) ew)))))
(+.f64 (fma.f64 1/3 (/.f64 (pow.f64 t 3) ew) (/.f64 t ew)) (fma.f64 17/315 (/.f64 (pow.f64 t 7) ew) (*.f64 2/15 (/.f64 (pow.f64 t 5) ew))))
(+.f64 (fma.f64 2/15 (/.f64 (pow.f64 t 5) ew) (*.f64 17/315 (/.f64 (pow.f64 t 7) ew))) (fma.f64 1/3 (/.f64 (pow.f64 t 3) ew) (/.f64 t ew)))
(fma.f64 1/3 (/.f64 (pow.f64 t 3) ew) (fma.f64 2/15 (/.f64 (pow.f64 t 5) ew) (fma.f64 17/315 (/.f64 (pow.f64 t 7) ew) (/.f64 t ew))))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t)))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t)))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t)))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t)))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t)))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t)))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t)))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t)))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t)))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t)))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t)))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t)))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t)))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t)))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t)))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t)))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t)))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t)))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t)))
(/.f64 (sin.f64 t) (*.f64 (cos.f64 t) ew))
(/.f64 (sin.f64 t) (*.f64 ew (cos.f64 t)))

prune245.0ms (2.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	151	0	151
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	151	5	156

Error

0.1b

Counts

156 → 5

Alt Table

Status	Error	Program
	11.6b	(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (expm1.f64 (log1p.f64 (.f64 eh (sin.f64 t)))) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))))))
✓	0.1b	(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (.f64 (neg.f64 eh) (sin.f64 t)) (.f64 (.f64 ew (cos.f64 t)) (pow.f64 (cbrt.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))) 3))))
	21.0b	(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (cbrt.f64 (.f64 (pow.f64 eh 3) (pow.f64 (sin.f64 t) 3))) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))))))
	29.2b	(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (pow.f64 (sqrt.f64 (.f64 eh (sin.f64 t))) 2) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))))))
▶	0.7b	(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 3) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))))))

Compiler

Compiled 5942 to 1987 computations (66.6% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(pow.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))) 3)
	2.4b	(*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew)))
✓	8.8b	(cbrt.f64 (*.f64 eh (sin.f64 t)))
	17.8b	(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew)))))

series18.0ms (0.1%)

Counts

2 → 16

Calls

12 calls:

Time	Variable		Point	Expression
3.0ms	t	@	-inf	(cbrt.f64 (*.f64 eh (sin.f64 t)))
3.0ms	eh	@	-inf	(pow.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))) 3)
2.0ms	eh	@	-inf	(cbrt.f64 (*.f64 eh (sin.f64 t)))
2.0ms	t	@	inf	(cbrt.f64 (*.f64 eh (sin.f64 t)))
1.0ms	t	@	0	(pow.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))) 3)

rewrite37.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

638×	`pow1_binary64`
596×	`add-log-exp_binary64`
596×	`log1p-expm1-u_binary64`
596×	`expm1-log1p-u_binary64`
71×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	166	14
2	1669	14

Stop Event

1×	node limit

Counts

2 → 56

Calls

Call 1

Inputs
(cbrt.f64 (*.f64 eh (sin.f64 t)))
(pow.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))) 3)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cbrt.f64 (*.f64 eh (sin.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 eh) (cbrt.f64 (sin.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 eh (sin.f64 t)))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 eh (sin.f64 t)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 eh (sin.f64 t)))) (pow.f64 (pow.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))) 2) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 eh (sin.f64 t)))) 2) (cbrt.f64 (cbrt.f64 (*.f64 eh (sin.f64 t)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (sin.f64 t)) (cbrt.f64 eh))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 eh (sin.f64 t)) 1/6) (pow.f64 (*.f64 eh (sin.f64 t)) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 eh (sin.f64 t)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (cbrt.f64 (*.f64 eh (sin.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (*.f64 eh (sin.f64 t))) 1/3) (pow.f64 (sqrt.f64 (*.f64 eh (sin.f64 t))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 eh (sin.f64 t)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 eh (sin.f64 t)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 eh (sin.f64 t)) 1/6) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cbrt.f64 (*.f64 eh (sin.f64 t)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cbrt.f64 (*.f64 eh (sin.f64 t)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cbrt.f64 (*.f64 eh (sin.f64 t)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cbrt.f64 (*.f64 eh (sin.f64 t)))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 eh (sin.f64 t)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 eh (sin.f64 t))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sin.f64 t) eh)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 eh (sin.f64 t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))) (pow.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 eh (sin.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))) 2) (cbrt.f64 (*.f64 eh (sin.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 eh) (*.f64 (cbrt.f64 (sin.f64 t)) (pow.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 eh) 2) (*.f64 (cbrt.f64 eh) (sin.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 eh (sin.f64 t)))) 2) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 eh (sin.f64 t)))) (pow.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (sin.f64 t)) 2) (*.f64 (cbrt.f64 (sin.f64 t)) eh))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 eh (sin.f64 t))) (sqrt.f64 (*.f64 eh (sin.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 eh) (*.f64 (sqrt.f64 eh) (sin.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 eh (sin.f64 t)) 1/6) (*.f64 (pow.f64 (*.f64 eh (sin.f64 t)) 1/6) (pow.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (sin.f64 t)) (*.f64 (sqrt.f64 (sin.f64 t)) eh))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 eh (sin.f64 t)))) 2) 3) (cbrt.f64 (*.f64 eh (sin.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (*.f64 eh (sin.f64 t)) 1/6) 3) (pow.f64 (pow.f64 (*.f64 eh (sin.f64 t)) 1/6) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 eh (pow.f64 (cbrt.f64 (sin.f64 t)) 2)) (cbrt.f64 (sin.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 eh (sqrt.f64 (sin.f64 t))) (sqrt.f64 (sin.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sin.f64 t) (pow.f64 (cbrt.f64 eh) 2)) (cbrt.f64 eh))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sin.f64 t) (sqrt.f64 eh)) (sqrt.f64 eh))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))) 2) 1) (cbrt.f64 (*.f64 eh (sin.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))) 2) (cbrt.f64 eh)) (cbrt.f64 (sin.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 eh (sin.f64 t)))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 eh (sin.f64 t)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))) 2) (pow.f64 (*.f64 eh (sin.f64 t)) 1/6)) (pow.f64 (*.f64 eh (sin.f64 t)) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 eh (sin.f64 t)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 eh) (sin.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 eh (sin.f64 t)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 eh (sin.f64 t)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 eh 3) (pow.f64 (sin.f64 t) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (sin.f64 t) 3) (pow.f64 eh 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 eh (sin.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 eh (sin.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 eh (sin.f64 t))))))))

simplify69.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

730×	`sqr-pow_binary64`
370×	`cube-prod_binary64`
362×	`unswap-sqr_binary64`
313×	`pow-sqr_binary64`
283×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	112
1	14	112
2	19	112
3	28	112
4	50	112
5	139	112
6	519	112
7	1180	112
8	1270	112
9	1406	112
10	1567	112
11	1798	112
12	2123	112
13	2547	112
14	3050	112
15	3650	112
16	4375	112
17	4698	112
18	4984	112

Stop Event

1×	node limit

Counts

72 → 58

Calls

Call 1

Inputs
(pow.f64 (*.f64 (sin.f64 t) eh) 1/3)
(pow.f64 (*.f64 (sin.f64 t) eh) 1/3)
(pow.f64 (*.f64 (sin.f64 t) eh) 1/3)
(pow.f64 (*.f64 (sin.f64 t) eh) 1/3)
(pow.f64 (*.f64 (sin.f64 t) eh) 1/3)
(pow.f64 (*.f64 (sin.f64 t) eh) 1/3)
(pow.f64 (*.f64 (sin.f64 t) eh) 1/3)
(pow.f64 (*.f64 (sin.f64 t) eh) 1/3)
(*.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)

Outputs
(pow.f64 (*.f64 (sin.f64 t) eh) 1/3)
(cbrt.f64 (*.f64 (sin.f64 t) eh))
(pow.f64 (*.f64 (sin.f64 t) eh) 1/3)
(cbrt.f64 (*.f64 (sin.f64 t) eh))
(pow.f64 (*.f64 (sin.f64 t) eh) 1/3)
(cbrt.f64 (*.f64 (sin.f64 t) eh))
(pow.f64 (*.f64 (sin.f64 t) eh) 1/3)
(cbrt.f64 (*.f64 (sin.f64 t) eh))
(pow.f64 (*.f64 (sin.f64 t) eh) 1/3)
(cbrt.f64 (*.f64 (sin.f64 t) eh))
(pow.f64 (*.f64 (sin.f64 t) eh) 1/3)
(cbrt.f64 (*.f64 (sin.f64 t) eh))
(pow.f64 (*.f64 (sin.f64 t) eh) 1/3)
(cbrt.f64 (*.f64 (sin.f64 t) eh))
(pow.f64 (*.f64 (sin.f64 t) eh) 1/3)
(cbrt.f64 (*.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)

prune233.0ms (2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	150	3	153
Fresh	2	1	3
Picked	1	0	1
Done	0	1	1
Total	153	5	158

Error

0.1b

Counts

158 → 5

Alt Table

Status	Error	Program
	21.0b	(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (cbrt.f64 (.f64 (pow.f64 eh 3) (pow.f64 (sin.f64 t) 3))) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))))))
	0.7b	(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 2) 1) (cbrt.f64 (.f64 eh (sin.f64 t)))) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))))))
	34.0b	(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (.f64 (sqrt.f64 (sin.f64 t)) (.f64 (sqrt.f64 (sin.f64 t)) eh)) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))))))
▶	0.6b	(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (.f64 (pow.f64 (cbrt.f64 eh) 2) (.f64 (cbrt.f64 eh) (sin.f64 t))) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))))))
✓	0.1b	(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (.f64 (neg.f64 eh) (sin.f64 t)) (.f64 (.f64 ew (cos.f64 t)) (pow.f64 (cbrt.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))) 3))))

Compiler

Compiled 5857 to 1535 computations (73.8% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (cbrt.f64 eh) 2)
✓	0.6b	(cbrt.f64 eh)
	2.4b	(*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew)))
	17.8b	(cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew)))))

series22.0ms (0.2%)

Counts

2 → 0

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	eh	@	-inf	(pow.f64 (cbrt.f64 eh) 2)
1.0ms	eh	@	0	(pow.f64 (cbrt.f64 eh) 2)
1.0ms	eh	@	inf	(pow.f64 (cbrt.f64 eh) 2)
1.0ms	eh	@	-inf	(cbrt.f64 eh)
0.0ms	eh	@	0	(cbrt.f64 eh)

rewrite33.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

374×	`pow1_binary64`
349×	`add-log-exp_binary64`
349×	`log1p-expm1-u_binary64`
349×	`expm1-log1p-u_binary64`
340×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	9
1	101	9
2	1033	9

Stop Event

1×	node limit

Counts

2 → 36

Calls

Call 1

Inputs
(cbrt.f64 eh)
(pow.f64 (cbrt.f64 eh) 2)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (cbrt.f64 eh)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 eh) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cbrt.f64 eh))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 eh)) (cbrt.f64 (pow.f64 (cbrt.f64 eh) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (cbrt.f64 eh) 2)) (cbrt.f64 (cbrt.f64 eh)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 eh 1/6) (pow.f64 eh 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (cbrt.f64 (*.f64 eh (cbrt.f64 eh)))) (sqrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 eh) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (cbrt.f64 eh))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 eh) 1/3) (pow.f64 (sqrt.f64 eh) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 eh 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 eh) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cbrt.f64 eh) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cbrt.f64 eh)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 eh 1/6) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cbrt.f64 eh) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (cbrt.f64 eh))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cbrt.f64 eh)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cbrt.f64 eh)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cbrt.f64 eh)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cbrt.f64 eh)))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (pow.f64 (cbrt.f64 eh) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 eh) (cbrt.f64 eh))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 eh) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (cbrt.f64 eh) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (cbrt.f64 eh) 2)) (cbrt.f64 (*.f64 eh (cbrt.f64 eh))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (cbrt.f64 eh) 2)) (*.f64 (cbrt.f64 (cbrt.f64 eh)) (cbrt.f64 eh)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 eh (cbrt.f64 eh))) (cbrt.f64 (pow.f64 (cbrt.f64 eh) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 eh 1/6) (*.f64 (pow.f64 eh 1/6) (cbrt.f64 eh)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 eh) (pow.f64 eh 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 eh) (cbrt.f64 (pow.f64 (cbrt.f64 eh) 2))) (cbrt.f64 (cbrt.f64 eh)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 eh (cbrt.f64 eh)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (cbrt.f64 eh) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 eh eh))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 eh) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (cbrt.f64 eh) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 2 (log.f64 (cbrt.f64 eh))))))))

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

36 → 36

Calls

Call 1

Inputs

Outputs

prune217.0ms (1.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	151	0	151
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	151	5	156

Error

0.1b

Counts

156 → 5

Alt Table

Status	Error	Program
	21.0b	(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (cbrt.f64 (.f64 (pow.f64 eh 3) (pow.f64 (sin.f64 t) 3))) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))))))
	0.7b	(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 2) 1) (cbrt.f64 (.f64 eh (sin.f64 t)))) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))))))
	34.0b	(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (.f64 (sqrt.f64 (sin.f64 t)) (.f64 (sqrt.f64 (sin.f64 t)) eh)) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))))))
✓	0.6b	(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (.f64 (pow.f64 (cbrt.f64 eh) 2) (.f64 (cbrt.f64 eh) (sin.f64 t))) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))))))
✓	0.1b	(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (.f64 (neg.f64 eh) (sin.f64 t)) (.f64 (.f64 ew (cos.f64 t)) (pow.f64 (cbrt.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))) 3))))

Compiler

Compiled 6065 to 1633 computations (73.1% saved)

regimes704.0ms (6%)

Accuracy

Total 0.0b remaining (21.1%)

Threshold costs 0.0b (21.1%)

Counts

159 → 1

Compiler

Compiled 5186 to 1037 computations (80% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative_binary64`
4×	`+-commutative_binary64`
4×	`sub-neg_binary64`
4×	`neg-sub0_binary64`
4×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	53
1	38	53
2	48	53
3	56	53
4	59	53
5	60	53

Stop Event

1×

saturated

Calls

Call 1

Inputs

(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (*.f64 (neg.f64 eh) (sin.f64 t)) (*.f64 (*.f64 ew (cos.f64 t)) (pow.f64 (cbrt.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))) 3))))

Outputs

(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (*.f64 (neg.f64 eh) (sin.f64 t)) (*.f64 (*.f64 ew (cos.f64 t)) (pow.f64 (cbrt.f64 (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))) 3))))

end157.0ms (1.3%)

Stop Event

1×

fuel

Compiler

Compiled 260 to 157 computations (39.6% saved)

Details

analyze3.1s (26%)

sample6.2s (52.9%)

preprocess58.0ms (0.5%)

simplify40.0ms (0.3%)

prune4.0ms (0%)

localize22.0ms (0.2%)

series38.0ms (0.3%)

rewrite54.0ms (0.5%)

simplify59.0ms (0.5%)

prune230.0ms (2%)

localize34.0ms (0.3%)

series10.0ms (0.1%)

rewrite57.0ms (0.5%)

simplify84.0ms (0.7%)

prune245.0ms (2.1%)

localize22.0ms (0.2%)

series18.0ms (0.1%)

rewrite37.0ms (0.3%)

simplify69.0ms (0.6%)

prune233.0ms (2%)

localize24.0ms (0.2%)

series22.0ms (0.2%)

rewrite33.0ms (0.3%)

simplify6.0ms (0.1%)

prune217.0ms (1.8%)

regimes704.0ms (6%)

simplify3.0ms (0%)

end157.0ms (1.3%)

Profiling