Details

analyze144.0ms (2.9%)

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.3s (87.8%)

Results

1.2s	2099×	body	1024	infinite
1.1s	5145×	body	256	valid
1.1s	2038×	body	1024	valid
363.0ms	1068×	body	512	valid
278.0ms	1612×	body	256	infinite
252.0ms	1010×	body	512	infinite
5.0ms	5×	body	2048	valid

Bogosity

preprocess5.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

40×	`rational.json-simplify-2`
16×	`rational.json-simplify-31`
12×	`rational.json-simplify-1`
8×	`rational.json-simplify-9`
8×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	70
1	35	70
2	53	70
3	72	70
4	79	70
5	84	70
6	88	70
0	2	2

Stop Event

1×	saturated
1×	saturated

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 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (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 1/2 (.f64 (+.f64 (exp.f64 (neg.f64 re)) (exp.f64 re)) (sin.f64 im)))
(.f64 1/2 (.f64 (sin.f64 im) (+.f64 (exp.f64 (neg.f64 re)) (exp.f64 re))))

Compiler

Compiled 16 to 13 computations (18.8% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

20×	`rational.json-simplify-2`
8×	`rational.json-simplify-31`
6×	`rational.json-simplify-1`
4×	`rational.json-simplify-9`
4×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	35
1	21	35
2	31	35
3	41	35
4	46	35
5	49	35
6	52	35

Stop Event

1×

saturated

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 1/2 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))

eval1.0ms (0%)

Compiler: Compiled 47 to 23 computations (51.1% saved)

prune2.0ms (0.1%)

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

Error

0.0b

Counts

5 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(.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.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(.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)

series22.0ms (0.4%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
18.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)))

rewrite7.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

50×	`rational.json-simplify-2`
44×	`bool.json-1`
36×	`rational.json-1`
36×	`rational.json-2`
34×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	35
1	61	35
2	106	35
3	129	35
4	143	35
5	146	35
6	148	35

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))))))

simplify22.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

120×	`rational.json-simplify-1`
106×	`rational.json-simplify-2`
66×	`rational.json-simplify-33`
34×	`rational.json-simplify-31`
6×	`rational.json-simplify-19`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	66	1206
1	121	1194
2	181	1194
3	233	1194
4	256	1194
5	261	1194

Stop Event

1×

saturated

Counts

26 → 34

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 (.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) 0)
(+.f64 0 (.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))

Outputs
(.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(+.f64 (.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (.f64 (pow.f64 re 3) (.f64 -1/12 (+.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 (pow.f64 re 3) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) -1/12)))
(+.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 (pow.f64 re 3) (.f64 -1/12 (+.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 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 5)))))
(+.f64 (.f64 (pow.f64 re 3) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) -1/12)) (+.f64 (.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/240 (pow.f64 re 5)))))
(+.f64 (.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 (pow.f64 re 3) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) -1/12)) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.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))))))))
(+.f64 (+.f64 (.f64 -1/10080 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 7))) (.f64 (pow.f64 re 3) (.f64 -1/12 (+.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 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 5)))))
(+.f64 (+.f64 (.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/240 (pow.f64 re 5)))) (+.f64 (.f64 (pow.f64 re 3) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) -1/12)) (.f64 -1/10080 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 7)))))
(+.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/240 (pow.f64 re 5))) (+.f64 (.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 (pow.f64 re 3) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) -1/12)) (.f64 -1/10080 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 7))))))
(+.f64 (+.f64 (.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (.f64 (pow.f64 re 3) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) -1/12))) (+.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/240 (pow.f64 re 5))) (.f64 -1/10080 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 7)))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (sin.f64 re) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (sin.f64 re) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (sin.f64 re) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (sin.f64 re) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (sin.f64 re) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (sin.f64 re) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (sin.f64 re) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (sin.f64 re) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(sin.f64 re)
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(.f64 (sin.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (pow.f64 im 2)) 1))
(+.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))) (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)))))
(+.f64 (.f64 (sin.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2)))) (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))))
(+.f64 (.f64 (sin.f64 re) (+.f64 (.f64 1/2 (pow.f64 im 2)) 1)) (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))))
(+.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/720 (.f64 (sin.f64 re) (pow.f64 im 6))) (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))))))
(+.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))) (.f64 (sin.f64 re) (.f64 1/720 (pow.f64 im 6))))))
(+.f64 (.f64 (sin.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2)))) (+.f64 (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))) (.f64 (sin.f64 re) (.f64 1/720 (pow.f64 im 6)))))
(+.f64 (.f64 (sin.f64 re) (+.f64 (.f64 1/2 (pow.f64 im 2)) 1)) (+.f64 (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))) (.f64 (sin.f64 re) (.f64 1/720 (pow.f64 im 6)))))
(+.f64 (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))) (.f64 (sin.f64 re) (+.f64 1 (.f64 1/720 (pow.f64 im 6))))))
(+.f64 (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))) (.f64 (sin.f64 re) (+.f64 (.f64 1/720 (pow.f64 im 6)) 1))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (sin.f64 re) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (sin.f64 re) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (sin.f64 re) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (sin.f64 re) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 (sin.f64 re) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 (sin.f64 re) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 (sin.f64 re) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 (sin.f64 re) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(+.f64 (.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) 0)
(+.f64 (.f64 (sin.f64 re) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) 0)
(+.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re))) 0)
(+.f64 0 (.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(+.f64 (.f64 (sin.f64 re) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) 0)
(+.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re))) 0)

