Details

analyze21.0ms (0.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	25%	75%	0
0%	25%	75%	1
12.5%	12.5%	75%	2
12.5%	12.5%	75%	3
18.7%	6.2%	75%	4
21.8%	3.1%	75%	5
23.4%	1.6%	75%	6
23.4%	1.6%	75%	7
24.2%	0.8%	75%	8
24.2%	0.8%	75%	9
24.6%	0.4%	75%	10
24.6%	0.4%	75%	11
24.8%	0.2%	75%	12
24.8%	0.2%	75%	13
24.9%	0.1%	75%	14

Compiler

Compiled 20 to 14 computations (30% saved)

sample2.8s (68.9%)

Results

1.5s	2099×	body	1024	valid
686.0ms	4541×	body	128	valid
445.0ms	1065×	body	512	valid
163.0ms	546×	body	256	valid
7.0ms	5×	body	2048	valid

Compiler

Compiled 40 to 28 computations (30% saved)

preprocess15.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

8×	`*-commutative_binary64`
4×	`associate-/l*_binary64`
4×	`associate-/r/_binary64`
4×	`fma-def_binary64`
2×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	34
1	28	30
2	40	30
3	46	30
4	48	30
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
2×	`associate-/r/_binary64`
2×	`fma-def_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	17
1	17	15
2	23	15
3	26	15
4	27	15

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

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

prune3.0ms (0.1%)

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	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))

Compiler

Compiled 49 to 31 computations (36.7% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series17.0ms (0.4%)

Counts

4 → 56

Calls

21 calls:

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

rewrite53.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

370×	`prod-diff_binary64`
254×	`fma-def_binary64`
187×	`expm1-udef_binary64`
187×	`log1p-udef_binary64`
157×	`log-pow_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	32
1	207	30
2	2824	30

Stop Event

1×	node limit

Counts

4 → 100

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (fma.f64 e (cos.f64 v) 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 e (cos.f64 v)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 e (cos.f64 v))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 e (cos.f64 v))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 e (cos.f64 v)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 e (cos.f64 v)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 e) (cos.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 e (cos.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 e (cos.f64 v)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 e (cos.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 e (cos.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 e (cos.f64 v))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 e (cos.f64 v) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 e (cos.f64 v) 1) 1 -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) (pow.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) 2) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) 2) (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (fma.f64 e (cos.f64 v) 1)) (sqrt.f64 (fma.f64 e (cos.f64 v) 1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 1 (pow.f64 (.f64 e (cos.f64 v)) 3)) (/.f64 1 (fma.f64 (.f64 e (cos.f64 v)) (fma.f64 e (cos.f64 v) -1) 1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 1 (pow.f64 (.f64 e (cos.f64 v)) 2)) (/.f64 1 (-.f64 1 (.f64 e (cos.f64 v)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 e (cos.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (.f64 (log1p.f64 (.f64 e (cos.f64 v))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 e (sin.f64 v)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 e (sin.f64 v)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 e (sin.f64 v)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 e (sin.f64 v))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 e (sin.f64 v))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 e (sin.f64 v)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 e) (sin.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 e (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 e (sin.f64 v)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 e 3) (pow.f64 (sin.f64 v) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (sin.f64 v) 3) (pow.f64 e 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 e (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 e (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 e (sin.f64 v))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 e (sin.f64 v))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (sin.f64 v))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (sin.f64 (exp.f64 (log1p.f64 v))) (cos.f64 1)) (.f64 (cos.f64 (exp.f64 (log1p.f64 v))) (sin.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sin.f64 v) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (sin.f64 v))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (sin.f64 v)) (pow.f64 (cbrt.f64 (sin.f64 v)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (sin.f64 v)) 2) (cbrt.f64 (sin.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (sin.f64 v)) (sqrt.f64 (sin.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sin.f64 v) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (sin.f64 v) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sin.f64 v)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (sin.f64 v)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (sin.f64 v) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sin.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (sin.f64 v) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sin.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sin.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (sin.f64 v)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sin.f64 v)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 e (/.f64 1 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 e (.f64 (sin.f64 v) (/.f64 1 (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sin.f64 v) (.f64 e (/.f64 1 (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 e (sin.f64 v)) (/.f64 1 (fma.f64 e (cos.f64 v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))) (cbrt.f64 (pow.f64 (.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v)) 2)) (cbrt.f64 (.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (.f64 e (sin.f64 v)) 2)) (.f64 (cbrt.f64 (.f64 e (sin.f64 v))) (/.f64 1 (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))) (sqrt.f64 (.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (.f64 e (sin.f64 v))) (.f64 (sqrt.f64 (.f64 e (sin.f64 v))) (/.f64 1 (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (sin.f64 v) (neg.f64 e)) (/.f64 1 (neg.f64 (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (fma.f64 e (cos.f64 v) 1)) (.f64 e (sin.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 e 1) (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sin.f64 v) 1) (/.f64 e (fma.f64 e (cos.f64 v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (pow.f64 (.f64 e (sin.f64 v)) 2)) 1) (/.f64 (cbrt.f64 (.f64 e (sin.f64 v))) (fma.f64 e (cos.f64 v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (.f64 e (sin.f64 v))) 1) (/.f64 (sqrt.f64 (.f64 e (sin.f64 v))) (fma.f64 e (cos.f64 v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 e (pow.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) 2)) (/.f64 (sin.f64 v) (cbrt.f64 (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sin.f64 v) (pow.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) 2)) (/.f64 e (cbrt.f64 (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (pow.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) 2)) (/.f64 (.f64 e (sin.f64 v)) (cbrt.f64 (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (pow.f64 (.f64 e (sin.f64 v)) 2)) (pow.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) 2)) (cbrt.f64 (.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (.f64 e (sin.f64 v))) (pow.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) 2)) (/.f64 (sqrt.f64 (.f64 e (sin.f64 v))) (cbrt.f64 (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 e (sqrt.f64 (fma.f64 e (cos.f64 v) 1))) (/.f64 (sin.f64 v) (sqrt.f64 (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sin.f64 v) (sqrt.f64 (fma.f64 e (cos.f64 v) 1))) (/.f64 e (sqrt.f64 (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (sqrt.f64 (fma.f64 e (cos.f64 v) 1))) (/.f64 (.f64 e (sin.f64 v)) (sqrt.f64 (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (pow.f64 (.f64 e (sin.f64 v)) 2)) (sqrt.f64 (fma.f64 e (cos.f64 v) 1))) (/.f64 (cbrt.f64 (.f64 e (sin.f64 v))) (sqrt.f64 (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (pow.f64 (.f64 e (cos.f64 v)) 3))) (fma.f64 (.f64 e (cos.f64 v)) (fma.f64 e (cos.f64 v) -1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (.f64 e (sin.f64 v)) (-.f64 1 (pow.f64 (.f64 e (cos.f64 v)) 2))) (-.f64 1 (.f64 e (cos.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (.f64 e (sin.f64 v))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (.f64 e (sin.f64 v)) (neg.f64 (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (.f64 e (sin.f64 v)) 3) (pow.f64 (fma.f64 e (cos.f64 v) 1) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))))))))

simplify33.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

693×	`times-frac_binary64`
516×	`fma-def_binary64`
479×	`associate-/l*_binary64`
349×	`cancel-sign-sub-inv_binary64`
147×	`fma-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	137	1225
1	427	1178
2	1630	1126

Stop Event

1×	node limit

Counts

156 → 146

Calls

Call 1

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

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

prune123.0ms (3.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	139	7	146
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	140	7	147

Error

0.0b

Counts

147 → 7

Alt Table

Status	Error	Program
	0.5b	(pow.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v))) -1)
	14.6b	(/.f64 (.f64 e (-.f64 (exp.f64 (log1p.f64 (sin.f64 v))) 1)) (+.f64 1 (.f64 e (cos.f64 v))))
	33.8b	(/.f64 (cbrt.f64 (.f64 (pow.f64 e 3) (pow.f64 (sin.f64 v) 3))) (+.f64 1 (.f64 e (cos.f64 v))))
	24.5b	(/.f64 (pow.f64 (sqrt.f64 (.f64 e (sin.f64 v))) 2) (+.f64 1 (.f64 e (cos.f64 v))))
	1.2b	(/.f64 (pow.f64 (cbrt.f64 (.f64 e (sin.f64 v))) 3) (+.f64 1 (.f64 e (cos.f64 v))))
▶	0.2b	(/.f64 (.f64 e (log1p.f64 (expm1.f64 (sin.f64 v)))) (+.f64 1 (.f64 e (cos.f64 v))))
	31.2b	(/.f64 (.f64 e (pow.f64 (sqrt.f64 (sin.f64 v)) 2)) (+.f64 1 (.f64 e (cos.f64 v))))

Compiler

Compiled 3072 to 1671 computations (45.6% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 e (log1p.f64 (expm1.f64 (sin.f64 v))))
	0.2b	(*.f64 e (cos.f64 v))
✓	0.2b	(expm1.f64 (sin.f64 v))
✓	0.2b	(log1p.f64 (expm1.f64 (sin.f64 v)))

series5.0ms (0.1%)

Counts

3 → 48

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	v	@	inf	(*.f64 e (log1p.f64 (expm1.f64 (sin.f64 v))))
0.0ms	v	@	0	(expm1.f64 (sin.f64 v))
0.0ms	v	@	0	(log1p.f64 (expm1.f64 (sin.f64 v)))
0.0ms	v	@	inf	(expm1.f64 (sin.f64 v))
0.0ms	v	@	-inf	(expm1.f64 (sin.f64 v))

rewrite38.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

543×	`pow1_binary64`
498×	`expm1-log1p-u_binary64`
497×	`add-log-exp_binary64`
497×	`log1p-expm1-u_binary64`
485×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	14
1	119	14
2	1356	14

Stop Event

1×	node limit

Counts

3 → 47

Calls

Call 1

Inputs
(log1p.f64 (expm1.f64 (sin.f64 v)))
(expm1.f64 (sin.f64 v))
(*.f64 e (log1p.f64 (expm1.f64 (sin.f64 v))))

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

Outputs

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

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

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

simplify31.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

500×	`fma-neg_binary64`
404×	`distribute-rgt-neg-in_binary64`
331×	`distribute-lft-neg-in_binary64`
281×	`sub-neg_binary64`
234×	`*-commutative_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	51	374
1	149	356
2	435	340
3	1579	340
4	3322	340

Stop Event

1×	node limit

Counts

95 → 70

Calls

Call 1

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

Outputs
v
(-.f64 v (*.f64 1/6 (pow.f64 v 3)))
(+.f64 v (*.f64 -1/6 (pow.f64 v 3)))
(+.f64 v (*.f64 (pow.f64 v 3) -1/6))
(fma.f64 (pow.f64 v 3) -1/6 v)
(-.f64 (+.f64 (.f64 1/120 (pow.f64 v 5)) v) (.f64 1/6 (pow.f64 v 3)))
(-.f64 (fma.f64 1/120 (pow.f64 v 5) v) (*.f64 1/6 (pow.f64 v 3)))
(+.f64 (fma.f64 1/120 (pow.f64 v 5) v) (*.f64 (pow.f64 v 3) -1/6))
(fma.f64 (pow.f64 v 3) -1/6 (fma.f64 1/120 (pow.f64 v 5) v))
(-.f64 (+.f64 (.f64 1/120 (pow.f64 v 5)) v) (+.f64 (.f64 1/6 (pow.f64 v 3)) (*.f64 1/5040 (pow.f64 v 7))))
(-.f64 (fma.f64 1/120 (pow.f64 v 5) v) (fma.f64 1/6 (pow.f64 v 3) (*.f64 1/5040 (pow.f64 v 7))))
(+.f64 (fma.f64 1/120 (pow.f64 v 5) v) (fma.f64 (pow.f64 v 3) -1/6 (*.f64 (pow.f64 v 7) -1/5040)))
(+.f64 (fma.f64 (pow.f64 v 3) -1/6 v) (fma.f64 1/120 (pow.f64 v 5) (*.f64 (pow.f64 v 7) -1/5040)))
(sin.f64 v)
(sin.f64 v)
(sin.f64 v)
(sin.f64 v)
(sin.f64 v)
(sin.f64 v)
(sin.f64 v)
(sin.f64 v)
v
(+.f64 v (*.f64 1/2 (pow.f64 v 2)))
(+.f64 v (.f64 1/2 (.f64 v v)))
(fma.f64 1/2 (*.f64 v v) v)
(fma.f64 v (*.f64 v 1/2) v)
(-.f64 (+.f64 v (.f64 1/2 (pow.f64 v 2))) (.f64 1/8 (pow.f64 v 4)))
(+.f64 v (-.f64 (.f64 1/2 (.f64 v v)) (*.f64 1/8 (pow.f64 v 4))))
(+.f64 v (fma.f64 1/2 (.f64 v v) (.f64 (pow.f64 v 4) -1/8)))
(fma.f64 (pow.f64 v 4) -1/8 (fma.f64 v (*.f64 v 1/2) v))
(fma.f64 (pow.f64 v 4) -1/8 (fma.f64 1/2 (*.f64 v v) v))
(-.f64 (+.f64 v (.f64 1/2 (pow.f64 v 2))) (+.f64 (.f64 1/15 (pow.f64 v 5)) (*.f64 1/8 (pow.f64 v 4))))
(-.f64 (+.f64 v (.f64 1/2 (.f64 v v))) (fma.f64 1/15 (pow.f64 v 5) (*.f64 1/8 (pow.f64 v 4))))
(-.f64 (fma.f64 1/2 (.f64 v v) v) (fma.f64 (pow.f64 v 5) 1/15 (.f64 1/8 (pow.f64 v 4))))
(fma.f64 1/2 (.f64 v v) (-.f64 v (fma.f64 (pow.f64 v 5) 1/15 (.f64 1/8 (pow.f64 v 4)))))
(-.f64 (fma.f64 1/2 (.f64 v v) v) (fma.f64 1/8 (pow.f64 v 4) (.f64 (pow.f64 v 5) 1/15)))
(-.f64 (exp.f64 (sin.f64 v)) 1)
(expm1.f64 (sin.f64 v))
(-.f64 (exp.f64 (sin.f64 v)) 1)
(expm1.f64 (sin.f64 v))
(-.f64 (exp.f64 (sin.f64 v)) 1)
(expm1.f64 (sin.f64 v))
(-.f64 (exp.f64 (sin.f64 v)) 1)
(expm1.f64 (sin.f64 v))
(-.f64 (exp.f64 (sin.f64 v)) 1)
(expm1.f64 (sin.f64 v))
(-.f64 (exp.f64 (sin.f64 v)) 1)
(expm1.f64 (sin.f64 v))
(-.f64 (exp.f64 (sin.f64 v)) 1)
(expm1.f64 (sin.f64 v))
(-.f64 (exp.f64 (sin.f64 v)) 1)
(expm1.f64 (sin.f64 v))
(*.f64 e (sin.f64 v))
(*.f64 (sin.f64 v) e)
(*.f64 e (sin.f64 v))
(*.f64 (sin.f64 v) e)
(*.f64 e (sin.f64 v))
(*.f64 (sin.f64 v) e)
(*.f64 e (sin.f64 v))
(*.f64 (sin.f64 v) e)
(*.f64 e (sin.f64 v))
(*.f64 (sin.f64 v) e)
(*.f64 e (sin.f64 v))
(*.f64 (sin.f64 v) e)
(*.f64 e (sin.f64 v))
(*.f64 (sin.f64 v) e)
(*.f64 e (sin.f64 v))
(*.f64 (sin.f64 v) e)
(*.f64 e (sin.f64 v))
(*.f64 (sin.f64 v) e)
(*.f64 e (sin.f64 v))
(*.f64 (sin.f64 v) e)
(*.f64 e (sin.f64 v))
(*.f64 (sin.f64 v) e)
(*.f64 e (sin.f64 v))
(*.f64 (sin.f64 v) e)
(*.f64 v e)
(-.f64 (.f64 v e) (.f64 1/6 (*.f64 (pow.f64 v 3) e)))
(+.f64 (.f64 v e) (.f64 -1/6 (*.f64 (pow.f64 v 3) e)))
(.f64 e (+.f64 v (.f64 (pow.f64 v 3) -1/6)))
(*.f64 e (fma.f64 (pow.f64 v 3) -1/6 v))
(-.f64 (+.f64 (.f64 v e) (.f64 1/120 (.f64 (pow.f64 v 5) e))) (.f64 1/6 (*.f64 (pow.f64 v 3) e)))
(+.f64 (fma.f64 v e (.f64 1/120 (.f64 (pow.f64 v 5) e))) (.f64 -1/6 (.f64 (pow.f64 v 3) e)))
(+.f64 (.f64 e (fma.f64 1/120 (pow.f64 v 5) v)) (.f64 (*.f64 -1/6 e) (pow.f64 v 3)))
(*.f64 e (fma.f64 (pow.f64 v 3) -1/6 (fma.f64 1/120 (pow.f64 v 5) v)))
(-.f64 (+.f64 (.f64 v e) (.f64 1/120 (.f64 (pow.f64 v 5) e))) (+.f64 (.f64 1/5040 (.f64 (pow.f64 v 7) e)) (.f64 1/6 (*.f64 (pow.f64 v 3) e))))
(-.f64 (fma.f64 v e (.f64 1/120 (.f64 (pow.f64 v 5) e))) (fma.f64 1/5040 (.f64 (pow.f64 v 7) e) (.f64 1/6 (*.f64 (pow.f64 v 3) e))))
(-.f64 (.f64 e (fma.f64 1/120 (pow.f64 v 5) v)) (.f64 e (fma.f64 1/6 (pow.f64 v 3) (*.f64 1/5040 (pow.f64 v 7)))))
(.f64 e (+.f64 (fma.f64 1/120 (pow.f64 v 5) v) (fma.f64 (pow.f64 v 3) -1/6 (.f64 (pow.f64 v 7) -1/5040))))
(.f64 e (+.f64 (fma.f64 (pow.f64 v 3) -1/6 v) (fma.f64 1/120 (pow.f64 v 5) (.f64 (pow.f64 v 7) -1/5040))))
(*.f64 e (sin.f64 v))
(*.f64 (sin.f64 v) e)
(*.f64 e (sin.f64 v))
(*.f64 (sin.f64 v) e)
(*.f64 e (sin.f64 v))
(*.f64 (sin.f64 v) e)
(*.f64 e (sin.f64 v))
(*.f64 (sin.f64 v) e)
(*.f64 e (sin.f64 v))
(*.f64 (sin.f64 v) e)
(*.f64 e (sin.f64 v))
(*.f64 (sin.f64 v) e)
(*.f64 e (sin.f64 v))
(*.f64 (sin.f64 v) e)
(*.f64 e (sin.f64 v))
(*.f64 (sin.f64 v) e)

prune76.0ms (1.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	99	0	99
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	99	7	106

Error

0.0b

Counts

106 → 7

Alt Table

Status	Error	Program
▶	0.5b	(pow.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v))) -1)
	14.6b	(/.f64 (.f64 e (-.f64 (exp.f64 (log1p.f64 (sin.f64 v))) 1)) (+.f64 1 (.f64 e (cos.f64 v))))
	33.8b	(/.f64 (cbrt.f64 (.f64 (pow.f64 e 3) (pow.f64 (sin.f64 v) 3))) (+.f64 1 (.f64 e (cos.f64 v))))
	24.5b	(/.f64 (pow.f64 (sqrt.f64 (.f64 e (sin.f64 v))) 2) (+.f64 1 (.f64 e (cos.f64 v))))
	1.2b	(/.f64 (pow.f64 (cbrt.f64 (.f64 e (sin.f64 v))) 3) (+.f64 1 (.f64 e (cos.f64 v))))
✓	0.2b	(/.f64 (.f64 e (log1p.f64 (expm1.f64 (sin.f64 v)))) (+.f64 1 (.f64 e (cos.f64 v))))
	31.2b	(/.f64 (.f64 e (pow.f64 (sqrt.f64 (sin.f64 v)) 2)) (+.f64 1 (.f64 e (cos.f64 v))))

Compiler

Compiled 1954 to 1003 computations (48.7% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(sin.f64 v)
	0.1b	(*.f64 e (sin.f64 v))
✓	0.2b	(/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))
✓	0.6b	(pow.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v))) -1)

series11.0ms (0.3%)

Counts

2 → 48

Calls

12 calls:

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

rewrite50.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

534×	`log-prod_binary64`
189×	`expm1-udef_binary64`
189×	`log1p-udef_binary64`
179×	`pow3_binary64`
163×	`log-pow_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	33
1	220	30
2	2749	30

Stop Event

1×	node limit

Counts

2 → 97

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))))) (cbrt.f64 (exp.f64 (/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 e (sin.f64 v)) (/.f64 1 (fma.f64 e (cos.f64 v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))) (pow.f64 (cbrt.f64 (/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))) 2) (cbrt.f64 (/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))) (sqrt.f64 (/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))) 2)) (cbrt.f64 (/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 e 1) (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sin.f64 v) 1) (/.f64 e (fma.f64 e (cos.f64 v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 e (sin.f64 v))) 2) 1) (/.f64 (cbrt.f64 (*.f64 e (sin.f64 v))) (fma.f64 e (cos.f64 v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (*.f64 e (sin.f64 v))) 1) (/.f64 (sqrt.f64 (*.f64 e (sin.f64 v))) (fma.f64 e (cos.f64 v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 e (pow.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) 2)) (/.f64 (sin.f64 v) (cbrt.f64 (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) 2)) (/.f64 (*.f64 e (sin.f64 v)) (cbrt.f64 (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sin.f64 v) (pow.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) 2)) (/.f64 e (cbrt.f64 (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 e (sin.f64 v))) 2) (pow.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) 2)) (/.f64 (cbrt.f64 (*.f64 e (sin.f64 v))) (cbrt.f64 (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (*.f64 e (sin.f64 v))) (pow.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) 2)) (/.f64 (sqrt.f64 (*.f64 e (sin.f64 v))) (cbrt.f64 (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 e (sqrt.f64 (fma.f64 e (cos.f64 v) 1))) (/.f64 (sin.f64 v) (sqrt.f64 (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sin.f64 v) (sqrt.f64 (fma.f64 e (cos.f64 v) 1))) (/.f64 e (sqrt.f64 (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 (fma.f64 e (cos.f64 v) 1))) (/.f64 (*.f64 e (sin.f64 v)) (sqrt.f64 (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 e (sin.f64 v))) 2) (sqrt.f64 (fma.f64 e (cos.f64 v) 1))) (/.f64 (cbrt.f64 (*.f64 e (sin.f64 v))) (sqrt.f64 (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (*.f64 e (sin.f64 v))) (sqrt.f64 (fma.f64 e (cos.f64 v) 1))) (/.f64 (sqrt.f64 (*.f64 e (sin.f64 v))) (sqrt.f64 (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (fma.f64 e (cos.f64 v) 1)) (*.f64 e (sin.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (fma.f64 e (cos.f64 v) 1)) (pow.f64 (/.f64 1 (*.f64 e (sin.f64 v))) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (neg.f64 (fma.f64 e (cos.f64 v) 1))) (*.f64 (sin.f64 v) (neg.f64 e)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (fma.f64 e (cos.f64 v) 1) e)) (sin.f64 v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sin.f64 v) (/.f64 (fma.f64 e (cos.f64 v) 1) e))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 e (sin.f64 v)) (fma.f64 e (cos.f64 v) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (neg.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (cbrt.f64 (*.f64 e (sin.f64 v))) 2) (/.f64 (fma.f64 e (cos.f64 v) 1) (cbrt.f64 (*.f64 e (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (*.f64 e (sin.f64 v))) (/.f64 (fma.f64 e (cos.f64 v) 1) (sqrt.f64 (*.f64 e (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sin.f64 v) (neg.f64 e)) (neg.f64 (fma.f64 e (cos.f64 v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))) (sqrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))) 2)) (cbrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 e (sin.f64 v)) (sqrt.f64 (fma.f64 e (cos.f64 v) 1))) (sqrt.f64 (fma.f64 e (cos.f64 v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 e (sin.f64 v)) 1) (fma.f64 e (cos.f64 v) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 (fma.f64 e (cos.f64 v) 1)) (/.f64 1 (*.f64 e (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 e (sin.f64 v)) (pow.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) 2)) (cbrt.f64 (fma.f64 e (cos.f64 v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v))) -2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (*.f64 e (sin.f64 v)) 3) (pow.f64 (fma.f64 e (cos.f64 v) 1) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v))))) (cbrt.f64 (exp.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v))))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 e (cos.f64 v) 1) (/.f64 1 (*.f64 e (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))) (pow.f64 (cbrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))) 2) (cbrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) 2) (*.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) (/.f64 1 (*.f64 e (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))) (sqrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 e (cos.f64 v) 1)) (*.f64 (sqrt.f64 (fma.f64 e (cos.f64 v) 1)) (/.f64 1 (*.f64 e (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (fma.f64 e (cos.f64 v) 1)) (/.f64 1 (*.f64 (sin.f64 v) (neg.f64 e))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 e (sin.f64 v))) (fma.f64 e (cos.f64 v) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) e) (/.f64 1 (sin.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 e) (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) 2) e) (/.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) (sin.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (fma.f64 e (cos.f64 v) 1)) e) (/.f64 (sqrt.f64 (fma.f64 e (cos.f64 v) 1)) (sin.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (fma.f64 e (cos.f64 v) 1)) (sin.f64 v)) (/.f64 (sqrt.f64 (fma.f64 e (cos.f64 v) 1)) e))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) 2) 1) (/.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) (*.f64 e (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (fma.f64 e (cos.f64 v) 1)) 1) (/.f64 (sqrt.f64 (fma.f64 e (cos.f64 v) 1)) (*.f64 e (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sin.f64 v)) (/.f64 (fma.f64 e (cos.f64 v) 1) e))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) 2) (sin.f64 v)) (/.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) e))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 (*.f64 e (sin.f64 v))) 2)) (/.f64 (fma.f64 e (cos.f64 v) 1) (cbrt.f64 (*.f64 e (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) 2) (pow.f64 (cbrt.f64 (*.f64 e (sin.f64 v))) 2)) (cbrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (fma.f64 e (cos.f64 v) 1)) (pow.f64 (cbrt.f64 (*.f64 e (sin.f64 v))) 2)) (/.f64 (sqrt.f64 (fma.f64 e (cos.f64 v) 1)) (cbrt.f64 (*.f64 e (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 (*.f64 e (sin.f64 v)))) (/.f64 (fma.f64 e (cos.f64 v) 1) (sqrt.f64 (*.f64 e (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) 2) (sqrt.f64 (*.f64 e (sin.f64 v)))) (/.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) (sqrt.f64 (*.f64 e (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 (sin.f64 v) (neg.f64 e))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (fma.f64 e (cos.f64 v) 1) 3) (pow.f64 (*.f64 e (sin.f64 v)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))))))))

simplify41.0ms (1%)

Algorithm

1×	egg-herbie

Rules

729×	`associate-/l*_binary64`
641×	`fma-def_binary64`
257×	`cancel-sign-sub-inv_binary64`
231×	`associate-/r/_binary64`
121×	`associate-/l/_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	163	1580
1	511	1528
2	2109	1479

Stop Event

1×	node limit

Counts

145 → 133

Calls

Call 1

Inputs
(*.f64 e (sin.f64 v))
(-.f64 (.f64 e (sin.f64 v)) (.f64 (cos.f64 v) (*.f64 (pow.f64 e 2) (sin.f64 v))))
(-.f64 (+.f64 (.f64 e (sin.f64 v)) (.f64 (pow.f64 (cos.f64 v) 2) (.f64 (pow.f64 e 3) (sin.f64 v)))) (.f64 (cos.f64 v) (*.f64 (pow.f64 e 2) (sin.f64 v))))
(-.f64 (+.f64 (.f64 e (sin.f64 v)) (.f64 (pow.f64 (cos.f64 v) 2) (.f64 (pow.f64 e 3) (sin.f64 v)))) (+.f64 (.f64 (cos.f64 v) (.f64 (pow.f64 e 2) (sin.f64 v))) (.f64 (pow.f64 (cos.f64 v) 3) (*.f64 (pow.f64 e 4) (sin.f64 v)))))
(/.f64 (sin.f64 v) (cos.f64 v))
(-.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e)))
(-.f64 (+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (/.f64 (sin.f64 v) (cos.f64 v))) (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) e)))
(-.f64 (+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (/.f64 (sin.f64 v) (cos.f64 v))) (+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 4) (pow.f64 e 3))) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e))))
(/.f64 (sin.f64 v) (cos.f64 v))
(-.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e)))
(-.f64 (+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (/.f64 (sin.f64 v) (cos.f64 v))) (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) e)))
(-.f64 (+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (/.f64 (sin.f64 v) (cos.f64 v))) (+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 4) (pow.f64 e 3))) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e))))
(/.f64 (*.f64 v e) (+.f64 1 e))
(-.f64 (+.f64 (/.f64 (.f64 v e) (+.f64 1 e)) (.f64 1/3 (/.f64 (.f64 (pow.f64 v 3) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 2)))) (.f64 1/6 (/.f64 (*.f64 (pow.f64 v 3) e) (pow.f64 (+.f64 1 e) 2))))
(-.f64 (+.f64 (/.f64 (.f64 v e) (+.f64 1 e)) (+.f64 (.f64 1/45 (/.f64 (.f64 (pow.f64 v 5) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 2))) (+.f64 (.f64 1/3 (/.f64 (.f64 (pow.f64 v 3) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 2))) (+.f64 (.f64 1/9 (/.f64 (.f64 (pow.f64 v 5) (pow.f64 e 3)) (pow.f64 (+.f64 1 e) 3))) (.f64 1/36 (/.f64 (.f64 (pow.f64 v 5) e) (pow.f64 (+.f64 1 e) 3))))))) (+.f64 (.f64 1/6 (/.f64 (.f64 (pow.f64 v 3) e) (pow.f64 (+.f64 1 e) 2))) (+.f64 (.f64 1/9 (/.f64 (.f64 (pow.f64 v 5) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 3))) (.f64 7/360 (/.f64 (*.f64 (pow.f64 v 5) e) (pow.f64 (+.f64 1 e) 2))))))
(-.f64 (+.f64 (/.f64 (.f64 v e) (+.f64 1 e)) (+.f64 (.f64 7/1080 (/.f64 (.f64 (pow.f64 v 7) e) (pow.f64 (+.f64 1 e) 3))) (+.f64 (.f64 2/135 (/.f64 (.f64 (pow.f64 v 7) (pow.f64 e 3)) (pow.f64 (+.f64 1 e) 3))) (+.f64 (.f64 1/27 (/.f64 (.f64 (pow.f64 v 7) (pow.f64 e 4)) (pow.f64 (+.f64 1 e) 4))) (+.f64 (.f64 1/45 (/.f64 (.f64 (pow.f64 v 5) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 2))) (+.f64 (.f64 1/3 (/.f64 (.f64 (pow.f64 v 3) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 2))) (+.f64 (.f64 1/36 (/.f64 (.f64 (pow.f64 v 5) e) (pow.f64 (+.f64 1 e) 3))) (+.f64 (.f64 1/36 (/.f64 (.f64 (pow.f64 v 7) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 4))) (+.f64 (.f64 2/945 (/.f64 (.f64 (pow.f64 v 7) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 2))) (.f64 1/9 (/.f64 (.f64 (pow.f64 v 5) (pow.f64 e 3)) (pow.f64 (+.f64 1 e) 3)))))))))))) (+.f64 (.f64 1/216 (/.f64 (.f64 (pow.f64 v 7) e) (pow.f64 (+.f64 1 e) 4))) (+.f64 (.f64 31/15120 (/.f64 (.f64 (pow.f64 v 7) e) (pow.f64 (+.f64 1 e) 2))) (+.f64 (.f64 1/18 (/.f64 (.f64 (pow.f64 v 7) (pow.f64 e 3)) (pow.f64 (+.f64 1 e) 4))) (+.f64 (.f64 1/9 (/.f64 (.f64 (pow.f64 v 5) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 3))) (+.f64 (.f64 7/360 (/.f64 (.f64 (pow.f64 v 5) e) (pow.f64 (+.f64 1 e) 2))) (+.f64 (.f64 1/6 (/.f64 (.f64 (pow.f64 v 3) e) (pow.f64 (+.f64 1 e) 2))) (.f64 11/540 (/.f64 (*.f64 (pow.f64 v 7) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 3))))))))))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 1 (*.f64 e (sin.f64 v)))
(+.f64 (/.f64 1 (*.f64 e (sin.f64 v))) (/.f64 (cos.f64 v) (sin.f64 v)))
(+.f64 (/.f64 1 (*.f64 e (sin.f64 v))) (/.f64 (cos.f64 v) (sin.f64 v)))
(+.f64 (/.f64 1 (*.f64 e (sin.f64 v))) (/.f64 (cos.f64 v) (sin.f64 v)))
(/.f64 (cos.f64 v) (sin.f64 v))
(+.f64 (/.f64 1 (*.f64 e (sin.f64 v))) (/.f64 (cos.f64 v) (sin.f64 v)))
(+.f64 (/.f64 1 (*.f64 e (sin.f64 v))) (/.f64 (cos.f64 v) (sin.f64 v)))
(+.f64 (/.f64 1 (*.f64 e (sin.f64 v))) (/.f64 (cos.f64 v) (sin.f64 v)))
(/.f64 (cos.f64 v) (sin.f64 v))
(+.f64 (/.f64 1 (*.f64 e (sin.f64 v))) (/.f64 (cos.f64 v) (sin.f64 v)))
(+.f64 (/.f64 1 (*.f64 e (sin.f64 v))) (/.f64 (cos.f64 v) (sin.f64 v)))
(+.f64 (/.f64 1 (*.f64 e (sin.f64 v))) (/.f64 (cos.f64 v) (sin.f64 v)))
(/.f64 (+.f64 1 e) (*.f64 v e))
(-.f64 (+.f64 (.f64 1/6 (/.f64 v e)) (+.f64 (/.f64 1 (.f64 v e)) (/.f64 1 v))) (*.f64 1/3 v))
(-.f64 (+.f64 (.f64 1/6 (/.f64 v e)) (+.f64 (/.f64 1 (.f64 v e)) (+.f64 (/.f64 1 v) (.f64 7/360 (/.f64 (pow.f64 v 3) e))))) (+.f64 (.f64 1/3 v) (*.f64 1/45 (pow.f64 v 3))))
(-.f64 (+.f64 (.f64 1/6 (/.f64 v e)) (+.f64 (/.f64 1 (.f64 v e)) (+.f64 (/.f64 1 v) (+.f64 (.f64 7/360 (/.f64 (pow.f64 v 3) e)) (.f64 31/15120 (/.f64 (pow.f64 v 5) e)))))) (+.f64 (.f64 2/945 (pow.f64 v 5)) (+.f64 (.f64 1/3 v) (*.f64 1/45 (pow.f64 v 3)))))
(/.f64 (+.f64 1 (.f64 (cos.f64 v) e)) (.f64 e (sin.f64 v)))
(/.f64 (+.f64 1 (.f64 (cos.f64 v) e)) (.f64 e (sin.f64 v)))
(/.f64 (+.f64 1 (.f64 (cos.f64 v) e)) (.f64 e (sin.f64 v)))
(/.f64 (+.f64 1 (.f64 (cos.f64 v) e)) (.f64 e (sin.f64 v)))
(/.f64 (+.f64 1 (.f64 (cos.f64 v) e)) (.f64 e (sin.f64 v)))
(/.f64 (+.f64 1 (.f64 (cos.f64 v) e)) (.f64 e (sin.f64 v)))
(/.f64 (+.f64 1 (.f64 (cos.f64 v) e)) (.f64 e (sin.f64 v)))
(/.f64 (+.f64 1 (.f64 (cos.f64 v) e)) (.f64 e (sin.f64 v)))

