Details

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 15 to 12 computations (20% saved)

sample1.8s (36.5%)

Results

452.0ms	1017×	body	1024	valid
374.0ms	2609×	body	256	valid
348.0ms	2588×	body	256	infinite
329.0ms	1003×	body	1024	infinite
136.0ms	554×	body	512	valid
110.0ms	482×	body	512	infinite
3.0ms	3×	body	2048	valid

Bogosity

preprocess92.0ms (1.9%)

Algorithm

2×	egg-herbie

Rules

1384×	`times-frac`
1336×	`fma-def`
864×	`unswap-sqr`
632×	`associate-/r/`
620×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	70
1	52	70
2	140	70
3	266	66
4	360	66
5	488	66
6	843	66
7	2161	66
8	4787	66
9	5402	66
10	6862	66
0	2	2

Stop Event

1×	saturated
1×	node limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
▶	100.0%	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
(.f64 (.f64 1/2 (sin.f64 im)) (+.f64 (exp.f64 (-.f64 0 re)) (exp.f64 re)))

Outputs
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 im)) (+.f64 (exp.f64 (-.f64 0 re)) (exp.f64 re)))
(.f64 (.f64 1/2 (sin.f64 im)) (+.f64 (exp.f64 (neg.f64 re)) (exp.f64 re)))
(*.f64 (sin.f64 im) (fma.f64 1/2 (exp.f64 re) (/.f64 1/2 (exp.f64 re))))

Compiler

Compiled 44 to 35 computations (20.5% saved)

localize90.0ms (1.8%)

Local Accuracy

Found 1 expressions with local accuracy:

New	Accuracy	Program
✓	100.0%	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))

Compiler

Compiled 41 to 25 computations (39% saved)

series5.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	im	@	inf	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
1.0ms	re	@	0	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
1.0ms	re	@	-inf	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
1.0ms	re	@	inf	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
1.0ms	im	@	-inf	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))

rewrite72.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1270×	`prod-diff`
1136×	`log-prod`
500×	`pow-exp`
464×	`fma-def`
424×	`expm1-udef`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	35
1	300	27
2	4137	27

Stop Event

1×	node limit

Counts

1 → 50

Calls

Call 1

Inputs
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))