eval13.0ms (0.3%)

Compiler: Compiled 828 to 396 computations (52.2% saved)

prune6.0ms (0.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	30	4	34
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	30	5	35

Error

0.0b

Counts

35 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.8b	(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
✓	0.0b	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
▶	0.8b	(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (pow.f64 im 2)) 1))
▶	31.7b	(.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
▶	1.1b	(sin.f64 re)

Compiler

Compiled 54 to 41 computations (24.1% saved)

localize3.0ms (0.1%)

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

localize12.0ms (0.2%)

Compiler: Compiled 36 to 10 computations (72.2% saved)

localize14.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 1/2 (pow.f64 im 2))
✓	0.0b	(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (pow.f64 im 2)) 1))

Compiler

Compiled 34 to 25 computations (26.5% saved)

series7.0ms (0.2%)

Counts

2 → 24

Calls

9 calls:

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

rewrite6.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

32×	`bool.json-1`
28×	`rational.json-simplify-2`
26×	`rational.json-simplify-1`
24×	`rational.json-1`
24×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	42
1	58	42
2	87	42
3	93	42

Stop Event

1×

saturated

Counts

2 → 4

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (sin.f64 re) (+.f64 (.f64 1/2 (pow.f64 im 2)) 1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (sin.f64 re) (+.f64 (.f64 1/2 (pow.f64 im 2)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 (sin.f64 re) (+.f64 (.f64 1/2 (pow.f64 im 2)) 1)) (.f64 (sin.f64 re) (+.f64 (.f64 1/2 (pow.f64 im 2)) 1)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1/2 (pow.f64 im 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 1/2 (pow.f64 im 2)))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 1/2 (pow.f64 im 2)) (.f64 1/2 (pow.f64 im 2)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sin.f64 re) (+.f64 (*.f64 1/2 (pow.f64 im 2)) 1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (sin.f64 re) (+.f64 (*.f64 1/2 (pow.f64 im 2)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 (sin.f64 re) (+.f64 (*.f64 1/2 (pow.f64 im 2)) 1)) (*.f64 (sin.f64 re) (+.f64 (*.f64 1/2 (pow.f64 im 2)) 1)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/2 (pow.f64 im 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 1/2 (pow.f64 im 2)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 1/2 (pow.f64 im 2)) (*.f64 1/2 (pow.f64 im 2)))))))

simplify18.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

68×	`rational.json-simplify-1`
52×	`rational.json-simplify-2`
40×	`rational.json-simplify-33`
18×	`rational.json-simplify-31`
2×	`rational.json-simplify-19`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	1004
1	74	1004
2	107	1004
3	132	1004
4	145	1004
5	145	1004

Stop Event

1×

saturated

Counts

28 → 20

Calls

Call 1