Outputs
(*.f64 e (sin.f64 v))
(-.f64 (.f64 e (sin.f64 v)) (.f64 (cos.f64 v) (*.f64 (pow.f64 e 2) (sin.f64 v))))
(-.f64 (.f64 e (sin.f64 v)) (.f64 (cos.f64 v) (.f64 (sin.f64 v) (.f64 e e))))
(.f64 (sin.f64 v) (-.f64 e (.f64 (cos.f64 v) (*.f64 e e))))
(-.f64 (+.f64 (.f64 e (sin.f64 v)) (.f64 (pow.f64 (cos.f64 v) 2) (.f64 (pow.f64 e 3) (sin.f64 v)))) (.f64 (cos.f64 v) (*.f64 (pow.f64 e 2) (sin.f64 v))))
(-.f64 (fma.f64 e (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) (.f64 (sin.f64 v) (pow.f64 e 3)))) (.f64 (cos.f64 v) (.f64 (sin.f64 v) (*.f64 e e))))
(fma.f64 e (sin.f64 v) (.f64 (sin.f64 v) (-.f64 (.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 3)) (.f64 (cos.f64 v) (.f64 e e)))))
(.f64 (sin.f64 v) (+.f64 e (.f64 (cos.f64 v) (-.f64 (.f64 (cos.f64 v) (pow.f64 e 3)) (.f64 e e)))))
(-.f64 (+.f64 (.f64 e (sin.f64 v)) (.f64 (pow.f64 (cos.f64 v) 2) (.f64 (pow.f64 e 3) (sin.f64 v)))) (+.f64 (.f64 (cos.f64 v) (.f64 (pow.f64 e 2) (sin.f64 v))) (.f64 (pow.f64 (cos.f64 v) 3) (*.f64 (pow.f64 e 4) (sin.f64 v)))))
(-.f64 (fma.f64 e (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) (.f64 (sin.f64 v) (pow.f64 e 3)))) (fma.f64 (cos.f64 v) (.f64 (sin.f64 v) (.f64 e e)) (.f64 (pow.f64 (cos.f64 v) 3) (.f64 (sin.f64 v) (pow.f64 e 4)))))
(-.f64 (.f64 (sin.f64 v) (+.f64 e (.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 3)))) (.f64 (sin.f64 v) (+.f64 (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 4)) (.f64 (cos.f64 v) (.f64 e e)))))
(.f64 (sin.f64 v) (-.f64 (fma.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 3) e) (fma.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 4) (.f64 (cos.f64 v) (*.f64 e e)))))
(/.f64 (sin.f64 v) (cos.f64 v))
(-.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e)))
(-.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (*.f64 e (pow.f64 (cos.f64 v) 2))))
(-.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (/.f64 (sin.f64 v) e) (pow.f64 (cos.f64 v) 2)))
(-.f64 (+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (/.f64 (sin.f64 v) (cos.f64 v))) (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) e)))
(-.f64 (+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (.f64 (.f64 e e) (pow.f64 (cos.f64 v) 3)))) (/.f64 (sin.f64 v) (*.f64 e (pow.f64 (cos.f64 v) 2))))
(+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (-.f64 (/.f64 (sin.f64 v) (.f64 (.f64 e e) (pow.f64 (cos.f64 v) 3))) (/.f64 (/.f64 (sin.f64 v) e) (pow.f64 (cos.f64 v) 2))))
(-.f64 (+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (/.f64 (sin.f64 v) (cos.f64 v))) (+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 4) (pow.f64 e 3))) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e))))
(+.f64 (/.f64 (sin.f64 v) (.f64 (.f64 e e) (pow.f64 (cos.f64 v) 3))) (-.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (+.f64 (/.f64 (sin.f64 v) (.f64 e (pow.f64 (cos.f64 v) 2))) (/.f64 (sin.f64 v) (.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 4))))))
(+.f64 (/.f64 (sin.f64 v) (.f64 (.f64 e e) (pow.f64 (cos.f64 v) 3))) (-.f64 (-.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (/.f64 (sin.f64 v) e) (pow.f64 (cos.f64 v) 2))) (/.f64 (/.f64 (sin.f64 v) (pow.f64 e 3)) (pow.f64 (cos.f64 v) 4))))
(+.f64 (/.f64 (sin.f64 v) (.f64 (.f64 e e) (pow.f64 (cos.f64 v) 3))) (-.f64 (-.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (/.f64 (sin.f64 v) e) (pow.f64 (cos.f64 v) 2))) (/.f64 (sin.f64 v) (*.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 4)))))
(/.f64 (sin.f64 v) (cos.f64 v))
(-.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e)))
(-.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (*.f64 e (pow.f64 (cos.f64 v) 2))))
(-.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (/.f64 (sin.f64 v) e) (pow.f64 (cos.f64 v) 2)))
(-.f64 (+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (/.f64 (sin.f64 v) (cos.f64 v))) (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) e)))
(-.f64 (+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (.f64 (.f64 e e) (pow.f64 (cos.f64 v) 3)))) (/.f64 (sin.f64 v) (*.f64 e (pow.f64 (cos.f64 v) 2))))
(+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (-.f64 (/.f64 (sin.f64 v) (.f64 (.f64 e e) (pow.f64 (cos.f64 v) 3))) (/.f64 (/.f64 (sin.f64 v) e) (pow.f64 (cos.f64 v) 2))))
(-.f64 (+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (/.f64 (sin.f64 v) (cos.f64 v))) (+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 4) (pow.f64 e 3))) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e))))
(+.f64 (/.f64 (sin.f64 v) (.f64 (.f64 e e) (pow.f64 (cos.f64 v) 3))) (-.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (+.f64 (/.f64 (sin.f64 v) (.f64 e (pow.f64 (cos.f64 v) 2))) (/.f64 (sin.f64 v) (.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 4))))))
(+.f64 (/.f64 (sin.f64 v) (.f64 (.f64 e e) (pow.f64 (cos.f64 v) 3))) (-.f64 (-.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (/.f64 (sin.f64 v) e) (pow.f64 (cos.f64 v) 2))) (/.f64 (/.f64 (sin.f64 v) (pow.f64 e 3)) (pow.f64 (cos.f64 v) 4))))
(+.f64 (/.f64 (sin.f64 v) (.f64 (.f64 e e) (pow.f64 (cos.f64 v) 3))) (-.f64 (-.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (/.f64 (sin.f64 v) e) (pow.f64 (cos.f64 v) 2))) (/.f64 (sin.f64 v) (*.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 4)))))
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 v (/.f64 (+.f64 e 1) e))
(*.f64 (/.f64 v (+.f64 e 1)) e)
(-.f64 (+.f64 (/.f64 (.f64 v e) (+.f64 1 e)) (.f64 1/3 (/.f64 (.f64 (pow.f64 v 3) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 2)))) (.f64 1/6 (/.f64 (*.f64 (pow.f64 v 3) e) (pow.f64 (+.f64 1 e) 2))))
(+.f64 (/.f64 v (/.f64 (+.f64 e 1) e)) (-.f64 (.f64 1/3 (/.f64 (pow.f64 v 3) (/.f64 (pow.f64 (+.f64 e 1) 2) (.f64 e e)))) (*.f64 1/6 (/.f64 (pow.f64 v 3) (/.f64 (pow.f64 (+.f64 e 1) 2) e)))))
(-.f64 (fma.f64 1/3 (/.f64 (.f64 e (.f64 e (pow.f64 v 3))) (pow.f64 (+.f64 e 1) 2)) (.f64 (/.f64 v (+.f64 e 1)) e)) (/.f64 1/6 (/.f64 (pow.f64 (+.f64 e 1) 2) (.f64 e (pow.f64 v 3)))))
(fma.f64 1/3 (/.f64 e (/.f64 (pow.f64 (+.f64 e 1) 2) (.f64 e (pow.f64 v 3)))) (fma.f64 (/.f64 v (+.f64 e 1)) e (.f64 (*.f64 (/.f64 e (pow.f64 (+.f64 e 1) 2)) (pow.f64 v 3)) -1/6)))
(-.f64 (+.f64 (/.f64 (.f64 v e) (+.f64 1 e)) (+.f64 (.f64 1/45 (/.f64 (.f64 (pow.f64 v 5) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 2))) (+.f64 (.f64 1/3 (/.f64 (.f64 (pow.f64 v 3) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 2))) (+.f64 (.f64 1/9 (/.f64 (.f64 (pow.f64 v 5) (pow.f64 e 3)) (pow.f64 (+.f64 1 e) 3))) (.f64 1/36 (/.f64 (.f64 (pow.f64 v 5) e) (pow.f64 (+.f64 1 e) 3))))))) (+.f64 (.f64 1/6 (/.f64 (.f64 (pow.f64 v 3) e) (pow.f64 (+.f64 1 e) 2))) (+.f64 (.f64 1/9 (/.f64 (.f64 (pow.f64 v 5) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 3))) (.f64 7/360 (/.f64 (*.f64 (pow.f64 v 5) e) (pow.f64 (+.f64 1 e) 2))))))
(+.f64 (/.f64 v (/.f64 (+.f64 e 1) e)) (-.f64 (fma.f64 1/45 (/.f64 (pow.f64 v 5) (/.f64 (pow.f64 (+.f64 e 1) 2) (.f64 e e))) (fma.f64 1/3 (/.f64 (pow.f64 v 3) (/.f64 (pow.f64 (+.f64 e 1) 2) (.f64 e e))) (fma.f64 1/9 (/.f64 (pow.f64 v 5) (/.f64 (pow.f64 (+.f64 e 1) 3) (pow.f64 e 3))) (.f64 1/36 (/.f64 (pow.f64 v 5) (/.f64 (pow.f64 (+.f64 e 1) 3) e)))))) (fma.f64 1/6 (/.f64 (pow.f64 v 3) (/.f64 (pow.f64 (+.f64 e 1) 2) e)) (fma.f64 1/9 (/.f64 (pow.f64 v 5) (/.f64 (pow.f64 (+.f64 e 1) 3) (.f64 e e))) (*.f64 7/360 (/.f64 (pow.f64 v 5) (/.f64 (pow.f64 (+.f64 e 1) 2) e)))))))
(+.f64 (fma.f64 1/45 (.f64 (/.f64 (pow.f64 v 5) (pow.f64 (+.f64 e 1) 2)) (.f64 e e)) (fma.f64 1/3 (/.f64 (.f64 e (.f64 e (pow.f64 v 3))) (pow.f64 (+.f64 e 1) 2)) (fma.f64 1/9 (.f64 (/.f64 (pow.f64 v 5) (pow.f64 (+.f64 e 1) 3)) (pow.f64 e 3)) (.f64 1/36 (.f64 (/.f64 (pow.f64 v 5) (pow.f64 (+.f64 e 1) 3)) e))))) (-.f64 (.f64 (/.f64 v (+.f64 e 1)) e) (fma.f64 1/6 (.f64 (/.f64 (pow.f64 v 3) (pow.f64 (+.f64 e 1) 2)) e) (fma.f64 1/9 (.f64 (/.f64 (pow.f64 v 5) (pow.f64 (+.f64 e 1) 3)) (.f64 e e)) (/.f64 (.f64 (pow.f64 v 5) 7/360) (/.f64 (pow.f64 (+.f64 e 1) 2) e))))))
(-.f64 (fma.f64 (/.f64 v (+.f64 e 1)) e (fma.f64 1/45 (.f64 (/.f64 (.f64 e (pow.f64 v 5)) (pow.f64 (+.f64 e 1) 2)) e) (fma.f64 1/9 (/.f64 (pow.f64 v 5) (pow.f64 (/.f64 (+.f64 e 1) e) 3)) (fma.f64 1/3 (/.f64 e (/.f64 (pow.f64 (+.f64 e 1) 2) (.f64 e (pow.f64 v 3)))) (.f64 1/36 (.f64 (/.f64 (pow.f64 v 5) (pow.f64 (+.f64 e 1) 3)) e)))))) (fma.f64 1/6 (.f64 (/.f64 e (pow.f64 (+.f64 e 1) 2)) (pow.f64 v 3)) (fma.f64 1/9 (.f64 (/.f64 (.f64 e e) (pow.f64 (+.f64 e 1) 3)) (pow.f64 v 5)) (.f64 7/360 (/.f64 (.f64 e (pow.f64 v 5)) (pow.f64 (+.f64 e 1) 2))))))
(-.f64 (+.f64 (/.f64 (.f64 v e) (+.f64 1 e)) (+.f64 (.f64 7/1080 (/.f64 (.f64 (pow.f64 v 7) e) (pow.f64 (+.f64 1 e) 3))) (+.f64 (.f64 2/135 (/.f64 (.f64 (pow.f64 v 7) (pow.f64 e 3)) (pow.f64 (+.f64 1 e) 3))) (+.f64 (.f64 1/27 (/.f64 (.f64 (pow.f64 v 7) (pow.f64 e 4)) (pow.f64 (+.f64 1 e) 4))) (+.f64 (.f64 1/45 (/.f64 (.f64 (pow.f64 v 5) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 2))) (+.f64 (.f64 1/3 (/.f64 (.f64 (pow.f64 v 3) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 2))) (+.f64 (.f64 1/36 (/.f64 (.f64 (pow.f64 v 5) e) (pow.f64 (+.f64 1 e) 3))) (+.f64 (.f64 1/36 (/.f64 (.f64 (pow.f64 v 7) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 4))) (+.f64 (.f64 2/945 (/.f64 (.f64 (pow.f64 v 7) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 2))) (.f64 1/9 (/.f64 (.f64 (pow.f64 v 5) (pow.f64 e 3)) (pow.f64 (+.f64 1 e) 3)))))))))))) (+.f64 (.f64 1/216 (/.f64 (.f64 (pow.f64 v 7) e) (pow.f64 (+.f64 1 e) 4))) (+.f64 (.f64 31/15120 (/.f64 (.f64 (pow.f64 v 7) e) (pow.f64 (+.f64 1 e) 2))) (+.f64 (.f64 1/18 (/.f64 (.f64 (pow.f64 v 7) (pow.f64 e 3)) (pow.f64 (+.f64 1 e) 4))) (+.f64 (.f64 1/9 (/.f64 (.f64 (pow.f64 v 5) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 3))) (+.f64 (.f64 7/360 (/.f64 (.f64 (pow.f64 v 5) e) (pow.f64 (+.f64 1 e) 2))) (+.f64 (.f64 1/6 (/.f64 (.f64 (pow.f64 v 3) e) (pow.f64 (+.f64 1 e) 2))) (.f64 11/540 (/.f64 (*.f64 (pow.f64 v 7) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 3))))))))))
(-.f64 (+.f64 (/.f64 v (/.f64 (+.f64 e 1) e)) (fma.f64 7/1080 (/.f64 (.f64 e (pow.f64 v 7)) (pow.f64 (+.f64 e 1) 3)) (fma.f64 2/135 (/.f64 (pow.f64 v 7) (/.f64 (pow.f64 (+.f64 e 1) 3) (pow.f64 e 3))) (fma.f64 1/27 (/.f64 (pow.f64 v 7) (/.f64 (pow.f64 (+.f64 e 1) 4) (pow.f64 e 4))) (fma.f64 1/45 (/.f64 (pow.f64 v 5) (/.f64 (pow.f64 (+.f64 e 1) 2) (.f64 e e))) (fma.f64 1/3 (/.f64 (pow.f64 v 3) (/.f64 (pow.f64 (+.f64 e 1) 2) (.f64 e e))) (fma.f64 1/36 (/.f64 (pow.f64 v 5) (/.f64 (pow.f64 (+.f64 e 1) 3) e)) (fma.f64 1/36 (/.f64 (pow.f64 v 7) (/.f64 (pow.f64 (+.f64 e 1) 4) (.f64 e e))) (fma.f64 2/945 (/.f64 (pow.f64 v 7) (/.f64 (pow.f64 (+.f64 e 1) 2) (.f64 e e))) (.f64 1/9 (/.f64 (pow.f64 v 5) (/.f64 (pow.f64 (+.f64 e 1) 3) (pow.f64 e 3))))))))))))) (fma.f64 1/216 (/.f64 (pow.f64 v 7) (/.f64 (pow.f64 (+.f64 e 1) 4) e)) (fma.f64 31/15120 (/.f64 (.f64 e (pow.f64 v 7)) (pow.f64 (+.f64 e 1) 2)) (fma.f64 1/18 (/.f64 (pow.f64 v 7) (/.f64 (pow.f64 (+.f64 e 1) 4) (pow.f64 e 3))) (fma.f64 1/9 (/.f64 (pow.f64 v 5) (/.f64 (pow.f64 (+.f64 e 1) 3) (.f64 e e))) (fma.f64 7/360 (/.f64 (pow.f64 v 5) (/.f64 (pow.f64 (+.f64 e 1) 2) e)) (fma.f64 1/6 (/.f64 (pow.f64 v 3) (/.f64 (pow.f64 (+.f64 e 1) 2) e)) (.f64 11/540 (/.f64 (pow.f64 v 7) (/.f64 (pow.f64 (+.f64 e 1) 3) (.f64 e e)))))))))))
(+.f64 (.f64 (/.f64 v (+.f64 e 1)) e) (-.f64 (fma.f64 7/1080 (/.f64 e (/.f64 (pow.f64 (+.f64 e 1) 3) (pow.f64 v 7))) (fma.f64 2/135 (.f64 (/.f64 (pow.f64 v 7) (pow.f64 (+.f64 e 1) 3)) (pow.f64 e 3)) (fma.f64 1/27 (/.f64 (pow.f64 v 7) (/.f64 (pow.f64 (+.f64 e 1) 4) (pow.f64 e 4))) (fma.f64 1/45 (.f64 (/.f64 (pow.f64 v 5) (pow.f64 (+.f64 e 1) 2)) (.f64 e e)) (fma.f64 1/3 (/.f64 (.f64 e (.f64 e (pow.f64 v 3))) (pow.f64 (+.f64 e 1) 2)) (fma.f64 1/36 (.f64 (/.f64 (pow.f64 v 5) (pow.f64 (+.f64 e 1) 3)) e) (fma.f64 1/36 (.f64 (/.f64 (pow.f64 v 7) (pow.f64 (+.f64 e 1) 4)) (.f64 e e)) (fma.f64 1/9 (.f64 (/.f64 (pow.f64 v 5) (pow.f64 (+.f64 e 1) 3)) (pow.f64 e 3)) (/.f64 (.f64 (.f64 2/945 (.f64 e e)) (pow.f64 v 7)) (pow.f64 (+.f64 e 1) 2)))))))))) (fma.f64 1/216 (/.f64 (pow.f64 v 7) (/.f64 (pow.f64 (+.f64 e 1) 4) e)) (fma.f64 31/15120 (.f64 (/.f64 (pow.f64 v 7) (pow.f64 (+.f64 e 1) 2)) e) (fma.f64 1/18 (/.f64 (pow.f64 v 7) (/.f64 (pow.f64 (+.f64 e 1) 4) (pow.f64 e 3))) (fma.f64 1/9 (.f64 (/.f64 (pow.f64 v 5) (pow.f64 (+.f64 e 1) 3)) (.f64 e e)) (fma.f64 7/360 (.f64 (/.f64 (pow.f64 v 5) (pow.f64 (+.f64 e 1) 2)) e) (fma.f64 11/540 (.f64 (/.f64 (pow.f64 v 7) (pow.f64 (+.f64 e 1) 3)) (.f64 e e)) (/.f64 1/6 (/.f64 (pow.f64 (+.f64 e 1) 2) (.f64 e (pow.f64 v 3))))))))))))
(-.f64 (fma.f64 (/.f64 v (+.f64 e 1)) e (fma.f64 7/1080 (/.f64 (.f64 e (pow.f64 v 7)) (pow.f64 (+.f64 e 1) 3)) (fma.f64 2/135 (/.f64 (pow.f64 v 7) (pow.f64 (/.f64 (+.f64 e 1) e) 3)) (fma.f64 1/27 (.f64 (/.f64 (pow.f64 v 7) (pow.f64 (+.f64 e 1) 4)) (pow.f64 e 4)) (fma.f64 1/45 (.f64 (/.f64 (.f64 e (pow.f64 v 5)) (pow.f64 (+.f64 e 1) 2)) e) (fma.f64 1/3 (/.f64 e (/.f64 (pow.f64 (+.f64 e 1) 2) (.f64 e (pow.f64 v 3)))) (fma.f64 1/36 (.f64 (/.f64 (pow.f64 v 5) (pow.f64 (+.f64 e 1) 3)) e) (fma.f64 1/9 (/.f64 (pow.f64 v 5) (pow.f64 (/.f64 (+.f64 e 1) e) 3)) (.f64 (.f64 (.f64 (/.f64 e (pow.f64 (+.f64 e 1) 2)) (pow.f64 v 7)) e) (+.f64 (/.f64 1/36 (pow.f64 (+.f64 e 1) 2)) 2/945)))))))))) (+.f64 (fma.f64 1/18 (.f64 (/.f64 (pow.f64 v 7) (pow.f64 (+.f64 e 1) 4)) (pow.f64 e 3)) (fma.f64 1/9 (.f64 (/.f64 (.f64 e e) (pow.f64 (+.f64 e 1) 3)) (pow.f64 v 5)) (fma.f64 1/6 (.f64 (/.f64 e (pow.f64 (+.f64 e 1) 2)) (pow.f64 v 3)) (fma.f64 11/540 (.f64 (/.f64 (.f64 e (pow.f64 v 7)) (pow.f64 (+.f64 e 1) 3)) e) (.f64 7/360 (/.f64 (.f64 e (pow.f64 v 5)) (pow.f64 (+.f64 e 1) 2))))))) (.f64 (*.f64 (/.f64 e (pow.f64 (+.f64 e 1) 2)) (pow.f64 v 7)) (+.f64 (/.f64 1/216 (pow.f64 (+.f64 e 1) 2)) 31/15120))))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
(*.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))
(/.f64 (*.f64 e (sin.f64 v)) (fma.f64 e (cos.f64 v) 1))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
(*.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))
(/.f64 (*.f64 e (sin.f64 v)) (fma.f64 e (cos.f64 v) 1))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
(*.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))
(/.f64 (*.f64 e (sin.f64 v)) (fma.f64 e (cos.f64 v) 1))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
(*.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))
(/.f64 (*.f64 e (sin.f64 v)) (fma.f64 e (cos.f64 v) 1))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
(*.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))
(/.f64 (*.f64 e (sin.f64 v)) (fma.f64 e (cos.f64 v) 1))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
(*.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))
(/.f64 (*.f64 e (sin.f64 v)) (fma.f64 e (cos.f64 v) 1))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
(*.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))
(/.f64 (*.f64 e (sin.f64 v)) (fma.f64 e (cos.f64 v) 1))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
(*.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))
(/.f64 (*.f64 e (sin.f64 v)) (fma.f64 e (cos.f64 v) 1))
(/.f64 1 (*.f64 e (sin.f64 v)))
(+.f64 (/.f64 1 (*.f64 e (sin.f64 v))) (/.f64 (cos.f64 v) (sin.f64 v)))
(+.f64 (/.f64 1 (*.f64 e (sin.f64 v))) (/.f64 (cos.f64 v) (sin.f64 v)))
(+.f64 (/.f64 1 (*.f64 e (sin.f64 v))) (/.f64 (cos.f64 v) (sin.f64 v)))
(/.f64 (cos.f64 v) (sin.f64 v))
(+.f64 (/.f64 1 (*.f64 e (sin.f64 v))) (/.f64 (cos.f64 v) (sin.f64 v)))
(+.f64 (/.f64 1 (*.f64 e (sin.f64 v))) (/.f64 (cos.f64 v) (sin.f64 v)))
(+.f64 (/.f64 1 (*.f64 e (sin.f64 v))) (/.f64 (cos.f64 v) (sin.f64 v)))
(/.f64 (cos.f64 v) (sin.f64 v))
(+.f64 (/.f64 1 (*.f64 e (sin.f64 v))) (/.f64 (cos.f64 v) (sin.f64 v)))
(+.f64 (/.f64 1 (*.f64 e (sin.f64 v))) (/.f64 (cos.f64 v) (sin.f64 v)))
(+.f64 (/.f64 1 (*.f64 e (sin.f64 v))) (/.f64 (cos.f64 v) (sin.f64 v)))
(/.f64 (+.f64 1 e) (*.f64 v e))
(/.f64 (+.f64 e 1) (*.f64 e v))
(/.f64 (/.f64 (+.f64 e 1) v) e)
(-.f64 (+.f64 (.f64 1/6 (/.f64 v e)) (+.f64 (/.f64 1 (.f64 v e)) (/.f64 1 v))) (*.f64 1/3 v))
(+.f64 (fma.f64 1/6 (/.f64 v e) (+.f64 (/.f64 1 (.f64 e v)) (/.f64 1 v))) (.f64 -1/3 v))
(+.f64 (fma.f64 1/6 (/.f64 v e) (+.f64 (/.f64 (/.f64 1 v) e) (/.f64 1 v))) (*.f64 v -1/3))
(fma.f64 v -1/3 (+.f64 (/.f64 1 v) (fma.f64 1/6 (/.f64 v e) (/.f64 1 (*.f64 e v)))))
(-.f64 (+.f64 (.f64 1/6 (/.f64 v e)) (+.f64 (/.f64 1 (.f64 v e)) (+.f64 (/.f64 1 v) (.f64 7/360 (/.f64 (pow.f64 v 3) e))))) (+.f64 (.f64 1/3 v) (*.f64 1/45 (pow.f64 v 3))))
(-.f64 (fma.f64 1/6 (/.f64 v e) (+.f64 (/.f64 1 (.f64 e v)) (+.f64 (/.f64 1 v) (.f64 7/360 (/.f64 (pow.f64 v 3) e))))) (fma.f64 1/3 v (*.f64 (pow.f64 v 3) 1/45)))
(+.f64 (fma.f64 1/6 (/.f64 v e) (/.f64 (/.f64 1 v) e)) (-.f64 (fma.f64 7/360 (/.f64 (pow.f64 v 3) e) (/.f64 1 v)) (fma.f64 (pow.f64 v 3) 1/45 (*.f64 v 1/3))))
(+.f64 (+.f64 (/.f64 1 (.f64 e v)) (fma.f64 7/360 (/.f64 (pow.f64 v 3) e) (/.f64 1 v))) (fma.f64 1/6 (/.f64 v e) (fma.f64 v -1/3 (.f64 (pow.f64 v 3) -1/45))))
(-.f64 (+.f64 (.f64 1/6 (/.f64 v e)) (+.f64 (/.f64 1 (.f64 v e)) (+.f64 (/.f64 1 v) (+.f64 (.f64 7/360 (/.f64 (pow.f64 v 3) e)) (.f64 31/15120 (/.f64 (pow.f64 v 5) e)))))) (+.f64 (.f64 2/945 (pow.f64 v 5)) (+.f64 (.f64 1/3 v) (*.f64 1/45 (pow.f64 v 3)))))
(-.f64 (fma.f64 1/6 (/.f64 v e) (+.f64 (/.f64 1 (.f64 e v)) (+.f64 (/.f64 1 v) (fma.f64 7/360 (/.f64 (pow.f64 v 3) e) (.f64 31/15120 (/.f64 (pow.f64 v 5) e)))))) (fma.f64 2/945 (pow.f64 v 5) (fma.f64 1/3 v (*.f64 (pow.f64 v 3) 1/45))))
(+.f64 (fma.f64 1/6 (/.f64 v e) (/.f64 (/.f64 1 v) e)) (-.f64 (+.f64 (/.f64 1 v) (fma.f64 31/15120 (/.f64 (pow.f64 v 5) e) (/.f64 (.f64 (pow.f64 v 3) 7/360) e))) (fma.f64 (pow.f64 v 5) 2/945 (fma.f64 (pow.f64 v 3) 1/45 (.f64 v 1/3)))))
(+.f64 (fma.f64 1/6 (/.f64 v e) (/.f64 1 (.f64 e v))) (-.f64 (fma.f64 7/360 (/.f64 (pow.f64 v 3) e) (fma.f64 31/15120 (/.f64 (pow.f64 v 5) e) (/.f64 1 v))) (fma.f64 v 1/3 (fma.f64 (pow.f64 v 3) 1/45 (.f64 (pow.f64 v 5) 2/945)))))
(/.f64 (+.f64 1 (.f64 (cos.f64 v) e)) (.f64 e (sin.f64 v)))
(/.f64 (+.f64 1 (.f64 e (cos.f64 v))) (.f64 e (sin.f64 v)))
(/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))
(/.f64 (+.f64 1 (.f64 (cos.f64 v) e)) (.f64 e (sin.f64 v)))
(/.f64 (+.f64 1 (.f64 e (cos.f64 v))) (.f64 e (sin.f64 v)))
(/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))
(/.f64 (+.f64 1 (.f64 (cos.f64 v) e)) (.f64 e (sin.f64 v)))
(/.f64 (+.f64 1 (.f64 e (cos.f64 v))) (.f64 e (sin.f64 v)))
(/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))
(/.f64 (+.f64 1 (.f64 (cos.f64 v) e)) (.f64 e (sin.f64 v)))
(/.f64 (+.f64 1 (.f64 e (cos.f64 v))) (.f64 e (sin.f64 v)))
(/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))
(/.f64 (+.f64 1 (.f64 (cos.f64 v) e)) (.f64 e (sin.f64 v)))
(/.f64 (+.f64 1 (.f64 e (cos.f64 v))) (.f64 e (sin.f64 v)))
(/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))
(/.f64 (+.f64 1 (.f64 (cos.f64 v) e)) (.f64 e (sin.f64 v)))
(/.f64 (+.f64 1 (.f64 e (cos.f64 v))) (.f64 e (sin.f64 v)))
(/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))
(/.f64 (+.f64 1 (.f64 (cos.f64 v) e)) (.f64 e (sin.f64 v)))
(/.f64 (+.f64 1 (.f64 e (cos.f64 v))) (.f64 e (sin.f64 v)))
(/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))
(/.f64 (+.f64 1 (.f64 (cos.f64 v) e)) (.f64 e (sin.f64 v)))
(/.f64 (+.f64 1 (.f64 e (cos.f64 v))) (.f64 e (sin.f64 v)))
(/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))

