Details

analyze184.0ms (2.7%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
50%	50%	50%	0.1%	0%	0%	0%	5
50%	50%	50%	0.1%	0%	0%	0%	6
55.2%	50%	40.6%	0.1%	9.4%	0%	0%	7
56.1%	50%	39%	0.1%	10.9%	0%	0%	8
59.8%	50%	33.6%	0.1%	16.4%	0%	0%	9
60.7%	50%	32.4%	0.1%	17.6%	0%	0%	10
62.9%	50%	29.5%	0.1%	20.5%	0%	0%	11
63.4%	50%	28.8%	0.1%	21.2%	0%	0%	12

Compiler

Compiled 15 to 12 computations (20% saved)

sample4.6s (67.4%)

Results

1.3s	2108×	body	1024	valid
1.2s	2109×	body	1024	infinite
1.1s	5150×	body	256	valid
379.0ms	1008×	body	512	infinite
321.0ms	993×	body	512	valid
279.0ms	1601×	body	256	infinite
6.0ms	5×	body	2048	valid
3.0ms	1×	body	2048	infinite

Bogosity

preprocess88.0ms (1.3%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 16 to 13 computations (18.8% saved)

simplify91.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

1568×	`unswap-sqr`
1404×	`fma-def`
900×	`fabs-mul`
862×	`associate-/r*`
692×	`times-frac`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	14	35
1	30	35
2	74	35
3	141	33
4	189	33
5	256	33
6	438	33
7	1104	33
8	3158	33
9	3540	33
10	4031	33
11	5670	33
12	6650	33

Stop Event

1×	node limit

Counts

1 → 4

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 47 to 25 computations (46.8% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	3	1	4
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	4	1	5

Accurracy

100.0%

Counts

5 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 13 to 10 computations (23.1% saved)

localize13.0ms (0.2%)

Local Accuracy

Found 1 expressions with local accuracy:

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

Compiler

Compiled 35 to 13 computations (62.9% saved)

series6.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite32.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

282×	`add-sqr-sqrt`
272×	`pow1`
272×	`*-un-lft-identity`
264×	`add-exp-log`
262×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	35
1	273	35
2	4277	35

Stop Event

1×

unsound

Counts

1 → 23

Calls

Call 1

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

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

simplify78.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

1156×	`fma-neg`
1114×	`div-sub`
812×	`cancel-sign-sub-inv`
740×	`fma-def`
738×	`associate-r`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	98	1223
1	298	1143
2	960	1143
3	4969	1143

Stop Event

1×	node limit

Counts

47 → 47

Calls

Call 1

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

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

eval47.0ms (0.7%)

Compiler: Compiled 698 to 345 computations (50.6% saved)

prune9.0ms (0.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	43	4	47
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	43	5	48

Accurracy

100.0%

Counts

48 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.8%	(+.f64 (sin.f64 re) (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 im im)))
▶	18.7%	(+.f64 (sin.f64 re) (sin.f64 re))
✓	100.0%	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
▶	52.6%	(.f64 (.f64 1/2 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
▶	98.4%	(sin.f64 re)

Compiler

Compiled 49 to 34 computations (30.6% saved)

localize3.0ms (0%)

Compiler: Compiled 5 to 3 computations (40% saved)

localize11.0ms (0.2%)

Local Accuracy

Found 1 expressions with local accuracy:

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

Compiler

Compiled 31 to 12 computations (61.3% saved)

series5.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite35.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

266×	`add-sqr-sqrt`
254×	`pow1`
254×	`*-un-lft-identity`
250×	`add-exp-log`
248×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	23
1	257	23
2	4147	23

Stop Event

1×

unsound

Counts

1 → 18

Calls

Call 1

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

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

simplify67.0ms (1%)

Algorithm

1×	egg-herbie

Rules

1716×	`fma-def`
1260×	`associate-r`
1182×	`associate-l`
1098×	`distribute-lft-in`
894×	`distribute-rgt-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	66	1244
1	148	1244
2	325	1244
3	1160	1244

Stop Event

1×	node limit

Counts

42 → 27

Calls

Call 1

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

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

localize5.0ms (0.1%)

Compiler: Compiled 10 to 4 computations (60% saved)

localize12.0ms (0.2%)

Local Accuracy

Found 1 expressions with local accuracy:

New	Accuracy	Program
✓	99.8%	(.f64 (.f64 1/2 (sin.f64 re)) (*.f64 im im))

Compiler

Compiled 33 to 14 computations (57.6% saved)

series3.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite58.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1836×	`pow1`
1682×	`add-exp-log`
1682×	`log1p-expm1-u`
1682×	`expm1-log1p-u`
1644×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	23
1	200	23
2	2350	23

Stop Event

1×	node limit

Counts

1 → 13

Calls

Call 1

Inputs
(.f64 (.f64 1/2 (sin.f64 re)) (*.f64 im im))

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

simplify65.0ms (1%)

Algorithm

1×	egg-herbie

Rules

1446×	`fma-def`
1346×	`exp-sum`
1318×	`log-prod`
820×	`distribute-rgt-in`
800×	`distribute-lft-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	73	991
1	204	963
2	736	927
3	2141	923
4	6625	923

Stop Event

1×	node limit

Counts

37 → 35

Calls

Call 1

Inputs
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (.f64 1/2 (.f64 re (pow.f64 im 2))))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (+.f64 (.f64 1/240 (.f64 (pow.f64 re 5) (pow.f64 im 2))) (.f64 1/2 (.f64 re (pow.f64 im 2)))))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (+.f64 (.f64 1/240 (.f64 (pow.f64 re 5) (pow.f64 im 2))) (+.f64 (.f64 -1/10080 (.f64 (pow.f64 re 7) (pow.f64 im 2))) (.f64 1/2 (.f64 re (pow.f64 im 2))))))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(-.f64 (+.f64 1 (.f64 (sin.f64 re) (.f64 1/2 (*.f64 im im)))) 1)
(pow.f64 (.f64 (sin.f64 re) (.f64 1/2 (*.f64 im im))) 1)
(pow.f64 (cbrt.f64 (.f64 (sin.f64 re) (.f64 1/2 (*.f64 im im)))) 3)
(pow.f64 (pow.f64 (.f64 (sin.f64 re) (.f64 1/2 (*.f64 im im))) 3) 1/3)
(pow.f64 (.f64 im (sqrt.f64 (.f64 1/2 (sin.f64 re)))) 2)
(sqrt.f64 (.f64 (pow.f64 im 4) (.f64 (pow.f64 (sin.f64 re) 2) 1/4)))
(log.f64 (pow.f64 (exp.f64 (.f64 im im)) (.f64 1/2 (sin.f64 re))))
(cbrt.f64 (pow.f64 (.f64 (sin.f64 re) (.f64 1/2 (*.f64 im im))) 3))
(cbrt.f64 (.f64 (pow.f64 (.f64 1/2 (sin.f64 re)) 3) (pow.f64 (*.f64 im im) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 im im) 3) (pow.f64 (*.f64 1/2 (sin.f64 re)) 3)))
(expm1.f64 (log1p.f64 (.f64 (sin.f64 re) (.f64 1/2 (*.f64 im im)))))
(exp.f64 (log.f64 (.f64 (sin.f64 re) (.f64 1/2 (*.f64 im im)))))
(log1p.f64 (expm1.f64 (.f64 (sin.f64 re) (.f64 1/2 (*.f64 im im)))))

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

eval15.0ms (0.2%)

Compiler: Compiled 786 to 451 computations (42.6% saved)

prune53.0ms (0.8%)

Pruning

10 alts after pruning (6 fresh and 4 done)

	Pruned	Kept	Total
New	56	6	62
Fresh	0	0	0
Picked	0	1	1
Done	1	3	4
Total	57	10	67

Accurracy

100.0%

Counts

67 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	7.8%	(/.f64 re (+.f64 re (-.f64 re re)))
▶	3.6%	(/.f64 re -2)
✓	98.8%	(+.f64 (sin.f64 re) (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 im im)))
▶	51.6%	(+.f64 re (.f64 1/2 (.f64 re (pow.f64 im 2))))
▶	11.1%	(+.f64 re re)
✓	100.0%	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	52.6%	(.f64 (.f64 1/2 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
▶	2.9%	(sqrt.f64 re)
✓	98.4%	(sin.f64 re)
	51.3%	re

Compiler

Compiled 113 to 78 computations (31% saved)

localize13.0ms (0.2%)

Local Accuracy

Found 1 expressions with local accuracy:

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

Compiler

Compiled 30 to 20 computations (33.3% saved)

series2.0ms (0%)

Counts

1 → 0

Calls

6 calls:

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

rewrite71.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

simplify72.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

1×	node limit

Counts

11 → 14

Calls

Call 1

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

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

localize3.0ms (0%)

Compiler: Compiled 6 to 3 computations (50% saved)

localize3.0ms (0%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

localize7.0ms (0.1%)

Compiler: Compiled 18 to 5 computations (72.2% saved)

localize2.0ms (0%)

Compiler: Compiled 5 to 3 computations (40% saved)

eval3.0ms (0%)

Compiler: Compiled 162 to 87 computations (46.3% saved)

prune5.0ms (0.1%)

Pruning

10 alts after pruning (2 fresh and 8 done)

	Pruned	Kept	Total
New	13	1	14
Fresh	0	1	1
Picked	0	1	1
Done	1	7	8
Total	14	10	24

Accurracy

100.0%

Counts

24 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	7.8%	(/.f64 re (+.f64 re (-.f64 re re)))
✓	3.6%	(/.f64 re -2)
✓	98.8%	(+.f64 (sin.f64 re) (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 im im)))
▶	51.6%	(+.f64 re (.f64 1/2 (.f64 re (*.f64 im im))))
✓	11.1%	(+.f64 re re)
✓	100.0%	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	52.6%	(.f64 (.f64 1/2 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
✓	2.9%	(sqrt.f64 re)
✓	98.4%	(sin.f64 re)
	51.3%	re

Compiler

Compiled 79 to 54 computations (31.6% saved)

localize9.0ms (0.1%)

Local Accuracy

Found 1 expressions with local accuracy:

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

Compiler

Compiled 29 to 10 computations (65.5% saved)

series0.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite50.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

simplify58.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

35 → 13

Calls

Call 1

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

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

eval3.0ms (0%)

Compiler: Compiled 147 to 80 computations (45.6% saved)

prune5.0ms (0.1%)

Pruning

10 alts after pruning (1 fresh and 9 done)

	Pruned	Kept	Total
New	13	0	13
Fresh	0	1	1
Picked	0	1	1
Done	0	8	8
Total	13	10	23

Accurracy

100.0%

Counts

23 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	7.8%	(/.f64 re (+.f64 re (-.f64 re re)))
✓	3.6%	(/.f64 re -2)
✓	98.8%	(+.f64 (sin.f64 re) (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 im im)))
✓	51.6%	(+.f64 re (.f64 1/2 (.f64 re (*.f64 im im))))
✓	11.1%	(+.f64 re re)
✓	100.0%	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	52.6%	(.f64 (.f64 1/2 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
✓	2.9%	(sqrt.f64 re)
✓	98.4%	(sin.f64 re)
	51.3%	re

Compiler

Compiled 79 to 54 computations (31.6% saved)

regimes80.0ms (1.2%)

Counts

13 → 1

Calls

Call 1

Inputs
re
(+.f64 re re)
(/.f64 re -2)
(/.f64 re (+.f64 re (-.f64 re re)))
(+.f64 re (.f64 1/2 (.f64 re (*.f64 im im))))
(sin.f64 re)
(sqrt.f64 re)
(+.f64 re (.f64 1/2 (.f64 re (pow.f64 im 2))))
(+.f64 (sin.f64 re) (sin.f64 re))
(.f64 (.f64 1/2 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(+.f64 (sin.f64 re) (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 im im)))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))

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

Calls

6 calls:

42.0ms	(*.f64 1/2 (sin.f64 re))
10.0ms	im
7.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
7.0ms	(sin.f64 re)
7.0ms	re

Results

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

Compiler

Compiled 126 to 74 computations (41.3% saved)

regimes61.0ms (0.9%)

Counts

11 → 1

Calls

Call 1

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

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

Calls

3 calls:

46.0ms	(sin.f64 re)
7.0ms	re
6.0ms	im

Results

Accuracy	Segments	Branch
98.8%	1	`re`
98.8%	1	`im`
98.8%	1	`(sin.f64 re)`

Compiler

Compiled 74 to 40 computations (45.9% saved)

regimes62.0ms (0.9%)

Counts

10 → 1

Calls

Call 1

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

Outputs
(sin.f64 re)

Calls

3 calls:

48.0ms	im
6.0ms	re
6.0ms	(sin.f64 re)

Results

Accuracy	Segments	Branch
98.4%	1	`re`
98.4%	1	`im`
98.4%	1	`(sin.f64 re)`

Compiler

Compiled 63 to 36 computations (42.9% saved)

regimes18.0ms (0.3%)

Counts

5 → 3

Calls

Call 1

Inputs
re
(+.f64 re re)
(/.f64 re -2)
(/.f64 re (+.f64 re (-.f64 re re)))
(+.f64 re (.f64 1/2 (.f64 re (*.f64 im im))))

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

Calls

2 calls:

11.0ms	re
5.0ms	im

Results

Accuracy	Segments	Branch
55.9%	3	`re`
51.6%	1	`im`

Compiler

Compiled 31 to 17 computations (45.2% saved)

bsearch58.0ms (0.8%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
29.0ms	0.01274003440696836	635757.0773356701
29.0ms	-22539706.881367248	-3.9286455607595735e-5

Results

54.0ms

304×

body

256

valid

Compiler

Compiled 437 to 281 computations (35.7% saved)

regimes24.0ms (0.3%)

Counts

4 → 3

Calls

Call 1

Inputs
re
(+.f64 re re)
(/.f64 re -2)
(/.f64 re (+.f64 re (-.f64 re re)))

Outputs
(/.f64 re (+.f64 re (-.f64 re re)))
re
(/.f64 re (+.f64 re (-.f64 re re)))

Calls

2 calls:

12.0ms	im
10.0ms	re

Results

Accuracy	Segments	Branch
55.6%	3	`re`
51.3%	1	`im`

Compiler

Compiled 22 to 12 computations (45.5% saved)

bsearch74.0ms (1.1%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
47.0ms	0.01274003440696836	635757.0773356701
27.0ms	-22539706.881367248	-3.9286455607595735e-5

Results

71.0ms

304×

body

256

valid

Compiler

Compiled 285 to 186 computations (34.7% saved)

regimes7.0ms (0.1%)

Accuracy

Total -31.2b remaining (-100.2%)

Threshold costs -31.2b (-100.2%)

Counts

3 → 1

Calls

Call 1

Inputs
re
(+.f64 re re)
(/.f64 re -2)

Outputs
re

Calls

2 calls:

3.0ms	re
3.0ms	im

Results

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

Compiler

Compiled 15 to 9 computations (40% saved)

simplify64.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

14×	`+-commutative`
14×	`*-commutative`
6×	`sub-neg`
4×	`neg-mul-1`
4×	`if-if-or-not`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	188
1	55	188
2	60	188
3	63	188
4	64	188

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(+.f64 (sin.f64 re) (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 im im)))
(sin.f64 re)
(if (<=.f64 re -6980579422424269/2251799813685248) (/.f64 re (+.f64 re (-.f64 re re))) (if (<=.f64 re 1) (+.f64 re (.f64 1/2 (.f64 re (*.f64 im im)))) (/.f64 re (+.f64 re (-.f64 re re)))))
(if (<=.f64 re -6980579422424269/2251799813685248) (/.f64 re (+.f64 re (-.f64 re re))) (if (<=.f64 re 1) re (/.f64 re (+.f64 re (-.f64 re re)))))
re

Outputs
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(+.f64 (sin.f64 re) (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 im im)))
(sin.f64 re)
(if (<=.f64 re -6980579422424269/2251799813685248) (/.f64 re (+.f64 re (-.f64 re re))) (if (<=.f64 re 1) (+.f64 re (.f64 1/2 (.f64 re (*.f64 im im)))) (/.f64 re (+.f64 re (-.f64 re re)))))
(if (or (<=.f64 re -6980579422424269/2251799813685248) (not (<=.f64 re 1))) (/.f64 re (+.f64 re (-.f64 re re))) (+.f64 re (.f64 1/2 (.f64 re (*.f64 im im)))))
(if (<=.f64 re -6980579422424269/2251799813685248) (/.f64 re (+.f64 re (-.f64 re re))) (if (<=.f64 re 1) re (/.f64 re (+.f64 re (-.f64 re re)))))
(if (or (<=.f64 re -6980579422424269/2251799813685248) (not (<=.f64 re 1))) (/.f64 re (+.f64 re (-.f64 re re))) re)
re

Compiler

Compiled 79 to 52 computations (34.2% saved)

soundness523.0ms (7.6%)

Rules

2020×	`log-prod`
1568×	`unswap-sqr`
1404×	`fma-def`
1198×	`pow1`
1156×	`fma-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	35
1	30	35
2	74	35
3	141	33
4	189	33
5	256	33
6	438	33
7	1104	33
8	3158	33
9	3540	33
10	4031	33
11	5670	33
12	6650	33
0	98	1223
1	298	1143
2	960	1143
3	4969	1143
0	12	23
1	257	23
2	4147	23
0	7	13
1	142	13
2	1559	13
0	37	275
1	93	209
2	336	143
3	2071	143
4	5973	143
0	98	1223
1	298	1143
2	960	1143
3	4969	1143

Stop Event

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

Compiler

Compiled 162 to 107 computations (34% saved)

end74.0ms (1.1%)

Compiler: Compiled 69 to 36 computations (47.8% saved)

Details

analyze184.0ms (2.7%)

sample4.6s (67.4%)

preprocess88.0ms (1.3%)

simplify91.0ms (1.3%)

eval1.0ms (0%)

prune1.0ms (0%)

localize13.0ms (0.2%)

series6.0ms (0.1%)

rewrite32.0ms (0.5%)

simplify78.0ms (1.1%)

eval47.0ms (0.7%)

prune9.0ms (0.1%)

localize3.0ms (0%)

localize11.0ms (0.2%)

series5.0ms (0.1%)

rewrite35.0ms (0.5%)

simplify67.0ms (1%)

localize5.0ms (0.1%)

localize12.0ms (0.2%)

series3.0ms (0%)

rewrite58.0ms (0.8%)

simplify65.0ms (1%)

eval15.0ms (0.2%)

prune53.0ms (0.8%)

localize13.0ms (0.2%)

series2.0ms (0%)

rewrite71.0ms (1%)

simplify72.0ms (1.1%)

localize3.0ms (0%)

localize3.0ms (0%)

localize7.0ms (0.1%)

localize2.0ms (0%)

eval3.0ms (0%)

prune5.0ms (0.1%)

localize9.0ms (0.1%)

series0.0ms (0%)

rewrite50.0ms (0.7%)

simplify58.0ms (0.8%)

eval3.0ms (0%)

prune5.0ms (0.1%)

regimes80.0ms (1.2%)

regimes61.0ms (0.9%)

regimes62.0ms (0.9%)

regimes18.0ms (0.3%)

bsearch58.0ms (0.8%)

regimes24.0ms (0.3%)

bsearch74.0ms (1.1%)

regimes7.0ms (0.1%)

simplify64.0ms (0.9%)

soundness523.0ms (7.6%)

end74.0ms (1.1%)

Profiling