Inputs
(.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) re)
(+.f64 (.f64 -1/6 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (pow.f64 re 3))) (.f64 (+.f64 1 (*.f64 1/2 (pow.f64 im 2))) re))
(+.f64 (.f64 -1/6 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (pow.f64 re 3))) (+.f64 (.f64 1/120 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (pow.f64 re 5))) (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) re)))
(+.f64 (.f64 -1/6 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (pow.f64 re 3))) (+.f64 (.f64 -1/5040 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (pow.f64 re 7))) (+.f64 (.f64 1/120 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (pow.f64 re 5))) (.f64 (+.f64 1 (*.f64 1/2 (pow.f64 im 2))) re))))
(.f64 (sin.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (sin.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (sin.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (sin.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (sin.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (sin.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (sin.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (sin.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(sin.f64 re)
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(+.f64 (.f64 (sin.f64 re) (+.f64 (.f64 1/2 (pow.f64 im 2)) 1)) 0)
(+.f64 0 (.f64 (sin.f64 re) (+.f64 (.f64 1/2 (pow.f64 im 2)) 1)))
(+.f64 (*.f64 1/2 (pow.f64 im 2)) 0)
(+.f64 0 (*.f64 1/2 (pow.f64 im 2)))

Outputs
(.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) re)
(+.f64 (.f64 -1/6 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (pow.f64 re 3))) (.f64 (+.f64 1 (*.f64 1/2 (pow.f64 im 2))) re))
(+.f64 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) re) (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (*.f64 -1/6 (pow.f64 re 3))))
(+.f64 (.f64 -1/6 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (pow.f64 re 3))) (+.f64 (.f64 1/120 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (pow.f64 re 5))) (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) re)))
(+.f64 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (.f64 -1/6 (pow.f64 re 3))) (+.f64 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) re) (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (.f64 1/120 (pow.f64 re 5)))))
(+.f64 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) re) (+.f64 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (.f64 -1/6 (pow.f64 re 3))) (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (.f64 1/120 (pow.f64 re 5)))))
(+.f64 (.f64 -1/6 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (pow.f64 re 3))) (+.f64 (.f64 -1/5040 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (pow.f64 re 7))) (+.f64 (.f64 1/120 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (pow.f64 re 5))) (.f64 (+.f64 1 (*.f64 1/2 (pow.f64 im 2))) re))))
(+.f64 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (.f64 -1/6 (pow.f64 re 3))) (+.f64 (+.f64 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) re) (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (.f64 1/120 (pow.f64 re 5)))) (.f64 -1/5040 (.f64 (+.f64 1 (*.f64 1/2 (pow.f64 im 2))) (pow.f64 re 7)))))
(+.f64 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (.f64 -1/6 (pow.f64 re 3))) (+.f64 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (.f64 1/120 (pow.f64 re 5))) (+.f64 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) re) (.f64 -1/5040 (.f64 (+.f64 1 (*.f64 1/2 (pow.f64 im 2))) (pow.f64 re 7))))))
(.f64 (sin.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (sin.f64 re))
(.f64 (sin.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (sin.f64 re))
(.f64 (sin.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (sin.f64 re))
(.f64 (sin.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (sin.f64 re))
(.f64 (sin.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (sin.f64 re))
(.f64 (sin.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (sin.f64 re))
(.f64 (sin.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (sin.f64 re))
(.f64 (sin.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (sin.f64 re))
(sin.f64 re)
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (sin.f64 re))
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (sin.f64 re))
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (sin.f64 re))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (pow.f64 im 2) (sin.f64 re)))
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (sin.f64 re))
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (sin.f64 re))
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (sin.f64 re))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (pow.f64 im 2) (sin.f64 re)))
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (sin.f64 re))
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (sin.f64 re))
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (sin.f64 re))
(+.f64 (.f64 (sin.f64 re) (+.f64 (.f64 1/2 (pow.f64 im 2)) 1)) 0)
(+.f64 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (sin.f64 re)) 0)
(+.f64 0 (.f64 (sin.f64 re) (+.f64 (.f64 1/2 (pow.f64 im 2)) 1)))
(+.f64 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (sin.f64 re)) 0)
(+.f64 (*.f64 1/2 (pow.f64 im 2)) 0)
(+.f64 0 (*.f64 1/2 (pow.f64 im 2)))
(+.f64 (*.f64 1/2 (pow.f64 im 2)) 0)

localize15.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
✓	0.1b	(*.f64 (sin.f64 re) (pow.f64 im 2))

Compiler

Compiled 36 to 21 computations (41.7% saved)

series3.0ms (0.1%)

Counts

2 → 11

Calls

12 calls:

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

rewrite8.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

42×	`rational.json-simplify-2`
40×	`bool.json-1`
34×	`rational.json-simplify-1`
32×	`rational.json-1`
32×	`rational.json-2`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	50
1	57	46
2	98	46
3	119	46
4	124	46
5	125	46

Stop Event

1×

saturated

Counts

2 → 6

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sin.f64 re) (pow.f64 im 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (sin.f64 re) (pow.f64 im 2)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 (sin.f64 re) (pow.f64 im 2)) (*.f64 (sin.f64 re) (pow.f64 im 2)))))))