Outputs
(+.f64 0 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))))
(+.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) 1) (.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) 1))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 1/2) (sin.f64 re)) (.f64 2 (cosh.f64 im)))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 1/2) (sin.f64 re)) (.f64 2 (cosh.f64 im)))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 1/2) (sin.f64 re)) (.f64 2 (cosh.f64 im))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 1/2) (sin.f64 re)) (.f64 2 (cosh.f64 im))))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 1/2) (sin.f64 re)) (.f64 2 (cosh.f64 im))))))
(-.f64 (exp.f64 (log1p.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))))) 1)
(/.f64 (+.f64 (pow.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) 3) (pow.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) 3)) (fma.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (-.f64 (.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))) (.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))))))
(/.f64 (-.f64 (.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))) (.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))) (-.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))))
(/.f64 (.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (pow.f64 (exp.f64 im) 3) (pow.f64 (exp.f64 im) 3))) (fma.f64 (exp.f64 im) (*.f64 2 (sinh.f64 im)) (pow.f64 (exp.f64 im) 2)))
(/.f64 (.f64 (.f64 1/2 (sin.f64 re)) (.f64 (exp.f64 im) (.f64 2 (sinh.f64 im)))) (*.f64 2 (sinh.f64 im)))
(/.f64 (.f64 (+.f64 (pow.f64 (exp.f64 im) 3) (pow.f64 (exp.f64 im) 3)) (.f64 1/2 (sin.f64 re))) (fma.f64 (exp.f64 im) (*.f64 2 (sinh.f64 im)) (pow.f64 (exp.f64 im) 2)))
(/.f64 (.f64 (.f64 (exp.f64 im) (.f64 2 (sinh.f64 im))) (.f64 1/2 (sin.f64 re))) (*.f64 2 (sinh.f64 im)))
(pow.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))) 1)
(pow.f64 (cbrt.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im)))) 3)
(pow.f64 (pow.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im)))) 2)
(sqrt.f64 (pow.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))) 2))
(log.f64 (pow.f64 (pow.f64 (exp.f64 1/2) (sin.f64 re)) (*.f64 2 (cosh.f64 im))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))))))
(cbrt.f64 (pow.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))) 3))
(cbrt.f64 (.f64 (pow.f64 (.f64 1/2 (sin.f64 re)) 3) (pow.f64 (*.f64 2 (cosh.f64 im)) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 2 (cosh.f64 im)) 3) (pow.f64 (*.f64 1/2 (sin.f64 re)) 3)))
(expm1.f64 (log1p.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im)))))
(exp.f64 (log.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im)))))
(exp.f64 (.f64 (log.f64 (.f64 (.f64 1/2 (sin.f64 re)) (.f64 2 (cosh.f64 im)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im)))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (.f64 1/2 (sin.f64 re)) (.f64 2 (cosh.f64 im))))) 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 (.f64 1/2 (sin.f64 re)) (.f64 2 (cosh.f64 im))) 3)) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (.f64 1/2 (sin.f64 re)) (.f64 2 (cosh.f64 im))))) 2))
(log1p.f64 (expm1.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im)))))
(fma.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (sin.f64 re) (.f64 1/2 (exp.f64 im)) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (exp.f64 im) (.f64 1/2 (sin.f64 re)) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 1 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (pow.f64 (cbrt.f64 (exp.f64 im)) 2) (.f64 (cbrt.f64 (exp.f64 im)) (.f64 1/2 (sin.f64 re))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 1/2 (sin.f64 re))) 2) (.f64 (cbrt.f64 (.f64 1/2 (sin.f64 re))) (exp.f64 im)) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (sqrt.f64 (exp.f64 im)) (.f64 (sqrt.f64 (exp.f64 im)) (.f64 1/2 (sin.f64 re))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (sqrt.f64 (.f64 1/2 (sin.f64 re))) (.f64 (sqrt.f64 (.f64 1/2 (sin.f64 re))) (exp.f64 im)) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) 1 (.f64 (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))) 1))
(fma.f64 (.f64 (cbrt.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))) (cbrt.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))) (cbrt.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (sqrt.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))) (sqrt.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (.f64 (sqrt.f64 (exp.f64 im)) (sqrt.f64 (.f64 1/2 (sin.f64 re)))) (.f64 (sqrt.f64 (exp.f64 im)) (sqrt.f64 (.f64 1/2 (sin.f64 re)))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (.f64 (sqrt.f64 (.f64 1/2 (sin.f64 re))) (sqrt.f64 (exp.f64 im))) (.f64 (sqrt.f64 (.f64 1/2 (sin.f64 re))) (sqrt.f64 (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (.f64 (exp.f64 im) (sin.f64 re)) 1/2 (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (.f64 (.f64 1/2 (sin.f64 re)) (pow.f64 (cbrt.f64 (exp.f64 im)) 2)) (cbrt.f64 (exp.f64 im)) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (.f64 (.f64 1/2 (sin.f64 re)) (sqrt.f64 (exp.f64 im))) (sqrt.f64 (exp.f64 im)) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (.f64 (exp.f64 im) 1/2) (sin.f64 re) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (.f64 (exp.f64 im) (pow.f64 (cbrt.f64 (.f64 1/2 (sin.f64 re))) 2)) (cbrt.f64 (.f64 1/2 (sin.f64 re))) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (.f64 (exp.f64 im) (sqrt.f64 (.f64 1/2 (sin.f64 re)))) (sqrt.f64 (.f64 1/2 (sin.f64 re))) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))

simplify42.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

340×	`associate-r`
288×	`associate-l`
196×	`*-commutative`
164×	`fma-def`
90×	`associate-/l*`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	190	3102
1	553	3102
2	2664	3102

Stop Event

1×

unsound

Counts

74 → 67

Calls

Call 1

Inputs
(.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (.f64 1/240 (.f64 (pow.f64 re 5) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))))
(+.f64 (.f64 -1/10080 (.f64 (pow.f64 re 7) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (.f64 1/240 (.f64 (pow.f64 re 5) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(sin.f64 re)
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(+.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))) (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)))))
(+.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/720 (.f64 (sin.f64 re) (pow.f64 im 6))) (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(+.f64 0 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))))
(+.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) 1) (.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) 1))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 1/2) (sin.f64 re)) (.f64 2 (cosh.f64 im)))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 1/2) (sin.f64 re)) (.f64 2 (cosh.f64 im)))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 1/2) (sin.f64 re)) (.f64 2 (cosh.f64 im))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 1/2) (sin.f64 re)) (.f64 2 (cosh.f64 im))))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 1/2) (sin.f64 re)) (.f64 2 (cosh.f64 im))))))
(-.f64 (exp.f64 (log1p.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))))) 1)
(/.f64 (+.f64 (pow.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) 3) (pow.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) 3)) (fma.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (-.f64 (.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))) (.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))))))
(/.f64 (-.f64 (.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))) (.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))) (-.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))))
(/.f64 (.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (pow.f64 (exp.f64 im) 3) (pow.f64 (exp.f64 im) 3))) (fma.f64 (exp.f64 im) (*.f64 2 (sinh.f64 im)) (pow.f64 (exp.f64 im) 2)))
(/.f64 (.f64 (.f64 1/2 (sin.f64 re)) (.f64 (exp.f64 im) (.f64 2 (sinh.f64 im)))) (*.f64 2 (sinh.f64 im)))
(/.f64 (.f64 (+.f64 (pow.f64 (exp.f64 im) 3) (pow.f64 (exp.f64 im) 3)) (.f64 1/2 (sin.f64 re))) (fma.f64 (exp.f64 im) (*.f64 2 (sinh.f64 im)) (pow.f64 (exp.f64 im) 2)))
(/.f64 (.f64 (.f64 (exp.f64 im) (.f64 2 (sinh.f64 im))) (.f64 1/2 (sin.f64 re))) (*.f64 2 (sinh.f64 im)))
(pow.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))) 1)
(pow.f64 (cbrt.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im)))) 3)
(pow.f64 (pow.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im)))) 2)
(sqrt.f64 (pow.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))) 2))
(log.f64 (pow.f64 (pow.f64 (exp.f64 1/2) (sin.f64 re)) (*.f64 2 (cosh.f64 im))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))))))
(cbrt.f64 (pow.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))) 3))
(cbrt.f64 (.f64 (pow.f64 (.f64 1/2 (sin.f64 re)) 3) (pow.f64 (*.f64 2 (cosh.f64 im)) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 2 (cosh.f64 im)) 3) (pow.f64 (*.f64 1/2 (sin.f64 re)) 3)))
(expm1.f64 (log1p.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im)))))
(exp.f64 (log.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im)))))
(exp.f64 (.f64 (log.f64 (.f64 (.f64 1/2 (sin.f64 re)) (.f64 2 (cosh.f64 im)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im)))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (.f64 1/2 (sin.f64 re)) (.f64 2 (cosh.f64 im))))) 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 (.f64 1/2 (sin.f64 re)) (.f64 2 (cosh.f64 im))) 3)) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (.f64 1/2 (sin.f64 re)) (.f64 2 (cosh.f64 im))))) 2))
(log1p.f64 (expm1.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im)))))
(fma.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (sin.f64 re) (.f64 1/2 (exp.f64 im)) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (exp.f64 im) (.f64 1/2 (sin.f64 re)) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 1 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (pow.f64 (cbrt.f64 (exp.f64 im)) 2) (.f64 (cbrt.f64 (exp.f64 im)) (.f64 1/2 (sin.f64 re))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 1/2 (sin.f64 re))) 2) (.f64 (cbrt.f64 (.f64 1/2 (sin.f64 re))) (exp.f64 im)) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (sqrt.f64 (exp.f64 im)) (.f64 (sqrt.f64 (exp.f64 im)) (.f64 1/2 (sin.f64 re))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (sqrt.f64 (.f64 1/2 (sin.f64 re))) (.f64 (sqrt.f64 (.f64 1/2 (sin.f64 re))) (exp.f64 im)) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) 1 (.f64 (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))) 1))
(fma.f64 (.f64 (cbrt.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))) (cbrt.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))) (cbrt.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (sqrt.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))) (sqrt.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (.f64 (sqrt.f64 (exp.f64 im)) (sqrt.f64 (.f64 1/2 (sin.f64 re)))) (.f64 (sqrt.f64 (exp.f64 im)) (sqrt.f64 (.f64 1/2 (sin.f64 re)))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (.f64 (sqrt.f64 (.f64 1/2 (sin.f64 re))) (sqrt.f64 (exp.f64 im))) (.f64 (sqrt.f64 (.f64 1/2 (sin.f64 re))) (sqrt.f64 (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (.f64 (exp.f64 im) (sin.f64 re)) 1/2 (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (.f64 (.f64 1/2 (sin.f64 re)) (pow.f64 (cbrt.f64 (exp.f64 im)) 2)) (cbrt.f64 (exp.f64 im)) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (.f64 (.f64 1/2 (sin.f64 re)) (sqrt.f64 (exp.f64 im))) (sqrt.f64 (exp.f64 im)) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (.f64 (exp.f64 im) 1/2) (sin.f64 re) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (.f64 (exp.f64 im) (pow.f64 (cbrt.f64 (.f64 1/2 (sin.f64 re))) 2)) (cbrt.f64 (.f64 1/2 (sin.f64 re))) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(fma.f64 (.f64 (exp.f64 im) (sqrt.f64 (.f64 1/2 (sin.f64 re)))) (sqrt.f64 (.f64 1/2 (sin.f64 re))) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))

Outputs
(.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 -1/12 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 3)) (.f64 1/2 (*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (.f64 1/240 (.f64 (pow.f64 re 5) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))))
(fma.f64 -1/12 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 3)) (fma.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (.f64 1/240 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 5)))))
(+.f64 (.f64 -1/10080 (.f64 (pow.f64 re 7) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (.f64 1/240 (.f64 (pow.f64 re 5) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))))
(fma.f64 -1/10080 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 7)) (fma.f64 -1/12 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 3)) (fma.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (.f64 1/240 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 5))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(sin.f64 re)
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (*.f64 im im))))
(+.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))) (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)))))
(+.f64 (sin.f64 re) (fma.f64 1/2 (.f64 (sin.f64 re) (.f64 im im)) (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)))))
(+.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/720 (.f64 (sin.f64 re) (pow.f64 im 6))) (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))))))
(+.f64 (sin.f64 re) (fma.f64 1/2 (.f64 (sin.f64 re) (.f64 im im)) (fma.f64 1/720 (.f64 (sin.f64 re) (pow.f64 im 6)) (.f64 1/24 (*.f64 (sin.f64 re) (pow.f64 im 4))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(+.f64 0 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(+.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(+.f64 (.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) 1) (.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) 1))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 1/2) (sin.f64 re)) (.f64 2 (cosh.f64 im)))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 1/2) (sin.f64 re)) (.f64 2 (cosh.f64 im)))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 1/2) (sin.f64 re)) (.f64 2 (cosh.f64 im))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 1/2) (sin.f64 re)) (.f64 2 (cosh.f64 im))))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 1/2) (sin.f64 re)) (.f64 2 (cosh.f64 im))))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 1/2) (sin.f64 re)) (.f64 2 (cosh.f64 im)))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 1/2) (sin.f64 re)) (.f64 2 (cosh.f64 im)))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 1/2) (sin.f64 re)) (.f64 2 (cosh.f64 im))))))
(-.f64 (exp.f64 (log1p.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))))) 1)
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(/.f64 (+.f64 (pow.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) 3) (pow.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) 3)) (fma.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (-.f64 (.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))) (.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(/.f64 (-.f64 (.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))) (.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))) (-.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(/.f64 (.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (pow.f64 (exp.f64 im) 3) (pow.f64 (exp.f64 im) 3))) (fma.f64 (exp.f64 im) (*.f64 2 (sinh.f64 im)) (pow.f64 (exp.f64 im) 2)))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(/.f64 (.f64 (.f64 1/2 (sin.f64 re)) (.f64 (exp.f64 im) (.f64 2 (sinh.f64 im)))) (*.f64 2 (sinh.f64 im)))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(/.f64 (.f64 (+.f64 (pow.f64 (exp.f64 im) 3) (pow.f64 (exp.f64 im) 3)) (.f64 1/2 (sin.f64 re))) (fma.f64 (exp.f64 im) (*.f64 2 (sinh.f64 im)) (pow.f64 (exp.f64 im) 2)))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(/.f64 (.f64 (.f64 (exp.f64 im) (.f64 2 (sinh.f64 im))) (.f64 1/2 (sin.f64 re))) (*.f64 2 (sinh.f64 im)))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(pow.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))) 1)
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(pow.f64 (cbrt.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im)))) 3)
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(pow.f64 (pow.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))) 3) 1/3)
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(pow.f64 (sqrt.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im)))) 2)
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(sqrt.f64 (pow.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))) 2))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(log.f64 (pow.f64 (pow.f64 (exp.f64 1/2) (sin.f64 re)) (*.f64 2 (cosh.f64 im))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 1/2) (sin.f64 re)) (.f64 2 (cosh.f64 im)))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 1/2) (sin.f64 re)) (.f64 2 (cosh.f64 im)))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 1/2) (sin.f64 re)) (.f64 2 (cosh.f64 im))))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(cbrt.f64 (pow.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))) 3))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(cbrt.f64 (.f64 (pow.f64 (.f64 1/2 (sin.f64 re)) 3) (pow.f64 (*.f64 2 (cosh.f64 im)) 3)))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(cbrt.f64 (.f64 (pow.f64 (.f64 2 (cosh.f64 im)) 3) (pow.f64 (*.f64 1/2 (sin.f64 re)) 3)))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(expm1.f64 (log1p.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(exp.f64 (log.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(exp.f64 (.f64 (log.f64 (.f64 (.f64 1/2 (sin.f64 re)) (.f64 2 (cosh.f64 im)))) 1))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im)))) 1) 1))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (.f64 1/2 (sin.f64 re)) (.f64 2 (cosh.f64 im))))) 3))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 (.f64 1/2 (sin.f64 re)) (.f64 2 (cosh.f64 im))) 3)) 1/3))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (.f64 1/2 (sin.f64 re)) (.f64 2 (cosh.f64 im))))) 2))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(log1p.f64 (expm1.f64 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(fma.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(fma.f64 (sin.f64 re) (.f64 1/2 (exp.f64 im)) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(fma.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(fma.f64 (exp.f64 im) (.f64 1/2 (sin.f64 re)) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(fma.f64 1 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(fma.f64 (pow.f64 (cbrt.f64 (exp.f64 im)) 2) (.f64 (cbrt.f64 (exp.f64 im)) (.f64 1/2 (sin.f64 re))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 1/2 (sin.f64 re))) 2) (.f64 (cbrt.f64 (.f64 1/2 (sin.f64 re))) (exp.f64 im)) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(fma.f64 (sqrt.f64 (exp.f64 im)) (.f64 (sqrt.f64 (exp.f64 im)) (.f64 1/2 (sin.f64 re))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(fma.f64 (sqrt.f64 (.f64 1/2 (sin.f64 re))) (.f64 (sqrt.f64 (.f64 1/2 (sin.f64 re))) (exp.f64 im)) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(fma.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))) 1 (.f64 (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))) 1))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(fma.f64 (.f64 (cbrt.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))) (cbrt.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))) (cbrt.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(fma.f64 (sqrt.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))) (sqrt.f64 (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(fma.f64 (.f64 (sqrt.f64 (exp.f64 im)) (sqrt.f64 (.f64 1/2 (sin.f64 re)))) (.f64 (sqrt.f64 (exp.f64 im)) (sqrt.f64 (.f64 1/2 (sin.f64 re)))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(fma.f64 (.f64 (sqrt.f64 (.f64 1/2 (sin.f64 re))) (sqrt.f64 (exp.f64 im))) (.f64 (sqrt.f64 (.f64 1/2 (sin.f64 re))) (sqrt.f64 (exp.f64 im))) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(fma.f64 (.f64 (exp.f64 im) (sin.f64 re)) 1/2 (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(fma.f64 (.f64 (.f64 1/2 (sin.f64 re)) (pow.f64 (cbrt.f64 (exp.f64 im)) 2)) (cbrt.f64 (exp.f64 im)) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(fma.f64 (.f64 (.f64 1/2 (sin.f64 re)) (sqrt.f64 (exp.f64 im))) (sqrt.f64 (exp.f64 im)) (.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(fma.f64 (.f64 (exp.f64 im) 1/2) (sin.f64 re) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(fma.f64 (.f64 (exp.f64 im) (pow.f64 (cbrt.f64 (.f64 1/2 (sin.f64 re))) 2)) (cbrt.f64 (.f64 1/2 (sin.f64 re))) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(fma.f64 (.f64 (exp.f64 im) (sqrt.f64 (.f64 1/2 (sin.f64 re)))) (sqrt.f64 (.f64 1/2 (sin.f64 re))) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))

eval19.0ms (0.4%)

Compiler: Compiled 1317 to 644 computations (51.1% saved)

prune14.0ms (0.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	63	4	67
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	64	4	68

Accurracy

100.0%

Counts

68 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	71.8%	(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (*.f64 im im))))
▶	100.0%	(+.f64 0 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))))
▶	61.3%	(.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
▶	50.3%	(sin.f64 re)
▶	71.8%	(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (*.f64 im im))))
▶	100.0%	(+.f64 0 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))))
▶	61.3%	(.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
▶	50.3%	(sin.f64 re)

Compiler

Compiled 84 to 62 computations (26.2% saved)

localize142.0ms (2.9%)

Local Accuracy

Found 4 expressions with local accuracy:

New	Accuracy	Program
✓	100.0%	(.f64 1/2 (.f64 (sin.f64 re) (*.f64 im im)))
✓	95.3%	(.f64 (sin.f64 re) (.f64 im im))
✓	100.0%	(.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im)))
✓	100.0%	(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))

Compiler

Compiled 110 to 40 computations (63.6% saved)

series12.0ms (0.2%)

Counts

4 → 92

Calls

24 calls:

Time	Variable		Point	Expression
2.0ms	re	@	0	(.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im)))
2.0ms	re	@	inf	(.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im)))
1.0ms	im	@	inf	(.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im)))
1.0ms	im	@	-inf	(.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im)))
0.0ms	re	@	inf	(.f64 1/2 (.f64 (sin.f64 re) (*.f64 im im)))

