Details

analyze3.2s (27%)

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
9.4%	90.5%	0.1%	7
14%	85.8%	0.1%	8
16.4%	83.5%	0.1%	9
24.6%	75.3%	0.1%	10
28.7%	71.2%	0.1%	11
30.7%	69.1%	0.1%	12
35.8%	64%	0.1%	13
38.4%	61.5%	0.1%	14

Compiler

Compiled 32 to 18 computations (43.8% saved)

sample6.3s (53.2%)

Results

3.4s	2035×	body	1024	valid
1.6s	4659×	body	128	valid
1.0s	1021×	body	512	valid
338.0ms	533×	body	256	valid
24.0ms	8×	body	2048	valid

Compiler

Compiled 64 to 36 computations (43.8% saved)

preprocess23.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

48×	`fma-def_binary64`
44×	`*-commutative_binary64`
24×	`associate-r_binary64`
24×	`associate-l_binary64`
4×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	57	176
1	105	176
2	193	176
3	241	176
0	3	3

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

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

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

Compiler

Compiled 31 to 17 computations (45.2% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

12×	`fma-def_binary64`
11×	`*-commutative_binary64`
6×	`associate-r_binary64`
6×	`associate-l_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	44
1	30	44
2	52	44
3	64	44

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

Outputs

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

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

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

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.1b

Counts

3 → 2

Alt Table

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

Status

Error

Program

0.1b

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

▶

0.1b

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

Compiler

Compiled 180 to 88 computations (51.1% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 ew (sin.f64 t))
✓	0.1b	(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))
✓	2.6b	(/.f64 (/.f64 eh ew) (tan.f64 t))
✓	36.6b	(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))

series38.0ms (0.3%)

Counts

4 → 132

Calls

33 calls:

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

rewrite61.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

243×	`expm1-udef_binary64`
243×	`log1p-udef_binary64`
211×	`log-pow_binary64`
133×	`*-un-lft-identity_binary64`
133×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	49
1	254	48
2	3495	48

Stop Event

1×	node limit

Counts

4 → 95

Calls

Call 1

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

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

simplify60.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

806×	`fma-neg_binary64`
391×	`distribute-lft-neg-in_binary64`
387×	`distribute-rgt-neg-in_binary64`
260×	`associate-l_binary64`
232×	`associate-r_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	67	2125
1	200	2049
2	681	1997
3	2637	1995

Stop Event

1×	node limit

Counts

227 → 125

Calls

Call 1

Inputs
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 eh (*.f64 t ew))
(-.f64 (/.f64 eh (.f64 t ew)) (.f64 1/3 (/.f64 (*.f64 t eh) ew)))
(-.f64 (/.f64 eh (.f64 t ew)) (+.f64 (.f64 1/3 (/.f64 (.f64 t eh) ew)) (.f64 1/45 (/.f64 (*.f64 (pow.f64 t 3) eh) ew))))
(-.f64 (/.f64 eh (.f64 t ew)) (+.f64 (.f64 2/945 (/.f64 (.f64 (pow.f64 t 5) eh) ew)) (+.f64 (.f64 1/3 (/.f64 (.f64 t eh) ew)) (.f64 1/45 (/.f64 (*.f64 (pow.f64 t 3) eh) ew)))))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 t (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(-.f64 (.f64 t (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) (.f64 1/6 (.f64 (pow.f64 t 3) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))))
(-.f64 (+.f64 (.f64 1/120 (.f64 (pow.f64 t 5) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (.f64 t (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (.f64 1/6 (.f64 (pow.f64 t 3) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))))
(-.f64 (+.f64 (.f64 1/120 (.f64 (pow.f64 t 5) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (.f64 t (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (+.f64 (.f64 1/6 (.f64 (pow.f64 t 3) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (.f64 1/5040 (.f64 (pow.f64 t 7) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(*.f64 (sin.f64 t) ew)
(*.f64 (sin.f64 t) ew)
(*.f64 (sin.f64 t) ew)
(*.f64 (sin.f64 t) ew)
(*.f64 (sin.f64 t) ew)
(*.f64 (sin.f64 t) ew)
(*.f64 (sin.f64 t) ew)
(*.f64 (sin.f64 t) ew)
(*.f64 (sin.f64 t) ew)
(*.f64 (sin.f64 t) ew)
(*.f64 (sin.f64 t) ew)
(*.f64 (sin.f64 t) ew)
(*.f64 t ew)
(-.f64 (.f64 t ew) (.f64 1/6 (*.f64 (pow.f64 t 3) ew)))
(-.f64 (+.f64 (.f64 t ew) (.f64 1/120 (.f64 (pow.f64 t 5) ew))) (.f64 1/6 (*.f64 (pow.f64 t 3) ew)))
(-.f64 (+.f64 (.f64 t ew) (.f64 1/120 (.f64 (pow.f64 t 5) ew))) (+.f64 (.f64 1/5040 (.f64 (pow.f64 t 7) ew)) (.f64 1/6 (*.f64 (pow.f64 t 3) ew))))
(*.f64 (sin.f64 t) ew)
(*.f64 (sin.f64 t) ew)
(*.f64 (sin.f64 t) ew)
(*.f64 (sin.f64 t) ew)
(*.f64 (sin.f64 t) ew)
(*.f64 (sin.f64 t) ew)
(*.f64 (sin.f64 t) ew)
(*.f64 (sin.f64 t) ew)

Outputs
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 eh (*.f64 t ew))
(/.f64 (/.f64 eh t) ew)
(-.f64 (/.f64 eh (.f64 t ew)) (.f64 1/3 (/.f64 (*.f64 t eh) ew)))
(+.f64 (/.f64 (/.f64 eh t) ew) (*.f64 -1/3 (/.f64 t (/.f64 ew eh))))
(+.f64 (/.f64 eh (.f64 t ew)) (.f64 (*.f64 (/.f64 t ew) eh) -1/3))
(fma.f64 (.f64 eh (/.f64 t ew)) -1/3 (/.f64 eh (.f64 t ew)))
(-.f64 (/.f64 eh (.f64 t ew)) (+.f64 (.f64 1/3 (/.f64 (.f64 t eh) ew)) (.f64 1/45 (/.f64 (*.f64 (pow.f64 t 3) eh) ew))))
(-.f64 (/.f64 (/.f64 eh t) ew) (fma.f64 1/3 (/.f64 t (/.f64 ew eh)) (*.f64 1/45 (/.f64 (pow.f64 t 3) (/.f64 ew eh)))))
(-.f64 (/.f64 eh (.f64 t ew)) (fma.f64 1/3 (.f64 (/.f64 t ew) eh) (.f64 1/45 (.f64 (/.f64 (pow.f64 t 3) ew) eh))))
(-.f64 (/.f64 eh (.f64 t ew)) (fma.f64 1/45 (.f64 eh (/.f64 (pow.f64 t 3) ew)) (.f64 (/.f64 t ew) (.f64 eh 1/3))))
(+.f64 (/.f64 eh (.f64 t ew)) (.f64 eh (-.f64 (/.f64 (.f64 t -1/3) ew) (/.f64 (.f64 1/45 (pow.f64 t 3)) ew))))
(-.f64 (/.f64 eh (.f64 t ew)) (+.f64 (.f64 2/945 (/.f64 (.f64 (pow.f64 t 5) eh) ew)) (+.f64 (.f64 1/3 (/.f64 (.f64 t eh) ew)) (.f64 1/45 (/.f64 (*.f64 (pow.f64 t 3) eh) ew)))))
(-.f64 (/.f64 (/.f64 eh t) ew) (fma.f64 2/945 (/.f64 (pow.f64 t 5) (/.f64 ew eh)) (fma.f64 1/3 (/.f64 t (/.f64 ew eh)) (*.f64 1/45 (/.f64 (pow.f64 t 3) (/.f64 ew eh))))))
(-.f64 (/.f64 eh (.f64 t ew)) (fma.f64 2/945 (.f64 (/.f64 (pow.f64 t 5) ew) eh) (fma.f64 1/3 (.f64 (/.f64 t ew) eh) (.f64 1/45 (*.f64 (/.f64 (pow.f64 t 3) ew) eh)))))
(-.f64 (/.f64 eh (.f64 t ew)) (fma.f64 2/945 (.f64 eh (/.f64 (pow.f64 t 5) ew)) (fma.f64 1/45 (.f64 eh (/.f64 (pow.f64 t 3) ew)) (.f64 (/.f64 t ew) (*.f64 eh 1/3)))))
(-.f64 (fma.f64 (.f64 eh (/.f64 t ew)) -1/3 (/.f64 eh (.f64 t ew))) (.f64 eh (+.f64 (/.f64 (.f64 1/45 (pow.f64 t 3)) ew) (*.f64 2/945 (/.f64 (pow.f64 t 5) ew)))))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(/.f64 (.f64 (cos.f64 t) eh) (.f64 (sin.f64 t) ew))
(/.f64 (cos.f64 t) (/.f64 (*.f64 ew (sin.f64 t)) eh))
(*.f64 (/.f64 (cos.f64 t) (sin.f64 t)) (/.f64 eh ew))
(*.f64 eh (/.f64 (/.f64 (cos.f64 t) ew) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 t (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 t ew) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 t ew))
(-.f64 (.f64 t (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) (.f64 1/6 (.f64 (pow.f64 t 3) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))))
(+.f64 (.f64 (.f64 t ew) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 -1/6 (.f64 (.f64 ew (pow.f64 t 3)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))))
(.f64 (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (-.f64 t (.f64 (pow.f64 t 3) 1/6)))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 ew (+.f64 (.f64 (pow.f64 t 3) -1/6) t)))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 ew (-.f64 t (.f64 (pow.f64 t 3) 1/6))))
(-.f64 (+.f64 (.f64 1/120 (.f64 (pow.f64 t 5) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (.f64 t (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (.f64 1/6 (.f64 (pow.f64 t 3) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))))
(+.f64 (fma.f64 1/120 (.f64 (.f64 ew (pow.f64 t 5)) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (.f64 t ew) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) (.f64 -1/6 (.f64 (.f64 ew (pow.f64 t 3)) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))))
(fma.f64 1/120 (.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (pow.f64 t 5))) (.f64 (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (-.f64 t (*.f64 (pow.f64 t 3) 1/6))))
(.f64 (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (-.f64 (fma.f64 (pow.f64 t 5) 1/120 t) (.f64 (pow.f64 t 3) 1/6)))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 ew (+.f64 (fma.f64 (pow.f64 t 5) 1/120 t) (.f64 (pow.f64 t 3) -1/6))))
(-.f64 (+.f64 (.f64 1/120 (.f64 (pow.f64 t 5) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (.f64 t (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (+.f64 (.f64 1/6 (.f64 (pow.f64 t 3) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (.f64 1/5040 (.f64 (pow.f64 t 7) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))))))
(-.f64 (fma.f64 1/120 (.f64 (.f64 ew (pow.f64 t 5)) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (.f64 t ew) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) (fma.f64 1/6 (.f64 (.f64 ew (pow.f64 t 3)) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 1/5040 (.f64 (.f64 ew (pow.f64 t 7)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))))
(-.f64 (.f64 (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (+.f64 t (.f64 (pow.f64 t 5) 1/120))) (.f64 (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (+.f64 (.f64 (pow.f64 t 3) 1/6) (*.f64 1/5040 (pow.f64 t 7)))))
(.f64 (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (-.f64 (fma.f64 (pow.f64 t 5) 1/120 t) (fma.f64 (pow.f64 t 3) 1/6 (.f64 1/5040 (pow.f64 t 7)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 ew (+.f64 (fma.f64 (pow.f64 t 5) 1/120 t) (fma.f64 (pow.f64 t 3) -1/6 (.f64 (pow.f64 t 7) -1/5040)))))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(.f64 (sin.f64 t) (.f64 ew (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 ew (sin.f64 t)))
(.f64 ew (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (sin.f64 t)))
(*.f64 (sin.f64 t) ew)
(*.f64 ew (sin.f64 t))
(*.f64 (sin.f64 t) ew)
(*.f64 ew (sin.f64 t))
(*.f64 (sin.f64 t) ew)
(*.f64 ew (sin.f64 t))
(*.f64 (sin.f64 t) ew)
(*.f64 ew (sin.f64 t))
(*.f64 (sin.f64 t) ew)
(*.f64 ew (sin.f64 t))
(*.f64 (sin.f64 t) ew)
(*.f64 ew (sin.f64 t))
(*.f64 (sin.f64 t) ew)
(*.f64 ew (sin.f64 t))
(*.f64 (sin.f64 t) ew)
(*.f64 ew (sin.f64 t))
(*.f64 (sin.f64 t) ew)
(*.f64 ew (sin.f64 t))
(*.f64 (sin.f64 t) ew)
(*.f64 ew (sin.f64 t))
(*.f64 (sin.f64 t) ew)
(*.f64 ew (sin.f64 t))
(*.f64 (sin.f64 t) ew)
(*.f64 ew (sin.f64 t))
(*.f64 t ew)
(-.f64 (.f64 t ew) (.f64 1/6 (*.f64 (pow.f64 t 3) ew)))
(+.f64 (.f64 t ew) (.f64 -1/6 (*.f64 ew (pow.f64 t 3))))
(.f64 ew (-.f64 t (.f64 (pow.f64 t 3) 1/6)))
(.f64 ew (+.f64 (.f64 (pow.f64 t 3) -1/6) t))
(-.f64 (+.f64 (.f64 t ew) (.f64 1/120 (.f64 (pow.f64 t 5) ew))) (.f64 1/6 (*.f64 (pow.f64 t 3) ew)))
(+.f64 (fma.f64 t ew (.f64 1/120 (.f64 ew (pow.f64 t 5)))) (.f64 -1/6 (.f64 ew (pow.f64 t 3))))
(fma.f64 t ew (.f64 ew (-.f64 (.f64 (pow.f64 t 5) 1/120) (*.f64 (pow.f64 t 3) 1/6))))
(.f64 ew (-.f64 (fma.f64 (pow.f64 t 5) 1/120 t) (.f64 (pow.f64 t 3) 1/6)))
(.f64 ew (+.f64 (fma.f64 (pow.f64 t 5) 1/120 t) (.f64 (pow.f64 t 3) -1/6)))
(-.f64 (+.f64 (.f64 t ew) (.f64 1/120 (.f64 (pow.f64 t 5) ew))) (+.f64 (.f64 1/5040 (.f64 (pow.f64 t 7) ew)) (.f64 1/6 (*.f64 (pow.f64 t 3) ew))))
(-.f64 (fma.f64 t ew (.f64 1/120 (.f64 ew (pow.f64 t 5)))) (fma.f64 1/5040 (.f64 ew (pow.f64 t 7)) (.f64 1/6 (*.f64 ew (pow.f64 t 3)))))
(-.f64 (.f64 ew (+.f64 t (.f64 (pow.f64 t 5) 1/120))) (.f64 ew (+.f64 (.f64 (pow.f64 t 3) 1/6) (*.f64 1/5040 (pow.f64 t 7)))))
(.f64 ew (-.f64 (fma.f64 (pow.f64 t 5) 1/120 t) (fma.f64 (pow.f64 t 3) 1/6 (.f64 1/5040 (pow.f64 t 7)))))
(.f64 ew (+.f64 (fma.f64 (pow.f64 t 5) 1/120 t) (fma.f64 (pow.f64 t 3) -1/6 (.f64 (pow.f64 t 7) -1/5040))))
(*.f64 (sin.f64 t) ew)
(*.f64 ew (sin.f64 t))
(*.f64 (sin.f64 t) ew)
(*.f64 ew (sin.f64 t))
(*.f64 (sin.f64 t) ew)
(*.f64 ew (sin.f64 t))
(*.f64 (sin.f64 t) ew)
(*.f64 ew (sin.f64 t))
(*.f64 (sin.f64 t) ew)
(*.f64 ew (sin.f64 t))
(*.f64 (sin.f64 t) ew)
(*.f64 ew (sin.f64 t))
(*.f64 (sin.f64 t) ew)
(*.f64 ew (sin.f64 t))
(*.f64 (sin.f64 t) ew)
(*.f64 ew (sin.f64 t))

prune168.0ms (1.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	173	3	176
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	174	4	178

Error

0.1b

Counts

178 → 4

Alt Table

Status	Error	Program
	14.9b	(fabs.f64 (+.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 ew (sin.f64 t)) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))) 3)) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	17.1b	(fabs.f64 (+.f64 (pow.f64 (sqrt.f64 (/.f64 (.f64 ew (sin.f64 t)) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))) 2) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.5b	(fabs.f64 (+.f64 (pow.f64 (cbrt.f64 (/.f64 (.f64 ew (sin.f64 t)) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))) 3) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
▶	0.1b	(fabs.f64 (fma.f64 ew (.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))

Compiler

Compiled 6243 to 1638 computations (73.8% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series13.0ms (0.1%)

Counts

2 → 72

Calls

18 calls:

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

rewrite61.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

550×	`prod-diff_binary64`
157×	`add-sqr-sqrt_binary64`
156×	`*-un-lft-identity_binary64`
156×	`pow1_binary64`
144×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	36
1	297	35
2	4130	35

Stop Event

1×	node limit

Counts

2 → 37

Calls

Call 1

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

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

Outputs

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

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

simplify59.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

616×	`distribute-rgt-neg-in_binary64`
539×	`fma-neg_binary64`
336×	`*-commutative_binary64`
270×	`sub-neg_binary64`
268×	`unswap-sqr_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	55	1548
1	147	1452
2	440	1387
3	1704	1373
4	3979	1373

Stop Event

1×	node limit

Counts

109 → 55

Calls

Call 1

Inputs
(.f64 t (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(-.f64 (.f64 t (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 1/6 (.f64 (pow.f64 t 3) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))))
(-.f64 (+.f64 (.f64 1/120 (.f64 (pow.f64 t 5) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) (.f64 t (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) (.f64 1/6 (.f64 (pow.f64 t 3) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))))
(-.f64 (+.f64 (.f64 1/120 (.f64 (pow.f64 t 5) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) (.f64 t (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) (+.f64 (.f64 1/5040 (.f64 (pow.f64 t 7) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) (.f64 1/6 (.f64 (pow.f64 t 3) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(sin.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(-.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 1/2 (.f64 (pow.f64 t 2) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))))
(-.f64 (+.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 1/24 (.f64 (pow.f64 t 4) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (.f64 1/2 (.f64 (pow.f64 t 2) (sin.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))))
(-.f64 (+.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 1/24 (.f64 (pow.f64 t 4) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (+.f64 (.f64 1/2 (.f64 (pow.f64 t 2) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) (.f64 1/720 (.f64 (pow.f64 t 6) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))

Outputs
(.f64 t (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(-.f64 (.f64 t (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 1/6 (.f64 (pow.f64 t 3) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))))
(+.f64 (.f64 t (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 -1/6 (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (pow.f64 t 3))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (-.f64 t (*.f64 1/6 (pow.f64 t 3))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (+.f64 t (*.f64 (pow.f64 t 3) -1/6)))
(-.f64 (+.f64 (.f64 1/120 (.f64 (pow.f64 t 5) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) (.f64 t (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) (.f64 1/6 (.f64 (pow.f64 t 3) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))))
(-.f64 (fma.f64 1/120 (.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (pow.f64 t 5)) (.f64 t (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) (.f64 1/6 (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (pow.f64 t 3))))
(fma.f64 1/120 (.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (pow.f64 t 5)) (.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (-.f64 t (*.f64 1/6 (pow.f64 t 3)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (-.f64 (fma.f64 1/120 (pow.f64 t 5) t) (*.f64 1/6 (pow.f64 t 3))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (+.f64 (fma.f64 1/120 (pow.f64 t 5) t) (*.f64 (pow.f64 t 3) -1/6)))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (+.f64 t (fma.f64 1/120 (pow.f64 t 5) (*.f64 (pow.f64 t 3) -1/6))))
(-.f64 (+.f64 (.f64 1/120 (.f64 (pow.f64 t 5) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) (.f64 t (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) (+.f64 (.f64 1/5040 (.f64 (pow.f64 t 7) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) (.f64 1/6 (.f64 (pow.f64 t 3) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))))
(-.f64 (fma.f64 1/120 (.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (pow.f64 t 5)) (.f64 t (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) (fma.f64 1/5040 (.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (pow.f64 t 7)) (.f64 1/6 (.f64 (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (pow.f64 t 3)))))
(-.f64 (.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (+.f64 t (.f64 1/120 (pow.f64 t 5)))) (.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (+.f64 (.f64 1/6 (pow.f64 t 3)) (*.f64 1/5040 (pow.f64 t 7)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (-.f64 (fma.f64 1/120 (pow.f64 t 5) t) (fma.f64 1/6 (pow.f64 t 3) (*.f64 1/5040 (pow.f64 t 7)))))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (sin.f64 t))
(sin.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(-.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 1/2 (.f64 (pow.f64 t 2) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))))
(+.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 -1/2 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 t t))))
(+.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 (.f64 -1/2 (.f64 t t)) (sin.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))
(.f64 (+.f64 (.f64 (.f64 t t) -1/2) 1) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (+.f64 1 (.f64 (.f64 t t) -1/2)))
(-.f64 (+.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 1/24 (.f64 (pow.f64 t 4) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (.f64 1/2 (.f64 (pow.f64 t 2) (sin.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))))
(+.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (-.f64 (.f64 1/24 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (pow.f64 t 4))) (.f64 1/2 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 t t)))))
(+.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (-.f64 (.f64 1/24 (pow.f64 t 4)) (.f64 1/2 (.f64 t t)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (-.f64 (fma.f64 1/24 (pow.f64 t 4) 1) (.f64 t (.f64 t 1/2))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (+.f64 1 (.f64 (.f64 t t) (fma.f64 1/24 (*.f64 t t) -1/2))))
(-.f64 (+.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 1/24 (.f64 (pow.f64 t 4) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (+.f64 (.f64 1/2 (.f64 (pow.f64 t 2) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) (.f64 1/720 (.f64 (pow.f64 t 6) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))))
(-.f64 (+.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 1/24 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (pow.f64 t 4)))) (fma.f64 1/2 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 t t)) (.f64 1/720 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (pow.f64 t 6)))))
(-.f64 (.f64 (+.f64 (.f64 1/24 (pow.f64 t 4)) 1) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (+.f64 (.f64 1/2 (.f64 t t)) (.f64 1/720 (pow.f64 t 6)))))
(+.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (-.f64 (.f64 1/24 (pow.f64 t 4)) (fma.f64 1/2 (.f64 t t) (.f64 1/720 (pow.f64 t 6))))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (-.f64 (fma.f64 1/24 (pow.f64 t 4) 1) (fma.f64 1/2 (.f64 t t) (.f64 1/720 (pow.f64 t 6)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (+.f64 (fma.f64 1/24 (pow.f64 t 4) 1) (fma.f64 (.f64 t t) -1/2 (.f64 (pow.f64 t 6) -1/720))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))

prune312.0ms (2.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	176	5	181
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	177	8	185

Error

0.0b

Counts

185 → 8

Alt Table

Status	Error	Program
	5.1b	(fabs.f64 (fma.f64 ew (cbrt.f64 (pow.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))) 3)) (.f64 eh (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
	17.1b	(fabs.f64 (+.f64 (pow.f64 (sqrt.f64 (/.f64 (.f64 ew (sin.f64 t)) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))) 2) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	14.9b	(fabs.f64 (+.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 ew (sin.f64 t)) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))) 3)) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.5b	(fabs.f64 (+.f64 (pow.f64 (cbrt.f64 (/.f64 (.f64 ew (sin.f64 t)) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))) 3) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	7.1b	(fabs.f64 (fma.f64 ew (log.f64 (exp.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))))) (.f64 eh (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
	3.1b	(fabs.f64 (fma.f64 ew (/.f64 1 (/.f64 2 (+.f64 (sin.f64 (-.f64 t (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (sin.f64 (+.f64 t (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))) (.f64 eh (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
▶	0.1b	(fabs.f64 (fma.f64 ew (.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (.f64 eh (log1p.f64 (expm1.f64 (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))))
	0.2b	(fabs.f64 (fma.f64 ew (.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (.f64 eh (cbrt.f64 (*.f64 (pow.f64 (cos.f64 t) 3) (pow.f64 (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) 3))))))

Compiler

Compiled 6582 to 1887 computations (71.3% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))
✓	0.3b	(expm1.f64 (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))
	2.6b	(/.f64 (/.f64 eh ew) (tan.f64 t))
	36.6b	(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))

series6.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

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

rewrite50.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

238×	`expm1-udef_binary64`
238×	`log1p-udef_binary64`
207×	`log-pow_binary64`
165×	`log-div_binary64`
130×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	20
1	250	20
2	3387	20

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

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

Outputs

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

simplify55.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

871×	`fma-neg_binary64`
345×	`associate-l_binary64`
323×	`associate-r_binary64`
301×	`fma-def_binary64`
267×	`unswap-sqr_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	58	1113
1	163	1096
2	517	1036
3	2918	1030

Stop Event

1×	node limit

Counts

59 → 33

Calls

Call 1

Inputs
(-.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))) 1)
(-.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (+.f64 (.f64 1/2 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (pow.f64 t 2) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) 1))
(-.f64 (+.f64 (.f64 1/8 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (pow.f64 t 4) (pow.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) 2)))) (+.f64 (.f64 1/24 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (pow.f64 t 4) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (+.f64 (.f64 1/2 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (pow.f64 t 2) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) 1))
(-.f64 (+.f64 (.f64 1/8 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (pow.f64 t 4) (pow.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) 2)))) (+.f64 (.f64 1/24 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (pow.f64 t 4) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (+.f64 (.f64 1/2 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (pow.f64 t 2) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (+.f64 1 (+.f64 (.f64 1/48 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (pow.f64 t 6) (pow.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) 3)))) (+.f64 (.f64 1/48 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (pow.f64 t 6) (pow.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) 2)))) (.f64 1/720 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (pow.f64 t 6) (sin.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))))))))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)

Outputs
(-.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))) 1)
(expm1.f64 (sin.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))
(-.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (+.f64 (.f64 1/2 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (pow.f64 t 2) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) 1))
(-.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (fma.f64 1/2 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 t t))) 1))
(-.f64 (expm1.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 t t)) 1/2)))
(-.f64 (expm1.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 (*.f64 t t) 1/2))))
(+.f64 (expm1.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 t t)) -1/2)))
(-.f64 (+.f64 (.f64 1/8 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (pow.f64 t 4) (pow.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) 2)))) (+.f64 (.f64 1/24 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (pow.f64 t 4) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (+.f64 (.f64 1/2 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (pow.f64 t 2) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) 1))
(-.f64 (fma.f64 1/8 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (pow.f64 t 4) (pow.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) 2))) (fma.f64 1/24 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (pow.f64 t 4))) (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (fma.f64 1/2 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 t t))) 1))
(-.f64 (fma.f64 1/8 (.f64 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (pow.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) 2)) (pow.f64 t 4)) (fma.f64 1/24 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (pow.f64 t 4))) (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (fma.f64 1/2 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 t t))) 1))
(+.f64 (.f64 (+.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 (pow.f64 t 4) 1/24)) 1) (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) (+.f64 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (-.f64 (.f64 (pow.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) 2) (.f64 (pow.f64 t 4) 1/8)) (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 (.f64 t t) 1/2)))) -1))
(+.f64 (.f64 (+.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 (pow.f64 t 4) 1/24)) 1) (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) (fma.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (fma.f64 1/8 (.f64 (pow.f64 t 4) (pow.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) 2)) (.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 t t)) -1/2)) -1))
(-.f64 (+.f64 (.f64 1/8 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (pow.f64 t 4) (pow.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) 2)))) (+.f64 (.f64 1/24 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (pow.f64 t 4) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (+.f64 (.f64 1/2 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (pow.f64 t 2) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (+.f64 1 (+.f64 (.f64 1/48 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (pow.f64 t 6) (pow.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) 3)))) (+.f64 (.f64 1/48 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (pow.f64 t 6) (pow.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) 2)))) (.f64 1/720 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (pow.f64 t 6) (sin.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))))))))
(-.f64 (fma.f64 1/8 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (pow.f64 t 4) (pow.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) 2))) (fma.f64 1/24 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (pow.f64 t 4))) (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (+.f64 (fma.f64 1/2 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 t t))) 1) (fma.f64 1/48 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (pow.f64 t 6) (pow.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) 3))) (fma.f64 1/48 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (pow.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) 2) (pow.f64 t 6))) (.f64 1/720 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (sin.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (pow.f64 t 6))))))))
(-.f64 (fma.f64 1/8 (.f64 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (pow.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) 2)) (pow.f64 t 4)) (fma.f64 1/24 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (pow.f64 t 4))) (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (+.f64 (fma.f64 1/2 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 t t))) 1) (+.f64 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (pow.f64 t 6)) 1/720)) (.f64 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) 1/48) (+.f64 (.f64 (pow.f64 t 6) (pow.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) 3)) (.f64 (pow.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) 2) (pow.f64 t 6)))))))
(+.f64 (.f64 (+.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 (pow.f64 t 4) 1/24)) 1) (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) (-.f64 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (-.f64 (.f64 (pow.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) 2) (.f64 (pow.f64 t 4) 1/8)) (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 (.f64 t t) 1/2)))) (fma.f64 1/48 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (pow.f64 t 6) (+.f64 (pow.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) 3) (pow.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) 2)))) (fma.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 (pow.f64 t 6) 1/720)) 1))))
(+.f64 (.f64 (+.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 (pow.f64 t 4) 1/24)) 1) (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) (fma.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (fma.f64 1/8 (.f64 (pow.f64 t 4) (pow.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) 2)) (.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 t t)) -1/2)) (-.f64 -1 (fma.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 (pow.f64 t 6) 1/720)) (.f64 (.f64 (exp.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 1/48 (pow.f64 t 6))) (+.f64 (pow.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) 3) (pow.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) 2)))))))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))
(-.f64 (exp.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) 1)
(expm1.f64 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t)))

