Metrics for math.cos on complex, real part

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 14 to 11 computations (21.4% saved)

sample2.3s (45%)

Results

669.0ms	2531×	body	256	valid
508.0ms	2597×	body	256	infinite
462.0ms	1030×	body	1024	valid
405.0ms	1047×	body	1024	infinite
147.0ms	544×	body	512	valid
115.0ms	504×	body	512	infinite
3.0ms	3×	body	2048	valid

Bogosity

preprocess174.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

1164×	`times-frac`
854×	`div-sub`
828×	`fma-def`
812×	`fma-neg`
790×	`distribute-neg-frac`

Problems

256×

No Errors

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	32	316
1	100	308
2	277	308
3	687	298
4	1412	294
5	4001	294
6	6069	294
7	7960	294

Stop Event

1×	node limit

Calls

Call 1

Inputs
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 (.f64 1/2 (cos.f64 (neg.f64 re))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 (neg.f64 im))) (exp.f64 (neg.f64 im))))
(neg.f64 (.f64 (.f64 1/2 (cos.f64 (neg.f64 re))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(neg.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 (neg.f64 im))) (exp.f64 (neg.f64 im)))))
(.f64 (.f64 1/2 (cos.f64 im)) (+.f64 (exp.f64 (neg.f64 re)) (exp.f64 re)))

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

Symmetry

(abs re)

(abs im)

Compiler

Compiled 49 to 24 computations (51% saved)

eval1.0ms (0%)

Compiler: Compiled 35 to 18 computations (48.6% saved)

prune2.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
▶	100.0%	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Compiler

Compiled 26 to 20 computations (23.1% saved)