rewrite40.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

406×	`associate-r`
404×	`add-sqr-sqrt`
390×	`pow1`
390×	`*-un-lft-identity`
376×	`add-exp-log`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	98
1	421	98
2	6142	98

Stop Event

1×

unsound

Counts

4 → 78

Calls

Call 1

Inputs
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im)))
(.f64 (sin.f64 re) (.f64 im im))
(.f64 1/2 (.f64 (sin.f64 re) (*.f64 im im)))

Outputs
(+.f64 re re)
(-.f64 (exp.f64 (log1p.f64 re)) -2)
(/.f64 re -2)
(/.f64 re (+.f64 re (-.f64 re re)))
(/.f64 (-.f64 re re) (-.f64 re re))
(pow.f64 re -2)
(pow.f64 re 1/3)
(sqrt.f64 re)
(fabs.f64 re)
(log.f64 (exp.f64 re))
(log.f64 (+.f64 -2 (expm1.f64 re)))
(cbrt.f64 re)
re
(expm1.f64 (log1p.f64 re))
(exp.f64 (log.f64 re))
(exp.f64 (*.f64 (log.f64 re) -2))
(log1p.f64 (expm1.f64 re))
(fma.f64 re -2 re)
(fma.f64 -2 re re)
-2
-1
0
1/512
1/64
1/16
1/8
1/4
1/2
1
3/2
2
3
4
8
9
16
27
64
512
im
-2
-1
0
1/512
1/64
1/16
1/8
1/4
1/2
1
3/2
2
3
4
8
9
16
27
64
512
im
-2
-1
0
1/512
1/64
1/16
1/8
1/4
1/2
1
3/2
2
3
4
8
9
16
27
64
512
im