prune333.0ms (2.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	185	2	187
Fresh	0	7	7
Picked	1	0	1
Done	0	0	0
Total	186	9	195

Error

0.0b

Counts

195 → 9

Alt Table

Status	Error	Program
	5.1b	(fabs.f64 (fma.f64 ew (cbrt.f64 (pow.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))) 3)) (.f64 eh (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
	17.1b	(fabs.f64 (+.f64 (pow.f64 (sqrt.f64 (/.f64 (.f64 ew (sin.f64 t)) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))) 2) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.5b	(fabs.f64 (fma.f64 ew (.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (.f64 eh (log1p.f64 (cbrt.f64 (pow.f64 (expm1.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 ew (tan.f64 t))))))) 3))))))
	1.0b	(fabs.f64 (fma.f64 ew (.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (.f64 eh (log1p.f64 (pow.f64 (cbrt.f64 (expm1.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 ew (tan.f64 t)))))))) 3)))))
	14.9b	(fabs.f64 (+.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 ew (sin.f64 t)) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))) 3)) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.5b	(fabs.f64 (+.f64 (pow.f64 (cbrt.f64 (/.f64 (.f64 ew (sin.f64 t)) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))) 3) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	7.1b	(fabs.f64 (fma.f64 ew (log.f64 (exp.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))))) (.f64 eh (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
	3.1b	(fabs.f64 (fma.f64 ew (/.f64 1 (/.f64 2 (+.f64 (sin.f64 (-.f64 t (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (sin.f64 (+.f64 t (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))) (.f64 eh (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
▶	0.2b	(fabs.f64 (fma.f64 ew (.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (.f64 eh (cbrt.f64 (*.f64 (pow.f64 (cos.f64 t) 3) (pow.f64 (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) 3))))))

Compiler

Compiled 7674 to 2212 computations (71.2% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(pow.f64 (cos.f64 t) 3)
	2.6b	(/.f64 (/.f64 eh ew) (tan.f64 t))
✓	10.6b	(cbrt.f64 (*.f64 (pow.f64 (cos.f64 t) 3) (pow.f64 (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) 3)))
	36.6b	(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))

series6.0ms (0%)

Counts

2 → 40

Calls

12 calls:

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

rewrite63.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

277×	`expm1-udef_binary64`
277×	`log1p-udef_binary64`
157×	`add-sqr-sqrt_binary64`
154×	`pow1_binary64`
152×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	24
1	329	24
2	4093	24

Stop Event

1×	node limit

Counts

2 → 49

Calls

Call 1

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

Outputs

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

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

simplify43.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

647×	`associate-l_binary64`
579×	`fma-def_binary64`
402×	`cancel-sign-sub-inv_binary64`
339×	`fma-neg_binary64`
247×	`unswap-sqr_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	43	822
1	111	782
2	310	747
3	1108	727
4	4273	727

Stop Event

1×	node limit

Counts

89 → 65

Calls

Call 1

Inputs
(sin.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(-.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 1/2 (.f64 (pow.f64 t 2) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))))
(-.f64 (+.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 1/24 (.f64 (pow.f64 t 4) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (.f64 1/2 (.f64 (pow.f64 t 2) (sin.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))))
(-.f64 (+.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 1/24 (.f64 (pow.f64 t 4) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (+.f64 (.f64 1/2 (.f64 (pow.f64 t 2) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) (.f64 1/720 (.f64 (pow.f64 t 6) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
1
(-.f64 1 (*.f64 3/2 (pow.f64 t 2)))
(-.f64 (+.f64 (.f64 7/8 (pow.f64 t 4)) 1) (.f64 3/2 (pow.f64 t 2)))
(-.f64 (+.f64 (.f64 7/8 (pow.f64 t 4)) 1) (+.f64 (.f64 61/240 (pow.f64 t 6)) (*.f64 3/2 (pow.f64 t 2))))

Outputs
(sin.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))
(-.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 1/2 (.f64 (pow.f64 t 2) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))))
(+.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 -1/2 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (*.f64 t t))))
(+.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 (.f64 t (.f64 t (sin.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))) -1/2))
(.f64 (+.f64 (.f64 (.f64 t t) -1/2) 1) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (fma.f64 (*.f64 t t) -1/2 1))
(-.f64 (+.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 1/24 (.f64 (pow.f64 t 4) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (.f64 1/2 (.f64 (pow.f64 t 2) (sin.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))))))
(+.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (-.f64 (.f64 1/24 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (pow.f64 t 4))) (.f64 1/2 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 t t)))))
(+.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (-.f64 (.f64 1/24 (pow.f64 t 4)) (.f64 1/2 (.f64 t t)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (-.f64 (fma.f64 1/24 (pow.f64 t 4) 1) (.f64 t (.f64 t 1/2))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (fma.f64 (*.f64 t t) -1/2 (fma.f64 1/24 (pow.f64 t 4) 1)))
(-.f64 (+.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 1/24 (.f64 (pow.f64 t 4) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))) (+.f64 (.f64 1/2 (.f64 (pow.f64 t 2) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))) (.f64 1/720 (.f64 (pow.f64 t 6) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))))))
(-.f64 (+.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 1/24 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (pow.f64 t 4)))) (fma.f64 1/2 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 t t)) (.f64 1/720 (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (pow.f64 t 6)))))
(-.f64 (.f64 (+.f64 (.f64 1/24 (pow.f64 t 4)) 1) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew))))) (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (+.f64 (.f64 1/2 (.f64 t t)) (.f64 1/720 (pow.f64 t 6)))))
(+.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (-.f64 (.f64 1/24 (pow.f64 t 4)) (fma.f64 1/720 (pow.f64 t 6) (.f64 t (.f64 t 1/2))))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (-.f64 (fma.f64 1/24 (pow.f64 t 4) 1) (fma.f64 t (.f64 t 1/2) (.f64 1/720 (pow.f64 t 6)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (+.f64 (fma.f64 1/24 (pow.f64 t 4) 1) (fma.f64 (.f64 t t) -1/2 (.f64 (pow.f64 t 6) -1/720))))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
(.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))))
(.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 (tan.f64 t) ew)))) (cos.f64 t))
1
(-.f64 1 (*.f64 3/2 (pow.f64 t 2)))
(+.f64 1 (.f64 -3/2 (.f64 t t)))
(-.f64 1 (.f64 t (.f64 t 3/2)))
(fma.f64 (*.f64 t t) -3/2 1)
(fma.f64 t (*.f64 t -3/2) 1)
(-.f64 (+.f64 (.f64 7/8 (pow.f64 t 4)) 1) (.f64 3/2 (pow.f64 t 2)))
(+.f64 (fma.f64 7/8 (pow.f64 t 4) 1) (.f64 -3/2 (.f64 t t)))
(+.f64 (fma.f64 (pow.f64 t 4) 7/8 1) (.f64 (.f64 t t) -3/2))
(fma.f64 (*.f64 t t) -3/2 (fma.f64 (pow.f64 t 4) 7/8 1))
(fma.f64 (.f64 t t) (fma.f64 (.f64 t t) 7/8 -3/2) 1)
(fma.f64 t (*.f64 t -3/2) (fma.f64 (pow.f64 t 4) 7/8 1))
(-.f64 (+.f64 (.f64 7/8 (pow.f64 t 4)) 1) (+.f64 (.f64 61/240 (pow.f64 t 6)) (*.f64 3/2 (pow.f64 t 2))))
(-.f64 (fma.f64 7/8 (pow.f64 t 4) 1) (fma.f64 61/240 (pow.f64 t 6) (.f64 (.f64 t t) 3/2)))
(-.f64 (fma.f64 (pow.f64 t 4) 7/8 1) (fma.f64 (.f64 t t) 3/2 (.f64 (pow.f64 t 6) 61/240)))
(-.f64 (fma.f64 (pow.f64 t 4) 7/8 1) (fma.f64 t (.f64 t 3/2) (.f64 (pow.f64 t 6) 61/240)))
(fma.f64 t (*.f64 t -3/2) (fma.f64 (pow.f64 t 6) -61/240 (fma.f64 (pow.f64 t 4) 7/8 1)))

prune361.0ms (3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	191	0	191
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	191	9	200

Error

0.0b

Counts

200 → 9

Alt Table

Status	Error	Program
	5.1b	(fabs.f64 (fma.f64 ew (cbrt.f64 (pow.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))) 3)) (.f64 eh (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
	17.1b	(fabs.f64 (+.f64 (pow.f64 (sqrt.f64 (/.f64 (.f64 ew (sin.f64 t)) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))) 2) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.5b	(fabs.f64 (fma.f64 ew (.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (.f64 eh (log1p.f64 (cbrt.f64 (pow.f64 (expm1.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 ew (tan.f64 t))))))) 3))))))
	1.0b	(fabs.f64 (fma.f64 ew (.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (.f64 eh (log1p.f64 (pow.f64 (cbrt.f64 (expm1.f64 (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (.f64 ew (tan.f64 t)))))))) 3)))))
	14.9b	(fabs.f64 (+.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 ew (sin.f64 t)) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))) 3)) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.5b	(fabs.f64 (+.f64 (pow.f64 (cbrt.f64 (/.f64 (.f64 ew (sin.f64 t)) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))) 3) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	7.1b	(fabs.f64 (fma.f64 ew (log.f64 (exp.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))))) (.f64 eh (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
	3.1b	(fabs.f64 (fma.f64 ew (/.f64 1 (/.f64 2 (+.f64 (sin.f64 (-.f64 t (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (sin.f64 (+.f64 t (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))) (.f64 eh (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
✓	0.2b	(fabs.f64 (fma.f64 ew (.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (.f64 eh (cbrt.f64 (*.f64 (pow.f64 (cos.f64 t) 3) (pow.f64 (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) 3))))))

Compiler

Compiled 7416 to 2711 computations (63.4% saved)

regimes324.0ms (2.7%)

Accuracy

Total 0.1b remaining (47.2%)

Threshold costs 0.1b (47.2%)

Counts

112 → 1

Compiler

Compiled 3478 to 797 computations (77.1% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	4294967295
1	27	4294967295

Stop Event

1×

saturated

Calls

Call 1

Inputs

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

Outputs

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

end224.0ms (1.9%)

Stop Event

1×

fuel

Compiler

Compiled 384 to 233 computations (39.3% saved)

Details

analyze3.2s (27%)

sample6.3s (53.2%)

preprocess23.0ms (0.2%)

simplify8.0ms (0.1%)

prune4.0ms (0%)

localize21.0ms (0.2%)

series38.0ms (0.3%)

rewrite61.0ms (0.5%)

simplify60.0ms (0.5%)

prune168.0ms (1.4%)

localize21.0ms (0.2%)

series13.0ms (0.1%)

rewrite61.0ms (0.5%)

simplify59.0ms (0.5%)

prune312.0ms (2.6%)

localize24.0ms (0.2%)

series6.0ms (0.1%)

rewrite50.0ms (0.4%)

simplify55.0ms (0.5%)

prune333.0ms (2.8%)

localize25.0ms (0.2%)

series6.0ms (0%)

rewrite63.0ms (0.5%)

simplify43.0ms (0.4%)

prune361.0ms (3%)

regimes324.0ms (2.7%)

simplify2.0ms (0%)

end224.0ms (1.9%)

Profiling