prune163.0ms (4.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	178	3	181
Fresh	2	3	5
Picked	0	1	1
Done	0	1	1
Total	180	8	188

Error

Counts

188 → 8

Alt Table

Status	Error	Program
	33.8b	(/.f64 (cbrt.f64 (.f64 (pow.f64 e 3) (pow.f64 (sin.f64 v) 3))) (+.f64 1 (.f64 e (cos.f64 v))))
	0.6b	(pow.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (expm1.f64 (log1p.f64 (sin.f64 v))))) -1)
	24.5b	(/.f64 (pow.f64 (sqrt.f64 (.f64 e (sin.f64 v))) 2) (+.f64 1 (.f64 e (cos.f64 v))))
	1.2b	(/.f64 (pow.f64 (cbrt.f64 (.f64 e (sin.f64 v))) 3) (+.f64 1 (.f64 e (cos.f64 v))))
	1.3b	(pow.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))) 3) -1)
✓	0.2b	(/.f64 (.f64 e (log1p.f64 (expm1.f64 (sin.f64 v)))) (+.f64 1 (.f64 e (cos.f64 v))))
▶	0.2b	(/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))
✓	0.5b	(pow.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v))) -1)

Compiler

Compiled 4177 to 2420 computations (42.1% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series6.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite45.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

498×	`log-prod_binary64`
248×	`pow2_binary64`
174×	`pow1/3_binary64`
168×	`expm1-udef_binary64`
168×	`log1p-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	27
1	184	27
2	2479	27

Stop Event

1×	node limit

Counts

2 → 86

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 e (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 e) (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1)))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 e) (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 e) (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 e) (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 e (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 e (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 e (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sin.f64 v) (/.f64 e (fma.f64 e (cos.f64 v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 e (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 e) 2) (*.f64 (cbrt.f64 e) (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 e (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1)))) (pow.f64 (cbrt.f64 (*.f64 e (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 e (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1)))) 2) (cbrt.f64 (*.f64 e (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 e) (*.f64 (sqrt.f64 e) (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 e (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1)))) (sqrt.f64 (*.f64 e (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 e) (/.f64 1 (neg.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1)) e)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 e) 2) 1) (/.f64 (cbrt.f64 e) (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 e) 1) (/.f64 (sqrt.f64 e) (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (fma.f64 e (cos.f64 v) 1)) (/.f64 e (/.f64 1 (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 e) 2) (fma.f64 e (cos.f64 v) 1)) (/.f64 (cbrt.f64 e) (/.f64 1 (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 e) (fma.f64 e (cos.f64 v) 1)) (/.f64 (sqrt.f64 e) (/.f64 1 (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))) 2)) (/.f64 e (cbrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 e) 2) (pow.f64 (cbrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))) 2)) (cbrt.f64 (*.f64 e (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 e) (pow.f64 (cbrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))) 2)) (/.f64 (sqrt.f64 e) (cbrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))) (/.f64 e (sqrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 e) 2) (sqrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))) (/.f64 (cbrt.f64 e) (sqrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 e 1) (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 e (neg.f64 (fma.f64 e (cos.f64 v) 1))) (neg.f64 (sin.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) 1) (sin.f64 v))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (pow.f64 (cbrt.f64 (sin.f64 v)) 2)) (cbrt.f64 (sin.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sqrt.f64 (sin.f64 v))) (sqrt.f64 (sin.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 e (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 e (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 e (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 e (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (pow.f64 e 3) (pow.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)) 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v))) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 e (neg.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 e (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 e) (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 e (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 e (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 e 3) (pow.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 e (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 e (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 e (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 e (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1)))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 e (cos.f64 v) 1) (/.f64 1 (sin.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))) (pow.f64 (cbrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))) 2) (cbrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) 2) (*.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) (/.f64 1 (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))) (sqrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 e (cos.f64 v) 1)) (*.f64 (sqrt.f64 (fma.f64 e (cos.f64 v) 1)) (/.f64 1 (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (fma.f64 e (cos.f64 v) 1)) (/.f64 1 (neg.f64 (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sin.f64 v)) (fma.f64 e (cos.f64 v) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) 2) 1) (/.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) (sin.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (fma.f64 e (cos.f64 v) 1)) 1) (/.f64 (sqrt.f64 (fma.f64 e (cos.f64 v) 1)) (sin.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 (sin.f64 v)) 2)) (/.f64 (fma.f64 e (cos.f64 v) 1) (cbrt.f64 (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) 2) (pow.f64 (cbrt.f64 (sin.f64 v)) 2)) (cbrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (fma.f64 e (cos.f64 v) 1)) (pow.f64 (cbrt.f64 (sin.f64 v)) 2)) (/.f64 (sqrt.f64 (fma.f64 e (cos.f64 v) 1)) (cbrt.f64 (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 (sin.f64 v))) (/.f64 (fma.f64 e (cos.f64 v) 1) (sqrt.f64 (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) 2) (sqrt.f64 (sin.f64 v))) (/.f64 (cbrt.f64 (fma.f64 e (cos.f64 v) 1)) (sqrt.f64 (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (pow.f64 (fma.f64 e (cos.f64 v) 1) 3) (pow.f64 (sin.f64 v) 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1)) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (neg.f64 (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (fma.f64 e (cos.f64 v) 1) 3) (pow.f64 (sin.f64 v) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))))))))

simplify35.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

674×	`times-frac_binary64`
510×	`fma-def_binary64`
428×	`associate-/l*_binary64`
287×	`cancel-sign-sub-inv_binary64`
115×	`unswap-sqr_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	133	1339
1	404	1287
2	1593	1232

Stop Event

1×	node limit

Counts

134 → 124

Calls

Call 1

Inputs
(*.f64 e (sin.f64 v))
(-.f64 (.f64 e (sin.f64 v)) (.f64 (cos.f64 v) (*.f64 (pow.f64 e 2) (sin.f64 v))))
(-.f64 (+.f64 (.f64 e (sin.f64 v)) (.f64 (pow.f64 (cos.f64 v) 2) (.f64 (pow.f64 e 3) (sin.f64 v)))) (.f64 (cos.f64 v) (*.f64 (pow.f64 e 2) (sin.f64 v))))
(-.f64 (+.f64 (.f64 e (sin.f64 v)) (.f64 (pow.f64 (cos.f64 v) 2) (.f64 (pow.f64 e 3) (sin.f64 v)))) (+.f64 (.f64 (cos.f64 v) (.f64 (pow.f64 e 2) (sin.f64 v))) (.f64 (pow.f64 (cos.f64 v) 3) (*.f64 (pow.f64 e 4) (sin.f64 v)))))
(/.f64 (sin.f64 v) (cos.f64 v))
(-.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e)))
(-.f64 (+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (/.f64 (sin.f64 v) (cos.f64 v))) (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) e)))
(-.f64 (+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (/.f64 (sin.f64 v) (cos.f64 v))) (+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 4) (pow.f64 e 3))) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e))))
(/.f64 (sin.f64 v) (cos.f64 v))
(-.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e)))
(-.f64 (+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (/.f64 (sin.f64 v) (cos.f64 v))) (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) e)))
(-.f64 (+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (/.f64 (sin.f64 v) (cos.f64 v))) (+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 4) (pow.f64 e 3))) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e))))
(/.f64 (*.f64 v e) (+.f64 1 e))
(-.f64 (+.f64 (/.f64 (.f64 v e) (+.f64 1 e)) (.f64 1/2 (/.f64 (.f64 (pow.f64 v 3) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 2)))) (.f64 1/6 (/.f64 (*.f64 (pow.f64 v 3) e) (+.f64 1 e))))
(-.f64 (+.f64 (/.f64 (.f64 v e) (+.f64 1 e)) (+.f64 (.f64 1/120 (/.f64 (.f64 (pow.f64 v 5) e) (+.f64 1 e))) (+.f64 (.f64 1/2 (/.f64 (.f64 (pow.f64 v 3) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 2))) (.f64 1/4 (/.f64 (.f64 (pow.f64 v 5) (pow.f64 e 3)) (pow.f64 (+.f64 1 e) 3)))))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 v 5) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 2))) (.f64 1/6 (/.f64 (*.f64 (pow.f64 v 3) e) (+.f64 1 e)))))
(-.f64 (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 v 7) (pow.f64 e 4)) (pow.f64 (+.f64 1 e) 4))) (+.f64 (.f64 1/120 (/.f64 (.f64 (pow.f64 v 5) e) (+.f64 1 e))) (+.f64 (.f64 1/2 (/.f64 (.f64 (pow.f64 v 3) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 2))) (+.f64 (/.f64 (.f64 v e) (+.f64 1 e)) (+.f64 (.f64 1/80 (/.f64 (.f64 (pow.f64 v 7) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 2))) (.f64 1/4 (/.f64 (.f64 (pow.f64 v 5) (pow.f64 e 3)) (pow.f64 (+.f64 1 e) 3)))))))) (+.f64 (.f64 1/5040 (/.f64 (.f64 (pow.f64 v 7) e) (+.f64 1 e))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 v 5) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 2))) (+.f64 (.f64 1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 e))) (.f64 1/12 (/.f64 (*.f64 (pow.f64 v 7) (pow.f64 e 3)) (pow.f64 (+.f64 1 e) 3)))))))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 1 (sin.f64 v))
(+.f64 (/.f64 (*.f64 (cos.f64 v) e) (sin.f64 v)) (/.f64 1 (sin.f64 v)))
(+.f64 (/.f64 (*.f64 (cos.f64 v) e) (sin.f64 v)) (/.f64 1 (sin.f64 v)))
(+.f64 (/.f64 (*.f64 (cos.f64 v) e) (sin.f64 v)) (/.f64 1 (sin.f64 v)))
(/.f64 (*.f64 (cos.f64 v) e) (sin.f64 v))
(+.f64 (/.f64 (*.f64 (cos.f64 v) e) (sin.f64 v)) (/.f64 1 (sin.f64 v)))
(+.f64 (/.f64 (*.f64 (cos.f64 v) e) (sin.f64 v)) (/.f64 1 (sin.f64 v)))
(+.f64 (/.f64 (*.f64 (cos.f64 v) e) (sin.f64 v)) (/.f64 1 (sin.f64 v)))
(/.f64 (*.f64 (cos.f64 v) e) (sin.f64 v))
(+.f64 (/.f64 (*.f64 (cos.f64 v) e) (sin.f64 v)) (/.f64 1 (sin.f64 v)))
(+.f64 (/.f64 (*.f64 (cos.f64 v) e) (sin.f64 v)) (/.f64 1 (sin.f64 v)))
(+.f64 (/.f64 (*.f64 (cos.f64 v) e) (sin.f64 v)) (/.f64 1 (sin.f64 v)))
(/.f64 (+.f64 1 e) v)
(-.f64 (+.f64 (.f64 1/6 v) (+.f64 (/.f64 1 v) (/.f64 e v))) (.f64 1/3 (*.f64 v e)))
(-.f64 (+.f64 (.f64 1/6 v) (+.f64 (.f64 7/360 (pow.f64 v 3)) (+.f64 (/.f64 1 v) (/.f64 e v)))) (+.f64 (.f64 1/3 (.f64 v e)) (.f64 1/45 (.f64 (pow.f64 v 3) e))))
(-.f64 (+.f64 (.f64 31/15120 (pow.f64 v 5)) (+.f64 (.f64 1/6 v) (+.f64 (.f64 7/360 (pow.f64 v 3)) (+.f64 (/.f64 1 v) (/.f64 e v))))) (+.f64 (.f64 1/3 (.f64 v e)) (+.f64 (.f64 2/945 (.f64 (pow.f64 v 5) e)) (.f64 1/45 (*.f64 (pow.f64 v 3) e)))))
(/.f64 (+.f64 1 (*.f64 (cos.f64 v) e)) (sin.f64 v))
(/.f64 (+.f64 1 (*.f64 (cos.f64 v) e)) (sin.f64 v))
(/.f64 (+.f64 1 (*.f64 (cos.f64 v) e)) (sin.f64 v))
(/.f64 (+.f64 1 (*.f64 (cos.f64 v) e)) (sin.f64 v))
(/.f64 (+.f64 1 (*.f64 (cos.f64 v) e)) (sin.f64 v))
(/.f64 (+.f64 1 (*.f64 (cos.f64 v) e)) (sin.f64 v))
(/.f64 (+.f64 1 (*.f64 (cos.f64 v) e)) (sin.f64 v))
(/.f64 (+.f64 1 (*.f64 (cos.f64 v) e)) (sin.f64 v))