simplify123.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1564×	`fma-def`
1490×	`distribute-lft-out`
736×	`associate-r`
698×	`associate-l`
552×	`+-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	144	4536
1	348	4536
2	1016	4536
3	4219	4536

Stop Event

1×	node limit

Counts

170 → 72

Calls

Call 1

Inputs
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)
(*.f64 2 re)
(+.f64 (.f64 re (pow.f64 im 2)) (.f64 2 re))
(+.f64 (.f64 re (pow.f64 im 2)) (+.f64 (.f64 1/12 (.f64 re (pow.f64 im 4))) (.f64 2 re)))
(+.f64 (.f64 re (pow.f64 im 2)) (+.f64 (.f64 1/360 (.f64 re (pow.f64 im 6))) (+.f64 (.f64 1/12 (.f64 re (pow.f64 im 4))) (.f64 2 re))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (.f64 -1 im))) re)
(.f64 (+.f64 (exp.f64 im) (exp.f64 (.f64 -1 im))) re)
(.f64 (+.f64 (exp.f64 im) (exp.f64 (.f64 -1 im))) re)
(.f64 (+.f64 (exp.f64 im) (exp.f64 (.f64 -1 im))) re)
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) re))
(+.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) re)) (.f64 -1/12 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 3))))
(+.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) re)) (+.f64 (.f64 -1/12 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 3))) (.f64 1/240 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 5)))))
(+.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) re)) (+.f64 (.f64 -1/10080 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 7))) (+.f64 (.f64 -1/12 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 3))) (.f64 1/240 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 5))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(sin.f64 re)
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(+.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))) (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)))))
(+.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/720 (.f64 (sin.f64 re) (pow.f64 im 6))) (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(*.f64 re (pow.f64 im 2))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (*.f64 re (pow.f64 im 2)))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (+.f64 (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 2))) (*.f64 re (pow.f64 im 2))))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (+.f64 (.f64 -1/5040 (.f64 (pow.f64 re 7) (pow.f64 im 2))) (+.f64 (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 2))) (*.f64 re (pow.f64 im 2)))))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (.f64 1/2 (.f64 re (pow.f64 im 2))))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (+.f64 (.f64 1/240 (.f64 (pow.f64 re 5) (pow.f64 im 2))) (.f64 1/2 (.f64 re (pow.f64 im 2)))))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (+.f64 (.f64 1/240 (.f64 (pow.f64 re 5) (pow.f64 im 2))) (+.f64 (.f64 -1/10080 (.f64 (pow.f64 re 7) (pow.f64 im 2))) (.f64 1/2 (.f64 re (pow.f64 im 2))))))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 re re)
(-.f64 (exp.f64 (log1p.f64 re)) -2)
(/.f64 re -2)
(/.f64 re (+.f64 re (-.f64 re re)))
(/.f64 (-.f64 re re) (-.f64 re re))
(pow.f64 re -2)
(pow.f64 re 1/3)
(sqrt.f64 re)
(fabs.f64 re)
(log.f64 (exp.f64 re))
(log.f64 (+.f64 -2 (expm1.f64 re)))
(cbrt.f64 re)
(expm1.f64 (log1p.f64 re))
(exp.f64 (log.f64 re))
(exp.f64 (*.f64 (log.f64 re) -2))
(log1p.f64 (expm1.f64 re))
(fma.f64 re -2 re)
(fma.f64 -2 re re)
-2
-1
0
1/512
1/64
1/16
1/8
1/4
1/2
1
3/2
2
3
4
8
9
16
27
64
512
-2
-1
0
1/512
1/64
1/16
1/8
1/4
1/2
1
3/2
2
3
4
8
9
16
27
64
512
-2
-1
0
1/512
1/64
1/16
1/8
1/4
1/2
1
3/2
2
3
4
8
9
16
27
64
512

Outputs
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 2 re)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(+.f64 (.f64 re (pow.f64 im 2)) (.f64 2 re))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(+.f64 (.f64 re (pow.f64 im 2)) (+.f64 (.f64 1/12 (.f64 re (pow.f64 im 4))) (.f64 2 re)))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(+.f64 (.f64 re (pow.f64 im 2)) (+.f64 (.f64 1/360 (.f64 re (pow.f64 im 6))) (+.f64 (.f64 1/12 (.f64 re (pow.f64 im 4))) (.f64 2 re))))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (.f64 -1 im))) re)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (.f64 -1 im))) re)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (.f64 -1 im))) re)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (.f64 -1 im))) re)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) re))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(+.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) re)) (.f64 -1/12 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 3))))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(+.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) re)) (+.f64 (.f64 -1/12 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 3))) (.f64 1/240 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 5)))))
(fma.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (fma.f64 -1/12 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 3)) (.f64 1/240 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 5)))))
(fma.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (fma.f64 -1/12 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 3)) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/240 (pow.f64 re 5)))))
(+.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) re)) (+.f64 (.f64 -1/10080 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 7))) (+.f64 (.f64 -1/12 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 3))) (.f64 1/240 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 5))))))
(fma.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (fma.f64 -1/12 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 3)) (.f64 1/240 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 5)))))
(fma.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (fma.f64 -1/12 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 3)) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/240 (pow.f64 re 5)))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(sin.f64 re)
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(+.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))) (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(+.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/720 (.f64 (sin.f64 re) (pow.f64 im 6))) (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))))))
(+.f64 (sin.f64 re) (fma.f64 1/2 (.f64 (.f64 im im) (sin.f64 re)) (fma.f64 1/720 (.f64 (pow.f64 im 6) (sin.f64 re)) (.f64 1/24 (*.f64 (pow.f64 im 4) (sin.f64 re))))))
(+.f64 (sin.f64 re) (fma.f64 1/2 (.f64 im (.f64 im (sin.f64 re))) (fma.f64 1/24 (.f64 (pow.f64 im 4) (sin.f64 re)) (.f64 (sin.f64 re) (*.f64 (pow.f64 im 6) 1/720)))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 re (pow.f64 im 2))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (*.f64 re (pow.f64 im 2)))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (+.f64 (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 2))) (*.f64 re (pow.f64 im 2))))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (+.f64 (.f64 -1/5040 (.f64 (pow.f64 re 7) (pow.f64 im 2))) (+.f64 (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 2))) (*.f64 re (pow.f64 im 2)))))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (.f64 1/2 (.f64 re (pow.f64 im 2))))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (+.f64 (.f64 1/240 (.f64 (pow.f64 re 5) (pow.f64 im 2))) (.f64 1/2 (.f64 re (pow.f64 im 2)))))
(fma.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (fma.f64 -1/12 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 3)) (.f64 1/240 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 5)))))
(fma.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (fma.f64 -1/12 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 3)) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/240 (pow.f64 re 5)))))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (+.f64 (.f64 1/240 (.f64 (pow.f64 re 5) (pow.f64 im 2))) (+.f64 (.f64 -1/10080 (.f64 (pow.f64 re 7) (pow.f64 im 2))) (.f64 1/2 (.f64 re (pow.f64 im 2))))))
(fma.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (fma.f64 -1/12 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 3)) (.f64 1/240 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 5)))))
(fma.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (fma.f64 -1/12 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 3)) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/240 (pow.f64 re 5)))))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(+.f64 re re)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(-.f64 (exp.f64 (log1p.f64 re)) -2)
(+.f64 (exp.f64 (log1p.f64 re)) 2)
(+.f64 2 (exp.f64 (log1p.f64 re)))
(/.f64 re -2)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(/.f64 re (+.f64 re (-.f64 re re)))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(/.f64 (-.f64 re re) (-.f64 re re))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(pow.f64 re -2)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(pow.f64 re 1/3)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(sqrt.f64 re)
(fabs.f64 re)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(log.f64 (exp.f64 re))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(log.f64 (+.f64 -2 (expm1.f64 re)))
(cbrt.f64 re)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(expm1.f64 (log1p.f64 re))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(exp.f64 (log.f64 re))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(exp.f64 (*.f64 (log.f64 re) -2))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(log1p.f64 (expm1.f64 re))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 re -2 re)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 -2 re re)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
-2
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
-1
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
0
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
1/512
1/64
1/16
1/8
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
1/4
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
1/2
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
1
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
3/2
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
2
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
3
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
4
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
8
9
16
27
64
512
-2
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
-1
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
0
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
1/512
1/64
1/16
1/8
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
1/4
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
1/2
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
1
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
3/2
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
2
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
3
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
4
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
8
9
16
27
64
512
-2
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
-1
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
0
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
1/512
1/64
1/16
1/8
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
1/4
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
1/2
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
1
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
3/2
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
2
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
3
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
4
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
8
9
16
27
64
512

eval19.0ms (0.4%)

Compiler: Compiled 870 to 571 computations (34.4% saved)

prune50.0ms (1%)

Pruning

22 alts after pruning (18 fresh and 4 done)

	Pruned	Kept	Total
New	54	18	72
Fresh	0	0	0
Picked	0	4	4
Done	0	0	0
Total	54	22	76

Accurracy

100.0%

Counts

76 → 22

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	71.8%	(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (*.f64 im im))))
✓	100.0%	(+.f64 0 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))))
	3.3%	(+.f64 0 512)
▶	3.8%	(+.f64 0 3/2)
	4.1%	(+.f64 0 1)
	3.9%	(+.f64 0 1/2)
	3.9%	(+.f64 0 1/4)
▶	3.7%	(+.f64 0 1/8)
	3.4%	(+.f64 0 1/512)
	2.9%	(+.f64 0 0)
	5.3%	(+.f64 0 -1)
▶	4.8%	(+.f64 0 -2)
	2.9%	(*.f64 1/2 (fma.f64 re -2 re))
	7.5%	(*.f64 1/2 (pow.f64 re -2))
	2.9%	(*.f64 1/2 (/.f64 re -2))
▶	44.8%	(.f64 1/2 (+.f64 (.f64 re (pow.f64 im 2)) (*.f64 2 re)))
	27.5%	(*.f64 1/2 (+.f64 re re))
✓	61.3%	(.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
	18.0%	(*.f64 1/2 (log1p.f64 (expm1.f64 re)))
▶	4.3%	(*.f64 1/2 (fabs.f64 re))
	6.6%	(.f64 1/2 (exp.f64 (.f64 (log.f64 re) -2)))
✓	50.3%	(sin.f64 re)
✓	71.8%	(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (*.f64 im im))))
✓	100.0%	(+.f64 0 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))))
	3.3%	(+.f64 0 512)
▶	3.8%	(+.f64 0 3/2)
	4.1%	(+.f64 0 1)
	3.9%	(+.f64 0 1/2)
	3.9%	(+.f64 0 1/4)
▶	3.7%	(+.f64 0 1/8)
	3.4%	(+.f64 0 1/512)
	2.9%	(+.f64 0 0)
	5.3%	(+.f64 0 -1)
▶	4.8%	(+.f64 0 -2)
	2.9%	(*.f64 1/2 (fma.f64 re -2 re))
	7.5%	(*.f64 1/2 (pow.f64 re -2))
	2.9%	(*.f64 1/2 (/.f64 re -2))
▶	44.8%	(.f64 1/2 (+.f64 (.f64 re (pow.f64 im 2)) (*.f64 2 re)))
	27.5%	(*.f64 1/2 (+.f64 re re))
✓	61.3%	(.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
	18.0%	(*.f64 1/2 (log1p.f64 (expm1.f64 re)))
▶	4.3%	(*.f64 1/2 (fabs.f64 re))
	6.6%	(.f64 1/2 (exp.f64 (.f64 (log.f64 re) -2)))
✓	50.3%	(sin.f64 re)

Compiler

Compiled 540 to 470 computations (13% saved)

localize128.0ms (2.6%)

Local Accuracy

Found 1 expressions with local accuracy:

New	Accuracy	Program
✓	90.3%	(*.f64 re (pow.f64 im 2))

Compiler

Compiled 61 to 45 computations (26.2% saved)

series2.0ms (0%)

Counts

1 → 0

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	re	@	0	(*.f64 re (pow.f64 im 2))
0.0ms	im	@	inf	(*.f64 re (pow.f64 im 2))
0.0ms	re	@	inf	(*.f64 re (pow.f64 im 2))
0.0ms	re	@	-inf	(*.f64 re (pow.f64 im 2))
0.0ms	im	@	0	(*.f64 re (pow.f64 im 2))

rewrite51.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1198×	`pow1`
1096×	`add-exp-log`
1096×	`log1p-expm1-u`
1096×	`expm1-log1p-u`
1070×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	142	13
2	1559	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(*.f64 re (pow.f64 im 2))

Outputs
(-.f64 (+.f64 1 (.f64 re (.f64 im im))) 1)
(pow.f64 (.f64 re (.f64 im im)) 1)
(pow.f64 (cbrt.f64 (.f64 re (.f64 im im))) 3)
(pow.f64 (pow.f64 (.f64 re (.f64 im im)) 3) 1/3)
(pow.f64 (*.f64 im (sqrt.f64 re)) 2)
(sqrt.f64 (.f64 (pow.f64 im 4) (.f64 re re)))
(log.f64 (pow.f64 (pow.f64 (exp.f64 im) im) re))
(cbrt.f64 (pow.f64 (.f64 re (.f64 im im)) 3))
(expm1.f64 (log1p.f64 (.f64 re (.f64 im im))))
(exp.f64 (log.f64 (.f64 re (.f64 im im))))
(log1p.f64 (expm1.f64 (.f64 re (.f64 im im))))

simplify53.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

2020×	`log-prod`
770×	`associate-r`
712×	`distribute-rgt-in`
688×	`distribute-lft-in`
680×	`associate-l`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	37	275
1	93	209
2	336	143
3	2071	143
4	5973	143

Stop Event

1×	node limit

Counts

11 → 14

Calls

Call 1

Inputs
(-.f64 (+.f64 1 (.f64 re (.f64 im im))) 1)
(pow.f64 (.f64 re (.f64 im im)) 1)
(pow.f64 (cbrt.f64 (.f64 re (.f64 im im))) 3)
(pow.f64 (pow.f64 (.f64 re (.f64 im im)) 3) 1/3)
(pow.f64 (*.f64 im (sqrt.f64 re)) 2)
(sqrt.f64 (.f64 (pow.f64 im 4) (.f64 re re)))
(log.f64 (pow.f64 (pow.f64 (exp.f64 im) im) re))
(cbrt.f64 (pow.f64 (.f64 re (.f64 im im)) 3))
(expm1.f64 (log1p.f64 (.f64 re (.f64 im im))))
(exp.f64 (log.f64 (.f64 re (.f64 im im))))
(log1p.f64 (expm1.f64 (.f64 re (.f64 im im))))

Outputs
(-.f64 (+.f64 1 (.f64 re (.f64 im im))) 1)
(+.f64 (+.f64 1 (.f64 re (.f64 im im))) -1)
(+.f64 (.f64 re (.f64 im im)) 0)
(.f64 re (.f64 im im))
(pow.f64 (.f64 re (.f64 im im)) 1)
(+.f64 (+.f64 1 (.f64 re (.f64 im im))) -1)
(+.f64 (.f64 re (.f64 im im)) 0)
(.f64 re (.f64 im im))
(pow.f64 (cbrt.f64 (.f64 re (.f64 im im))) 3)
(+.f64 (+.f64 1 (.f64 re (.f64 im im))) -1)
(+.f64 (.f64 re (.f64 im im)) 0)
(.f64 re (.f64 im im))
(pow.f64 (pow.f64 (.f64 re (.f64 im im)) 3) 1/3)
(+.f64 (+.f64 1 (.f64 re (.f64 im im))) -1)
(+.f64 (.f64 re (.f64 im im)) 0)
(.f64 re (.f64 im im))
(pow.f64 (*.f64 im (sqrt.f64 re)) 2)
(+.f64 (+.f64 1 (.f64 re (.f64 im im))) -1)
(+.f64 (.f64 re (.f64 im im)) 0)
(.f64 re (.f64 im im))
(sqrt.f64 (.f64 (pow.f64 im 4) (.f64 re re)))
(+.f64 (+.f64 1 (.f64 re (.f64 im im))) -1)
(+.f64 (.f64 re (.f64 im im)) 0)
(.f64 re (.f64 im im))
(log.f64 (pow.f64 (pow.f64 (exp.f64 im) im) re))
(+.f64 (+.f64 1 (.f64 re (.f64 im im))) -1)
(+.f64 (.f64 re (.f64 im im)) 0)
(.f64 re (.f64 im im))
(cbrt.f64 (pow.f64 (.f64 re (.f64 im im)) 3))
(+.f64 (+.f64 1 (.f64 re (.f64 im im))) -1)
(+.f64 (.f64 re (.f64 im im)) 0)
(.f64 re (.f64 im im))
(expm1.f64 (log1p.f64 (.f64 re (.f64 im im))))
(+.f64 (+.f64 1 (.f64 re (.f64 im im))) -1)
(+.f64 (.f64 re (.f64 im im)) 0)
(.f64 re (.f64 im im))
(exp.f64 (log.f64 (.f64 re (.f64 im im))))
(+.f64 (+.f64 1 (.f64 re (.f64 im im))) -1)
(+.f64 (.f64 re (.f64 im im)) 0)
(.f64 re (.f64 im im))
(log1p.f64 (expm1.f64 (.f64 re (.f64 im im))))
(+.f64 (+.f64 1 (.f64 re (.f64 im im))) -1)
(+.f64 (.f64 re (.f64 im im)) 0)
(.f64 re (.f64 im im))

eval4.0ms (0.1%)

Compiler: Compiled 190 to 115 computations (39.5% saved)

prune27.0ms (0.6%)

Pruning

22 alts after pruning (14 fresh and 8 done)

	Pruned	Kept	Total
New	13	1	14
Fresh	0	13	13
Picked	1	4	5
Done	0	4	4
Total	14	22	36

Accurracy

100.0%

Counts

36 → 22

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	71.8%	(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (*.f64 im im))))
✓	100.0%	(+.f64 0 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))))
▶	3.3%	(+.f64 0 512)
✓	3.8%	(+.f64 0 3/2)
	4.1%	(+.f64 0 1)
	3.9%	(+.f64 0 1/2)
▶	3.9%	(+.f64 0 1/4)
✓	3.7%	(+.f64 0 1/8)
	3.4%	(+.f64 0 1/512)
	2.9%	(+.f64 0 0)
▶	5.3%	(+.f64 0 -1)
✓	4.8%	(+.f64 0 -2)
	2.9%	(*.f64 1/2 (fma.f64 re -2 re))
▶	7.5%	(*.f64 1/2 (pow.f64 re -2))
	2.9%	(*.f64 1/2 (/.f64 re -2))
▶	44.8%	(.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re)))
	27.5%	(*.f64 1/2 (+.f64 re re))
✓	61.3%	(.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
	18.0%	(*.f64 1/2 (log1p.f64 (expm1.f64 re)))
✓	4.3%	(*.f64 1/2 (fabs.f64 re))
	6.6%	(.f64 1/2 (exp.f64 (.f64 (log.f64 re) -2)))
✓	50.3%	(sin.f64 re)
✓	71.8%	(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (*.f64 im im))))
✓	100.0%	(+.f64 0 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))))
▶	3.3%	(+.f64 0 512)
✓	3.8%	(+.f64 0 3/2)
	4.1%	(+.f64 0 1)
	3.9%	(+.f64 0 1/2)
▶	3.9%	(+.f64 0 1/4)
✓	3.7%	(+.f64 0 1/8)
	3.4%	(+.f64 0 1/512)
	2.9%	(+.f64 0 0)
▶	5.3%	(+.f64 0 -1)
✓	4.8%	(+.f64 0 -2)
	2.9%	(*.f64 1/2 (fma.f64 re -2 re))
▶	7.5%	(*.f64 1/2 (pow.f64 re -2))
	2.9%	(*.f64 1/2 (/.f64 re -2))
▶	44.8%	(.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re)))
	27.5%	(*.f64 1/2 (+.f64 re re))
✓	61.3%	(.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
	18.0%	(*.f64 1/2 (log1p.f64 (expm1.f64 re)))
✓	4.3%	(*.f64 1/2 (fabs.f64 re))
	6.6%	(.f64 1/2 (exp.f64 (.f64 (log.f64 re) -2)))
✓	50.3%	(sin.f64 re)

Compiler

Compiled 498 to 426 computations (14.5% saved)

localize127.0ms (2.6%)

Local Accuracy

Found 1 expressions with local accuracy:

New	Accuracy	Program
✓	90.3%	(.f64 re (.f64 im im))

Compiler

Compiled 64 to 40 computations (37.5% saved)

series0.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	im	@	inf	(.f64 re (.f64 im im))
0.0ms	re	@	0	(.f64 re (.f64 im im))
0.0ms	re	@	inf	(.f64 re (.f64 im im))
0.0ms	re	@	-inf	(.f64 re (.f64 im im))
0.0ms	im	@	-inf	(.f64 re (.f64 im im))

rewrite58.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1110×	`pow1`
1054×	`add-sqr-sqrt`
1016×	`add-exp-log`
1016×	`log1p-expm1-u`
1016×	`expm1-log1p-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	120	13
2	1449	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 re (.f64 im im))