((#(struct:change #<rule egg-rr> (2) ((x *.f64 (sin.f64 re) (+.f64 1 (*.f64 (pow.f64 im 2) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sin.f64 re) (+.f64 1 (*.f64 (pow.f64 im 2) 1/2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (sin.f64 re) (+.f64 1 (*.f64 (pow.f64 im 2) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 1 (*.f64 (pow.f64 im 2) 1/2)) (sin.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 (sin.f64 re) (+.f64 1 (*.f64 (pow.f64 im 2) 1/2))) (*.f64 (sin.f64 re) (+.f64 1 (*.f64 (pow.f64 im 2) 1/2))))))))

simplify26.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

236×	`rational.json-simplify-2`
224×	`rational.json-simplify-31`
128×	`rational.json-simplify-1`
66×	`rational.json-simplify-33`
24×	`rational.json-simplify-27`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	65	773
1	124	773
2	186	773
3	245	773
4	285	773
5	330	773
6	390	773
7	459	773
8	496	773
9	504	773

Stop Event

1×

saturated

Counts

17 → 35

Calls

Call 1

Inputs
(*.f64 re (pow.f64 im 2))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (*.f64 re (pow.f64 im 2)))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (+.f64 (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 2))) (*.f64 re (pow.f64 im 2))))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (+.f64 (.f64 -1/5040 (.f64 (pow.f64 re 7) (pow.f64 im 2))) (+.f64 (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 2))) (*.f64 re (pow.f64 im 2)))))
(.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) re)
(+.f64 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) re) (.f64 (pow.f64 re 3) (-.f64 (.f64 -1/12 (pow.f64 im 2)) 1/6)))
(+.f64 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) re) (+.f64 (.f64 (pow.f64 re 3) (-.f64 (.f64 -1/12 (pow.f64 im 2)) 1/6)) (.f64 (+.f64 1/120 (.f64 1/240 (pow.f64 im 2))) (pow.f64 re 5))))
(+.f64 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) re) (+.f64 (.f64 (pow.f64 re 3) (-.f64 (.f64 -1/12 (pow.f64 im 2)) 1/6)) (+.f64 (.f64 (-.f64 (.f64 -1/10080 (pow.f64 im 2)) 1/5040) (pow.f64 re 7)) (.f64 (+.f64 1/120 (.f64 1/240 (pow.f64 im 2))) (pow.f64 re 5)))))
(sin.f64 re)
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (*.f64 (sin.f64 re) (pow.f64 im 2)) 0)
(+.f64 0 (*.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 (sin.f64 re) (+.f64 1 (.f64 (pow.f64 im 2) 1/2)))
(.f64 (.f64 (sin.f64 re) (+.f64 1 (*.f64 (pow.f64 im 2) 1/2))) 1)
(.f64 1 (.f64 (sin.f64 re) (+.f64 1 (*.f64 (pow.f64 im 2) 1/2))))
(.f64 (+.f64 1 (.f64 (pow.f64 im 2) 1/2)) (sin.f64 re))

Outputs
(*.f64 re (pow.f64 im 2))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (*.f64 re (pow.f64 im 2)))
(+.f64 (.f64 re (pow.f64 im 2)) (.f64 -1/6 (*.f64 (pow.f64 im 2) (pow.f64 re 3))))
(+.f64 (.f64 re (pow.f64 im 2)) (.f64 (pow.f64 im 2) (*.f64 -1/6 (pow.f64 re 3))))
(+.f64 (.f64 re (pow.f64 im 2)) (.f64 (pow.f64 re 3) (*.f64 (pow.f64 im 2) -1/6)))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (+.f64 (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 2))) (*.f64 re (pow.f64 im 2))))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 im 2) (pow.f64 re 3))) (+.f64 (.f64 re (pow.f64 im 2)) (.f64 1/120 (*.f64 (pow.f64 im 2) (pow.f64 re 5)))))
(+.f64 (.f64 re (pow.f64 im 2)) (+.f64 (.f64 (pow.f64 im 2) (.f64 -1/6 (pow.f64 re 3))) (.f64 (pow.f64 im 2) (*.f64 1/120 (pow.f64 re 5)))))
(+.f64 (.f64 re (pow.f64 im 2)) (+.f64 (.f64 (pow.f64 re 3) (.f64 (pow.f64 im 2) -1/6)) (.f64 (pow.f64 im 2) (*.f64 1/120 (pow.f64 re 5)))))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (+.f64 (.f64 -1/5040 (.f64 (pow.f64 re 7) (pow.f64 im 2))) (+.f64 (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 2))) (*.f64 re (pow.f64 im 2)))))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 im 2) (pow.f64 re 3))) (+.f64 (+.f64 (.f64 re (pow.f64 im 2)) (.f64 1/120 (.f64 (pow.f64 im 2) (pow.f64 re 5)))) (.f64 -1/5040 (*.f64 (pow.f64 im 2) (pow.f64 re 7)))))
(+.f64 (.f64 (pow.f64 im 2) (.f64 -1/6 (pow.f64 re 3))) (+.f64 (+.f64 (.f64 re (pow.f64 im 2)) (.f64 (pow.f64 im 2) (.f64 1/120 (pow.f64 re 5)))) (.f64 (pow.f64 im 2) (*.f64 -1/5040 (pow.f64 re 7)))))
(+.f64 (.f64 re (pow.f64 im 2)) (+.f64 (.f64 (pow.f64 im 2) (.f64 1/120 (pow.f64 re 5))) (+.f64 (.f64 (pow.f64 im 2) (.f64 -1/6 (pow.f64 re 3))) (.f64 (pow.f64 im 2) (*.f64 -1/5040 (pow.f64 re 7))))))
(+.f64 (+.f64 (.f64 re (pow.f64 im 2)) (+.f64 (.f64 (pow.f64 re 3) (.f64 (pow.f64 im 2) -1/6)) (.f64 (pow.f64 im 2) (.f64 1/120 (pow.f64 re 5))))) (.f64 (pow.f64 im 2) (*.f64 -1/5040 (pow.f64 re 7))))
(.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) re)
(.f64 re (+.f64 1 (.f64 (pow.f64 im 2) 1/2)))
(+.f64 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) re) (.f64 (pow.f64 re 3) (-.f64 (.f64 -1/12 (pow.f64 im 2)) 1/6)))
(+.f64 (.f64 re (+.f64 1 (.f64 (pow.f64 im 2) 1/2))) (.f64 (pow.f64 re 3) (+.f64 -1/6 (.f64 (pow.f64 im 2) -1/12))))
(+.f64 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) re) (+.f64 (.f64 (pow.f64 re 3) (-.f64 (.f64 -1/12 (pow.f64 im 2)) 1/6)) (.f64 (+.f64 1/120 (.f64 1/240 (pow.f64 im 2))) (pow.f64 re 5))))
(+.f64 (.f64 re (+.f64 1 (.f64 (pow.f64 im 2) 1/2))) (+.f64 (.f64 (pow.f64 re 3) (+.f64 -1/6 (.f64 (pow.f64 im 2) -1/12))) (.f64 (pow.f64 re 5) (+.f64 1/120 (.f64 (pow.f64 im 2) 1/240)))))
(+.f64 (+.f64 (.f64 re (+.f64 1 (.f64 (pow.f64 im 2) 1/2))) (.f64 (pow.f64 re 3) (+.f64 -1/6 (.f64 (pow.f64 im 2) -1/12)))) (.f64 (pow.f64 re 5) (+.f64 1/120 (.f64 (pow.f64 im 2) 1/240))))
(+.f64 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) re) (+.f64 (.f64 (pow.f64 re 3) (-.f64 (.f64 -1/12 (pow.f64 im 2)) 1/6)) (+.f64 (.f64 (-.f64 (.f64 -1/10080 (pow.f64 im 2)) 1/5040) (pow.f64 re 7)) (.f64 (+.f64 1/120 (.f64 1/240 (pow.f64 im 2))) (pow.f64 re 5)))))
(+.f64 (.f64 re (+.f64 1 (.f64 (pow.f64 im 2) 1/2))) (+.f64 (.f64 (pow.f64 re 3) (+.f64 -1/6 (.f64 (pow.f64 im 2) -1/12))) (+.f64 (.f64 (pow.f64 re 5) (+.f64 1/120 (.f64 (pow.f64 im 2) 1/240))) (.f64 (pow.f64 re 7) (+.f64 -1/5040 (.f64 (pow.f64 im 2) -1/10080))))))
(+.f64 (.f64 re (+.f64 1 (.f64 (pow.f64 im 2) 1/2))) (+.f64 (.f64 (pow.f64 re 5) (+.f64 1/120 (.f64 (pow.f64 im 2) 1/240))) (+.f64 (.f64 (pow.f64 re 3) (+.f64 -1/6 (.f64 (pow.f64 im 2) -1/12))) (.f64 (pow.f64 re 7) (+.f64 -1/5040 (.f64 (pow.f64 im 2) -1/10080))))))
(sin.f64 re)
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (pow.f64 im 2) (sin.f64 re)))
(.f64 (pow.f64 im 2) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (pow.f64 im 2) (sin.f64 re)))
(.f64 (pow.f64 im 2) (.f64 1/2 (sin.f64 re)))
(+.f64 (*.f64 (sin.f64 re) (pow.f64 im 2)) 0)
(+.f64 (*.f64 (pow.f64 im 2) (sin.f64 re)) 0)
(+.f64 0 (*.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (*.f64 (pow.f64 im 2) (sin.f64 re)) 0)
(.f64 (sin.f64 re) (+.f64 1 (.f64 (pow.f64 im 2) 1/2)))
(.f64 (.f64 (sin.f64 re) (+.f64 1 (*.f64 (pow.f64 im 2) 1/2))) 1)
(.f64 1 (.f64 (sin.f64 re) (+.f64 1 (*.f64 (pow.f64 im 2) 1/2))))
(.f64 1 (.f64 (sin.f64 re) (+.f64 1 (*.f64 (pow.f64 im 2) 1/2))))
(.f64 (+.f64 1 (.f64 (pow.f64 im 2) 1/2)) (sin.f64 re))
(.f64 (sin.f64 re) (+.f64 1 (.f64 (pow.f64 im 2) 1/2)))

eval24.0ms (0.5%)

Compiler: Compiled 1243 to 956 computations (23.1% saved)

prune9.0ms (0.2%)

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	53	2	55
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	53	7	60

Error

0.0b

Counts

60 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.8b	(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
▶	60.8b	(.f64 (pow.f64 im 2) (.f64 1/2 (sin.f64 re)))
▶	32.0b	(.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) re)
✓	0.0b	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	0.8b	(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (pow.f64 im 2)) 1))
✓	31.7b	(.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
✓	1.1b	(sin.f64 re)

Compiler

Compiled 75 to 58 computations (22.7% saved)

localize13.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) re)
	0.0b	(*.f64 1/2 (pow.f64 im 2))