Outputs
(*.f64 e (sin.f64 v))
(-.f64 (.f64 e (sin.f64 v)) (.f64 (cos.f64 v) (*.f64 (pow.f64 e 2) (sin.f64 v))))
(-.f64 (.f64 e (sin.f64 v)) (.f64 (cos.f64 v) (.f64 (sin.f64 v) (.f64 e e))))
(.f64 (sin.f64 v) (-.f64 e (.f64 (cos.f64 v) (*.f64 e e))))
(-.f64 (+.f64 (.f64 e (sin.f64 v)) (.f64 (pow.f64 (cos.f64 v) 2) (.f64 (pow.f64 e 3) (sin.f64 v)))) (.f64 (cos.f64 v) (*.f64 (pow.f64 e 2) (sin.f64 v))))
(-.f64 (fma.f64 e (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) (.f64 (sin.f64 v) (pow.f64 e 3)))) (.f64 (cos.f64 v) (.f64 (sin.f64 v) (*.f64 e e))))
(fma.f64 e (sin.f64 v) (.f64 (sin.f64 v) (-.f64 (.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 3)) (.f64 (cos.f64 v) (.f64 e e)))))
(.f64 (sin.f64 v) (+.f64 (.f64 (cos.f64 v) (-.f64 (.f64 (cos.f64 v) (pow.f64 e 3)) (.f64 e e))) e))
(-.f64 (+.f64 (.f64 e (sin.f64 v)) (.f64 (pow.f64 (cos.f64 v) 2) (.f64 (pow.f64 e 3) (sin.f64 v)))) (+.f64 (.f64 (cos.f64 v) (.f64 (pow.f64 e 2) (sin.f64 v))) (.f64 (pow.f64 (cos.f64 v) 3) (*.f64 (pow.f64 e 4) (sin.f64 v)))))
(-.f64 (fma.f64 e (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) (.f64 (sin.f64 v) (pow.f64 e 3)))) (fma.f64 (cos.f64 v) (.f64 (sin.f64 v) (.f64 e e)) (.f64 (pow.f64 (cos.f64 v) 3) (.f64 (sin.f64 v) (pow.f64 e 4)))))
(-.f64 (.f64 (sin.f64 v) (+.f64 (.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 3)) e)) (.f64 (sin.f64 v) (+.f64 (.f64 (cos.f64 v) (.f64 e e)) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 4)))))
(.f64 (sin.f64 v) (-.f64 (fma.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 3) e) (fma.f64 (cos.f64 v) (.f64 e e) (*.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 4)))))
(/.f64 (sin.f64 v) (cos.f64 v))
(-.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e)))
(-.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (*.f64 e (pow.f64 (cos.f64 v) 2))))
(-.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (/.f64 (sin.f64 v) e) (pow.f64 (cos.f64 v) 2)))
(-.f64 (+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (/.f64 (sin.f64 v) (cos.f64 v))) (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) e)))
(-.f64 (+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (.f64 (.f64 e e) (pow.f64 (cos.f64 v) 3)))) (/.f64 (sin.f64 v) (*.f64 e (pow.f64 (cos.f64 v) 2))))
(+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (-.f64 (/.f64 (sin.f64 v) (.f64 (.f64 e e) (pow.f64 (cos.f64 v) 3))) (/.f64 (/.f64 (sin.f64 v) e) (pow.f64 (cos.f64 v) 2))))
(-.f64 (+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (/.f64 (sin.f64 v) (cos.f64 v))) (+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 4) (pow.f64 e 3))) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e))))
(+.f64 (/.f64 (sin.f64 v) (.f64 (.f64 e e) (pow.f64 (cos.f64 v) 3))) (-.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (+.f64 (/.f64 (sin.f64 v) (.f64 e (pow.f64 (cos.f64 v) 2))) (/.f64 (sin.f64 v) (.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 4))))))
(+.f64 (/.f64 (sin.f64 v) (.f64 (.f64 e e) (pow.f64 (cos.f64 v) 3))) (-.f64 (-.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (/.f64 (sin.f64 v) e) (pow.f64 (cos.f64 v) 2))) (/.f64 (sin.f64 v) (*.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 4)))))
(-.f64 (+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (.f64 (.f64 e e) (pow.f64 (cos.f64 v) 3)))) (+.f64 (/.f64 (/.f64 (sin.f64 v) e) (pow.f64 (cos.f64 v) 2)) (/.f64 (sin.f64 v) (*.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 4)))))
(/.f64 (sin.f64 v) (cos.f64 v))
(-.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e)))
(-.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (*.f64 e (pow.f64 (cos.f64 v) 2))))
(-.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (/.f64 (sin.f64 v) e) (pow.f64 (cos.f64 v) 2)))
(-.f64 (+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (/.f64 (sin.f64 v) (cos.f64 v))) (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 2) e)))
(-.f64 (+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (.f64 (.f64 e e) (pow.f64 (cos.f64 v) 3)))) (/.f64 (sin.f64 v) (*.f64 e (pow.f64 (cos.f64 v) 2))))
(+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (-.f64 (/.f64 (sin.f64 v) (.f64 (.f64 e e) (pow.f64 (cos.f64 v) 3))) (/.f64 (/.f64 (sin.f64 v) e) (pow.f64 (cos.f64 v) 2))))
(-.f64 (+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2))) (/.f64 (sin.f64 v) (cos.f64 v))) (+.f64 (/.f64 (sin.f64 v) (.f64 (pow.f64 (cos.f64 v) 4) (pow.f64 e 3))) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e))))
(+.f64 (/.f64 (sin.f64 v) (.f64 (.f64 e e) (pow.f64 (cos.f64 v) 3))) (-.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (+.f64 (/.f64 (sin.f64 v) (.f64 e (pow.f64 (cos.f64 v) 2))) (/.f64 (sin.f64 v) (.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 4))))))
(+.f64 (/.f64 (sin.f64 v) (.f64 (.f64 e e) (pow.f64 (cos.f64 v) 3))) (-.f64 (-.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (/.f64 (sin.f64 v) e) (pow.f64 (cos.f64 v) 2))) (/.f64 (sin.f64 v) (*.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 4)))))
(-.f64 (+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (.f64 (.f64 e e) (pow.f64 (cos.f64 v) 3)))) (+.f64 (/.f64 (/.f64 (sin.f64 v) e) (pow.f64 (cos.f64 v) 2)) (/.f64 (sin.f64 v) (*.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 4)))))
(/.f64 (*.f64 v e) (+.f64 1 e))
(/.f64 v (/.f64 (+.f64 e 1) e))
(*.f64 (/.f64 v (+.f64 e 1)) e)
(-.f64 (+.f64 (/.f64 (.f64 v e) (+.f64 1 e)) (.f64 1/2 (/.f64 (.f64 (pow.f64 v 3) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 2)))) (.f64 1/6 (/.f64 (*.f64 (pow.f64 v 3) e) (+.f64 1 e))))
(+.f64 (/.f64 v (/.f64 (+.f64 e 1) e)) (-.f64 (.f64 1/2 (/.f64 (pow.f64 v 3) (/.f64 (pow.f64 (+.f64 e 1) 2) (.f64 e e)))) (*.f64 1/6 (/.f64 (pow.f64 v 3) (/.f64 (+.f64 e 1) e)))))
(+.f64 (.f64 (/.f64 v (+.f64 e 1)) e) (fma.f64 1/2 (.f64 (/.f64 (pow.f64 v 3) (pow.f64 (+.f64 e 1) 2)) (.f64 e e)) (/.f64 (.f64 -1/6 (pow.f64 v 3)) (/.f64 (+.f64 e 1) e))))
(fma.f64 1/2 (.f64 (/.f64 (pow.f64 v 3) (pow.f64 (+.f64 e 1) 2)) (.f64 e e)) (fma.f64 (/.f64 v (+.f64 e 1)) e (*.f64 (/.f64 (pow.f64 v 3) (/.f64 (+.f64 e 1) e)) -1/6)))
(-.f64 (+.f64 (/.f64 (.f64 v e) (+.f64 1 e)) (+.f64 (.f64 1/120 (/.f64 (.f64 (pow.f64 v 5) e) (+.f64 1 e))) (+.f64 (.f64 1/2 (/.f64 (.f64 (pow.f64 v 3) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 2))) (.f64 1/4 (/.f64 (.f64 (pow.f64 v 5) (pow.f64 e 3)) (pow.f64 (+.f64 1 e) 3)))))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 v 5) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 2))) (.f64 1/6 (/.f64 (*.f64 (pow.f64 v 3) e) (+.f64 1 e)))))
(+.f64 (/.f64 v (/.f64 (+.f64 e 1) e)) (-.f64 (fma.f64 1/120 (/.f64 (pow.f64 v 5) (/.f64 (+.f64 e 1) e)) (fma.f64 1/2 (/.f64 (pow.f64 v 3) (/.f64 (pow.f64 (+.f64 e 1) 2) (.f64 e e))) (.f64 1/4 (/.f64 (pow.f64 v 5) (/.f64 (pow.f64 (+.f64 e 1) 3) (pow.f64 e 3)))))) (fma.f64 1/8 (/.f64 (pow.f64 v 5) (/.f64 (pow.f64 (+.f64 e 1) 2) (.f64 e e))) (.f64 1/6 (/.f64 (pow.f64 v 3) (/.f64 (+.f64 e 1) e))))))
(+.f64 (fma.f64 1/120 (.f64 (/.f64 (pow.f64 v 5) (+.f64 e 1)) e) (fma.f64 1/2 (.f64 (/.f64 (pow.f64 v 3) (pow.f64 (+.f64 e 1) 2)) (.f64 e e)) (/.f64 (.f64 (pow.f64 v 5) 1/4) (/.f64 (pow.f64 (+.f64 e 1) 3) (pow.f64 e 3))))) (-.f64 (.f64 (/.f64 v (+.f64 e 1)) e) (fma.f64 1/6 (.f64 (/.f64 (pow.f64 v 3) (+.f64 e 1)) e) (/.f64 (.f64 (pow.f64 v 5) 1/8) (/.f64 (pow.f64 (+.f64 e 1) 2) (.f64 e e))))))
(+.f64 (fma.f64 (/.f64 v (+.f64 e 1)) e (fma.f64 1/120 (.f64 (/.f64 (pow.f64 v 5) (+.f64 e 1)) e) (fma.f64 1/2 (.f64 (/.f64 (pow.f64 v 3) (pow.f64 (+.f64 e 1) 2)) (.f64 e e)) (/.f64 (pow.f64 v 5) (/.f64 (pow.f64 (/.f64 (+.f64 e 1) e) 3) 1/4))))) (fma.f64 (/.f64 (pow.f64 v 3) (/.f64 (+.f64 e 1) e)) -1/6 (.f64 (/.f64 (.f64 (.f64 e e) (pow.f64 v 5)) (pow.f64 (+.f64 e 1) 2)) -1/8)))
(-.f64 (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 v 7) (pow.f64 e 4)) (pow.f64 (+.f64 1 e) 4))) (+.f64 (.f64 1/120 (/.f64 (.f64 (pow.f64 v 5) e) (+.f64 1 e))) (+.f64 (.f64 1/2 (/.f64 (.f64 (pow.f64 v 3) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 2))) (+.f64 (/.f64 (.f64 v e) (+.f64 1 e)) (+.f64 (.f64 1/80 (/.f64 (.f64 (pow.f64 v 7) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 2))) (.f64 1/4 (/.f64 (.f64 (pow.f64 v 5) (pow.f64 e 3)) (pow.f64 (+.f64 1 e) 3)))))))) (+.f64 (.f64 1/5040 (/.f64 (.f64 (pow.f64 v 7) e) (+.f64 1 e))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 v 5) (pow.f64 e 2)) (pow.f64 (+.f64 1 e) 2))) (+.f64 (.f64 1/6 (/.f64 (.f64 (pow.f64 v 3) e) (+.f64 1 e))) (.f64 1/12 (/.f64 (*.f64 (pow.f64 v 7) (pow.f64 e 3)) (pow.f64 (+.f64 1 e) 3)))))))
(-.f64 (fma.f64 1/8 (/.f64 (.f64 (pow.f64 e 4) (pow.f64 v 7)) (pow.f64 (+.f64 e 1) 4)) (fma.f64 1/120 (/.f64 (pow.f64 v 5) (/.f64 (+.f64 e 1) e)) (fma.f64 1/2 (/.f64 (pow.f64 v 3) (/.f64 (pow.f64 (+.f64 e 1) 2) (.f64 e e))) (+.f64 (/.f64 v (/.f64 (+.f64 e 1) e)) (fma.f64 1/80 (/.f64 (pow.f64 v 7) (/.f64 (pow.f64 (+.f64 e 1) 2) (.f64 e e))) (.f64 1/4 (/.f64 (pow.f64 v 5) (/.f64 (pow.f64 (+.f64 e 1) 3) (pow.f64 e 3))))))))) (fma.f64 1/5040 (/.f64 (pow.f64 v 7) (/.f64 (+.f64 e 1) e)) (fma.f64 1/8 (/.f64 (pow.f64 v 5) (/.f64 (pow.f64 (+.f64 e 1) 2) (.f64 e e))) (fma.f64 1/6 (/.f64 (pow.f64 v 3) (/.f64 (+.f64 e 1) e)) (.f64 1/12 (/.f64 (*.f64 (pow.f64 e 3) (pow.f64 v 7)) (pow.f64 (+.f64 e 1) 3)))))))
(-.f64 (fma.f64 1/8 (/.f64 (.f64 (pow.f64 e 4) (pow.f64 v 7)) (pow.f64 (+.f64 e 1) 4)) (fma.f64 1/120 (.f64 (/.f64 (pow.f64 v 5) (+.f64 e 1)) e) (+.f64 (fma.f64 1/2 (.f64 (/.f64 (pow.f64 v 3) (pow.f64 (+.f64 e 1) 2)) (.f64 e e)) (.f64 (/.f64 v (+.f64 e 1)) e)) (fma.f64 1/4 (.f64 (/.f64 (pow.f64 v 5) (pow.f64 (+.f64 e 1) 3)) (pow.f64 e 3)) (.f64 1/80 (.f64 (/.f64 (pow.f64 v 7) (pow.f64 (+.f64 e 1) 2)) (.f64 e e))))))) (fma.f64 1/5040 (/.f64 e (/.f64 (+.f64 e 1) (pow.f64 v 7))) (fma.f64 1/8 (.f64 (/.f64 (pow.f64 v 5) (pow.f64 (+.f64 e 1) 2)) (.f64 e e)) (fma.f64 1/6 (.f64 (/.f64 (pow.f64 v 3) (+.f64 e 1)) e) (/.f64 1/12 (/.f64 (pow.f64 (+.f64 e 1) 3) (*.f64 (pow.f64 e 3) (pow.f64 v 7))))))))
(-.f64 (fma.f64 1/8 (.f64 (/.f64 (pow.f64 e 4) (pow.f64 (+.f64 e 1) 4)) (pow.f64 v 7)) (fma.f64 1/120 (.f64 (/.f64 (pow.f64 v 5) (+.f64 e 1)) e) (fma.f64 1/2 (.f64 (/.f64 (pow.f64 v 3) (pow.f64 (+.f64 e 1) 2)) (.f64 e e)) (fma.f64 1/4 (/.f64 (pow.f64 v 5) (pow.f64 (/.f64 (+.f64 e 1) e) 3)) (fma.f64 1/80 (.f64 (/.f64 (pow.f64 v 7) (pow.f64 (+.f64 e 1) 2)) (.f64 e e)) (.f64 (/.f64 v (+.f64 e 1)) e)))))) (fma.f64 1/5040 (/.f64 (pow.f64 v 7) (/.f64 (+.f64 e 1) e)) (fma.f64 1/6 (/.f64 (pow.f64 v 3) (/.f64 (+.f64 e 1) e)) (fma.f64 1/8 (/.f64 (.f64 (.f64 e e) (pow.f64 v 5)) (pow.f64 (+.f64 e 1) 2)) (.f64 1/12 (/.f64 (pow.f64 v 7) (pow.f64 (/.f64 (+.f64 e 1) e) 3)))))))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
(*.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
(*.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
(*.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
(*.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
(*.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
(*.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
(*.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (cos.f64 v) e)))
(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
(*.f64 (/.f64 e (fma.f64 e (cos.f64 v) 1)) (sin.f64 v))
(/.f64 1 (sin.f64 v))
(+.f64 (/.f64 (*.f64 (cos.f64 v) e) (sin.f64 v)) (/.f64 1 (sin.f64 v)))
(+.f64 (/.f64 1 (sin.f64 v)) (/.f64 (cos.f64 v) (/.f64 (sin.f64 v) e)))
(fma.f64 (/.f64 (cos.f64 v) (sin.f64 v)) e (/.f64 1 (sin.f64 v)))
(+.f64 (/.f64 (*.f64 (cos.f64 v) e) (sin.f64 v)) (/.f64 1 (sin.f64 v)))
(+.f64 (/.f64 1 (sin.f64 v)) (/.f64 (cos.f64 v) (/.f64 (sin.f64 v) e)))
(fma.f64 (/.f64 (cos.f64 v) (sin.f64 v)) e (/.f64 1 (sin.f64 v)))
(+.f64 (/.f64 (*.f64 (cos.f64 v) e) (sin.f64 v)) (/.f64 1 (sin.f64 v)))
(+.f64 (/.f64 1 (sin.f64 v)) (/.f64 (cos.f64 v) (/.f64 (sin.f64 v) e)))
(fma.f64 (/.f64 (cos.f64 v) (sin.f64 v)) e (/.f64 1 (sin.f64 v)))
(/.f64 (*.f64 (cos.f64 v) e) (sin.f64 v))
(/.f64 (cos.f64 v) (/.f64 (sin.f64 v) e))
(*.f64 (/.f64 e (sin.f64 v)) (cos.f64 v))
(+.f64 (/.f64 (*.f64 (cos.f64 v) e) (sin.f64 v)) (/.f64 1 (sin.f64 v)))
(+.f64 (/.f64 1 (sin.f64 v)) (/.f64 (cos.f64 v) (/.f64 (sin.f64 v) e)))
(fma.f64 (/.f64 (cos.f64 v) (sin.f64 v)) e (/.f64 1 (sin.f64 v)))
(+.f64 (/.f64 (*.f64 (cos.f64 v) e) (sin.f64 v)) (/.f64 1 (sin.f64 v)))
(+.f64 (/.f64 1 (sin.f64 v)) (/.f64 (cos.f64 v) (/.f64 (sin.f64 v) e)))
(fma.f64 (/.f64 (cos.f64 v) (sin.f64 v)) e (/.f64 1 (sin.f64 v)))
(+.f64 (/.f64 (*.f64 (cos.f64 v) e) (sin.f64 v)) (/.f64 1 (sin.f64 v)))
(+.f64 (/.f64 1 (sin.f64 v)) (/.f64 (cos.f64 v) (/.f64 (sin.f64 v) e)))
(fma.f64 (/.f64 (cos.f64 v) (sin.f64 v)) e (/.f64 1 (sin.f64 v)))
(/.f64 (*.f64 (cos.f64 v) e) (sin.f64 v))
(/.f64 (cos.f64 v) (/.f64 (sin.f64 v) e))
(*.f64 (/.f64 e (sin.f64 v)) (cos.f64 v))
(+.f64 (/.f64 (*.f64 (cos.f64 v) e) (sin.f64 v)) (/.f64 1 (sin.f64 v)))
(+.f64 (/.f64 1 (sin.f64 v)) (/.f64 (cos.f64 v) (/.f64 (sin.f64 v) e)))
(fma.f64 (/.f64 (cos.f64 v) (sin.f64 v)) e (/.f64 1 (sin.f64 v)))
(+.f64 (/.f64 (*.f64 (cos.f64 v) e) (sin.f64 v)) (/.f64 1 (sin.f64 v)))
(+.f64 (/.f64 1 (sin.f64 v)) (/.f64 (cos.f64 v) (/.f64 (sin.f64 v) e)))
(fma.f64 (/.f64 (cos.f64 v) (sin.f64 v)) e (/.f64 1 (sin.f64 v)))
(+.f64 (/.f64 (*.f64 (cos.f64 v) e) (sin.f64 v)) (/.f64 1 (sin.f64 v)))
(+.f64 (/.f64 1 (sin.f64 v)) (/.f64 (cos.f64 v) (/.f64 (sin.f64 v) e)))
(fma.f64 (/.f64 (cos.f64 v) (sin.f64 v)) e (/.f64 1 (sin.f64 v)))
(/.f64 (+.f64 1 e) v)
(/.f64 (+.f64 e 1) v)
(-.f64 (+.f64 (.f64 1/6 v) (+.f64 (/.f64 1 v) (/.f64 e v))) (.f64 1/3 (*.f64 v e)))
(-.f64 (fma.f64 1/6 v (+.f64 (/.f64 1 v) (/.f64 e v))) (.f64 (.f64 e v) 1/3))
(+.f64 (+.f64 (/.f64 e v) (fma.f64 v 1/6 (/.f64 1 v))) (.f64 (.f64 e v) -1/3))
(fma.f64 (*.f64 e v) -1/3 (+.f64 (/.f64 e v) (fma.f64 v 1/6 (/.f64 1 v))))
(-.f64 (+.f64 (.f64 1/6 v) (+.f64 (.f64 7/360 (pow.f64 v 3)) (+.f64 (/.f64 1 v) (/.f64 e v)))) (+.f64 (.f64 1/3 (.f64 v e)) (.f64 1/45 (.f64 (pow.f64 v 3) e))))
(-.f64 (fma.f64 1/6 v (fma.f64 7/360 (pow.f64 v 3) (+.f64 (/.f64 1 v) (/.f64 e v)))) (fma.f64 1/3 (.f64 e v) (.f64 (*.f64 e (pow.f64 v 3)) 1/45)))
(fma.f64 v 1/6 (+.f64 (fma.f64 (pow.f64 v 3) 7/360 (/.f64 1 v)) (-.f64 (/.f64 e v) (.f64 e (+.f64 (.f64 (pow.f64 v 3) 1/45) (*.f64 v 1/3))))))
(-.f64 (+.f64 (fma.f64 v 1/6 (fma.f64 (pow.f64 v 3) 7/360 (/.f64 1 v))) (/.f64 e v)) (.f64 e (fma.f64 (pow.f64 v 3) 1/45 (.f64 v 1/3))))
(-.f64 (+.f64 (.f64 31/15120 (pow.f64 v 5)) (+.f64 (.f64 1/6 v) (+.f64 (.f64 7/360 (pow.f64 v 3)) (+.f64 (/.f64 1 v) (/.f64 e v))))) (+.f64 (.f64 1/3 (.f64 v e)) (+.f64 (.f64 2/945 (.f64 (pow.f64 v 5) e)) (.f64 1/45 (*.f64 (pow.f64 v 3) e)))))
(-.f64 (fma.f64 31/15120 (pow.f64 v 5) (fma.f64 1/6 v (fma.f64 7/360 (pow.f64 v 3) (+.f64 (/.f64 1 v) (/.f64 e v))))) (fma.f64 1/3 (.f64 e v) (fma.f64 2/945 (.f64 e (pow.f64 v 5)) (.f64 (.f64 e (pow.f64 v 3)) 1/45))))
(-.f64 (fma.f64 (pow.f64 v 5) 31/15120 (fma.f64 v 1/6 (+.f64 (/.f64 e v) (fma.f64 (pow.f64 v 3) 7/360 (/.f64 1 v))))) (fma.f64 (.f64 e v) 1/3 (.f64 e (+.f64 (.f64 (pow.f64 v 5) 2/945) (.f64 (pow.f64 v 3) 1/45)))))
(-.f64 (fma.f64 (pow.f64 v 5) 31/15120 (+.f64 (fma.f64 v 1/6 (fma.f64 (pow.f64 v 3) 7/360 (/.f64 1 v))) (/.f64 e v))) (.f64 e (+.f64 (.f64 (pow.f64 v 5) 2/945) (fma.f64 v 1/3 (*.f64 (pow.f64 v 3) 1/45)))))
(/.f64 (+.f64 1 (*.f64 (cos.f64 v) e)) (sin.f64 v))
(/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))
(/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))
(/.f64 (+.f64 1 (*.f64 (cos.f64 v) e)) (sin.f64 v))
(/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))
(/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))
(/.f64 (+.f64 1 (*.f64 (cos.f64 v) e)) (sin.f64 v))
(/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))
(/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))
(/.f64 (+.f64 1 (*.f64 (cos.f64 v) e)) (sin.f64 v))
(/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))
(/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))
(/.f64 (+.f64 1 (*.f64 (cos.f64 v) e)) (sin.f64 v))
(/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))
(/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))
(/.f64 (+.f64 1 (*.f64 (cos.f64 v) e)) (sin.f64 v))
(/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))
(/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))
(/.f64 (+.f64 1 (*.f64 (cos.f64 v) e)) (sin.f64 v))
(/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))
(/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))
(/.f64 (+.f64 1 (*.f64 (cos.f64 v) e)) (sin.f64 v))
(/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))
(/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v))