Outputs
(-.f64 (+.f64 1 (.f64 re (.f64 im im))) 1)
(pow.f64 (.f64 re (.f64 im im)) 1)
(pow.f64 (cbrt.f64 (.f64 re (.f64 im im))) 3)
(pow.f64 (pow.f64 (.f64 re (.f64 im im)) 3) 1/3)
(pow.f64 (*.f64 im (sqrt.f64 re)) 2)
(sqrt.f64 (.f64 (.f64 re re) (pow.f64 im 4)))
(log.f64 (pow.f64 (exp.f64 re) (*.f64 im im)))
(cbrt.f64 (pow.f64 (.f64 re (.f64 im im)) 3))
(expm1.f64 (log1p.f64 (.f64 re (.f64 im im))))
(exp.f64 (log.f64 (.f64 re (.f64 im im))))
(log1p.f64 (expm1.f64 (.f64 re (.f64 im im))))

simplify58.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

2164×	`log-prod`
1110×	`distribute-rgt-in`
1088×	`distribute-lft-in`
802×	`associate-r`
682×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	455
1	92	455
2	327	455
3	2124	455
4	6994	455

Stop Event

1×	node limit

Counts

35 → 13

Calls

Call 1

Inputs
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(-.f64 (+.f64 1 (.f64 re (.f64 im im))) 1)
(pow.f64 (.f64 re (.f64 im im)) 1)
(pow.f64 (cbrt.f64 (.f64 re (.f64 im im))) 3)
(pow.f64 (pow.f64 (.f64 re (.f64 im im)) 3) 1/3)
(pow.f64 (*.f64 im (sqrt.f64 re)) 2)
(sqrt.f64 (.f64 (.f64 re re) (pow.f64 im 4)))
(log.f64 (pow.f64 (exp.f64 re) (*.f64 im im)))
(cbrt.f64 (pow.f64 (.f64 re (.f64 im im)) 3))
(expm1.f64 (log1p.f64 (.f64 re (.f64 im im))))
(exp.f64 (log.f64 (.f64 re (.f64 im im))))
(log1p.f64 (expm1.f64 (.f64 re (.f64 im im))))

