Details

analyze3.3s (26.8%)

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
6.2%	93.6%	0.1%	7
9.4%	90.5%	0.1%	8
23.4%	76.5%	0.1%	9
23.4%	76.5%	0.1%	10
27.3%	72.5%	0.1%	11
35.5%	64.4%	0.1%	12
35.5%	64.4%	0.1%	13
38%	61.8%	0.1%	14

Compiler

Compiled 34 to 19 computations (44.1% saved)

sample6.2s (50.1%)

Results

3.3s	2087×	body	1024	valid
1.6s	4695×	body	128	valid
966.0ms	981×	body	512	valid
318.0ms	482×	body	256	valid
44.0ms	11×	body	2048	valid

Compiler

Compiled 68 to 38 computations (44.1% saved)

preprocess64.0ms (0.5%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

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

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

Compiler

Compiled 33 to 18 computations (45.5% saved)

simplify36.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs

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

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

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.1b

Counts

3 → 1

Alt Table

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

Status

Error

Program

▶

0.1b

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

Compiler

Compiled 129 to 64 computations (50.4% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series28.0ms (0.2%)

Counts

4 → 120

Calls

30 calls:

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

rewrite62.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

630×	`log-prod_binary64`
217×	`expm1-udef_binary64`
217×	`log1p-udef_binary64`
187×	`log-pow_binary64`
131×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	40
1	251	34
2	3416	34

Stop Event

1×	node limit

Counts

4 → 115

Calls

Call 1

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

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

simplify75.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

308×	`fma-def_binary64`
294×	`distribute-lft-neg-in_binary64`
285×	`distribute-rgt-neg-in_binary64`
206×	`associate-/r/_binary64`
185×	`sub-neg_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	71	1714
1	221	1701
2	762	1680
3	2962	1670

Stop Event

1×	node limit

Counts

235 → 146

Calls

Call 1

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

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

prune170.0ms (1.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	235	2	237
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	235	3	238

Error

0.1b

Counts

238 → 3

Alt Table

Status	Error	Program
✓	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	25.6b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (pow.f64 (sqrt.f64 (.f64 eh (sin.f64 t))) 2) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
▶	0.6b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 3) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Status

Error

Program

✓

0.1b

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

25.6b

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

▶

0.6b

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

Compiler

Compiled 8516 to 2197 computations (74.2% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))) 3)
	2.2b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	10.2b	(cbrt.f64 (*.f64 eh (sin.f64 t)))
	22.8b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series22.0ms (0.2%)

Counts

2 → 16

Calls

12 calls:

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

rewrite59.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 56

Calls

Call 1

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

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

Outputs

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

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

simplify72.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

72 → 58

Calls

Call 1

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

Outputs
(pow.f64 (*.f64 (sin.f64 t) eh) 1/3)
(cbrt.f64 (*.f64 (sin.f64 t) eh))
(pow.f64 (*.f64 (sin.f64 t) eh) 1/3)
(cbrt.f64 (*.f64 (sin.f64 t) eh))
(pow.f64 (*.f64 (sin.f64 t) eh) 1/3)
(cbrt.f64 (*.f64 (sin.f64 t) eh))
(pow.f64 (*.f64 (sin.f64 t) eh) 1/3)
(cbrt.f64 (*.f64 (sin.f64 t) eh))
(pow.f64 (*.f64 (sin.f64 t) eh) 1/3)
(cbrt.f64 (*.f64 (sin.f64 t) eh))
(pow.f64 (*.f64 (sin.f64 t) eh) 1/3)
(cbrt.f64 (*.f64 (sin.f64 t) eh))
(pow.f64 (*.f64 (sin.f64 t) eh) 1/3)
(cbrt.f64 (*.f64 (sin.f64 t) eh))
(pow.f64 (*.f64 (sin.f64 t) eh) 1/3)
(cbrt.f64 (*.f64 (sin.f64 t) eh))
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)
(*.f64 (sin.f64 t) eh)

prune421.0ms (3.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	199	5	204
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	200	7	207

Error

0.1b

Counts

207 → 7

Alt Table

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

Compiler

Compiled 8245 to 2347 computations (71.5% saved)

localize27.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.7b	(cbrt.f64 (sin.f64 t))
	2.2b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
	10.2b	(cbrt.f64 (*.f64 eh (sin.f64 t)))
	22.8b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series5.0ms (0%)

Counts

1 → 8

Calls

3 calls:

Time	Variable		Point	Expression
2.0ms	t	@	-inf	(cbrt.f64 (sin.f64 t))
2.0ms	t	@	inf	(cbrt.f64 (sin.f64 t))
1.0ms	t	@	0	(cbrt.f64 (sin.f64 t))

rewrite28.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

342×	`pow1_binary64`
330×	`add-sqr-sqrt_binary64`
317×	`add-log-exp_binary64`
317×	`log1p-expm1-u_binary64`
317×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	5
1	76	5
2	865	5

Stop Event

1×	node limit

Counts

1 → 18

Calls

Call 1

Inputs
(cbrt.f64 (sin.f64 t))

Outputs

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

simplify65.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

731×	`sqr-pow_binary64`
370×	`cube-prod_binary64`
362×	`unswap-sqr_binary64`
313×	`pow-sqr_binary64`
282×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	40
1	11	40
2	16	40
3	25	40
4	47	40
5	137	40
6	497	40
7	1159	40
8	1249	40
9	1385	40
10	1546	40
11	1777	40
12	2102	40
13	2526	40
14	3029	40
15	3629	40
16	4356	40
17	4675	40
18	4961	40

Stop Event

1×	node limit

Counts

26 → 19

Calls

Call 1

Inputs
(pow.f64 (sin.f64 t) 1/3)
(pow.f64 (sin.f64 t) 1/3)
(pow.f64 (sin.f64 t) 1/3)
(pow.f64 (sin.f64 t) 1/3)
(pow.f64 (sin.f64 t) 1/3)
(pow.f64 (sin.f64 t) 1/3)
(pow.f64 (sin.f64 t) 1/3)
(pow.f64 (sin.f64 t) 1/3)

Outputs
(pow.f64 (sin.f64 t) 1/3)
(cbrt.f64 (sin.f64 t))
(pow.f64 (sin.f64 t) 1/3)
(cbrt.f64 (sin.f64 t))
(pow.f64 (sin.f64 t) 1/3)
(cbrt.f64 (sin.f64 t))
(pow.f64 (sin.f64 t) 1/3)
(cbrt.f64 (sin.f64 t))
(pow.f64 (sin.f64 t) 1/3)
(cbrt.f64 (sin.f64 t))
(pow.f64 (sin.f64 t) 1/3)
(cbrt.f64 (sin.f64 t))
(pow.f64 (sin.f64 t) 1/3)
(cbrt.f64 (sin.f64 t))
(pow.f64 (sin.f64 t) 1/3)
(cbrt.f64 (sin.f64 t))

prune363.0ms (2.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	189	0	189
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	189	7	196

Error

0.1b

Counts

196 → 7

Alt Table

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

Compiler

Compiled 8970 to 2624 computations (70.7% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(pow.f64 (cbrt.f64 eh) 2)
✓	0.6b	(cbrt.f64 eh)
	2.2b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
	22.8b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series4.0ms (0%)

Counts

2 → 0

Calls

6 calls:

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

rewrite35.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 36

Calls

Call 1

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

Outputs

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

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

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

36 → 36

Calls

Call 1

Inputs

Outputs

prune433.0ms (3.5%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	200	2	202
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	200	9	209

Error

0.1b

Counts

209 → 9

Alt Table

Status	Error	Program
	0.6b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (pow.f64 (cbrt.f64 (sin.f64 t)) 2) (.f64 (cbrt.f64 (sin.f64 t)) eh)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.7b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (pow.f64 (.f64 (cbrt.f64 eh) (cbrt.f64 (sin.f64 t))) 3) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.6b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 eh (pow.f64 (cbrt.f64 (sin.f64 t)) 2)) (cbrt.f64 (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	0.5b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (pow.f64 (cbrt.f64 eh) 2) (.f64 (cbrt.f64 eh) (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	0.5b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (cbrt.f64 eh) (.f64 (cbrt.f64 (sin.f64 t)) (pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 2))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	14.4b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (cbrt.f64 (.f64 eh eh)) (.f64 (cbrt.f64 eh) (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.6b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (pow.f64 (cbrt.f64 eh) 2) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 eh)) 3) (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	25.6b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (pow.f64 (sqrt.f64 (.f64 eh (sin.f64 t))) 2) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 8605 to 2491 computations (71.1% saved)

regimes566.0ms (4.6%)

Accuracy

Total 0.0b remaining (33.3%)

Threshold costs 0.0b (33.3%)

Counts

135 → 1

Compiler

Compiled 4798 to 1281 computations (73.3% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

20×	`*-commutative_binary64`
15×	`+-commutative_binary64`
15×	`sub-neg_binary64`
13×	`neg-sub0_binary64`
13×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	48
1	41	48
2	74	48
3	106	48
4	127	48
5	138	48
6	140	48

Stop Event

1×

saturated

Calls

Call 1

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

Outputs

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

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

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

end251.0ms (2%)

Stop Event

1×

fuel

Compiler

Compiled 413 to 241 computations (41.6% saved)

Details

analyze3.3s (26.8%)

sample6.2s (50.1%)

preprocess64.0ms (0.5%)

simplify36.0ms (0.3%)

prune3.0ms (0%)

localize20.0ms (0.2%)

series28.0ms (0.2%)

rewrite62.0ms (0.5%)

simplify75.0ms (0.6%)

prune170.0ms (1.4%)

localize23.0ms (0.2%)

series22.0ms (0.2%)

rewrite59.0ms (0.5%)

simplify72.0ms (0.6%)

prune421.0ms (3.4%)

localize27.0ms (0.2%)

series5.0ms (0%)

rewrite28.0ms (0.2%)

simplify65.0ms (0.5%)

prune363.0ms (2.9%)

localize24.0ms (0.2%)

series4.0ms (0%)

rewrite35.0ms (0.3%)

simplify7.0ms (0.1%)

prune433.0ms (3.5%)

regimes566.0ms (4.6%)

simplify4.0ms (0%)

end251.0ms (2%)

Profiling