prune137.0ms (3.4%)

Pruning

8 alts after pruning (5 fresh and 3 done)

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

Error

Counts

158 → 8

Alt Table

Status	Error	Program
	33.8b	(/.f64 (cbrt.f64 (.f64 (pow.f64 e 3) (pow.f64 (sin.f64 v) 3))) (+.f64 1 (.f64 e (cos.f64 v))))
	0.6b	(pow.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (expm1.f64 (log1p.f64 (sin.f64 v))))) -1)
	24.5b	(/.f64 (pow.f64 (sqrt.f64 (.f64 e (sin.f64 v))) 2) (+.f64 1 (.f64 e (cos.f64 v))))
	1.2b	(/.f64 (pow.f64 (cbrt.f64 (.f64 e (sin.f64 v))) 3) (+.f64 1 (.f64 e (cos.f64 v))))
	1.3b	(pow.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v)))) 3) -1)
✓	0.2b	(/.f64 (.f64 e (log1p.f64 (expm1.f64 (sin.f64 v)))) (+.f64 1 (.f64 e (cos.f64 v))))
✓	0.2b	(/.f64 e (/.f64 (fma.f64 e (cos.f64 v) 1) (sin.f64 v)))
✓	0.5b	(pow.f64 (/.f64 (fma.f64 e (cos.f64 v) 1) (*.f64 e (sin.f64 v))) -1)