Compiler

Compiled 31 to 24 computations (22.6% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

6 calls:

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

rewrite8.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

28×	`bool.json-1`
24×	`rational.json-simplify-2`
22×	`rational.json-simplify-1`
20×	`rational.json-1`
20×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	25
1	50	25
2	75	25
3	81	25

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 1 (*.f64 1/2 (pow.f64 im 2))) re) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (+.f64 1 (*.f64 1/2 (pow.f64 im 2))) re))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 (+.f64 1 (*.f64 1/2 (pow.f64 im 2))) re) (*.f64 (+.f64 1 (*.f64 1/2 (pow.f64 im 2))) re))))))

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

16×	`rational.json-simplify-2`
14×	`rational.json-simplify-1`
6×	`rational.json-simplify-31`
4×	`rational.json-simplify-33`
2×	`rational.json-simplify-19`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	326
1	24	326
2	29	326
3	35	326
4	39	326

Stop Event

1×

saturated

Counts

14 → 11

Calls

Call 1

Inputs
re
(+.f64 re (.f64 1/2 (.f64 re (pow.f64 im 2))))
(+.f64 re (.f64 1/2 (.f64 re (pow.f64 im 2))))
(+.f64 re (.f64 1/2 (.f64 re (pow.f64 im 2))))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(+.f64 re (.f64 1/2 (.f64 re (pow.f64 im 2))))
(+.f64 re (.f64 1/2 (.f64 re (pow.f64 im 2))))
(+.f64 re (.f64 1/2 (.f64 re (pow.f64 im 2))))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(+.f64 re (.f64 1/2 (.f64 re (pow.f64 im 2))))
(+.f64 re (.f64 1/2 (.f64 re (pow.f64 im 2))))
(+.f64 re (.f64 1/2 (.f64 re (pow.f64 im 2))))
(+.f64 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) re) 0)
(+.f64 0 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) re))

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