Outputs
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(-.f64 (+.f64 1 (.f64 re (.f64 im im))) 1)
(.f64 re (.f64 im im))
(pow.f64 (.f64 re (.f64 im im)) 1)
(.f64 re (.f64 im im))
(pow.f64 (cbrt.f64 (.f64 re (.f64 im im))) 3)
(.f64 re (.f64 im im))
(pow.f64 (pow.f64 (.f64 re (.f64 im im)) 3) 1/3)
(.f64 re (.f64 im im))
(pow.f64 (*.f64 im (sqrt.f64 re)) 2)
(.f64 re (.f64 im im))
(sqrt.f64 (.f64 (.f64 re re) (pow.f64 im 4)))
(.f64 re (.f64 im im))
(log.f64 (pow.f64 (exp.f64 re) (*.f64 im im)))
(.f64 re (.f64 im im))
(cbrt.f64 (pow.f64 (.f64 re (.f64 im im)) 3))
(.f64 re (.f64 im im))
(expm1.f64 (log1p.f64 (.f64 re (.f64 im im))))
(.f64 re (.f64 im im))
(exp.f64 (log.f64 (.f64 re (.f64 im im))))
(.f64 re (.f64 im im))
(log1p.f64 (expm1.f64 (.f64 re (.f64 im im))))
(.f64 re (.f64 im im))

eval3.0ms (0.1%)

Compiler: Compiled 173 to 106 computations (38.7% saved)

prune15.0ms (0.3%)

Pruning

22 alts after pruning (9 fresh and 13 done)

	Pruned	Kept	Total
New	13	0	13
Fresh	0	9	9
Picked	0	5	5
Done	0	8	8
Total	13	22	35

Accurracy

100.0%

Counts

35 → 22

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	71.8%	(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (*.f64 im im))))
✓	100.0%	(+.f64 0 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))))
✓	3.3%	(+.f64 0 512)
✓	3.8%	(+.f64 0 3/2)
	4.1%	(+.f64 0 1)
	3.9%	(+.f64 0 1/2)
✓	3.9%	(+.f64 0 1/4)
✓	3.7%	(+.f64 0 1/8)
	3.4%	(+.f64 0 1/512)
	2.9%	(+.f64 0 0)
✓	5.3%	(+.f64 0 -1)
✓	4.8%	(+.f64 0 -2)
	2.9%	(*.f64 1/2 (fma.f64 re -2 re))
✓	7.5%	(*.f64 1/2 (pow.f64 re -2))
	2.9%	(*.f64 1/2 (/.f64 re -2))
✓	44.8%	(.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re)))
	27.5%	(*.f64 1/2 (+.f64 re re))
✓	61.3%	(.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
	18.0%	(*.f64 1/2 (log1p.f64 (expm1.f64 re)))
✓	4.3%	(*.f64 1/2 (fabs.f64 re))
	6.6%	(.f64 1/2 (exp.f64 (.f64 (log.f64 re) -2)))
✓	50.3%	(sin.f64 re)

Compiler

Compiled 293 to 234 computations (20.1% saved)

regimes121.0ms (2.5%)

Counts

24 → 1

Calls

Call 1

Inputs
(+.f64 0 -2)
(+.f64 0 -1)
(+.f64 0 0)
(+.f64 0 1/512)
(+.f64 0 1/8)
(+.f64 0 1/4)
(+.f64 0 1/2)
(+.f64 0 1)
(+.f64 0 3/2)
(+.f64 0 512)
(*.f64 1/2 (+.f64 re re))
(*.f64 1/2 (/.f64 re -2))
(.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re)))
(sin.f64 re)
(*.f64 1/2 (fabs.f64 re))
(*.f64 1/2 (pow.f64 re -2))
(*.f64 1/2 (fma.f64 re -2 re))
(.f64 1/2 (+.f64 (.f64 re (pow.f64 im 2)) (*.f64 2 re)))
(*.f64 1/2 (log1p.f64 (expm1.f64 re)))
(.f64 1/2 (exp.f64 (.f64 (log.f64 re) -2)))
(.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(+.f64 0 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))))
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (*.f64 im im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))