Compiler

Compiled 2997 to 1676 computations (44.1% saved)

regimes192.0ms (4.8%)

Accuracy

Total 0.1b remaining (72%)

Threshold costs 0.1b (72%)

Counts

118 → 1

Compiler

Compiled 1513 to 711 computations (53% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	19
1	14	19

Stop Event

1×

saturated

Calls

Call 1

Inputs
(expm1.f64 (log1p.f64 (*.f64 e (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1)))))

Outputs
(expm1.f64 (log1p.f64 (*.f64 e (/.f64 (sin.f64 v) (fma.f64 e (cos.f64 v) 1)))))

end119.0ms (3%)

Stop Event

1×

fuel

Compiler

Compiled 152 to 112 computations (26.3% saved)

Details

analyze21.0ms (0.5%)

sample2.8s (68.9%)

preprocess15.0ms (0.4%)

simplify6.0ms (0.2%)

prune3.0ms (0.1%)

localize8.0ms (0.2%)

series17.0ms (0.4%)

rewrite53.0ms (1.3%)

simplify33.0ms (0.8%)

prune123.0ms (3.1%)

localize10.0ms (0.2%)

series5.0ms (0.1%)

rewrite38.0ms (0.9%)

simplify31.0ms (0.8%)

prune76.0ms (1.9%)

localize8.0ms (0.2%)

series11.0ms (0.3%)

rewrite50.0ms (1.2%)

simplify41.0ms (1%)

prune163.0ms (4.1%)

localize7.0ms (0.2%)

series6.0ms (0.1%)

rewrite45.0ms (1.1%)

simplify35.0ms (0.9%)

prune137.0ms (3.4%)

regimes192.0ms (4.8%)

simplify2.0ms (0%)

end119.0ms (3%)

Profiling