localize11.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (pow.f64 im 2) (.f64 1/2 (sin.f64 re)))

Compiler

Compiled 23 to 14 computations (39.1% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite6.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

38×	`rational.json-simplify-2`
36×	`bool.json-1`
28×	`rational.json-1`
28×	`rational.json-2`
26×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	23
1	52	23
2	89	23
3	103	23
4	107	23

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 im 2) (*.f64 1/2 (sin.f64 re))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (pow.f64 im 2) (*.f64 1/2 (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 (pow.f64 im 2) (*.f64 1/2 (sin.f64 re))) (*.f64 (pow.f64 im 2) (*.f64 1/2 (sin.f64 re))))))))

simplify14.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

58×	`rational.json-simplify-2`
54×	`rational.json-simplify-1`
30×	`rational.json-simplify-33`
20×	`rational.json-simplify-31`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	774
1	71	774
2	102	774
3	124	774
4	130	774
5	131	774

Stop Event

1×

saturated

Counts

26 → 16

Calls

Call 1

Inputs
(.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 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 (.f64 (pow.f64 im 2) (.f64 1/2 (sin.f64 re))) 0)
(+.f64 0 (.f64 (pow.f64 im 2) (.f64 1/2 (sin.f64 re))))

Outputs
(.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 re (pow.f64 im 2)))
(.f64 re (.f64 1/2 (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 re (.f64 1/2 (pow.f64 im 2))) (.f64 -1/12 (.f64 (pow.f64 im 2) (pow.f64 re 3))))
(+.f64 (.f64 re (.f64 1/2 (pow.f64 im 2))) (.f64 (pow.f64 im 2) (.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 1/2 (.f64 re (pow.f64 im 2)))))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 im 2) (pow.f64 re 3))) (+.f64 (.f64 re (.f64 1/2 (pow.f64 im 2))) (.f64 1/240 (.f64 (pow.f64 im 2) (pow.f64 re 5)))))
(+.f64 (.f64 re (.f64 1/2 (pow.f64 im 2))) (+.f64 (.f64 (pow.f64 im 2) (.f64 -1/12 (pow.f64 re 3))) (.f64 (pow.f64 im 2) (.f64 1/240 (pow.f64 re 5)))))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (+.f64 (.f64 1/240 (.f64 (pow.f64 re 5) (pow.f64 im 2))) (+.f64 (.f64 -1/10080 (.f64 (pow.f64 re 7) (pow.f64 im 2))) (.f64 1/2 (.f64 re (pow.f64 im 2))))))
(+.f64 (+.f64 (.f64 -1/12 (.f64 (pow.f64 im 2) (pow.f64 re 3))) (.f64 1/240 (.f64 (pow.f64 im 2) (pow.f64 re 5)))) (+.f64 (.f64 re (.f64 1/2 (pow.f64 im 2))) (.f64 (pow.f64 re 7) (.f64 -1/10080 (pow.f64 im 2)))))
(+.f64 (+.f64 (.f64 re (.f64 1/2 (pow.f64 im 2))) (.f64 (pow.f64 im 2) (.f64 -1/10080 (pow.f64 re 7)))) (+.f64 (.f64 (pow.f64 im 2) (.f64 -1/12 (pow.f64 re 3))) (.f64 (pow.f64 im 2) (.f64 1/240 (pow.f64 re 5)))))
(+.f64 (.f64 re (.f64 1/2 (pow.f64 im 2))) (+.f64 (.f64 (pow.f64 im 2) (.f64 -1/10080 (pow.f64 re 7))) (+.f64 (.f64 (pow.f64 im 2) (.f64 -1/12 (pow.f64 re 3))) (.f64 (pow.f64 im 2) (.f64 1/240 (pow.f64 re 5))))))
(.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 (pow.f64 im 2) (.f64 1/2 (sin.f64 re))) 0)
(+.f64 (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))) 0)
(+.f64 0 (.f64 (pow.f64 im 2) (.f64 1/2 (sin.f64 re))))
(+.f64 (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))) 0)