Outputs
(+.f64 0 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))))

Calls

6 calls:

59.0ms	(sin.f64 re)
17.0ms	(*.f64 1/2 (sin.f64 re))
12.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
12.0ms	re
12.0ms	im

Results

Accuracy	Segments	Branch
100.0%	1	`re`
100.0%	1	`im`
100.0%	1	`(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))`
100.0%	1	`(*.f64 1/2 (sin.f64 re))`
100.0%	1	`(sin.f64 re)`
100.0%	1	`(+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))`

Compiler

Compiled 176 to 132 computations (25% saved)

regimes253.0ms (5.2%)

Counts

21 → 3

Calls

Call 1

Inputs
(+.f64 0 -2)
(+.f64 0 -1)
(+.f64 0 0)
(+.f64 0 1/512)
(+.f64 0 1/8)
(+.f64 0 1/4)
(+.f64 0 1/2)
(+.f64 0 1)
(+.f64 0 3/2)
(+.f64 0 512)
(*.f64 1/2 (+.f64 re re))
(*.f64 1/2 (/.f64 re -2))
(.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re)))
(sin.f64 re)
(*.f64 1/2 (fabs.f64 re))
(*.f64 1/2 (pow.f64 re -2))
(*.f64 1/2 (fma.f64 re -2 re))
(.f64 1/2 (+.f64 (.f64 re (pow.f64 im 2)) (*.f64 2 re)))
(*.f64 1/2 (log1p.f64 (expm1.f64 re)))
(.f64 1/2 (exp.f64 (.f64 (log.f64 re) -2)))
(.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))

Outputs
(.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(sin.f64 re)
(.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))

Calls

3 calls:

113.0ms	re
48.0ms	(sin.f64 re)
38.0ms	im

Results

Accuracy	Segments	Branch
74.9%	5	`re`
83.9%	3	`im`
74.1%	5	`(sin.f64 re)`

Compiler

Compiled 113 to 90 computations (20.4% saved)

regimes257.0ms (5.3%)

Counts

20 → 5

Calls

Call 1

Inputs
(+.f64 0 -2)
(+.f64 0 -1)
(+.f64 0 0)
(+.f64 0 1/512)
(+.f64 0 1/8)
(+.f64 0 1/4)
(+.f64 0 1/2)
(+.f64 0 1)
(+.f64 0 3/2)
(+.f64 0 512)
(*.f64 1/2 (+.f64 re re))
(*.f64 1/2 (/.f64 re -2))
(.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re)))
(sin.f64 re)
(*.f64 1/2 (fabs.f64 re))
(*.f64 1/2 (pow.f64 re -2))
(*.f64 1/2 (fma.f64 re -2 re))
(.f64 1/2 (+.f64 (.f64 re (pow.f64 im 2)) (*.f64 2 re)))
(*.f64 1/2 (log1p.f64 (expm1.f64 re)))
(.f64 1/2 (exp.f64 (.f64 (log.f64 re) -2)))

Outputs
(.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re)))
(*.f64 1/2 (log1p.f64 (expm1.f64 re)))
(sin.f64 re)
(*.f64 1/2 (pow.f64 re -2))
(.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re)))

Calls

3 calls:

105.0ms	re
91.0ms	(sin.f64 re)
57.0ms	im

Results

Accuracy	Segments	Branch
60.6%	5	`(sin.f64 re)`
61.1%	5	`re`
72.1%	5	`im`

Compiler

Compiled 103 to 83 computations (19.4% saved)

regimes43.0ms (0.9%)

Counts

18 → 4

Calls

Call 1

Inputs
(+.f64 0 -2)
(+.f64 0 -1)
(+.f64 0 0)
(+.f64 0 1/512)
(+.f64 0 1/8)
(+.f64 0 1/4)
(+.f64 0 1/2)
(+.f64 0 1)
(+.f64 0 3/2)
(+.f64 0 512)
(*.f64 1/2 (+.f64 re re))
(*.f64 1/2 (/.f64 re -2))
(.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re)))
(sin.f64 re)
(*.f64 1/2 (fabs.f64 re))
(*.f64 1/2 (pow.f64 re -2))
(*.f64 1/2 (fma.f64 re -2 re))
(.f64 1/2 (+.f64 (.f64 re (pow.f64 im 2)) (*.f64 2 re)))

Outputs
(.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re)))
(sin.f64 re)
(*.f64 1/2 (pow.f64 re -2))
(.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re)))

Calls

1 calls:

39.0ms

im

Results

Accuracy	Segments	Branch
69.6%	4	`im`

Compiler

Compiled 84 to 68 computations (19% saved)

regimes43.0ms (0.9%)

Counts

15 → 3

Calls

Call 1

Inputs
(+.f64 0 -2)
(+.f64 0 -1)
(+.f64 0 0)
(+.f64 0 1/512)
(+.f64 0 1/8)
(+.f64 0 1/4)
(+.f64 0 1/2)
(+.f64 0 1)
(+.f64 0 3/2)
(+.f64 0 512)
(*.f64 1/2 (+.f64 re re))
(*.f64 1/2 (/.f64 re -2))
(.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re)))
(sin.f64 re)
(*.f64 1/2 (fabs.f64 re))

Outputs
(.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re)))
(sin.f64 re)
(.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re)))

Calls

1 calls:

40.0ms

im

Results

Accuracy	Segments	Branch
67.3%	3	`im`

Compiler

Compiled 62 to 52 computations (16.1% saved)

regimes65.0ms (1.3%)

Counts

13 → 1

Calls

Call 1

Inputs
(+.f64 0 -2)
(+.f64 0 -1)
(+.f64 0 0)
(+.f64 0 1/512)
(+.f64 0 1/8)
(+.f64 0 1/4)
(+.f64 0 1/2)
(+.f64 0 1)
(+.f64 0 3/2)
(+.f64 0 512)
(*.f64 1/2 (+.f64 re re))
(*.f64 1/2 (/.f64 re -2))
(.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re)))

Outputs
(.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re)))

Calls

2 calls:

55.0ms	re
8.0ms	im

Results

Accuracy	Segments	Branch
44.8%	1	`re`
44.8%	1	`im`

Compiler

Compiled 59 to 50 computations (15.3% saved)

regimes20.0ms (0.4%)

Counts

12 → 1

Calls

Call 1

Inputs
(+.f64 0 -2)
(+.f64 0 -1)
(+.f64 0 0)
(+.f64 0 1/512)
(+.f64 0 1/8)
(+.f64 0 1/4)
(+.f64 0 1/2)
(+.f64 0 1)
(+.f64 0 3/2)
(+.f64 0 512)
(*.f64 1/2 (+.f64 re re))
(*.f64 1/2 (/.f64 re -2))

Outputs
(*.f64 1/2 (+.f64 re re))

Calls

2 calls:

10.0ms	re
7.0ms	im

Results

Accuracy	Segments	Branch
27.5%	1	`im`
27.5%	1	`re`

Compiler

Compiled 48 to 43 computations (10.4% saved)

regimes17.0ms (0.4%)

Counts

10 → 1

Calls

Call 1

Inputs
(+.f64 0 -2)
(+.f64 0 -1)
(+.f64 0 0)
(+.f64 0 1/512)
(+.f64 0 1/8)
(+.f64 0 1/4)
(+.f64 0 1/2)
(+.f64 0 1)
(+.f64 0 3/2)
(+.f64 0 512)

Outputs
(+.f64 0 -1)

Calls

2 calls:

9.0ms	re
6.0ms	im

Results

Accuracy	Segments	Branch
5.3%	1	`im`
5.3%	1	`re`

Compiler

Compiled 38 to 36 computations (5.3% saved)