localize151.0ms (2.9%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	100.0%	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
✓	100.0%	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Compiler

Compiled 36 to 14 computations (61.1% saved)

series5.0ms (0.1%)

Counts

2 → 36

Calls

9 calls:

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

rewrite153.0ms (3%)

Algorithm

1×	batch-egg-rewrite

Rules

200×	`associate-r`
128×	`associate-l`
92×	`add-exp-log`
92×	`add-log-exp`
92×	`log1p-expm1-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	69
1	202	69
2	3266	69

Stop Event

1×

unsound

Counts

2 → 28

Calls

Call 1

Inputs
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

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

simplify58.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

1092×	`fma-neg`
908×	`div-sub`
880×	`cancel-sign-sub-inv`
866×	`fma-def`
684×	`distribute-lft-out`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	108	1657
1	308	1494
2	932	1494
3	4458	1494

Stop Event

1×	node limit

Counts

64 → 61

Calls

Call 1

Inputs
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 4) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 -1/1440 (.f64 (pow.f64 re 6) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 4) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(cos.f64 re)
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(+.f64 (cos.f64 re) (+.f64 (.f64 1/24 (.f64 (pow.f64 im 4) (cos.f64 re))) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))))
(+.f64 (cos.f64 re) (+.f64 (.f64 1/720 (.f64 (pow.f64 im 6) (cos.f64 re))) (+.f64 (.f64 1/24 (.f64 (pow.f64 im 4) (cos.f64 re))) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
2
(+.f64 2 (pow.f64 im 2))
(+.f64 2 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (pow.f64 im 2)))
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 im 6)) (+.f64 (.f64 1/12 (pow.f64 im 4)) (pow.f64 im 2))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (cos.f64 re) (cos.f64 re))
(+.f64 (.f64 (cos.f64 re) -2) (.f64 (cos.f64 re) -2))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (cos.f64 re) -2))) 1)
(/.f64 (*.f64 (cos.f64 re) -2) -2)
(/.f64 (*.f64 (cos.f64 re) -2) 1)
(/.f64 (.f64 (cos.f64 re) -2) (+.f64 (.f64 (cos.f64 re) -2) (-.f64 (.f64 (cos.f64 re) -2) (.f64 (cos.f64 re) -2))))
(/.f64 (-.f64 (.f64 (cos.f64 re) -2) (.f64 (cos.f64 re) -2)) (-.f64 (.f64 (cos.f64 re) -2) (.f64 (cos.f64 re) -2)))
(pow.f64 (*.f64 (cos.f64 re) -2) -2)
(pow.f64 (*.f64 (cos.f64 re) -2) 1)
(pow.f64 (*.f64 (cos.f64 re) -2) 1/3)
(sqrt.f64 (*.f64 (cos.f64 re) -2))
(fabs.f64 (*.f64 (cos.f64 re) -2))
(log.f64 (pow.f64 1 (cos.f64 re)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (cos.f64 re) -2))))
(cbrt.f64 (*.f64 (cos.f64 re) -2))
(expm1.f64 (log1p.f64 (*.f64 (cos.f64 re) -2)))
(exp.f64 (log.f64 (*.f64 (cos.f64 re) -2)))
(exp.f64 (.f64 (log.f64 (.f64 (cos.f64 re) -2)) 1))
(exp.f64 (+.f64 (log.f64 (*.f64 (cos.f64 re) -2)) -2))
(log1p.f64 (expm1.f64 (*.f64 (cos.f64 re) -2)))
(fma.f64 (.f64 (cos.f64 re) -2) 1 (.f64 (cos.f64 re) -2))
(fma.f64 1 (.f64 (cos.f64 re) -2) (.f64 (cos.f64 re) -2))
-2
0
1/4
1/2
3/2
2

Outputs
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(fma.f64 -1/4 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 2)) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (.f64 -1/4 (pow.f64 re 2)) 1/2))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 4) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 -1/4 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 2)) (fma.f64 1/48 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 4)) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 -1/4 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 2)) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 1/2 (*.f64 1/48 (pow.f64 re 4)))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 -1/1440 (.f64 (pow.f64 re 6) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 4) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))))
(fma.f64 -1/4 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 2)) (fma.f64 -1/1440 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 6)) (fma.f64 1/48 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 4)) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))))
(+.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (.f64 -1/1440 (pow.f64 re 6)) (.f64 1/48 (pow.f64 re 4)))) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (*.f64 -1/4 (pow.f64 re 2)) 1/2)))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
(cos.f64 re)
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))))
(.f64 (+.f64 (.f64 1/2 (pow.f64 im 2)) 1) (cos.f64 re))
(+.f64 (cos.f64 re) (+.f64 (.f64 1/24 (.f64 (pow.f64 im 4) (cos.f64 re))) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))))
(+.f64 (cos.f64 re) (fma.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4)) (.f64 1/2 (*.f64 (cos.f64 re) (pow.f64 im 2)))))
(+.f64 (cos.f64 re) (.f64 (cos.f64 re) (+.f64 (.f64 1/2 (pow.f64 im 2)) (*.f64 1/24 (pow.f64 im 4)))))
(+.f64 (cos.f64 re) (+.f64 (.f64 1/720 (.f64 (pow.f64 im 6) (cos.f64 re))) (+.f64 (.f64 1/24 (.f64 (pow.f64 im 4) (cos.f64 re))) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))))
(+.f64 (cos.f64 re) (fma.f64 1/720 (.f64 (cos.f64 re) (pow.f64 im 6)) (fma.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4)) (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))))))
(+.f64 (.f64 (cos.f64 re) (+.f64 (.f64 1/2 (pow.f64 im 2)) (.f64 1/24 (pow.f64 im 4)))) (.f64 (+.f64 (*.f64 1/720 (pow.f64 im 6)) 1) (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
2
(cos.f64 re)
(+.f64 2 (pow.f64 im 2))
(fma.f64 im im 2)
(+.f64 2 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (pow.f64 im 2)))
(+.f64 2 (fma.f64 1/12 (pow.f64 im 4) (pow.f64 im 2)))
(+.f64 2 (fma.f64 (pow.f64 im 4) 1/12 (pow.f64 im 2)))
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 im 6)) (+.f64 (.f64 1/12 (pow.f64 im 4)) (pow.f64 im 2))))
(+.f64 2 (fma.f64 1/360 (pow.f64 im 6) (fma.f64 1/12 (pow.f64 im 4) (pow.f64 im 2))))
(+.f64 2 (fma.f64 (pow.f64 im 6) 1/360 (fma.f64 (pow.f64 im 4) 1/12 (pow.f64 im 2))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (cos.f64 re) (cos.f64 re))
(cos.f64 re)
(+.f64 (.f64 (cos.f64 re) -2) (.f64 (cos.f64 re) -2))
(cos.f64 re)
(-.f64 (exp.f64 (log1p.f64 (*.f64 (cos.f64 re) -2))) 1)
(cos.f64 re)
(/.f64 (*.f64 (cos.f64 re) -2) -2)
(cos.f64 re)
(/.f64 (*.f64 (cos.f64 re) -2) 1)
(cos.f64 re)
(/.f64 (.f64 (cos.f64 re) -2) (+.f64 (.f64 (cos.f64 re) -2) (-.f64 (.f64 (cos.f64 re) -2) (.f64 (cos.f64 re) -2))))
(cos.f64 re)
(/.f64 (-.f64 (.f64 (cos.f64 re) -2) (.f64 (cos.f64 re) -2)) (-.f64 (.f64 (cos.f64 re) -2) (.f64 (cos.f64 re) -2)))
(cos.f64 re)
(pow.f64 (*.f64 (cos.f64 re) -2) -2)
(cos.f64 re)
(pow.f64 (*.f64 (cos.f64 re) -2) 1)
(cos.f64 re)
(pow.f64 (*.f64 (cos.f64 re) -2) 1/3)
(cos.f64 re)
(sqrt.f64 (*.f64 (cos.f64 re) -2))
(cos.f64 re)
(fabs.f64 (*.f64 (cos.f64 re) -2))
(cos.f64 re)
(log.f64 (pow.f64 1 (cos.f64 re)))
(cos.f64 re)
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (cos.f64 re) -2))))
(cos.f64 re)
(cbrt.f64 (*.f64 (cos.f64 re) -2))
(cos.f64 re)
(expm1.f64 (log1p.f64 (*.f64 (cos.f64 re) -2)))
(cos.f64 re)
(exp.f64 (log.f64 (*.f64 (cos.f64 re) -2)))
(cos.f64 re)
(exp.f64 (.f64 (log.f64 (.f64 (cos.f64 re) -2)) 1))
(cos.f64 re)
(exp.f64 (+.f64 (log.f64 (*.f64 (cos.f64 re) -2)) -2))
(cos.f64 re)
(log1p.f64 (expm1.f64 (*.f64 (cos.f64 re) -2)))
(cos.f64 re)
(fma.f64 (.f64 (cos.f64 re) -2) 1 (.f64 (cos.f64 re) -2))
(cos.f64 re)
(fma.f64 1 (.f64 (cos.f64 re) -2) (.f64 (cos.f64 re) -2))
(cos.f64 re)
-2
(cos.f64 re)
0
(cos.f64 re)
1/4
(cos.f64 re)
1/2
(cos.f64 re)
3/2
(cos.f64 re)
2
(cos.f64 re)

eval15.0ms (0.3%)

Compiler: Compiled 841 to 478 computations (43.2% saved)

prune20.0ms (0.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	56	5	61
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	56	6	62

Accuracy

100.0%

Counts

62 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	7.9%	(pow.f64 (*.f64 (cos.f64 re) -2) -2)
▶	10.7%	(+.f64 (cos.f64 re) (cos.f64 re))
▶	71.5%	(.f64 (.f64 1/2 (cos.f64 re)) (fma.f64 im im 2))
✓	100.0%	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
▶	66.1%	(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
▶	48.7%	(cos.f64 re)
▶	7.9%	(pow.f64 (*.f64 (cos.f64 re) -2) -2)
▶	10.7%	(+.f64 (cos.f64 re) (cos.f64 re))
▶	71.5%	(.f64 (.f64 1/2 (cos.f64 re)) (fma.f64 im im 2))
✓	100.0%	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
▶	66.1%	(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
▶	48.7%	(cos.f64 re)

Compiler

Compiled 186 to 140 computations (24.7% saved)

localize209.0ms (4%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
✓	100.0%	(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
✓	99.7%	(pow.f64 (*.f64 (cos.f64 re) -2) -2)
✓	99.9%	(.f64 (.f64 1/2 (cos.f64 re)) (fma.f64 im im 2))

Compiler

Compiled 74 to 30 computations (59.5% saved)

series7.0ms (0.1%)

Counts

3 → 44

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	im	@	inf	(.f64 (.f64 1/2 (cos.f64 re)) (fma.f64 im im 2))
1.0ms	re	@	inf	(pow.f64 (*.f64 (cos.f64 re) -2) -2)
1.0ms	re	@	-inf	(pow.f64 (*.f64 (cos.f64 re) -2) -2)
1.0ms	re	@	inf	(.f64 (.f64 1/2 (cos.f64 re)) (fma.f64 im im 2))
1.0ms	re	@	0	(.f64 (.f64 1/2 (cos.f64 re)) (fma.f64 im im 2))

rewrite46.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

224×	`associate-r`
140×	`associate-l`
119×	`log1p-expm1-u`
119×	`expm1-log1p-u`
118×	`add-exp-log`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	82
1	269	82
2	4021	82

Stop Event

1×

unsound

Counts

3 → 47

Calls

Call 1

Inputs
(.f64 (.f64 1/2 (cos.f64 re)) (fma.f64 im im 2))
(pow.f64 (*.f64 (cos.f64 re) -2) -2)
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))

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

simplify105.0ms (2%)

Algorithm

1×	egg-herbie

Rules

1478×	`associate-+r+`
1196×	`associate-+l+`
1148×	`distribute-lft-out`
780×	`*-commutative`
720×	`fma-def`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	103	1913
1	239	1813
2	665	1697
3	2711	1697
4	5773	1697
5	7545	1697

Stop Event

1×	node limit

Counts

91 → 89

Calls

Call 1

Inputs
(*.f64 1/2 (+.f64 2 (pow.f64 im 2)))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 2 (pow.f64 im 2)))) (*.f64 1/2 (+.f64 2 (pow.f64 im 2))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 2 (pow.f64 im 2)))) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 4) (+.f64 2 (pow.f64 im 2)))) (*.f64 1/2 (+.f64 2 (pow.f64 im 2)))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 2 (pow.f64 im 2)))) (+.f64 (.f64 -1/1440 (.f64 (pow.f64 re 6) (+.f64 2 (pow.f64 im 2)))) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 4) (+.f64 2 (pow.f64 im 2)))) (*.f64 1/2 (+.f64 2 (pow.f64 im 2))))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (pow.f64 im 2))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (pow.f64 im 2))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (pow.f64 im 2))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (pow.f64 im 2))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (pow.f64 im 2))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (pow.f64 im 2))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (pow.f64 im 2))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (pow.f64 im 2))))
(cos.f64 re)
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
1/4
(+.f64 1/4 (*.f64 1/4 (pow.f64 re 2)))
(+.f64 1/4 (+.f64 (.f64 1/6 (pow.f64 re 4)) (.f64 1/4 (pow.f64 re 2))))
(+.f64 1/4 (+.f64 (.f64 17/180 (pow.f64 re 6)) (+.f64 (.f64 1/6 (pow.f64 re 4)) (*.f64 1/4 (pow.f64 re 2)))))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
2
(+.f64 2 (pow.f64 im 2))
(+.f64 2 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (pow.f64 im 2)))
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 im 6)) (+.f64 (.f64 1/12 (pow.f64 im 4)) (pow.f64 im 2))))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (cos.f64 re) (cos.f64 re))
(+.f64 -4 (cos.f64 re))
(-.f64 (cos.f64 re) -4)
(/.f64 -4 (cos.f64 re))
(/.f64 (+.f64 (cos.f64 (+.f64 re re)) (cos.f64 (-.f64 re re))) -4)
(pow.f64 (cos.f64 re) -4)
(pow.f64 (cos.f64 re) 1/3)
(sqrt.f64 (cos.f64 re))
(fabs.f64 (cos.f64 re))
(log.f64 (exp.f64 (cos.f64 re)))
(log.f64 (+.f64 -4 (expm1.f64 (cos.f64 re))))
(cbrt.f64 (cos.f64 re))
(cos.f64 re)
(expm1.f64 (log.f64 (cos.f64 re)))
(exp.f64 (log.f64 (cos.f64 re)))
(log1p.f64 (expm1.f64 (cos.f64 re)))
(+.f64 (cos.f64 re) (cos.f64 re))
(+.f64 -4 (cos.f64 re))
(-.f64 (cos.f64 re) -4)
(*.f64 (cos.f64 re) (cos.f64 re))
(*.f64 (cos.f64 re) -4)
(*.f64 -4 (cos.f64 re))
(/.f64 -4 (cos.f64 re))
(/.f64 (+.f64 (cos.f64 (+.f64 re re)) (cos.f64 (-.f64 re re))) -4)
(sqrt.f64 (cos.f64 re))
(fabs.f64 (cos.f64 re))
(log.f64 (exp.f64 (cos.f64 re)))
(log.f64 (+.f64 -4 (expm1.f64 (cos.f64 re))))
(cbrt.f64 (cos.f64 re))
(cos.f64 re)
(expm1.f64 (log.f64 (cos.f64 re)))
(exp.f64 (log.f64 (cos.f64 re)))
(log1p.f64 (expm1.f64 (cos.f64 re)))
-4
-2
-1
-1/2
0
1/16
1/4
1/2
1
3/2
2
3
4
8

Outputs
(*.f64 1/2 (+.f64 2 (pow.f64 im 2)))
(+.f64 1 (*.f64 1/2 (pow.f64 im 2)))
(*.f64 1/2 (fma.f64 im im 2))
(fma.f64 1/2 (pow.f64 im 2) 1)
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 2 (pow.f64 im 2)))) (*.f64 1/2 (+.f64 2 (pow.f64 im 2))))
(fma.f64 -1/4 (.f64 (+.f64 2 (pow.f64 im 2)) (pow.f64 re 2)) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (fma.f64 im im 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2))))
(*.f64 (fma.f64 im im 2) (fma.f64 -1/4 (pow.f64 re 2) 1/2))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 2 (pow.f64 im 2)))) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 4) (+.f64 2 (pow.f64 im 2)))) (*.f64 1/2 (+.f64 2 (pow.f64 im 2)))))
(fma.f64 -1/4 (.f64 (+.f64 2 (pow.f64 im 2)) (pow.f64 re 2)) (fma.f64 1/48 (.f64 (+.f64 2 (pow.f64 im 2)) (pow.f64 re 4)) (+.f64 1 (*.f64 1/2 (pow.f64 im 2)))))
(fma.f64 -1/4 (.f64 (fma.f64 im im 2) (pow.f64 re 2)) (.f64 (fma.f64 im im 2) (+.f64 1/2 (*.f64 1/48 (pow.f64 re 4)))))
(.f64 (fma.f64 im im 2) (+.f64 (fma.f64 -1/4 (pow.f64 re 2) (.f64 1/48 (pow.f64 re 4))) 1/2))
(.f64 (fma.f64 im im 2) (+.f64 (.f64 1/48 (pow.f64 re 4)) (fma.f64 -1/4 (pow.f64 re 2) 1/2)))
(.f64 (fma.f64 im im 2) (+.f64 1/2 (fma.f64 -1/4 (pow.f64 re 2) (.f64 1/48 (pow.f64 re 4)))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 2 (pow.f64 im 2)))) (+.f64 (.f64 -1/1440 (.f64 (pow.f64 re 6) (+.f64 2 (pow.f64 im 2)))) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 4) (+.f64 2 (pow.f64 im 2)))) (*.f64 1/2 (+.f64 2 (pow.f64 im 2))))))
(fma.f64 -1/4 (.f64 (+.f64 2 (pow.f64 im 2)) (pow.f64 re 2)) (fma.f64 -1/1440 (.f64 (+.f64 2 (pow.f64 im 2)) (pow.f64 re 6)) (fma.f64 1/48 (.f64 (+.f64 2 (pow.f64 im 2)) (pow.f64 re 4)) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))))
(+.f64 (.f64 (fma.f64 im im 2) (+.f64 1/2 (.f64 1/48 (pow.f64 re 4)))) (.f64 (fma.f64 im im 2) (+.f64 (.f64 -1/4 (pow.f64 re 2)) (*.f64 -1/1440 (pow.f64 re 6)))))
(.f64 (fma.f64 im im 2) (+.f64 (fma.f64 1/48 (pow.f64 re 4) 1/2) (fma.f64 -1/4 (pow.f64 re 2) (.f64 -1/1440 (pow.f64 re 6)))))
(.f64 (fma.f64 im im 2) (+.f64 (fma.f64 -1/4 (pow.f64 re 2) 1/2) (fma.f64 -1/1440 (pow.f64 re 6) (.f64 1/48 (pow.f64 re 4)))))
(.f64 (fma.f64 im im 2) (+.f64 (fma.f64 -1/4 (pow.f64 re 2) (.f64 -1/1440 (pow.f64 re 6))) (fma.f64 1/48 (pow.f64 re 4) 1/2)))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (pow.f64 im 2))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2)))
(.f64 1/2 (.f64 (fma.f64 im im 2) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (pow.f64 im 2))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2)))
(.f64 1/2 (.f64 (fma.f64 im im 2) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (pow.f64 im 2))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2)))
(.f64 1/2 (.f64 (fma.f64 im im 2) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (pow.f64 im 2))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2)))
(.f64 1/2 (.f64 (fma.f64 im im 2) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (pow.f64 im 2))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2)))
(.f64 1/2 (.f64 (fma.f64 im im 2) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (pow.f64 im 2))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2)))
(.f64 1/2 (.f64 (fma.f64 im im 2) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (pow.f64 im 2))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2)))
(.f64 1/2 (.f64 (fma.f64 im im 2) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (pow.f64 im 2))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2)))
(.f64 1/2 (.f64 (fma.f64 im im 2) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))
(cos.f64 re)
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2)))
(.f64 1/2 (.f64 (fma.f64 im im 2) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2)))
(.f64 1/2 (.f64 (fma.f64 im im 2) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2)))
(.f64 1/2 (.f64 (fma.f64 im im 2) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2)))
(.f64 1/2 (.f64 (fma.f64 im im 2) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2)))
(.f64 1/2 (.f64 (fma.f64 im im 2) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2)))
(.f64 1/2 (.f64 (fma.f64 im im 2) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2)))
(.f64 1/2 (.f64 (fma.f64 im im 2) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2)))
(.f64 1/2 (.f64 (fma.f64 im im 2) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2)))
(.f64 1/2 (.f64 (fma.f64 im im 2) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))
1/4
(+.f64 1/4 (*.f64 1/4 (pow.f64 re 2)))
(+.f64 1/4 (*.f64 (pow.f64 re 2) 1/4))
(fma.f64 (pow.f64 re 2) 1/4 1/4)
(+.f64 1/4 (+.f64 (.f64 1/6 (pow.f64 re 4)) (.f64 1/4 (pow.f64 re 2))))
(+.f64 1/4 (fma.f64 1/6 (pow.f64 re 4) (*.f64 (pow.f64 re 2) 1/4)))
(+.f64 1/4 (fma.f64 (pow.f64 re 2) 1/4 (*.f64 (pow.f64 re 4) 1/6)))
(fma.f64 (pow.f64 re 2) 1/4 (fma.f64 (pow.f64 re 4) 1/6 1/4))
(+.f64 1/4 (+.f64 (.f64 17/180 (pow.f64 re 6)) (+.f64 (.f64 1/6 (pow.f64 re 4)) (*.f64 1/4 (pow.f64 re 2)))))
(+.f64 1/4 (fma.f64 17/180 (pow.f64 re 6) (fma.f64 1/6 (pow.f64 re 4) (*.f64 (pow.f64 re 2) 1/4))))
(+.f64 1/4 (fma.f64 (pow.f64 re 6) 17/180 (fma.f64 (pow.f64 re 2) 1/4 (*.f64 (pow.f64 re 4) 1/6))))
(fma.f64 (pow.f64 re 6) 17/180 (fma.f64 (pow.f64 re 2) 1/4 (fma.f64 (pow.f64 re 4) 1/6 1/4)))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
2
(+.f64 2 (pow.f64 im 2))
(fma.f64 im im 2)
(+.f64 2 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (pow.f64 im 2)))
(+.f64 2 (fma.f64 1/12 (pow.f64 im 4) (pow.f64 im 2)))
(fma.f64 im im (fma.f64 1/12 (pow.f64 im 4) 2))
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 im 6)) (+.f64 (.f64 1/12 (pow.f64 im 4)) (pow.f64 im 2))))
(+.f64 2 (fma.f64 1/360 (pow.f64 im 6) (fma.f64 1/12 (pow.f64 im 4) (pow.f64 im 2))))
(fma.f64 1/360 (pow.f64 im 6) (fma.f64 im im (fma.f64 1/12 (pow.f64 im 4) 2)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (cos.f64 re) (cos.f64 re))
(*.f64 2 (cos.f64 re))
(+.f64 -4 (cos.f64 re))
(+.f64 (cos.f64 re) -4)
(-.f64 (cos.f64 re) -4)
(+.f64 (cos.f64 re) 4)
(+.f64 4 (cos.f64 re))
(/.f64 -4 (cos.f64 re))
(/.f64 (+.f64 (cos.f64 (+.f64 re re)) (cos.f64 (-.f64 re re))) -4)
(/.f64 (+.f64 (cos.f64 (*.f64 2 re)) (cos.f64 0)) -4)
(/.f64 (+.f64 (cos.f64 (*.f64 2 re)) 1) -4)
(pow.f64 (cos.f64 re) -4)
(pow.f64 (cos.f64 re) 1/3)
(cbrt.f64 (cos.f64 re))
(sqrt.f64 (cos.f64 re))
(fabs.f64 (cos.f64 re))
(cos.f64 re)
(log.f64 (exp.f64 (cos.f64 re)))
(cos.f64 re)
(log.f64 (+.f64 -4 (expm1.f64 (cos.f64 re))))
(cbrt.f64 (cos.f64 re))
(cos.f64 re)
(expm1.f64 (log.f64 (cos.f64 re)))
(exp.f64 (log.f64 (cos.f64 re)))
(cos.f64 re)
(log1p.f64 (expm1.f64 (cos.f64 re)))
(cos.f64 re)
(+.f64 (cos.f64 re) (cos.f64 re))
(*.f64 2 (cos.f64 re))
(+.f64 -4 (cos.f64 re))
(+.f64 (cos.f64 re) -4)
(-.f64 (cos.f64 re) -4)
(+.f64 (cos.f64 re) 4)
(+.f64 4 (cos.f64 re))
(*.f64 (cos.f64 re) (cos.f64 re))
(pow.f64 (cos.f64 re) 2)
(*.f64 (cos.f64 re) -4)
(*.f64 -4 (cos.f64 re))
(*.f64 (cos.f64 re) -4)
(/.f64 -4 (cos.f64 re))
(/.f64 (+.f64 (cos.f64 (+.f64 re re)) (cos.f64 (-.f64 re re))) -4)
(/.f64 (+.f64 (cos.f64 (*.f64 2 re)) (cos.f64 0)) -4)
(/.f64 (+.f64 (cos.f64 (*.f64 2 re)) 1) -4)
(sqrt.f64 (cos.f64 re))
(fabs.f64 (cos.f64 re))
(cos.f64 re)
(log.f64 (exp.f64 (cos.f64 re)))
(cos.f64 re)
(log.f64 (+.f64 -4 (expm1.f64 (cos.f64 re))))
(cbrt.f64 (cos.f64 re))
(cos.f64 re)
(expm1.f64 (log.f64 (cos.f64 re)))
(exp.f64 (log.f64 (cos.f64 re)))
(cos.f64 re)
(log1p.f64 (expm1.f64 (cos.f64 re)))
(cos.f64 re)
-4
-2
-1
-1/2
0
1/16
1/4
1/2
1
3/2
2
3
4
8

eval56.0ms (1.1%)

Compiler: Compiled 884 to 672 computations (24% saved)

prune123.0ms (2.4%)

Pruning

21 alts after pruning (17 fresh and 4 done)

	Pruned	Kept	Total
New	72	17	89
Fresh	0	0	0
Picked	2	3	5
Done	0	1	1
Total	74	21	95

Accuracy

100.0%

Counts

95 → 21

Alt Table

Click to see full alt table

Status	Accuracy	Program
	7.6%	(-.f64 (cos.f64 re) -4)
	3.2%	(+.f64 (cos.f64 re) -4)
	13.9%	(+.f64 1/4 (*.f64 (pow.f64 re 2) 1/4))
▶	47.7%	(.f64 (fma.f64 im im 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2))))
	26.0%	(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
✓	71.5%	(.f64 (.f64 1/2 (cos.f64 re)) (fma.f64 im im 2))
✓	100.0%	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
▶	44.3%	(*.f64 1/2 (fma.f64 im im 2))
✓	66.1%	(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
	7.7%	(*.f64 1/2 8)
▶	8.8%	(*.f64 1/2 3)
	28.4%	(*.f64 1/2 2)
	9.0%	(*.f64 1/2 3/2)
	8.6%	(*.f64 1/2 1)
▶	7.1%	(*.f64 1/2 1/16)
	3.4%	(*.f64 1/2 -1/2)
	3.6%	(*.f64 1/2 -1)
	3.9%	(*.f64 1/2 -2)
▶	3.3%	(*.f64 1/2 -4)
✓	48.7%	(cos.f64 re)
	7.9%	1/4
	7.6%	(-.f64 (cos.f64 re) -4)
	3.2%	(+.f64 (cos.f64 re) -4)
	13.9%	(+.f64 1/4 (*.f64 (pow.f64 re 2) 1/4))
▶	47.7%	(.f64 (fma.f64 im im 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2))))
	26.0%	(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
✓	71.5%	(.f64 (.f64 1/2 (cos.f64 re)) (fma.f64 im im 2))
✓	100.0%	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
▶	44.3%	(*.f64 1/2 (fma.f64 im im 2))
✓	66.1%	(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
	7.7%	(*.f64 1/2 8)
▶	8.8%	(*.f64 1/2 3)
	28.4%	(*.f64 1/2 2)
	9.0%	(*.f64 1/2 3/2)
	8.6%	(*.f64 1/2 1)
▶	7.1%	(*.f64 1/2 1/16)
	3.4%	(*.f64 1/2 -1/2)
	3.6%	(*.f64 1/2 -1)
	3.9%	(*.f64 1/2 -2)
▶	3.3%	(*.f64 1/2 -4)
✓	48.7%	(cos.f64 re)
	7.9%	1/4

Compiler

Compiled 494 to 436 computations (11.7% saved)

localize83.0ms (1.6%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	100.0%	(.f64 (fma.f64 im im 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2))))

Compiler

Compiled 67 to 52 computations (22.4% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	im	@	0	(.f64 (fma.f64 im im 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2))))
1.0ms	re	@	inf	(.f64 (fma.f64 im im 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2))))
0.0ms	re	@	0	(.f64 (fma.f64 im im 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2))))
0.0ms	im	@	inf	(.f64 (fma.f64 im im 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2))))
0.0ms	im	@	-inf	(.f64 (fma.f64 im im 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2))))

rewrite69.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

804×	`log-prod`
787×	`log1p-expm1-u`
787×	`expm1-log1p-u`
624×	`pow-prod-down`
586×	`prod-diff`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	42
1	171	38
2	2181	38

Stop Event

1×	node limit

Counts

1 → 63

Calls

Call 1

Inputs
(.f64 (fma.f64 im im 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2))))

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

simplify81.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

1418×	`fma-def`
1236×	`distribute-lft-in`
1228×	`distribute-rgt-in`
710×	`fma-neg`
558×	`*-commutative`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	193	4046
1	473	3978
2	1395	3783
3	6693	3779

Stop Event

1×	node limit

Counts

87 → 101

Calls

Call 1

Inputs
(.f64 2 (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2))))
(+.f64 (.f64 2 (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2)))) (.f64 (pow.f64 im 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2)))))
(+.f64 (.f64 2 (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2)))) (.f64 (pow.f64 im 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2)))))
(+.f64 (.f64 2 (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2)))) (.f64 (pow.f64 im 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2)))))
(.f64 (pow.f64 im 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2))))
(+.f64 (.f64 2 (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2)))) (.f64 (pow.f64 im 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2)))))
(+.f64 (.f64 2 (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2)))) (.f64 (pow.f64 im 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2)))))
(+.f64 (.f64 2 (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2)))) (.f64 (pow.f64 im 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2)))))
(.f64 (pow.f64 im 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2))))
(+.f64 (.f64 2 (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2)))) (.f64 (pow.f64 im 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2)))))
(+.f64 (.f64 2 (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2)))) (.f64 (pow.f64 im 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2)))))
(+.f64 (.f64 2 (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2)))) (.f64 (pow.f64 im 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2)))))
(*.f64 1/2 (+.f64 2 (pow.f64 im 2)))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 2 (pow.f64 im 2)))) (*.f64 1/2 (+.f64 2 (pow.f64 im 2))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 2 (pow.f64 im 2)))) (*.f64 1/2 (+.f64 2 (pow.f64 im 2))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 2 (pow.f64 im 2)))) (*.f64 1/2 (+.f64 2 (pow.f64 im 2))))
(.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 2 (pow.f64 im 2))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 2 (pow.f64 im 2)))) (*.f64 1/2 (+.f64 2 (pow.f64 im 2))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 2 (pow.f64 im 2)))) (*.f64 1/2 (+.f64 2 (pow.f64 im 2))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 2 (pow.f64 im 2)))) (*.f64 1/2 (+.f64 2 (pow.f64 im 2))))
(.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 2 (pow.f64 im 2))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 2 (pow.f64 im 2)))) (*.f64 1/2 (+.f64 2 (pow.f64 im 2))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 2 (pow.f64 im 2)))) (*.f64 1/2 (+.f64 2 (pow.f64 im 2))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 2 (pow.f64 im 2)))) (*.f64 1/2 (+.f64 2 (pow.f64 im 2))))
(+.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (.f64 (.f64 (fma.f64 im im 2) -1/4) (pow.f64 re 2)))
(+.f64 (.f64 (.f64 (fma.f64 im im 2) -1/4) (pow.f64 re 2)) (fma.f64 1/2 (pow.f64 im 2) 1))
(+.f64 0 (*.f64 (fma.f64 im im 2) (fma.f64 -1/4 (pow.f64 re 2) 1/2)))
(+.f64 (.f64 (fma.f64 -1/4 (pow.f64 re 2) 1/2) (pow.f64 im 2)) (.f64 (fma.f64 -1/4 (pow.f64 re 2) 1/2) 2))
(+.f64 (.f64 (pow.f64 im 2) (fma.f64 -1/4 (pow.f64 re 2) 1/2)) (.f64 2 (fma.f64 -1/4 (pow.f64 re 2) 1/2)))
(+.f64 (.f64 (fma.f64 1/2 (pow.f64 im 2) 1) 1) (.f64 (.f64 (.f64 (fma.f64 im im 2) -1/4) (pow.f64 re 2)) 1))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 im im 2)) (fma.f64 -1/4 (pow.f64 re 2) 1/2))) (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 im im 2)) (fma.f64 -1/4 (pow.f64 re 2) 1/2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 im im 2)) (fma.f64 -1/4 (pow.f64 re 2) 1/2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (fma.f64 im im 2)) (fma.f64 -1/4 (pow.f64 re 2) 1/2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (fma.f64 im im 2)) (fma.f64 -1/4 (pow.f64 re 2) 1/2)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (fma.f64 im im 2) (fma.f64 -1/4 (pow.f64 re 2) 1/2)))) 1)
(/.f64 (+.f64 (pow.f64 (fma.f64 1/2 (pow.f64 im 2) 1) 3) (.f64 (.f64 (pow.f64 re 6) -1/64) (pow.f64 (fma.f64 im im 2) 3))) (+.f64 (pow.f64 (fma.f64 1/2 (pow.f64 im 2) 1) 2) (-.f64 (pow.f64 (.f64 (.f64 (fma.f64 im im 2) -1/4) (pow.f64 re 2)) 2) (.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (.f64 (*.f64 (fma.f64 im im 2) -1/4) (pow.f64 re 2))))))
(/.f64 (-.f64 (pow.f64 (fma.f64 1/2 (pow.f64 im 2) 1) 2) (pow.f64 (.f64 (.f64 (fma.f64 im im 2) -1/4) (pow.f64 re 2)) 2)) (-.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (.f64 (.f64 (fma.f64 im im 2) -1/4) (pow.f64 re 2))))
(/.f64 (.f64 (fma.f64 im im 2) (fma.f64 (pow.f64 re 6) -1/64 1/8)) (fma.f64 (.f64 -1/4 (pow.f64 re 2)) (fma.f64 -1/4 (pow.f64 re 2) -1/2) 1/4))
(/.f64 (.f64 (fma.f64 im im 2) (-.f64 1/4 (.f64 (pow.f64 re 4) 1/16))) (+.f64 1/2 (*.f64 1/4 (pow.f64 re 2))))
(/.f64 (.f64 (fma.f64 (pow.f64 re 6) -1/64 1/8) (fma.f64 im im 2)) (fma.f64 (.f64 -1/4 (pow.f64 re 2)) (fma.f64 -1/4 (pow.f64 re 2) -1/2) 1/4))
(/.f64 (.f64 (-.f64 1/4 (.f64 (pow.f64 re 4) 1/16)) (fma.f64 im im 2)) (+.f64 1/2 (*.f64 1/4 (pow.f64 re 2))))
(pow.f64 (*.f64 (fma.f64 im im 2) (fma.f64 -1/4 (pow.f64 re 2) 1/2)) 1)
(pow.f64 (cbrt.f64 (*.f64 (fma.f64 im im 2) (fma.f64 -1/4 (pow.f64 re 2) 1/2))) 3)
(pow.f64 (pow.f64 (*.f64 (fma.f64 im im 2) (fma.f64 -1/4 (pow.f64 re 2) 1/2)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 (fma.f64 im im 2) (fma.f64 -1/4 (pow.f64 re 2) 1/2)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (fma.f64 im im 2) (fma.f64 -1/4 (pow.f64 re 2) 1/2))) 2)
(sqrt.f64 (pow.f64 (*.f64 (fma.f64 im im 2) (fma.f64 -1/4 (pow.f64 re 2) 1/2)) 2))
(log.f64 (pow.f64 (exp.f64 (fma.f64 im im 2)) (fma.f64 -1/4 (pow.f64 re 2) 1/2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (fma.f64 im im 2) (fma.f64 -1/4 (pow.f64 re 2) 1/2)))))
(log.f64 (.f64 (exp.f64 (.f64 (*.f64 (fma.f64 im im 2) -1/4) (pow.f64 re 2))) (exp.f64 (fma.f64 1/2 (pow.f64 im 2) 1))))
(cbrt.f64 (pow.f64 (*.f64 (fma.f64 im im 2) (fma.f64 -1/4 (pow.f64 re 2) 1/2)) 3))
(expm1.f64 (log1p.f64 (*.f64 (fma.f64 im im 2) (fma.f64 -1/4 (pow.f64 re 2) 1/2))))
(exp.f64 (log.f64 (*.f64 (fma.f64 im im 2) (fma.f64 -1/4 (pow.f64 re 2) 1/2))))
(exp.f64 (.f64 (log.f64 (.f64 (fma.f64 im im 2) (fma.f64 -1/4 (pow.f64 re 2) 1/2))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 (fma.f64 im im 2) (fma.f64 -1/4 (pow.f64 re 2) 1/2))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (fma.f64 im im 2) (fma.f64 -1/4 (pow.f64 re 2) 1/2)))) 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 (fma.f64 im im 2) (fma.f64 -1/4 (pow.f64 re 2) 1/2)) 3)) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (fma.f64 im im 2) (fma.f64 -1/4 (pow.f64 re 2) 1/2)))) 2))
(log1p.f64 (expm1.f64 (*.f64 (fma.f64 im im 2) (fma.f64 -1/4 (pow.f64 re 2) 1/2))))
(fma.f64 (fma.f64 im im 2) 1/2 (.f64 (.f64 (fma.f64 im im 2) -1/4) (pow.f64 re 2)))
(fma.f64 (fma.f64 im im 2) (*.f64 -1/4 (pow.f64 re 2)) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 1/2 (fma.f64 im im 2) (.f64 (.f64 (fma.f64 im im 2) -1/4) (pow.f64 re 2)))
(fma.f64 -1/4 (*.f64 (pow.f64 re 2) (fma.f64 im im 2)) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (pow.f64 re 2) (*.f64 -1/4 (fma.f64 im im 2)) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (*.f64 -1/4 (pow.f64 re 2)) (fma.f64 im im 2) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (fma.f64 -1/4 (pow.f64 re 2) 1/2) (pow.f64 im 2) (*.f64 (fma.f64 -1/4 (pow.f64 re 2) 1/2) 2))
(fma.f64 (pow.f64 im 2) (fma.f64 -1/4 (pow.f64 re 2) 1/2) (*.f64 2 (fma.f64 -1/4 (pow.f64 re 2) 1/2)))
(fma.f64 1 (fma.f64 1/2 (pow.f64 im 2) 1) (.f64 (.f64 (fma.f64 im im 2) -1/4) (pow.f64 re 2)))
(fma.f64 1 (.f64 (.f64 (fma.f64 im im 2) -1/4) (pow.f64 re 2)) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (cbrt.f64 (.f64 (pow.f64 re 4) 1/16)) (.f64 (cbrt.f64 (*.f64 -1/4 (pow.f64 re 2))) (fma.f64 im im 2)) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 im im 2)) 2) (.f64 (cbrt.f64 (fma.f64 im im 2)) (.f64 -1/4 (pow.f64 re 2))) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 im im 2)) 2) (.f64 (cbrt.f64 (fma.f64 im im 2)) 1/2) (.f64 (*.f64 (fma.f64 im im 2) -1/4) (pow.f64 re 2)))
(fma.f64 (.f64 re (sqrt.f64 -1/4)) (.f64 (*.f64 re (sqrt.f64 -1/4)) (fma.f64 im im 2)) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (sqrt.f64 (fma.f64 im im 2)) (.f64 (sqrt.f64 (fma.f64 im im 2)) (.f64 -1/4 (pow.f64 re 2))) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (sqrt.f64 (fma.f64 im im 2)) (.f64 (sqrt.f64 (fma.f64 im im 2)) 1/2) (.f64 (*.f64 (fma.f64 im im 2) -1/4) (pow.f64 re 2)))
(fma.f64 (fma.f64 1/2 (pow.f64 im 2) 1) 1 (.f64 (.f64 (*.f64 (fma.f64 im im 2) -1/4) (pow.f64 re 2)) 1))
(fma.f64 (.f64 (cbrt.f64 (.f64 (.f64 (fma.f64 im im 2) -1/4) (pow.f64 re 2))) (cbrt.f64 (.f64 (.f64 (fma.f64 im im 2) -1/4) (pow.f64 re 2)))) (cbrt.f64 (.f64 (*.f64 (fma.f64 im im 2) -1/4) (pow.f64 re 2))) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (.f64 (cbrt.f64 (fma.f64 1/2 (pow.f64 im 2) 1)) (cbrt.f64 (fma.f64 1/2 (pow.f64 im 2) 1))) (cbrt.f64 (fma.f64 1/2 (pow.f64 im 2) 1)) (.f64 (*.f64 (fma.f64 im im 2) -1/4) (pow.f64 re 2)))
(fma.f64 (sqrt.f64 (.f64 (.f64 (fma.f64 im im 2) -1/4) (pow.f64 re 2))) (sqrt.f64 (.f64 (.f64 (fma.f64 im im 2) -1/4) (pow.f64 re 2))) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (sqrt.f64 (fma.f64 1/2 (pow.f64 im 2) 1)) (sqrt.f64 (fma.f64 1/2 (pow.f64 im 2) 1)) (.f64 (.f64 (fma.f64 im im 2) -1/4) (pow.f64 re 2)))
(fma.f64 (.f64 (.f64 re (sqrt.f64 -1/4)) (sqrt.f64 (fma.f64 im im 2))) (.f64 (.f64 re (sqrt.f64 -1/4)) (sqrt.f64 (fma.f64 im im 2))) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (pow.f64 (.f64 (.f64 re (sqrt.f64 -1/4)) (cbrt.f64 (fma.f64 im im 2))) 2) (cbrt.f64 (fma.f64 im im 2)) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (.f64 (.f64 -1/4 (pow.f64 re 2)) (sqrt.f64 (fma.f64 im im 2))) (sqrt.f64 (fma.f64 im im 2)) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (*.f64 (fma.f64 im im 2) -1/4) (pow.f64 re 2) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (*.f64 (fma.f64 im im 2) (pow.f64 re 2)) -1/4 (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (.f64 (fma.f64 im im 2) (cbrt.f64 (.f64 (pow.f64 re 4) 1/16))) (cbrt.f64 (*.f64 -1/4 (pow.f64 re 2))) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (.f64 (fma.f64 im im 2) (.f64 re (sqrt.f64 -1/4))) (*.f64 re (sqrt.f64 -1/4)) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (.f64 1/2 (pow.f64 (cbrt.f64 (fma.f64 im im 2)) 2)) (cbrt.f64 (fma.f64 im im 2)) (.f64 (*.f64 (fma.f64 im im 2) -1/4) (pow.f64 re 2)))
(fma.f64 (.f64 1/2 (sqrt.f64 (fma.f64 im im 2))) (sqrt.f64 (fma.f64 im im 2)) (.f64 (*.f64 (fma.f64 im im 2) -1/4) (pow.f64 re 2)))

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

eval52.0ms (1%)

Compiler: Compiled 2128 to 1670 computations (21.5% saved)

prune101.0ms (1.9%)

Pruning

22 alts after pruning (14 fresh and 8 done)

	Pruned	Kept	Total
New	99	2	101
Fresh	0	12	12
Picked	1	4	5
Done	0	4	4
Total	100	22	122

Accuracy

100.0%

Counts

122 → 22

Alt Table

Click to see full alt table

Status	Accuracy	Program
	7.6%	(-.f64 (cos.f64 re) -4)
	3.2%	(+.f64 (cos.f64 re) -4)
▶	32.5%	(+.f64 1 (*.f64 (pow.f64 re 2) -1/2))
▶	13.9%	(+.f64 1/4 (*.f64 (pow.f64 re 2) 1/4))
	26.0%	(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
✓	71.5%	(.f64 (.f64 1/2 (cos.f64 re)) (fma.f64 im im 2))
✓	100.0%	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
	12.5%	(.f64 (.f64 -1/4 (pow.f64 re 2)) (fma.f64 im im 2))
✓	44.3%	(*.f64 1/2 (fma.f64 im im 2))
✓	66.1%	(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
▶	7.7%	(*.f64 1/2 8)
✓	8.8%	(*.f64 1/2 3)
	28.4%	(*.f64 1/2 2)
	9.0%	(*.f64 1/2 3/2)
▶	8.6%	(*.f64 1/2 1)
✓	7.1%	(*.f64 1/2 1/16)
	3.4%	(*.f64 1/2 -1/2)
	3.6%	(*.f64 1/2 -1)
▶	3.9%	(*.f64 1/2 -2)
✓	3.3%	(*.f64 1/2 -4)
✓	48.7%	(cos.f64 re)
	7.9%	1/4
	7.6%	(-.f64 (cos.f64 re) -4)
	3.2%	(+.f64 (cos.f64 re) -4)
▶	32.5%	(+.f64 1 (*.f64 (pow.f64 re 2) -1/2))
▶	13.9%	(+.f64 1/4 (*.f64 (pow.f64 re 2) 1/4))
	26.0%	(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
✓	71.5%	(.f64 (.f64 1/2 (cos.f64 re)) (fma.f64 im im 2))
✓	100.0%	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
	12.5%	(.f64 (.f64 -1/4 (pow.f64 re 2)) (fma.f64 im im 2))
✓	44.3%	(*.f64 1/2 (fma.f64 im im 2))
✓	66.1%	(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
▶	7.7%	(*.f64 1/2 8)
✓	8.8%	(*.f64 1/2 3)
	28.4%	(*.f64 1/2 2)
	9.0%	(*.f64 1/2 3/2)
▶	8.6%	(*.f64 1/2 1)
✓	7.1%	(*.f64 1/2 1/16)
	3.4%	(*.f64 1/2 -1/2)
	3.6%	(*.f64 1/2 -1)
▶	3.9%	(*.f64 1/2 -2)
✓	3.3%	(*.f64 1/2 -4)
✓	48.7%	(cos.f64 re)
	7.9%	1/4

Compiler

Compiled 476 to 418 computations (12.2% saved)

localize99.0ms (1.9%)

Compiler: Compiled 55 to 47 computations (14.5% saved)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune30.0ms (0.6%)

Pruning

22 alts after pruning (9 fresh and 13 done)

	Kept	Total
New	0	0
Fresh	9	9
Picked	5	5
Done	8	8
Total	22	22

Accuracy

100.0%

Counts

22 → 22

Alt Table

Click to see full alt table

Status	Accuracy	Program
	7.6%	(-.f64 (cos.f64 re) -4)
	3.2%	(+.f64 (cos.f64 re) -4)
✓	32.5%	(+.f64 1 (*.f64 (pow.f64 re 2) -1/2))
✓	13.9%	(+.f64 1/4 (*.f64 (pow.f64 re 2) 1/4))
	26.0%	(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
✓	71.5%	(.f64 (.f64 1/2 (cos.f64 re)) (fma.f64 im im 2))
✓	100.0%	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
	12.5%	(.f64 (.f64 -1/4 (pow.f64 re 2)) (fma.f64 im im 2))
✓	44.3%	(*.f64 1/2 (fma.f64 im im 2))
✓	66.1%	(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
✓	7.7%	(*.f64 1/2 8)
✓	8.8%	(*.f64 1/2 3)
	28.4%	(*.f64 1/2 2)
	9.0%	(*.f64 1/2 3/2)
✓	8.6%	(*.f64 1/2 1)
✓	7.1%	(*.f64 1/2 1/16)
	3.4%	(*.f64 1/2 -1/2)
	3.6%	(*.f64 1/2 -1)
✓	3.9%	(*.f64 1/2 -2)
✓	3.3%	(*.f64 1/2 -4)
✓	48.7%	(cos.f64 re)
	7.9%	1/4

Compiler

Compiled 283 to 226 computations (20.1% saved)

regimes72.0ms (1.4%)

Counts

25 → 1

Calls

Call 1

Inputs
1/4
(*.f64 1/2 -4)
(*.f64 1/2 -2)
(*.f64 1/2 -1)
(*.f64 1/2 -1/2)
(*.f64 1/2 1/16)
(*.f64 1/2 1)
(*.f64 1/2 3/2)
(*.f64 1/2 2)
(*.f64 1/2 3)
(*.f64 1/2 8)
(cos.f64 re)
(+.f64 (cos.f64 re) -4)
(-.f64 (cos.f64 re) -4)
(*.f64 1/2 (fma.f64 im im 2))
(+.f64 1/4 (*.f64 (pow.f64 re 2) 1/4))
(+.f64 1 (*.f64 (pow.f64 re 2) -1/2))
(+.f64 (cos.f64 re) (cos.f64 re))
(pow.f64 (*.f64 (cos.f64 re) -2) -2)
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
(.f64 (.f64 1/2 (cos.f64 re)) (fma.f64 im im 2))
(.f64 (.f64 -1/4 (pow.f64 re 2)) (fma.f64 im im 2))
(.f64 (fma.f64 im im 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

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

Calls

6 calls:

14.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
13.0ms	re
13.0ms	im
11.0ms	(cos.f64 re)
10.0ms	(*.f64 1/2 (cos.f64 re))

Results

Accuracy	Segments	Branch
100.0%	1	`re`
100.0%	1	`im`
100.0%	1	`(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))`
100.0%	1	`(*.f64 1/2 (cos.f64 re))`
100.0%	1	`(cos.f64 re)`
100.0%	1	`(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))`

Compiler

Compiled 169 to 123 computations (27.2% saved)

regimes115.0ms (2.2%)

Counts

24 → 3

Calls

Call 1

Inputs
1/4
(*.f64 1/2 -4)
(*.f64 1/2 -2)
(*.f64 1/2 -1)
(*.f64 1/2 -1/2)
(*.f64 1/2 1/16)
(*.f64 1/2 1)
(*.f64 1/2 3/2)
(*.f64 1/2 2)
(*.f64 1/2 3)
(*.f64 1/2 8)
(cos.f64 re)
(+.f64 (cos.f64 re) -4)
(-.f64 (cos.f64 re) -4)
(*.f64 1/2 (fma.f64 im im 2))
(+.f64 1/4 (*.f64 (pow.f64 re 2) 1/4))
(+.f64 1 (*.f64 (pow.f64 re 2) -1/2))
(+.f64 (cos.f64 re) (cos.f64 re))
(pow.f64 (*.f64 (cos.f64 re) -2) -2)
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
(.f64 (.f64 1/2 (cos.f64 re)) (fma.f64 im im 2))
(.f64 (.f64 -1/4 (pow.f64 re 2)) (fma.f64 im im 2))
(.f64 (fma.f64 im im 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2))))

Outputs
(.f64 (.f64 1/2 (cos.f64 re)) (fma.f64 im im 2))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))

Calls

4 calls:

33.0ms	im
27.0ms	(cos.f64 re)
27.0ms	(*.f64 1/2 (cos.f64 re))
22.0ms	re

Results

Accuracy	Segments	Branch
84.4%	2	`re`
92.9%	3	`im`
86.0%	2	`(*.f64 1/2 (cos.f64 re))`
86.0%	2	`(cos.f64 re)`

Compiler

Compiled 137 to 103 computations (24.8% saved)

regimes37.0ms (0.7%)

Counts

21 → 3

Calls

Call 1

Inputs
1/4
(*.f64 1/2 -4)
(*.f64 1/2 -2)
(*.f64 1/2 -1)
(*.f64 1/2 -1/2)
(*.f64 1/2 1/16)
(*.f64 1/2 1)
(*.f64 1/2 3/2)
(*.f64 1/2 2)
(*.f64 1/2 3)
(*.f64 1/2 8)
(cos.f64 re)
(+.f64 (cos.f64 re) -4)
(-.f64 (cos.f64 re) -4)
(*.f64 1/2 (fma.f64 im im 2))
(+.f64 1/4 (*.f64 (pow.f64 re 2) 1/4))
(+.f64 1 (*.f64 (pow.f64 re 2) -1/2))
(+.f64 (cos.f64 re) (cos.f64 re))
(pow.f64 (*.f64 (cos.f64 re) -2) -2)
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))

Outputs
(cos.f64 re)
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))

Calls

1 calls:

33.0ms

im

Results

Accuracy	Segments	Branch
92.6%	3	`im`

Compiler

Compiled 93 to 72 computations (22.6% saved)

regimes54.0ms (1%)

Counts

20 → 2

Calls

Call 1

Inputs
1/4
(*.f64 1/2 -4)
(*.f64 1/2 -2)
(*.f64 1/2 -1)
(*.f64 1/2 -1/2)
(*.f64 1/2 1/16)
(*.f64 1/2 1)
(*.f64 1/2 3/2)
(*.f64 1/2 2)
(*.f64 1/2 3)
(*.f64 1/2 8)
(cos.f64 re)
(+.f64 (cos.f64 re) -4)
(-.f64 (cos.f64 re) -4)
(*.f64 1/2 (fma.f64 im im 2))
(+.f64 1/4 (*.f64 (pow.f64 re 2) 1/4))
(+.f64 1 (*.f64 (pow.f64 re 2) -1/2))
(+.f64 (cos.f64 re) (cos.f64 re))
(pow.f64 (*.f64 (cos.f64 re) -2) -2)
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))

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

Calls

2 calls:

30.0ms	(cos.f64 re)
20.0ms	im

Results

Accuracy	Segments	Branch
79.3%	4	`(cos.f64 re)`
85.9%	2	`im`

Compiler

Compiled 89 to 70 computations (21.3% saved)

regimes64.0ms (1.2%)

Counts

19 → 3

Calls

Call 1

Inputs
1/4
(*.f64 1/2 -4)
(*.f64 1/2 -2)
(*.f64 1/2 -1)
(*.f64 1/2 -1/2)
(*.f64 1/2 1/16)
(*.f64 1/2 1)
(*.f64 1/2 3/2)
(*.f64 1/2 2)
(*.f64 1/2 3)
(*.f64 1/2 8)
(cos.f64 re)
(+.f64 (cos.f64 re) -4)
(-.f64 (cos.f64 re) -4)
(*.f64 1/2 (fma.f64 im im 2))
(+.f64 1/4 (*.f64 (pow.f64 re 2) 1/4))
(+.f64 1 (*.f64 (pow.f64 re 2) -1/2))
(+.f64 (cos.f64 re) (cos.f64 re))
(pow.f64 (*.f64 (cos.f64 re) -2) -2)

Outputs
(cos.f64 re)
(+.f64 1/4 (*.f64 (pow.f64 re 2) 1/4))
(*.f64 1/2 (fma.f64 im im 2))

Calls

3 calls:

27.0ms	im
19.0ms	re
15.0ms	(cos.f64 re)

Results

Accuracy	Segments	Branch
60.2%	2	`(cos.f64 re)`
59.2%	2	`re`
69.1%	3	`im`

Compiler

Compiled 84 to 66 computations (21.4% saved)

regimes19.0ms (0.4%)

Counts

15 → 2

Calls

Call 1

Inputs
1/4
(*.f64 1/2 -4)
(*.f64 1/2 -2)
(*.f64 1/2 -1)
(*.f64 1/2 -1/2)
(*.f64 1/2 1/16)
(*.f64 1/2 1)
(*.f64 1/2 3/2)
(*.f64 1/2 2)
(*.f64 1/2 3)
(*.f64 1/2 8)
(cos.f64 re)
(+.f64 (cos.f64 re) -4)
(-.f64 (cos.f64 re) -4)
(*.f64 1/2 (fma.f64 im im 2))

Outputs
(cos.f64 re)
(*.f64 1/2 (fma.f64 im im 2))

Calls

1 calls:

15.0ms

im

Results

Accuracy	Segments	Branch
64.1%	2	`im`

Compiler

Compiled 52 to 44 computations (15.4% saved)

regimes26.0ms (0.5%)

Counts

14 → 1

Calls

Call 1

Inputs
1/4
(*.f64 1/2 -4)
(*.f64 1/2 -2)
(*.f64 1/2 -1)
(*.f64 1/2 -1/2)
(*.f64 1/2 1/16)
(*.f64 1/2 1)
(*.f64 1/2 3/2)
(*.f64 1/2 2)
(*.f64 1/2 3)
(*.f64 1/2 8)
(cos.f64 re)
(+.f64 (cos.f64 re) -4)
(-.f64 (cos.f64 re) -4)

Outputs
(cos.f64 re)

Calls

3 calls:

8.0ms	im
7.0ms	re
7.0ms	(cos.f64 re)

Results

Accuracy	Segments	Branch
48.7%	1	`re`
48.7%	1	`(cos.f64 re)`
48.7%	1	`im`

Compiler

Compiled 53 to 45 computations (15.1% saved)

regimes17.0ms (0.3%)

Counts

11 → 1

Calls

Call 1

Inputs
1/4
(*.f64 1/2 -4)
(*.f64 1/2 -2)
(*.f64 1/2 -1)
(*.f64 1/2 -1/2)
(*.f64 1/2 1/16)
(*.f64 1/2 1)
(*.f64 1/2 3/2)
(*.f64 1/2 2)
(*.f64 1/2 3)
(*.f64 1/2 8)

Outputs
(*.f64 1/2 2)

Calls

2 calls:

8.0ms	re
6.0ms	im

Results

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

Compiler

Compiled 39 to 37 computations (5.1% saved)

regimes13.0ms (0.3%)

Counts

8 → 1

Calls

Call 1

Inputs
1/4
(*.f64 1/2 -4)
(*.f64 1/2 -2)
(*.f64 1/2 -1)
(*.f64 1/2 -1/2)
(*.f64 1/2 1/16)
(*.f64 1/2 1)
(*.f64 1/2 3/2)

Outputs
(*.f64 1/2 3/2)

Calls

2 calls:

6.0ms	re
5.0ms	im

Results

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

Compiler

Compiled 30 to 28 computations (6.7% saved)

regimes12.0ms (0.2%)

Counts

7 → 1

Calls

Call 1

Inputs
1/4
(*.f64 1/2 -4)
(*.f64 1/2 -2)
(*.f64 1/2 -1)
(*.f64 1/2 -1/2)
(*.f64 1/2 1/16)
(*.f64 1/2 1)

Outputs
(*.f64 1/2 1)

Calls

2 calls:

6.0ms	im
5.0ms	re

Results

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

Compiler

Compiled 27 to 25 computations (7.4% saved)

regimes11.0ms (0.2%)

Accuracy

Total -4.4b remaining (-7.4%)

Threshold costs -4.4b (-7.4%)

Counts

6 → 1

Calls

Call 1

Inputs
1/4
(*.f64 1/2 -4)
(*.f64 1/2 -2)
(*.f64 1/2 -1)
(*.f64 1/2 -1/2)
(*.f64 1/2 1/16)

Outputs
1/4

Calls

2 calls:

5.0ms	re
5.0ms	im

Results

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

Compiler

Compiled 24 to 22 computations (8.3% saved)

bsearch52.0ms (1%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
28.0ms	1.2077980112859779e+154	4.534086102584591e+157
24.0ms	0.00424994225656356	0.045616657182114904

Results

12.0ms	84×	body	256	infinite
10.0ms	63×	body	256	valid
10.0ms	24×	body	1024	valid
9.0ms	26×	body	1024	infinite
4.0ms	18×	body	512	infinite
2.0ms	9×	body	512	valid

Compiler

Compiled 332 to 266 computations (19.9% saved)

bsearch36.0ms (0.7%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
27.0ms	1.2077980112859779e+154	4.534086102584591e+157
8.0ms	1.6821111079199672e-5	2.0095927750676176e-5

Results

11.0ms	32×	body	1024	infinite
11.0ms	83×	body	256	infinite
4.0ms	10×	body	1024	valid
3.0ms	13×	body	512	infinite
3.0ms	19×	body	256	valid
1.0ms	3×	body	512	valid

Compiler

Compiled 226 to 184 computations (18.6% saved)

bsearch8.0ms (0.2%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
8.0ms	1.6821111079199672e-5	2.0095927750676176e-5

Results

4.0ms	22×	body	256	valid
2.0ms	6×	body	1024	valid
1.0ms	4×	body	512	valid

Compiler

Compiled 50 to 40 computations (20% saved)

bsearch58.0ms (1.1%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
23.0ms	7.486779432489266e+133	4.194161021289723e+134
35.0ms	5635.250886305293	24210602.227719583

Results

27.0ms	66×	body	1024	infinite
21.0ms	130×	body	256	infinite
7.0ms	28×	body	512	infinite

Compiler

Compiled 252 to 214 computations (15.1% saved)

bsearch20.0ms (0.4%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
19.0ms	6.34392524500096e+42	1.7954018950691926e+43

Results

9.0ms	48×	body	256	infinite
6.0ms	19×	body	1024	infinite
3.0ms	13×	body	512	infinite

Compiler

Compiled 88 to 69 computations (21.6% saved)

simplify10.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

16×	`*-commutative`
6×	`+-commutative`
2×	`sub-neg`
2×	`1-exp`
2×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	57	433
1	71	433
2	73	433
3	74	433

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(if (<=.f64 im 7782220156096217/576460752303423488) (.f64 (.f64 1/2 (cos.f64 re)) (fma.f64 im im 2)) (if (<=.f64 im 13500000000000000275507010685175621526490118987092636456657125042259125821644957267949903389666459196246900088209596760608108317076954234449082739494748160) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (.f64 (pow.f64 im 2) (*.f64 1/2 (cos.f64 re)))))
(if (<=.f64 im 5902958103587057/295147905179352825856) (cos.f64 re) (if (<=.f64 im 13500000000000000275507010685175621526490118987092636456657125042259125821644957267949903389666459196246900088209596760608108317076954234449082739494748160) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (.f64 (pow.f64 im 2) (*.f64 1/2 (cos.f64 re)))))
(if (<=.f64 im 5902958103587057/295147905179352825856) (cos.f64 re) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(if (<=.f64 im 9500) (cos.f64 re) (if (<=.f64 im 410000000000000034381264633077979268597620445431836977230665426682796726756843866152286277743781915700546658530688633218061574139281408) (+.f64 1/4 (.f64 (pow.f64 re 2) 1/4)) (.f64 1/2 (fma.f64 im im 2))))
(if (<=.f64 im 7799999999999999390705028442822437880463360) (cos.f64 re) (*.f64 1/2 (fma.f64 im im 2)))
(cos.f64 re)
(*.f64 1/2 2)
(*.f64 1/2 3/2)
(*.f64 1/2 1)
1/4

Outputs
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(if (<=.f64 im 7782220156096217/576460752303423488) (.f64 (.f64 1/2 (cos.f64 re)) (fma.f64 im im 2)) (if (<=.f64 im 13500000000000000275507010685175621526490118987092636456657125042259125821644957267949903389666459196246900088209596760608108317076954234449082739494748160) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (.f64 (pow.f64 im 2) (*.f64 1/2 (cos.f64 re)))))
(if (<=.f64 im 7782220156096217/576460752303423488) (.f64 (.f64 1/2 (cos.f64 re)) (fma.f64 im im 2)) (if (<=.f64 im 13500000000000000275507010685175621526490118987092636456657125042259125821644957267949903389666459196246900088209596760608108317076954234449082739494748160) (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (.f64 (*.f64 1/2 (cos.f64 re)) (pow.f64 im 2))))
(if (<=.f64 im 5902958103587057/295147905179352825856) (cos.f64 re) (if (<=.f64 im 13500000000000000275507010685175621526490118987092636456657125042259125821644957267949903389666459196246900088209596760608108317076954234449082739494748160) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (.f64 (pow.f64 im 2) (*.f64 1/2 (cos.f64 re)))))
(if (<=.f64 im 5902958103587057/295147905179352825856) (cos.f64 re) (if (<=.f64 im 13500000000000000275507010685175621526490118987092636456657125042259125821644957267949903389666459196246900088209596760608108317076954234449082739494748160) (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (.f64 (*.f64 1/2 (cos.f64 re)) (pow.f64 im 2))))
(if (<=.f64 im 5902958103587057/295147905179352825856) (cos.f64 re) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(if (<=.f64 im 5902958103587057/295147905179352825856) (cos.f64 re) (*.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(if (<=.f64 im 9500) (cos.f64 re) (if (<=.f64 im 410000000000000034381264633077979268597620445431836977230665426682796726756843866152286277743781915700546658530688633218061574139281408) (+.f64 1/4 (.f64 (pow.f64 re 2) 1/4)) (.f64 1/2 (fma.f64 im im 2))))
(if (<=.f64 im 9500) (cos.f64 re) (if (<=.f64 im 410000000000000034381264633077979268597620445431836977230665426682796726756843866152286277743781915700546658530688633218061574139281408) (+.f64 1/4 (.f64 1/4 (pow.f64 re 2))) (.f64 1/2 (fma.f64 im im 2))))
(if (<=.f64 im 7799999999999999390705028442822437880463360) (cos.f64 re) (*.f64 1/2 (fma.f64 im im 2)))
(cos.f64 re)
(*.f64 1/2 2)
1
(*.f64 1/2 3/2)
3/4
(*.f64 1/2 1)
1/2
1/4

Compiler

Compiled 147 to 111 computations (24.5% saved)

soundness476.0ms (9.2%)

Rules

1478×	`associate-+r+`
1478×	`associate-+r+`
1478×	`associate-+r+`
1196×	`associate-+l+`
1196×	`associate-+l+`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	69
1	202	69
2	3266	69
0	22	82
1	269	82
2	4021	82
0	22	82
1	269	82
2	4021	82
0	108	1657
1	308	1494
2	932	1494
3	4458	1494
0	103	1913
1	239	1813
2	665	1697
3	2711	1697
4	5773	1697
5	7545	1697
0	103	1913
1	239	1813
2	665	1697
3	2711	1697
4	5773	1697
5	7545	1697
0	103	1913
1	239	1813
2	665	1697
3	2711	1697
4	5773	1697
5	7545	1697

Stop Event

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

Compiler

Compiled 79 to 60 computations (24.1% saved)

end0.0ms (0%)

preprocess98.0ms (1.9%)

Remove

(abs im)

(abs re)

Compiler

Compiled 332 to 206 computations (38% saved)

analyze0.0ms (0%)

sample2.3s (45%)

preprocess174.0ms (3.4%)

eval1.0ms (0%)

prune2.0ms (0%)

localize151.0ms (2.9%)

series5.0ms (0.1%)

rewrite153.0ms (3%)

simplify58.0ms (1.1%)

eval15.0ms (0.3%)

prune20.0ms (0.4%)

localize209.0ms (4%)

series7.0ms (0.1%)

rewrite46.0ms (0.9%)

simplify105.0ms (2%)

eval56.0ms (1.1%)

prune123.0ms (2.4%)

localize83.0ms (1.6%)

series2.0ms (0%)

rewrite69.0ms (1.3%)

simplify81.0ms (1.6%)

eval52.0ms (1%)

prune101.0ms (1.9%)

localize99.0ms (1.9%)

eval0.0ms (0%)

prune30.0ms (0.6%)

regimes72.0ms (1.4%)

regimes115.0ms (2.2%)

regimes37.0ms (0.7%)

regimes54.0ms (1%)

regimes64.0ms (1.2%)

regimes19.0ms (0.4%)

regimes26.0ms (0.5%)

regimes17.0ms (0.3%)

regimes13.0ms (0.3%)

regimes12.0ms (0.2%)

regimes11.0ms (0.2%)

bsearch52.0ms (1%)

bsearch36.0ms (0.7%)

bsearch8.0ms (0.2%)

bsearch58.0ms (1.1%)

bsearch20.0ms (0.4%)

simplify10.0ms (0.2%)

soundness476.0ms (9.2%)

end0.0ms (0%)

preprocess98.0ms (1.9%)

Profiling