eval9.0ms (0.2%)

Compiler: Compiled 455 to 348 computations (23.5% saved)

prune7.0ms (0.1%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	28	1	29
Fresh	0	0	0
Picked	1	0	1
Done	0	6	6
Total	29	7	36

Error

0.0b

Counts

36 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.8b	(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
✓	32.0b	(.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) re)
✓	0.0b	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	0.8b	(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (pow.f64 im 2)) 1))
✓	31.7b	(.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
✓	1.1b	(sin.f64 re)
	32.2b	re

Compiler

Compiled 68 to 52 computations (23.5% saved)

eval0.0ms (0%)

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

prune3.0ms (0.1%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	6	6
Total	7	7

Error

0.0b

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.8b	(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
✓	32.0b	(.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) re)
✓	0.0b	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	0.8b	(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (pow.f64 im 2)) 1))
✓	31.7b	(.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
✓	1.1b	(sin.f64 re)
	32.2b	re

Compiler

Compiled 68 to 52 computations (23.5% saved)

regimes40.0ms (0.8%)

Counts

9 → 1

Calls

Call 1

Inputs
re
(sin.f64 re)
(.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) re)
(.f64 (pow.f64 im 2) (.f64 1/2 (sin.f64 re)))
(.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (pow.f64 im 2)) 1))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.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:

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