regimes17.0ms (0.3%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
(+.f64 0 -2)

Outputs
(+.f64 0 -2)

Calls

2 calls:

14.0ms	im
3.0ms	re

Results

Accuracy	Segments	Branch
4.8%	1	`re`
4.8%	1	`im`

Compiler

Compiled 11 to 9 computations (18.2% saved)

bsearch127.0ms (2.6%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
89.0ms	7.690413530296189e-10	6.379065187806253e-6
38.0ms	-0.0001976143582023801	-1.5336591843934665e-6

Results

81.0ms	152×	body	256	valid
35.0ms	61×	body	1024	valid
7.0ms	27×	body	512	valid

Compiler

Compiled 289 to 225 computations (22.1% saved)

bsearch149.0ms (3.1%)

Algorithm

4×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
26.0ms	4.105802953963661e+94	5.466592437966283e+95
32.0ms	3809729199137899000.0	9.588249999796559e+21
67.0ms	-62188896255823.63	-1865738836852.6003
24.0ms	-5.998279032254243e+125	-5.105579217306994e+125

Results

93.0ms	246×	body	256	infinite
33.0ms	86×	body	1024	infinite
12.0ms	52×	body	512	infinite

Compiler

Compiled 412 to 333 computations (19.2% saved)

bsearch95.0ms (2%)

Algorithm

3×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
24.0ms	4.105802953963661e+94	5.466592437966283e+95
29.0ms	3809729199137899000.0	9.588249999796559e+21
42.0ms	-0.0001976143582023801	-1.5336591843934665e-6

Results

25.0ms	152×	body	256	infinite
20.0ms	64×	body	256	valid
13.0ms	42×	body	1024	infinite
13.0ms	32×	body	1024	valid
8.0ms	16×	body	512	valid
7.0ms	30×	body	512	infinite

Compiler

Compiled 388 to 303 computations (21.9% saved)

bsearch90.0ms (1.8%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
27.0ms	8.029218002836787e+79	1.968358928341408e+82
62.0ms	-0.0001976143582023801	-1.5336591843934665e-6

Results

43.0ms	29×	body	1024	valid
10.0ms	73×	body	256	infinite
9.0ms	24×	body	512	valid
9.0ms	28×	body	1024	infinite
9.0ms	59×	body	256	valid
6.0ms	11×	body	512	infinite

Compiler

Compiled 285 to 211 computations (26% saved)

simplify16.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

24×	`*-commutative`
8×	`+-commutative`
4×	`if-if-or-not`
2×	`sub-neg`
2×	`+-lft-identity`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	72	433
1	96	433
2	98	433
3	99	433

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 0 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))))
(if (<=.f64 im -6640827866535439/73786976294838206464) (.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (if (<=.f64 im 3659834024223975/590295810358705651712) (sin.f64 re) (.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))))
(if (<=.f64 im -579999999999999986484646798520936901661260743407720258043487689917164981039284391042110347849422315511234613204959607532814336) (.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re))) (if (<=.f64 im -1900000000000) (.f64 1/2 (log1p.f64 (expm1.f64 re))) (if (<=.f64 im 200000000000000000000) (sin.f64 re) (if (<=.f64 im 44999999999999997204502705127899360931652814266633047046560449228862130962274705667921253761024) (.f64 1/2 (pow.f64 re -2)) (.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re)))))))
(if (<=.f64 im -7194230188746725/36893488147419103232) (.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re))) (if (<=.f64 im 3900000000000000000) (sin.f64 re) (if (<=.f64 im 219999999999999989626765985597835323269655109995106497831752871163768684049025395046032928145408) (.f64 1/2 (pow.f64 re -2)) (.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (*.f64 2 re))))))
(if (<=.f64 im -2582544170319337/18446744073709551616) (.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re))) (if (<=.f64 im 82000000000000000285100818232254133505465038177760744257705960013234380447154176) (sin.f64 re) (.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re)))))
(.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re)))
(*.f64 1/2 (+.f64 re re))
(+.f64 0 -1)
(+.f64 0 -2)

Outputs
(+.f64 0 (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (*.f64 2 (cosh.f64 im)))
(if (<=.f64 im -6640827866535439/73786976294838206464) (.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (if (<=.f64 im 3659834024223975/590295810358705651712) (sin.f64 re) (.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))))
(if (or (<=.f64 im -6640827866535439/73786976294838206464) (not (<=.f64 im 3659834024223975/590295810358705651712))) (.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (sin.f64 re))
(if (<=.f64 im -579999999999999986484646798520936901661260743407720258043487689917164981039284391042110347849422315511234613204959607532814336) (.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re))) (if (<=.f64 im -1900000000000) (.f64 1/2 (log1p.f64 (expm1.f64 re))) (if (<=.f64 im 200000000000000000000) (sin.f64 re) (if (<=.f64 im 44999999999999997204502705127899360931652814266633047046560449228862130962274705667921253761024) (.f64 1/2 (pow.f64 re -2)) (.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re)))))))
(if (<=.f64 im -579999999999999986484646798520936901661260743407720258043487689917164981039284391042110347849422315511234613204959607532814336) (.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 re 2))) (if (<=.f64 im -1900000000000) (.f64 1/2 (log1p.f64 (expm1.f64 re))) (if (<=.f64 im 200000000000000000000) (sin.f64 re) (if (<=.f64 im 44999999999999997204502705127899360931652814266633047046560449228862130962274705667921253761024) (.f64 1/2 (pow.f64 re -2)) (.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 re 2)))))))
(if (<=.f64 im -7194230188746725/36893488147419103232) (.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re))) (if (<=.f64 im 3900000000000000000) (sin.f64 re) (if (<=.f64 im 219999999999999989626765985597835323269655109995106497831752871163768684049025395046032928145408) (.f64 1/2 (pow.f64 re -2)) (.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (*.f64 2 re))))))
(if (<=.f64 im -7194230188746725/36893488147419103232) (.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 re 2))) (if (<=.f64 im 3900000000000000000) (sin.f64 re) (if (<=.f64 im 219999999999999989626765985597835323269655109995106497831752871163768684049025395046032928145408) (.f64 1/2 (pow.f64 re -2)) (.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (*.f64 re 2))))))
(if (<=.f64 im -2582544170319337/18446744073709551616) (.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re))) (if (<=.f64 im 82000000000000000285100818232254133505465038177760744257705960013234380447154176) (sin.f64 re) (.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re)))))
(if (or (<=.f64 im -2582544170319337/18446744073709551616) (not (<=.f64 im 82000000000000000285100818232254133505465038177760744257705960013234380447154176))) (.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 re 2))) (sin.f64 re))
(.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 2 re)))
(.f64 1/2 (+.f64 (.f64 re (.f64 im im)) (.f64 re 2)))
(*.f64 1/2 (+.f64 re re))
(+.f64 0 -1)
-1
(+.f64 0 -2)
-2

Compiler

Compiled 179 to 126 computations (29.6% saved)

soundness419.0ms (8.6%)

Rules

2020×	`log-prod`
1270×	`prod-diff`
1198×	`pow1`
1136×	`log-prod`
1096×	`add-exp-log`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	35
1	300	27
2	4137	27
0	20	98
1	421	98
2	6142	98
0	20	98
1	421	98
2	6142	98
0	20	98
1	421	98
2	6142	98
0	7	13
1	142	13
2	1559	13
0	37	275
1	93	209
2	336	143
3	2071	143
4	5973	143
0	20	98
1	421	98
2	6142	98
0	20	98
1	421	98
2	6142	98

Stop Event

1×	unsound
1×	unsound
1×	node limit
1×	node limit
1×	unsound
1×	unsound
1×	unsound
1×	node limit

Compiler

Compiled 288 to 200 computations (30.6% saved)

end104.0ms (2.1%)

Compiler: Compiled 354 to 222 computations (37.3% saved)

Details

analyze0.0ms (0%)

sample1.8s (36.5%)

preprocess92.0ms (1.9%)

localize90.0ms (1.8%)

series5.0ms (0.1%)

rewrite72.0ms (1.5%)

simplify42.0ms (0.9%)

eval19.0ms (0.4%)

prune14.0ms (0.3%)

localize142.0ms (2.9%)

series12.0ms (0.2%)

rewrite40.0ms (0.8%)

simplify123.0ms (2.5%)

eval19.0ms (0.4%)

prune50.0ms (1%)

localize128.0ms (2.6%)

series2.0ms (0%)

rewrite51.0ms (1.1%)

simplify53.0ms (1.1%)

eval4.0ms (0.1%)

prune27.0ms (0.6%)

localize127.0ms (2.6%)

series0.0ms (0%)

rewrite58.0ms (1.2%)

simplify58.0ms (1.2%)

eval3.0ms (0.1%)

prune15.0ms (0.3%)

regimes121.0ms (2.5%)

regimes253.0ms (5.2%)

regimes257.0ms (5.3%)

regimes43.0ms (0.9%)

regimes43.0ms (0.9%)

regimes65.0ms (1.3%)

regimes20.0ms (0.4%)

regimes17.0ms (0.4%)

regimes17.0ms (0.3%)

bsearch127.0ms (2.6%)

bsearch149.0ms (3.1%)

bsearch95.0ms (2%)

bsearch90.0ms (1.8%)

simplify16.0ms (0.3%)

soundness419.0ms (8.6%)

end104.0ms (2.1%)

Profiling