Results

Error	Segments	Branch
0.0b	1	`re`
0.0b	1	`im`
0.0b	1	`(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))`
0.0b	1	`(*.f64 1/2 (sin.f64 re))`
0.0b	1	`(sin.f64 re)`
0.0b	1	`(+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))`

Compiler

Compiled 115 to 76 computations (33.9% saved)

regimes23.0ms (0.5%)

Counts

6 → 1

Calls

Call 1

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

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

Calls

4 calls:

8.0ms	(*.f64 1/2 (sin.f64 re))
5.0ms	(sin.f64 re)
5.0ms	re
4.0ms	im

Results

Error	Segments	Branch
0.8b	1	`re`
0.8b	1	`im`
0.8b	1	`(*.f64 1/2 (sin.f64 re))`
0.8b	1	`(sin.f64 re)`

Compiler

Compiled 58 to 41 computations (29.3% saved)

regimes32.0ms (0.7%)

Accuracy

Total -60.3b remaining (-5434.1%)

Threshold costs -60.3b (-5434.1%)

Counts

5 → 1

Calls

Call 1

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

Outputs
(sin.f64 re)

Calls

4 calls:

17.0ms	(sin.f64 re)
5.0ms	re
4.0ms	(*.f64 1/2 (sin.f64 re))
4.0ms	im

Results

Error	Segments	Branch
1.1b	1	`re`
1.1b	1	`im`
1.1b	1	`(*.f64 1/2 (sin.f64 re))`
1.1b	1	`(sin.f64 re)`

Compiler

Compiled 48 to 34 computations (29.2% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	70

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 (pow.f64 im 2)) 1))
(sin.f64 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 (pow.f64 im 2)) 1))
(sin.f64 re)
re

Compiler

Compiled 32 to 25 computations (21.9% saved)

soundness6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

20×	`rational.json-simplify-2`
8×	`rational.json-simplify-31`
6×	`rational.json-simplify-1`
4×	`rational.json-simplify-9`
4×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	35
1	21	35
2	31	35
3	41	35
4	46	35
5	49	35
6	52	35

Stop Event

1×

saturated

Compiler

Compiled 25 to 17 computations (32% saved)

end26.0ms (0.5%)

Compiler: Compiled 26 to 17 computations (34.6% saved)

Iter	Nodes	Cost
0	65	773
1	124	773
2	186	773
3	245	773
4	285	773
5	330	773
6	390	773
7	459	773
8	496	773
9	504	773

Iter	Nodes	Cost
0	65	773
1	124	773
2	186	773
3	245	773
4	285	773
5	330	773
6	390	773
7	459	773
8	496	773
9	504	773

Details

analyze144.0ms (2.9%)

sample4.3s (87.8%)

preprocess5.0ms (0.1%)

simplify5.0ms (0.1%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize13.0ms (0.3%)

series22.0ms (0.4%)

rewrite7.0ms (0.1%)

simplify22.0ms (0.5%)

eval13.0ms (0.3%)

prune6.0ms (0.1%)

localize3.0ms (0.1%)

localize12.0ms (0.2%)

localize14.0ms (0.3%)

series7.0ms (0.2%)

rewrite6.0ms (0.1%)

simplify18.0ms (0.4%)

localize15.0ms (0.3%)

series3.0ms (0.1%)

rewrite8.0ms (0.2%)

simplify26.0ms (0.5%)

eval24.0ms (0.5%)

prune9.0ms (0.2%)

localize13.0ms (0.3%)

series2.0ms (0%)

rewrite8.0ms (0.2%)

simplify8.0ms (0.2%)

localize11.0ms (0.2%)

series1.0ms (0%)

rewrite6.0ms (0.1%)

simplify14.0ms (0.3%)

eval9.0ms (0.2%)

prune7.0ms (0.1%)

eval0.0ms (0%)

prune3.0ms (0.1%)

regimes40.0ms (0.8%)

regimes23.0ms (0.5%)

regimes32.0ms (0.7%)

simplify3.0ms (0.1%)

soundness6.0ms (0.1%)

end26.0ms (0.5%)

Profiling

Iter	Nodes	Cost
0	65	773
1	124	773
2	186	773
3	245	773
4	285	773
5	330	773
6	390	773
7	459	773
8	496	773
9	504	773