Details

analyze501.0ms (2.6%)

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)

sample11.8s (61.5%)

Results

3.5s	1988×	body	1024	infinite
3.0s	2119×	body	1024	valid
2.4s	5092×	body	256	valid
1.9s	990×	body	512	infinite
681.0ms	1038×	body	512	valid
290.0ms	1582×	body	256	infinite
7.0ms	7×	body	2048	valid

Bogosity

preprocess86.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

1138×	`rational.json-simplify-1`
882×	`rational.json-simplify-44`
872×	`rational.json-simplify-61`
832×	`rational.json-simplify-26`
822×	`rational.json-simplify-43`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	70
1	35	70
2	55	70
3	84	70
4	108	70
5	144	70
6	225	70
7	493	70
8	1582	70
9	2786	70
10	7559	70
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 (.f64 1/2 (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))))
(.f64 (sin.f64 re) (.f64 1/2 (+.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 (sin.f64 im) (+.f64 (exp.f64 (neg.f64 re)) (exp.f64 re))))

Compiler

Compiled 16 to 13 computations (18.8% saved)

simplify123.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

2226×	`rational.json-simplify-1`
1504×	`rational.json-simplify-35`
1374×	`rational.json-simplify-2`
1110×	`rational.json-simplify-26`
942×	`rational.json-simplify-48`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	35
1	22	35
2	33	35
3	50	35
4	64	35
5	85	35
6	129	35
7	271	35
8	773	35
9	2192	35
10	2749	35
11	3432	35
12	5366	35
13	6418	35
14	7533	35

Stop Event

1×	node limit

Counts

1 → 3

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

eval1.0ms (0%)

Compiler: Compiled 36 to 20 computations (44.4% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

4 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))

Compiler

Compiled 13 to 10 computations (23.1% saved)

localize12.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Compiler

Compiled 40 to 11 computations (72.5% saved)

series3.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	im	@	inf	(*.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
1.0ms	im	@	0	(*.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
1.0ms	re	@	0	(*.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
0.0ms	re	@	inf	(*.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
0.0ms	im	@	-inf	(*.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

rewrite68.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1212×	`bool.json-1`
1212×	`bool.json-2`
1210×	`rational.json-simplify-35`
1174×	`rational.json-1`
1174×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	29
1	115	29
2	330	29
3	731	29
4	1621	29
5	3884	29

Stop Event

1×	node limit

Counts

1 → 10

Calls

Call 1

Inputs
(*.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

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

Outputs

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

simplify150.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

1630×	`rational.json-simplify-35`
1222×	`rational.json-simplify-2`
1076×	`rational.json-simplify-38`
1036×	`rational.json-simplify-1`
1016×	`rational.json-simplify-48`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	83	1300
1	190	1270
2	350	1178
3	674	1120
4	1701	1120
5	2844	1120
6	3766	1120
7	3960	1120
8	4431	1120
9	5392	1120
10	6240	1120

Stop Event

1×	node limit

Counts

34 → 48

Calls

Call 1

Inputs
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)
(+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 1/120 (.f64 (pow.f64 re 5) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 1/120 (.f64 (pow.f64 re 5) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 -1/5040 (.f64 (pow.f64 re 7) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re))))
(*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 2 (sin.f64 re))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 1/12 (.f64 (sin.f64 re) (pow.f64 im 4))) (+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2))))
(+.f64 (.f64 1/12 (.f64 (sin.f64 re) (pow.f64 im 4))) (+.f64 (.f64 1/360 (.f64 (sin.f64 re) (pow.f64 im 6))) (+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))))
(*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (.f64 -1 im))))
(.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (.f64 -1 im))))
(.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (.f64 -1 im))))
(.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (.f64 -1 im))))
(+.f64 (*.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 0)
(+.f64 0 (*.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(+.f64 (.f64 (sin.f64 re) (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1/2)) (.f64 (sin.f64 re) (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1/2)))
(-.f64 (*.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 0)
(/.f64 (*.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 1)
(/.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 (sin.f64 re) 2)) 2)
(/.f64 (.f64 (sin.f64 re) (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) 4)
(/.f64 (.f64 2 (.f64 (sin.f64 re) (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))) 8)
(/.f64 (.f64 2 (.f64 2 (.f64 (sin.f64 re) (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)))) 16)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (sin.f64 re) (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)))) (.f64 2 (.f64 2 (.f64 (sin.f64 re) (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))))) 32)

Outputs
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)
(+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re))
(+.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) (.f64 -1/6 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 3))))
(+.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (*.f64 (pow.f64 re 3) -1/6)))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 re (.f64 -1/6 (pow.f64 re 3))))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 1/120 (.f64 (pow.f64 re 5) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)))
(+.f64 (.f64 1/120 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 5))) (+.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) (.f64 -1/6 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 3)))))
(+.f64 (+.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 (pow.f64 re 3) -1/6))) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (*.f64 (pow.f64 re 5) 1/120)))
(+.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 -1/6 (pow.f64 re 3))) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 re (.f64 1/120 (pow.f64 re 5)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (.f64 1/120 (pow.f64 re 5)) (+.f64 re (*.f64 -1/6 (pow.f64 re 3)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 re (+.f64 (.f64 1/120 (pow.f64 re 5)) (*.f64 -1/6 (pow.f64 re 3)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (.f64 -1/6 (pow.f64 re 3)) (+.f64 re (*.f64 1/120 (pow.f64 re 5)))))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 1/120 (.f64 (pow.f64 re 5) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 -1/5040 (.f64 (pow.f64 re 7) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re))))
(+.f64 (.f64 -1/6 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 3))) (+.f64 (.f64 1/120 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 5))) (+.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) (.f64 -1/5040 (*.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 (pow.f64 re 7) -1/5040)) (+.f64 (+.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 (pow.f64 re 3) -1/6))) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (*.f64 (pow.f64 re 5) 1/120))))
(+.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 -1/6 (pow.f64 re 3))) (+.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 re (.f64 1/120 (pow.f64 re 5)))) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 -1/5040 (pow.f64 re 7)))))
(+.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 -1/6 (pow.f64 re 3))) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (.f64 1/120 (pow.f64 re 5)) (+.f64 re (*.f64 -1/5040 (pow.f64 re 7))))))
(+.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 -1/6 (pow.f64 re 3))) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 re (+.f64 (.f64 1/120 (pow.f64 re 5)) (*.f64 -1/5040 (pow.f64 re 7))))))
(*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re))
(*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re))
(*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re))
(*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re))
(*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re))
(*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re))
(*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re))
(*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re))
(*.f64 2 (sin.f64 re))
(*.f64 (sin.f64 re) 2)
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 (sin.f64 re) (pow.f64 im 2)) (.f64 (sin.f64 re) 2))
(*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2)))
(+.f64 (.f64 1/12 (.f64 (sin.f64 re) (pow.f64 im 4))) (+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2))))
(+.f64 (+.f64 (.f64 (sin.f64 re) (pow.f64 im 2)) (.f64 (sin.f64 re) 2)) (.f64 (sin.f64 re) (.f64 (pow.f64 im 4) 1/12)))
(+.f64 (.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) (.f64 (sin.f64 re) (*.f64 1/12 (pow.f64 im 4))))
(.f64 (sin.f64 re) (+.f64 (.f64 1/12 (pow.f64 im 4)) (+.f64 2 (pow.f64 im 2))))
(.f64 (sin.f64 re) (+.f64 2 (+.f64 (pow.f64 im 2) (.f64 1/12 (pow.f64 im 4)))))
(+.f64 (.f64 1/12 (.f64 (sin.f64 re) (pow.f64 im 4))) (+.f64 (.f64 1/360 (.f64 (sin.f64 re) (pow.f64 im 6))) (+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))))
(+.f64 (.f64 (sin.f64 re) (.f64 (pow.f64 im 6) 1/360)) (+.f64 (+.f64 (.f64 (sin.f64 re) (pow.f64 im 2)) (.f64 (sin.f64 re) 2)) (.f64 (sin.f64 re) (.f64 (pow.f64 im 4) 1/12))))
(+.f64 (.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) (+.f64 (.f64 (sin.f64 re) (.f64 1/360 (pow.f64 im 6))) (.f64 (sin.f64 re) (*.f64 1/12 (pow.f64 im 4)))))
(+.f64 (.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) (.f64 (sin.f64 re) (+.f64 (.f64 1/360 (pow.f64 im 6)) (.f64 1/12 (pow.f64 im 4)))))
(.f64 (sin.f64 re) (+.f64 (.f64 1/12 (pow.f64 im 4)) (+.f64 (pow.f64 im 2) (+.f64 2 (*.f64 1/360 (pow.f64 im 6))))))
(.f64 (sin.f64 re) (+.f64 (pow.f64 im 2) (+.f64 (.f64 1/12 (pow.f64 im 4)) (+.f64 2 (*.f64 1/360 (pow.f64 im 6))))))
(.f64 (sin.f64 re) (+.f64 (.f64 1/12 (pow.f64 im 4)) (+.f64 (*.f64 1/360 (pow.f64 im 6)) (+.f64 2 (pow.f64 im 2)))))
(*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re))
(*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re))
(*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re))
(*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re))
(.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (.f64 -1 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re))
(.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (.f64 -1 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re))
(.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (.f64 -1 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re))
(.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (.f64 -1 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re))
(+.f64 (*.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 0)
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re))
(+.f64 0 (*.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re))
(+.f64 (.f64 (sin.f64 re) (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1/2)) (.f64 (sin.f64 re) (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1/2)))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re))
(-.f64 (*.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 0)
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re))
(/.f64 (*.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 1)
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re))
(/.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 (sin.f64 re) 2)) 2)
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re))
(/.f64 (.f64 (sin.f64 re) (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) 4)
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re))
(/.f64 (.f64 2 (.f64 (sin.f64 re) (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))) 8)
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re))
(/.f64 (.f64 2 (.f64 2 (.f64 (sin.f64 re) (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)))) 16)
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (sin.f64 re) (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)))) (.f64 2 (.f64 2 (.f64 (sin.f64 re) (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))))) 32)
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re))

eval14.0ms (0.1%)

Compiler: Compiled 1095 to 572 computations (47.8% saved)

prune81.0ms (0.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	44	4	48
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	44	5	49

Error

0.0b

Counts

49 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.7b	(.f64 1/2 (+.f64 (.f64 (sin.f64 re) (pow.f64 im 2)) (*.f64 (sin.f64 re) 2)))
▶	32.5b	(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re))
✓	0.0b	(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
▶	0.7b	(.f64 1/2 (.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))))
▶	0.9b	(.f64 1/2 (.f64 (sin.f64 re) 2))

Compiler

Compiled 60 to 47 computations (21.7% saved)

localize7.0ms (0%)

Compiler: Compiled 17 to 11 computations (35.3% saved)

localize125.0ms (0.6%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 34 to 23 computations (32.4% saved)

series3.0ms (0%)

Counts

1 → 16

Calls

6 calls:

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

rewrite174.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1586×	`bool.json-1`
1586×	`bool.json-2`
1548×	`rational.json-1`
1548×	`rational.json-2`
1548×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	23
1	101	23
2	278	23
3	566	23
4	1199	23
5	2712	23
6	5980	23

Stop Event

1×	node limit

Counts

1 → 10

Calls

Call 1

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

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

Outputs

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

simplify189.0ms (1%)

Algorithm

1×	egg-herbie

Rules

2112×	`rational.json-simplify-1`
2060×	`rational.json-simplify-2`
1358×	`rational.json-simplify-35`
984×	`rational.json-simplify-43`
976×	`rational.json-simplify-48`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	60	964
1	136	720
2	259	684
3	706	666
4	2611	666
5	3646	666
6	4564	666
7	4747	666
8	5169	666
9	6014	666
10	7155	666
11	7399	666

Stop Event

1×	node limit

Counts

26 → 31

Calls

Call 1

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

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

localize11.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)

Compiler

Compiled 36 to 10 computations (72.2% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

6 calls:

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

rewrite172.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1054×	`rational.json-simplify-35`
1010×	`bool.json-1`
1010×	`bool.json-2`
972×	`rational.json-1`
972×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	102	25
2	281	25
3	620	25
4	1359	25
5	3246	25
6	7666	25

Stop Event

1×	node limit

Counts

1 → 10

Calls

Call 1

Inputs
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (*.f64 re 1/2)) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (*.f64 re 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 re re)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (*.f64 re 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) 8)) (*.f64 2 (*.f64 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re)))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re))))))

simplify369.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

2016×	`rational.json-simplify-2`
1664×	`rational.json-simplify-35`
1556×	`rational.json-simplify-46`
892×	`rational.json-simplify-38`
870×	`rational.json-simplify-1`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	60	586
1	129	586
2	253	574
3	532	568
4	1751	568
5	3106	568
6	3835	568
7	4170	568
8	4332	568
9	4544	568
10	5082	568
11	7249	568

Stop Event

1×	node limit

Counts

22 → 28

Calls

Call 1

Inputs
(*.f64 2 re)
(+.f64 (.f64 re (pow.f64 im 2)) (.f64 2 re))
(+.f64 (.f64 re (pow.f64 im 2)) (+.f64 (.f64 1/12 (.f64 re (pow.f64 im 4))) (.f64 2 re)))
(+.f64 (.f64 re (pow.f64 im 2)) (+.f64 (.f64 1/360 (.f64 re (pow.f64 im 6))) (+.f64 (.f64 1/12 (.f64 re (pow.f64 im 4))) (.f64 2 re))))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (.f64 -1 im))) re)
(.f64 (+.f64 (exp.f64 im) (exp.f64 (.f64 -1 im))) re)
(.f64 (+.f64 (exp.f64 im) (exp.f64 (.f64 -1 im))) re)
(.f64 (+.f64 (exp.f64 im) (exp.f64 (.f64 -1 im))) re)
(+.f64 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) 0)
(+.f64 0 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re))
(+.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 re 1/2)) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 re 1/2)))
(-.f64 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) 0)
(/.f64 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) 1)
(/.f64 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 re re)) 2)
(/.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 re 4)) 4)
(/.f64 (.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) 8) 8)
(/.f64 (.f64 2 (.f64 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) 8)) 16)
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) 8)) (.f64 2 (.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) 8))) 32)

Outputs
(*.f64 2 re)
(+.f64 re re)
(+.f64 (.f64 re (pow.f64 im 2)) (.f64 2 re))
(*.f64 re (+.f64 2 (pow.f64 im 2)))
(+.f64 (.f64 re (pow.f64 im 2)) (+.f64 (.f64 1/12 (.f64 re (pow.f64 im 4))) (.f64 2 re)))
(+.f64 (.f64 1/12 (.f64 re (pow.f64 im 4))) (*.f64 re (+.f64 2 (pow.f64 im 2))))
(+.f64 (.f64 re (+.f64 2 (pow.f64 im 2))) (.f64 1/12 (*.f64 re (pow.f64 im 4))))
(.f64 re (+.f64 (+.f64 2 (pow.f64 im 2)) (.f64 1/12 (pow.f64 im 4))))
(.f64 re (+.f64 (.f64 1/12 (pow.f64 im 4)) (+.f64 2 (pow.f64 im 2))))
(.f64 re (+.f64 2 (+.f64 (pow.f64 im 2) (.f64 1/12 (pow.f64 im 4)))))
(+.f64 (.f64 re (pow.f64 im 2)) (+.f64 (.f64 1/360 (.f64 re (pow.f64 im 6))) (+.f64 (.f64 1/12 (.f64 re (pow.f64 im 4))) (.f64 2 re))))
(+.f64 (.f64 1/360 (.f64 re (pow.f64 im 6))) (+.f64 (.f64 1/12 (.f64 re (pow.f64 im 4))) (*.f64 re (+.f64 2 (pow.f64 im 2)))))
(+.f64 (+.f64 (.f64 re (+.f64 2 (pow.f64 im 2))) (.f64 1/12 (.f64 re (pow.f64 im 4)))) (.f64 1/360 (*.f64 re (pow.f64 im 6))))
(+.f64 (.f64 re (.f64 1/12 (pow.f64 im 4))) (.f64 re (+.f64 (.f64 1/360 (pow.f64 im 6)) (+.f64 2 (pow.f64 im 2)))))
(.f64 re (+.f64 (.f64 1/360 (pow.f64 im 6)) (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 2 (pow.f64 im 2)))))
(.f64 re (+.f64 (pow.f64 im 2) (+.f64 (.f64 1/12 (pow.f64 im 4)) (+.f64 2 (*.f64 1/360 (pow.f64 im 6))))))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (.f64 -1 im))) re)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (.f64 -1 im))) re)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (.f64 -1 im))) re)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (.f64 -1 im))) re)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(+.f64 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) 0)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(+.f64 0 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(+.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 re 1/2)) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 re 1/2)))
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(-.f64 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) 0)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(/.f64 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) 1)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(/.f64 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 re re)) 2)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(/.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 re 4)) 4)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(/.f64 (.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) 8) 8)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(/.f64 (.f64 2 (.f64 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) 8)) 16)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) 8)) (.f64 2 (.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) 8))) 32)
(*.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))

localize19.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 45 to 26 computations (42.2% saved)

series4.0ms (0%)

Counts

2 → 28

Calls

12 calls:

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

rewrite92.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1688×	`bool.json-1`
1688×	`bool.json-2`
1650×	`rational.json-1`
1650×	`rational.json-2`
1060×	`bool.json-3`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	50
1	111	40
2	302	40
3	625	40
4	1313	40
5	3053	40
6	6451	40

Stop Event

1×	node limit

Counts

2 → 43

Calls

Call 1

Inputs
(*.f64 (sin.f64 re) (pow.f64 im 2))
(+.f64 (.f64 (sin.f64 re) (pow.f64 im 2)) (.f64 (sin.f64 re) 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 +.f64 (*.f64 (sin.f64 re) (*.f64 (pow.f64 im 2) 1/2)) (*.f64 (sin.f64 re) (*.f64 (pow.f64 im 2) 1/2)))))) (#(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 (*.f64 (sin.f64 re) (pow.f64 im 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (sin.f64 re) (pow.f64 im 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sin.f64 re) (*.f64 (pow.f64 im 2) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (sin.f64 re) (*.f64 (pow.f64 im 2) 4))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (sin.f64 re) (*.f64 (pow.f64 im 2) 4)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (sin.f64 re) (*.f64 (pow.f64 im 2) 4)))) (*.f64 2 (*.f64 2 (*.f64 (sin.f64 re) (*.f64 (pow.f64 im 2) 4))))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 (sin.f64 re) (pow.f64 im 2))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 (sin.f64 re) (pow.f64 im 2)) (*.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 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (sin.f64 re) (*.f64 (sin.f64 re) (*.f64 (pow.f64 im 2) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sin.f64 re) 2) (*.f64 (+.f64 2 (pow.f64 im 2)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sin.f64 re) 2) (/.f64 (+.f64 2 (pow.f64 im 2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sin.f64 re) 2) (+.f64 1 (*.f64 (pow.f64 im 2) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sin.f64 re) (*.f64 2 (+.f64 2 (pow.f64 im 2)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sin.f64 re) 4) (*.f64 (+.f64 2 (pow.f64 im 2)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (+.f64 2 (pow.f64 im 2)) (*.f64 (sin.f64 re) 1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (sin.f64 re) (*.f64 2 (+.f64 2 (pow.f64 im 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (+.f64 2 (pow.f64 im 2))) (*.f64 (sin.f64 re) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sin.f64 re) 1/2) (*.f64 2 (+.f64 2 (pow.f64 im 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 2 (pow.f64 im 2)) 1/2) (*.f64 (sin.f64 re) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 2 (pow.f64 im 2)) 1/4) (*.f64 (sin.f64 re) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 2 (pow.f64 im 2)) (*.f64 (sin.f64 re) 1/4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 2 (pow.f64 im 2)) 2) (*.f64 (sin.f64 re) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (sin.f64 re) (*.f64 (sin.f64 re) (*.f64 (pow.f64 im 2) 1/2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 1 (*.f64 (pow.f64 im 2) 1/2)) (*.f64 (sin.f64 re) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sin.f64 re) (*.f64 2 (+.f64 2 (pow.f64 im 2)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4))) (*.f64 2 (*.f64 2 (*.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))))))))

simplify287.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

2336×	`rational.json-simplify-2`
1788×	`rational.json-simplify-35`
1058×	`rational.json-simplify-53`
882×	`rational.json-simplify-51`
872×	`rational.json-simplify-48`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	128	2389
1	277	1889
2	600	1853
3	1514	1829
4	3047	1829
5	3874	1829
6	4019	1829
7	4206	1829
8	4677	1829
9	5538	1829
10	5985	1829
11	6603	1829
12	7325	1829

Stop Event

1×	node limit

Counts

71 → 76

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 2 (pow.f64 im 2)) re)
(+.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 2)) 1/3) (pow.f64 re 3)) (*.f64 (+.f64 2 (pow.f64 im 2)) re))
(+.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 2)) 1/3) (pow.f64 re 3)) (+.f64 (.f64 (+.f64 2 (pow.f64 im 2)) re) (.f64 (pow.f64 re 5) (+.f64 1/60 (*.f64 1/120 (pow.f64 im 2))))))
(+.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 2)) 1/3) (pow.f64 re 3)) (+.f64 (.f64 (-.f64 (.f64 -1/5040 (pow.f64 im 2)) 1/2520) (pow.f64 re 7)) (+.f64 (.f64 (+.f64 2 (pow.f64 im 2)) re) (.f64 (pow.f64 re 5) (+.f64 1/60 (*.f64 1/120 (pow.f64 im 2)))))))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(*.f64 2 (sin.f64 re))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 2 (sin.f64 re)) (.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 (.f64 (sin.f64 re) (.f64 (pow.f64 im 2) 1/2)) (.f64 (sin.f64 re) (.f64 (pow.f64 im 2) 1/2)))
(-.f64 (*.f64 (sin.f64 re) (pow.f64 im 2)) 0)
(/.f64 (*.f64 (sin.f64 re) (pow.f64 im 2)) 1)
(/.f64 (.f64 2 (.f64 (sin.f64 re) (pow.f64 im 2))) 2)
(/.f64 (.f64 (sin.f64 re) (.f64 (pow.f64 im 2) 4)) 4)
(/.f64 (.f64 2 (.f64 (sin.f64 re) (*.f64 (pow.f64 im 2) 4))) 8)
(/.f64 (.f64 2 (.f64 2 (.f64 (sin.f64 re) (.f64 (pow.f64 im 2) 4)))) 16)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (sin.f64 re) (.f64 (pow.f64 im 2) 4)))) (.f64 2 (.f64 2 (.f64 (sin.f64 re) (.f64 (pow.f64 im 2) 4))))) 32)
(-.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 0)
(*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2)))
(.f64 2 (.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 1/2))
(.f64 2 (+.f64 (sin.f64 re) (.f64 (sin.f64 re) (*.f64 (pow.f64 im 2) 1/2))))
(.f64 (.f64 (sin.f64 re) 2) (*.f64 (+.f64 2 (pow.f64 im 2)) 1/2))
(.f64 (.f64 (sin.f64 re) 2) (/.f64 (+.f64 2 (pow.f64 im 2)) 2))
(.f64 (.f64 (sin.f64 re) 2) (+.f64 1 (*.f64 (pow.f64 im 2) 1/2)))
(.f64 (.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 1)
(.f64 1 (.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))))
(.f64 (.f64 (sin.f64 re) (*.f64 2 (+.f64 2 (pow.f64 im 2)))) 1/2)
(.f64 (.f64 (sin.f64 re) 4) (*.f64 (+.f64 2 (pow.f64 im 2)) 1/4))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(.f64 4 (.f64 (+.f64 2 (pow.f64 im 2)) (*.f64 (sin.f64 re) 1/4)))
(.f64 4 (/.f64 (.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4))
(.f64 (.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4) 1/4)
(.f64 1/2 (.f64 (sin.f64 re) (*.f64 2 (+.f64 2 (pow.f64 im 2)))))
(.f64 (.f64 2 (+.f64 2 (pow.f64 im 2))) (*.f64 (sin.f64 re) 1/2))
(.f64 (.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 1/2) 2)
(.f64 (.f64 (sin.f64 re) 1/2) (*.f64 2 (+.f64 2 (pow.f64 im 2))))
(.f64 1/4 (.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4))
(.f64 (.f64 (+.f64 2 (pow.f64 im 2)) 1/2) (*.f64 (sin.f64 re) 2))
(.f64 (.f64 (+.f64 2 (pow.f64 im 2)) 1/4) (*.f64 (sin.f64 re) 4))
(.f64 (.f64 (+.f64 2 (pow.f64 im 2)) (*.f64 (sin.f64 re) 1/4)) 4)
(.f64 (/.f64 (+.f64 2 (pow.f64 im 2)) 2) (.f64 (sin.f64 re) 2))
(.f64 (/.f64 (.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4) 4)
(.f64 (+.f64 (sin.f64 re) (.f64 (sin.f64 re) (*.f64 (pow.f64 im 2) 1/2))) 2)
(.f64 (+.f64 1 (.f64 (pow.f64 im 2) 1/2)) (*.f64 (sin.f64 re) 2))
(/.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 1)
(/.f64 (.f64 (sin.f64 re) (.f64 2 (+.f64 2 (pow.f64 im 2)))) 2)
(/.f64 (.f64 (.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4) 4)
(/.f64 (.f64 2 (.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4)) 8)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4))) 16)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4))) (.f64 2 (.f64 2 (.f64 (.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4)))) 32)

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 (pow.f64 re 3) -1/6)))
(.f64 (pow.f64 im 2) (+.f64 re (.f64 -1/6 (pow.f64 re 3))))
(+.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 (pow.f64 re 5) 1/120)) (.f64 (pow.f64 im 2) (*.f64 (pow.f64 re 3) -1/6))))
(+.f64 (.f64 (pow.f64 im 2) (+.f64 re (.f64 -1/6 (pow.f64 re 3)))) (.f64 1/120 (.f64 (pow.f64 im 2) (pow.f64 re 5))))
(.f64 (pow.f64 im 2) (+.f64 (.f64 1/120 (pow.f64 re 5)) (+.f64 re (*.f64 -1/6 (pow.f64 re 3)))))
(+.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 1/120 (.f64 (pow.f64 im 2) (pow.f64 re 5))) (+.f64 (.f64 re (pow.f64 im 2)) (.f64 -1/5040 (*.f64 (pow.f64 im 2) (pow.f64 re 7))))))
(+.f64 (.f64 (pow.f64 im 2) (.f64 (pow.f64 re 3) -1/6)) (+.f64 (.f64 re (pow.f64 im 2)) (+.f64 (.f64 (pow.f64 im 2) (.f64 -1/5040 (pow.f64 re 7))) (.f64 (pow.f64 im 2) (*.f64 (pow.f64 re 5) 1/120)))))
(+.f64 (.f64 (pow.f64 im 2) (+.f64 re (.f64 -1/6 (pow.f64 re 3)))) (+.f64 (.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 (pow.f64 im 2) (+.f64 (.f64 -1/5040 (pow.f64 re 7)) (+.f64 re (*.f64 1/120 (pow.f64 re 5))))))
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(*.f64 re (+.f64 2 (pow.f64 im 2)))
(+.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 2)) 1/3) (pow.f64 re 3)) (*.f64 (+.f64 2 (pow.f64 im 2)) re))
(+.f64 (.f64 re (+.f64 2 (pow.f64 im 2))) (.f64 (pow.f64 re 3) (-.f64 (*.f64 (pow.f64 im 2) -1/6) 1/3)))
(+.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 2)) 1/3) (pow.f64 re 3)) (+.f64 (.f64 (+.f64 2 (pow.f64 im 2)) re) (.f64 (pow.f64 re 5) (+.f64 1/60 (*.f64 1/120 (pow.f64 im 2))))))
(+.f64 (.f64 re (+.f64 2 (pow.f64 im 2))) (+.f64 (.f64 (pow.f64 re 5) (+.f64 1/60 (.f64 (pow.f64 im 2) 1/120))) (.f64 (pow.f64 re 3) (-.f64 (*.f64 (pow.f64 im 2) -1/6) 1/3))))
(+.f64 (.f64 re (+.f64 2 (pow.f64 im 2))) (+.f64 (.f64 (pow.f64 re 3) (-.f64 (.f64 (pow.f64 im 2) -1/6) 1/3)) (.f64 (pow.f64 re 5) (+.f64 1/60 (*.f64 (pow.f64 im 2) 1/120)))))
(+.f64 (.f64 (pow.f64 re 3) (-.f64 (.f64 (pow.f64 im 2) -1/6) 1/3)) (+.f64 (.f64 re (+.f64 2 (pow.f64 im 2))) (.f64 (pow.f64 re 5) (+.f64 1/60 (*.f64 (pow.f64 im 2) 1/120)))))
(+.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 2)) 1/3) (pow.f64 re 3)) (+.f64 (.f64 (-.f64 (.f64 -1/5040 (pow.f64 im 2)) 1/2520) (pow.f64 re 7)) (+.f64 (.f64 (+.f64 2 (pow.f64 im 2)) re) (.f64 (pow.f64 re 5) (+.f64 1/60 (*.f64 1/120 (pow.f64 im 2)))))))
(+.f64 (.f64 (pow.f64 re 3) (-.f64 (.f64 (pow.f64 im 2) -1/6) 1/3)) (+.f64 (.f64 re (+.f64 2 (pow.f64 im 2))) (+.f64 (.f64 (pow.f64 re 5) (+.f64 1/60 (.f64 (pow.f64 im 2) 1/120))) (.f64 (pow.f64 re 7) (-.f64 (*.f64 (pow.f64 im 2) -1/5040) 1/2520)))))
(+.f64 (.f64 re (+.f64 2 (pow.f64 im 2))) (+.f64 (+.f64 (.f64 (pow.f64 re 5) (+.f64 1/60 (.f64 (pow.f64 im 2) 1/120))) (.f64 (pow.f64 re 7) (-.f64 (.f64 (pow.f64 im 2) -1/5040) 1/2520))) (.f64 (pow.f64 re 3) (-.f64 (*.f64 (pow.f64 im 2) -1/6) 1/3))))
(+.f64 (.f64 re (+.f64 2 (pow.f64 im 2))) (+.f64 (.f64 (pow.f64 re 3) (-.f64 (.f64 (pow.f64 im 2) -1/6) 1/3)) (+.f64 (.f64 (pow.f64 re 5) (+.f64 1/60 (.f64 (pow.f64 im 2) 1/120))) (.f64 (pow.f64 re 7) (-.f64 (*.f64 (pow.f64 im 2) -1/5040) 1/2520)))))
(+.f64 (.f64 (pow.f64 re 3) (-.f64 (.f64 (pow.f64 im 2) -1/6) 1/3)) (+.f64 (.f64 (pow.f64 re 5) (+.f64 1/60 (.f64 (pow.f64 im 2) 1/120))) (+.f64 (.f64 re (+.f64 2 (pow.f64 im 2))) (.f64 (pow.f64 re 7) (-.f64 (*.f64 (pow.f64 im 2) -1/5040) 1/2520)))))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(*.f64 2 (sin.f64 re))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(*.f64 (pow.f64 im 2) (sin.f64 re))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(*.f64 (sin.f64 re) (pow.f64 im 2))
(*.f64 (pow.f64 im 2) (sin.f64 re))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(+.f64 (.f64 2 (sin.f64 re)) (.f64 (sin.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(+.f64 (*.f64 (sin.f64 re) (pow.f64 im 2)) 0)
(*.f64 (pow.f64 im 2) (sin.f64 re))
(+.f64 0 (*.f64 (sin.f64 re) (pow.f64 im 2)))
(*.f64 (pow.f64 im 2) (sin.f64 re))
(+.f64 (.f64 (sin.f64 re) (.f64 (pow.f64 im 2) 1/2)) (.f64 (sin.f64 re) (.f64 (pow.f64 im 2) 1/2)))
(*.f64 (pow.f64 im 2) (sin.f64 re))
(-.f64 (*.f64 (sin.f64 re) (pow.f64 im 2)) 0)
(*.f64 (pow.f64 im 2) (sin.f64 re))
(/.f64 (*.f64 (sin.f64 re) (pow.f64 im 2)) 1)
(*.f64 (pow.f64 im 2) (sin.f64 re))
(/.f64 (.f64 2 (.f64 (sin.f64 re) (pow.f64 im 2))) 2)
(*.f64 (pow.f64 im 2) (sin.f64 re))
(/.f64 (.f64 (sin.f64 re) (.f64 (pow.f64 im 2) 4)) 4)
(*.f64 (pow.f64 im 2) (sin.f64 re))
(/.f64 (.f64 2 (.f64 (sin.f64 re) (*.f64 (pow.f64 im 2) 4))) 8)
(*.f64 (pow.f64 im 2) (sin.f64 re))
(/.f64 (.f64 2 (.f64 2 (.f64 (sin.f64 re) (.f64 (pow.f64 im 2) 4)))) 16)
(*.f64 (pow.f64 im 2) (sin.f64 re))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (sin.f64 re) (.f64 (pow.f64 im 2) 4)))) (.f64 2 (.f64 2 (.f64 (sin.f64 re) (.f64 (pow.f64 im 2) 4))))) 32)
(*.f64 (pow.f64 im 2) (sin.f64 re))
(-.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 0)
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2)))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(.f64 2 (.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 1/2))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(.f64 2 (+.f64 (sin.f64 re) (.f64 (sin.f64 re) (*.f64 (pow.f64 im 2) 1/2))))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(.f64 (.f64 (sin.f64 re) 2) (*.f64 (+.f64 2 (pow.f64 im 2)) 1/2))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(.f64 (.f64 (sin.f64 re) 2) (/.f64 (+.f64 2 (pow.f64 im 2)) 2))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(.f64 (.f64 (sin.f64 re) 2) (+.f64 1 (*.f64 (pow.f64 im 2) 1/2)))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(.f64 (.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 1)
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(.f64 1 (.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(.f64 (.f64 (sin.f64 re) (*.f64 2 (+.f64 2 (pow.f64 im 2)))) 1/2)
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(.f64 (.f64 (sin.f64 re) 4) (*.f64 (+.f64 2 (pow.f64 im 2)) 1/4))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(.f64 4 (.f64 (+.f64 2 (pow.f64 im 2)) (*.f64 (sin.f64 re) 1/4)))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(.f64 4 (/.f64 (.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(.f64 (.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4) 1/4)
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(.f64 1/2 (.f64 (sin.f64 re) (*.f64 2 (+.f64 2 (pow.f64 im 2)))))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(.f64 (.f64 2 (+.f64 2 (pow.f64 im 2))) (*.f64 (sin.f64 re) 1/2))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(.f64 (.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 1/2) 2)
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(.f64 (.f64 (sin.f64 re) 1/2) (*.f64 2 (+.f64 2 (pow.f64 im 2))))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(.f64 1/4 (.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(.f64 (.f64 (+.f64 2 (pow.f64 im 2)) 1/2) (*.f64 (sin.f64 re) 2))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(.f64 (.f64 (+.f64 2 (pow.f64 im 2)) 1/4) (*.f64 (sin.f64 re) 4))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(.f64 (.f64 (+.f64 2 (pow.f64 im 2)) (*.f64 (sin.f64 re) 1/4)) 4)
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(.f64 (/.f64 (+.f64 2 (pow.f64 im 2)) 2) (.f64 (sin.f64 re) 2))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(.f64 (/.f64 (.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4) 4)
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(.f64 (+.f64 (sin.f64 re) (.f64 (sin.f64 re) (*.f64 (pow.f64 im 2) 1/2))) 2)
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(.f64 (+.f64 1 (.f64 (pow.f64 im 2) 1/2)) (*.f64 (sin.f64 re) 2))
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(/.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 1)
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(/.f64 (.f64 (sin.f64 re) (.f64 2 (+.f64 2 (pow.f64 im 2)))) 2)
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(/.f64 (.f64 (.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4) 4)
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(/.f64 (.f64 2 (.f64 (*.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4)) 8)
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4))) 16)
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4))) (.f64 2 (.f64 2 (.f64 (.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))) 4)))) 32)
(+.f64 (.f64 (pow.f64 im 2) (sin.f64 re)) (.f64 2 (sin.f64 re)))
(*.f64 (+.f64 2 (pow.f64 im 2)) (sin.f64 re))

eval233.0ms (1.2%)

Compiler: Compiled 2662 to 1999 computations (24.9% saved)

prune194.0ms (1%)

Pruning

8 alts after pruning (3 fresh and 5 done)

	Pruned	Kept	Total
New	132	3	135
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	132	8	140

Error

0.0b

Counts

140 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.7b	(.f64 1/2 (+.f64 (.f64 (sin.f64 re) (pow.f64 im 2)) (*.f64 (sin.f64 re) 2)))
▶	33.0b	(.f64 1/2 (+.f64 (.f64 re (pow.f64 im 2)) (*.f64 2 re)))
▶	33.0b	(*.f64 1/2 (+.f64 re re))
✓	32.5b	(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re))
▶	33.0b	(.f64 1/2 (.f64 (+.f64 2 (pow.f64 im 2)) re))
✓	0.0b	(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
✓	0.7b	(.f64 1/2 (.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))))
✓	0.9b	(.f64 1/2 (.f64 (sin.f64 re) 2))

Compiler

Compiled 91 to 71 computations (22% saved)

localize11.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 30 to 22 computations (26.7% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

6 calls:

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

rewrite93.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1574×	`bool.json-1`
1574×	`bool.json-2`
1542×	`rational.json-1`
1542×	`rational.json-2`
1542×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	79	19
2	211	19
3	428	19
4	879	19
5	1920	19
6	3915	19
7	6263	19

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 2 (pow.f64 im 2)) re) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (+.f64 2 (pow.f64 im 2)) re))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 2 (pow.f64 im 2)) (*.f64 re 1/2)) (*.f64 (+.f64 2 (pow.f64 im 2)) (*.f64 re 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 2 (pow.f64 im 2)) re) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 2 (pow.f64 im 2)) re) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 2 (pow.f64 im 2)) (+.f64 re re)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 2 (pow.f64 im 2)) (*.f64 re 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 re 8) (+.f64 2 (pow.f64 im 2))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 re 8) (+.f64 2 (pow.f64 im 2)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 re 8) (+.f64 2 (pow.f64 im 2))))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 re 8) (+.f64 2 (pow.f64 im 2))))) (*.f64 2 (*.f64 2 (*.f64 (*.f64 re 8) (+.f64 2 (pow.f64 im 2)))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 (+.f64 2 (pow.f64 im 2)) re)))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 (+.f64 2 (pow.f64 im 2)) re) (*.f64 (+.f64 2 (pow.f64 im 2)) re))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 (+.f64 2 (pow.f64 im 2)) re) (*.f64 (+.f64 2 (pow.f64 im 2)) re))))))

simplify2.3s (12%)

Algorithm

1×	egg-herbie

Rules

4266×	`rational.json-simplify-35`
2876×	`rational.json-simplify-2`
1872×	`rational.json-simplify-53`
1394×	`rational.json-simplify-1`
1084×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	413
1	95	413
2	197	413
3	450	413
4	1511	413
5	3065	413
6	4225	413
7	4337	413
8	4404	413
9	4469	413
10	4534	413
11	4599	413
12	5108	413
13	5306	413
14	5422	413
15	5487	413
16	5552	413
17	5617	413
18	5682	413
19	5747	413
20	5747	413
21	5747	413
22	5981	413
23	6255	413
24	6372	413
25	6459	413
26	6527	413
27	6592	413
28	6657	413
29	6722	413
30	6787	413
31	6852	413
32	6917	413
33	7308	413
34	7373	413
35	7438	413
36	7503	413
37	7568	413
38	7633	413
39	7698	413
40	7763	413
41	7763	413
42	7828	413
43	7893	413
44	7958	413

Stop Event

1×	node limit

Counts

23 → 16

Calls

Call 1

Inputs
(*.f64 2 re)
(+.f64 (.f64 re (pow.f64 im 2)) (.f64 2 re))
(+.f64 (.f64 re (pow.f64 im 2)) (.f64 2 re))
(+.f64 (.f64 re (pow.f64 im 2)) (.f64 2 re))
(*.f64 re (pow.f64 im 2))
(+.f64 (.f64 re (pow.f64 im 2)) (.f64 2 re))
(+.f64 (.f64 re (pow.f64 im 2)) (.f64 2 re))
(+.f64 (.f64 re (pow.f64 im 2)) (.f64 2 re))
(*.f64 re (pow.f64 im 2))
(+.f64 (.f64 re (pow.f64 im 2)) (.f64 2 re))
(+.f64 (.f64 re (pow.f64 im 2)) (.f64 2 re))
(+.f64 (.f64 re (pow.f64 im 2)) (.f64 2 re))
(+.f64 (*.f64 (+.f64 2 (pow.f64 im 2)) re) 0)
(+.f64 0 (*.f64 (+.f64 2 (pow.f64 im 2)) re))
(+.f64 (.f64 (+.f64 2 (pow.f64 im 2)) (.f64 re 1/2)) (.f64 (+.f64 2 (pow.f64 im 2)) (.f64 re 1/2)))
(-.f64 (*.f64 (+.f64 2 (pow.f64 im 2)) re) 0)
(/.f64 (*.f64 (+.f64 2 (pow.f64 im 2)) re) 1)
(/.f64 (*.f64 (+.f64 2 (pow.f64 im 2)) (+.f64 re re)) 2)
(/.f64 (.f64 (+.f64 2 (pow.f64 im 2)) (.f64 re 4)) 4)
(/.f64 (.f64 (.f64 re 8) (+.f64 2 (pow.f64 im 2))) 8)
(/.f64 (.f64 2 (.f64 (*.f64 re 8) (+.f64 2 (pow.f64 im 2)))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 re 8) (+.f64 2 (pow.f64 im 2))))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 re 8) (+.f64 2 (pow.f64 im 2))))) (.f64 2 (.f64 2 (.f64 (.f64 re 8) (+.f64 2 (pow.f64 im 2)))))) 64)

Outputs
(*.f64 2 re)
(+.f64 re re)
(+.f64 (.f64 re (pow.f64 im 2)) (.f64 2 re))
(*.f64 re (+.f64 2 (pow.f64 im 2)))
(+.f64 (.f64 re (pow.f64 im 2)) (.f64 2 re))
(*.f64 re (+.f64 2 (pow.f64 im 2)))
(+.f64 (.f64 re (pow.f64 im 2)) (.f64 2 re))
(*.f64 re (+.f64 2 (pow.f64 im 2)))
(*.f64 re (pow.f64 im 2))
(+.f64 (.f64 re (pow.f64 im 2)) (.f64 2 re))
(*.f64 re (+.f64 2 (pow.f64 im 2)))
(+.f64 (.f64 re (pow.f64 im 2)) (.f64 2 re))
(*.f64 re (+.f64 2 (pow.f64 im 2)))
(+.f64 (.f64 re (pow.f64 im 2)) (.f64 2 re))
(*.f64 re (+.f64 2 (pow.f64 im 2)))
(*.f64 re (pow.f64 im 2))
(+.f64 (.f64 re (pow.f64 im 2)) (.f64 2 re))
(*.f64 re (+.f64 2 (pow.f64 im 2)))
(+.f64 (.f64 re (pow.f64 im 2)) (.f64 2 re))
(*.f64 re (+.f64 2 (pow.f64 im 2)))
(+.f64 (.f64 re (pow.f64 im 2)) (.f64 2 re))
(*.f64 re (+.f64 2 (pow.f64 im 2)))
(+.f64 (*.f64 (+.f64 2 (pow.f64 im 2)) re) 0)
(*.f64 re (+.f64 2 (pow.f64 im 2)))
(+.f64 0 (*.f64 (+.f64 2 (pow.f64 im 2)) re))
(*.f64 re (+.f64 2 (pow.f64 im 2)))
(+.f64 (.f64 (+.f64 2 (pow.f64 im 2)) (.f64 re 1/2)) (.f64 (+.f64 2 (pow.f64 im 2)) (.f64 re 1/2)))
(*.f64 re (+.f64 2 (pow.f64 im 2)))
(-.f64 (*.f64 (+.f64 2 (pow.f64 im 2)) re) 0)
(*.f64 re (+.f64 2 (pow.f64 im 2)))
(/.f64 (*.f64 (+.f64 2 (pow.f64 im 2)) re) 1)
(*.f64 re (+.f64 2 (pow.f64 im 2)))
(/.f64 (*.f64 (+.f64 2 (pow.f64 im 2)) (+.f64 re re)) 2)
(*.f64 re (+.f64 2 (pow.f64 im 2)))
(/.f64 (.f64 (+.f64 2 (pow.f64 im 2)) (.f64 re 4)) 4)
(*.f64 re (+.f64 2 (pow.f64 im 2)))
(/.f64 (.f64 (.f64 re 8) (+.f64 2 (pow.f64 im 2))) 8)
(*.f64 re (+.f64 2 (pow.f64 im 2)))
(/.f64 (.f64 2 (.f64 (*.f64 re 8) (+.f64 2 (pow.f64 im 2)))) 16)
(*.f64 re (+.f64 2 (pow.f64 im 2)))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 re 8) (+.f64 2 (pow.f64 im 2))))) 32)
(*.f64 re (+.f64 2 (pow.f64 im 2)))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 re 8) (+.f64 2 (pow.f64 im 2))))) (.f64 2 (.f64 2 (.f64 (.f64 re 8) (+.f64 2 (pow.f64 im 2)))))) 64)
(*.f64 re (+.f64 2 (pow.f64 im 2)))

localize4.0ms (0%)

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

localize193.0ms (1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 37 to 25 computations (32.4% saved)

series2.0ms (0%)

Counts

2 → 15

Calls

12 calls:

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

rewrite83.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1428×	`bool.json-1`
1428×	`bool.json-2`
1386×	`rational.json-1`
1386×	`rational.json-2`
1386×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	32
1	91	32
2	246	32
3	497	32
4	1012	32
5	2363	32
6	5170	32

Stop Event

1×	node limit

Counts

2 → 49

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 re (pow.f64 im 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 re (pow.f64 im 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 im 2) (*.f64 re 1/2)) (*.f64 (pow.f64 im 2) (*.f64 re 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 re (pow.f64 im 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 re (pow.f64 im 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 im 2) (+.f64 re re)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 re (*.f64 (pow.f64 im 2) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 re (pow.f64 im 2)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 re (pow.f64 im 2)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 re (pow.f64 im 2)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 re (pow.f64 im 2)) 8))) (*.f64 2 (*.f64 2 (*.f64 (*.f64 re (pow.f64 im 2)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 re (pow.f64 im 2))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 re (pow.f64 im 2)) (*.f64 re (pow.f64 im 2)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 re (pow.f64 im 2)) (*.f64 re (pow.f64 im 2)))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 re (+.f64 2 (pow.f64 im 2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 re (+.f64 2 (pow.f64 im 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 re (+.f64 1 (+.f64 (pow.f64 im 2) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 re (*.f64 (pow.f64 im 2) (*.f64 re 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 re re) (*.f64 (+.f64 2 (pow.f64 im 2)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 re re) (+.f64 1 (*.f64 (pow.f64 im 2) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 re (+.f64 2 (pow.f64 im 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 re (+.f64 2 (pow.f64 im 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 2 (pow.f64 im 2)) re)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 re 4) (*.f64 (+.f64 2 (pow.f64 im 2)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 re 4) (+.f64 1/2 (*.f64 (pow.f64 im 2) 1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 re re) (+.f64 2 (pow.f64 im 2))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (+.f64 2 (pow.f64 im 2)) (/.f64 re 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (*.f64 re (+.f64 2 (pow.f64 im 2))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (+.f64 (*.f64 re 1/2) (*.f64 (pow.f64 im 2) (/.f64 re 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (+.f64 (*.f64 re 1/2) (/.f64 (*.f64 re (pow.f64 im 2)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 re (*.f64 (+.f64 2 (pow.f64 im 2)) 4)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (+.f64 2 (pow.f64 im 2))) (*.f64 re 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 re re) (+.f64 2 (pow.f64 im 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 re 4) (*.f64 (pow.f64 im 2) (+.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 (pow.f64 im 2) (+.f64 re re)) (*.f64 re 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 re 1/2) (*.f64 2 (+.f64 2 (pow.f64 im 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 re 1/2) (+.f64 4 (*.f64 2 (pow.f64 im 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 re 1/2) (+.f64 (*.f64 2 (pow.f64 im 2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 re (*.f64 (pow.f64 im 2) (*.f64 re 1/2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 2 (pow.f64 im 2)) 1/2) (+.f64 re re))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 re (*.f64 (+.f64 2 (pow.f64 im 2)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 2 (pow.f64 im 2)) 1/4) (*.f64 re 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 2 (pow.f64 im 2)) (/.f64 re 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 re (+.f64 2 (pow.f64 im 2))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 1 (*.f64 (pow.f64 im 2) 1/2)) (+.f64 re re))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 re (+.f64 2 (pow.f64 im 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 re re) (+.f64 2 (pow.f64 im 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 re (*.f64 (+.f64 2 (pow.f64 im 2)) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 re (+.f64 2 (pow.f64 im 2))) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 re (+.f64 2 (pow.f64 im 2))) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 re (+.f64 2 (pow.f64 im 2))) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 re (+.f64 2 (pow.f64 im 2))) 8))) (*.f64 2 (*.f64 2 (*.f64 (*.f64 re (+.f64 2 (pow.f64 im 2))) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 re (+.f64 2 (pow.f64 im 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 re (+.f64 2 (pow.f64 im 2))) (*.f64 re (+.f64 2 (pow.f64 im 2))))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 re (+.f64 2 (pow.f64 im 2))) (*.f64 re (+.f64 2 (pow.f64 im 2))))))))

simplify384.0ms (2%)

Algorithm

1×	egg-herbie

Rules

2492×	`rational.json-simplify-35`
2006×	`rational.json-simplify-2`
1398×	`rational.json-simplify-53`
942×	`rational.json-simplify-52`
858×	`rational.json-simplify-1`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	112	1174
1	238	1174
2	497	1162
3	1559	1162
4	3296	1162
5	3948	1162
6	4139	1162
7	4299	1162
8	4457	1162
9	4604	1162
10	5207	1162
11	5836	1162
12	6232	1162
13	6715	1162
14	7255	1162
15	7716	1162
16	7752	1162
17	7937	1162

Stop Event

1×	node limit

Counts

64 → 56

Calls

Call 1

Inputs
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 -1 (.f64 re (-.f64 (*.f64 -1 (pow.f64 im 2)) 2)))
(.f64 -1 (.f64 re (-.f64 (*.f64 -1 (pow.f64 im 2)) 2)))
(.f64 -1 (.f64 re (-.f64 (*.f64 -1 (pow.f64 im 2)) 2)))
(.f64 -1 (.f64 re (-.f64 (*.f64 -1 (pow.f64 im 2)) 2)))
(*.f64 2 re)
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(+.f64 (*.f64 re (pow.f64 im 2)) 0)
(+.f64 0 (*.f64 re (pow.f64 im 2)))
(+.f64 (.f64 (pow.f64 im 2) (.f64 re 1/2)) (.f64 (pow.f64 im 2) (.f64 re 1/2)))
(-.f64 (*.f64 re (pow.f64 im 2)) 0)
(/.f64 (*.f64 re (pow.f64 im 2)) 1)
(/.f64 (*.f64 (pow.f64 im 2) (+.f64 re re)) 2)
(/.f64 (.f64 re (.f64 (pow.f64 im 2) 4)) 4)
(/.f64 (.f64 (.f64 re (pow.f64 im 2)) 8) 8)
(/.f64 (.f64 2 (.f64 (*.f64 re (pow.f64 im 2)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 re (pow.f64 im 2)) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 re (pow.f64 im 2)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 re (pow.f64 im 2)) 8)))) 64)
(-.f64 (*.f64 re (+.f64 2 (pow.f64 im 2))) 0)
(*.f64 re (+.f64 2 (pow.f64 im 2)))
(*.f64 re (+.f64 1 (+.f64 (pow.f64 im 2) 1)))
(.f64 2 (+.f64 re (.f64 (pow.f64 im 2) (*.f64 re 1/2))))
(.f64 (+.f64 re re) (.f64 (+.f64 2 (pow.f64 im 2)) 1/2))
(.f64 (+.f64 re re) (+.f64 1 (.f64 (pow.f64 im 2) 1/2)))
(.f64 (.f64 re (+.f64 2 (pow.f64 im 2))) 1)
(.f64 1 (.f64 re (+.f64 2 (pow.f64 im 2))))
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 (.f64 re 4) (*.f64 (+.f64 2 (pow.f64 im 2)) 1/4))
(.f64 (.f64 re 4) (+.f64 1/2 (*.f64 (pow.f64 im 2) 1/4)))
(.f64 (.f64 (+.f64 re re) (+.f64 2 (pow.f64 im 2))) 1/2)
(.f64 4 (.f64 (+.f64 2 (pow.f64 im 2)) (/.f64 re 4)))
(.f64 4 (/.f64 (.f64 re (+.f64 2 (pow.f64 im 2))) 4))
(.f64 4 (+.f64 (.f64 re 1/2) (*.f64 (pow.f64 im 2) (/.f64 re 4))))
(.f64 4 (+.f64 (.f64 re 1/2) (/.f64 (*.f64 re (pow.f64 im 2)) 4)))
(.f64 (.f64 re (*.f64 (+.f64 2 (pow.f64 im 2)) 4)) 1/4)
(.f64 (.f64 2 (+.f64 2 (pow.f64 im 2))) (*.f64 re 1/2))
(.f64 1/2 (.f64 (+.f64 re re) (+.f64 2 (pow.f64 im 2))))
(.f64 1/2 (+.f64 (.f64 re 4) (*.f64 (pow.f64 im 2) (+.f64 re re))))
(.f64 1/2 (+.f64 (.f64 (pow.f64 im 2) (+.f64 re re)) (*.f64 re 4)))
(.f64 (.f64 re 1/2) (*.f64 2 (+.f64 2 (pow.f64 im 2))))
(.f64 (.f64 re 1/2) (+.f64 4 (*.f64 2 (pow.f64 im 2))))
(.f64 (.f64 re 1/2) (+.f64 (*.f64 2 (pow.f64 im 2)) 4))
(.f64 (+.f64 re (.f64 (pow.f64 im 2) (*.f64 re 1/2))) 2)
(.f64 (.f64 (+.f64 2 (pow.f64 im 2)) 1/2) (+.f64 re re))
(.f64 1/4 (.f64 re (*.f64 (+.f64 2 (pow.f64 im 2)) 4)))
(.f64 (.f64 (+.f64 2 (pow.f64 im 2)) 1/4) (*.f64 re 4))
(.f64 (.f64 (+.f64 2 (pow.f64 im 2)) (/.f64 re 4)) 4)
(.f64 (/.f64 (.f64 re (+.f64 2 (pow.f64 im 2))) 4) 4)
(.f64 (+.f64 1 (.f64 (pow.f64 im 2) 1/2)) (+.f64 re re))
(/.f64 (*.f64 re (+.f64 2 (pow.f64 im 2))) 1)
(/.f64 (*.f64 (+.f64 re re) (+.f64 2 (pow.f64 im 2))) 2)
(/.f64 (.f64 re (.f64 (+.f64 2 (pow.f64 im 2)) 4)) 4)
(/.f64 (.f64 (.f64 re (+.f64 2 (pow.f64 im 2))) 8) 8)
(/.f64 (.f64 2 (.f64 (*.f64 re (+.f64 2 (pow.f64 im 2))) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 re (+.f64 2 (pow.f64 im 2))) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 re (+.f64 2 (pow.f64 im 2))) 8))) (.f64 2 (.f64 2 (.f64 (.f64 re (+.f64 2 (pow.f64 im 2))) 8)))) 64)

Outputs
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 -1 (.f64 re (-.f64 (*.f64 -1 (pow.f64 im 2)) 2)))
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 -1 (.f64 re (-.f64 (*.f64 -1 (pow.f64 im 2)) 2)))
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 -1 (.f64 re (-.f64 (*.f64 -1 (pow.f64 im 2)) 2)))
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 -1 (.f64 re (-.f64 (*.f64 -1 (pow.f64 im 2)) 2)))
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(*.f64 2 re)
(+.f64 re re)
(*.f64 re (pow.f64 im 2))
(*.f64 (pow.f64 im 2) re)
(*.f64 re (pow.f64 im 2))
(*.f64 (pow.f64 im 2) re)
(+.f64 (*.f64 re (pow.f64 im 2)) 0)
(*.f64 (pow.f64 im 2) re)
(+.f64 0 (*.f64 re (pow.f64 im 2)))
(*.f64 (pow.f64 im 2) re)
(+.f64 (.f64 (pow.f64 im 2) (.f64 re 1/2)) (.f64 (pow.f64 im 2) (.f64 re 1/2)))
(*.f64 (pow.f64 im 2) re)
(-.f64 (*.f64 re (pow.f64 im 2)) 0)
(*.f64 (pow.f64 im 2) re)
(/.f64 (*.f64 re (pow.f64 im 2)) 1)
(*.f64 (pow.f64 im 2) re)
(/.f64 (*.f64 (pow.f64 im 2) (+.f64 re re)) 2)
(*.f64 (pow.f64 im 2) re)
(/.f64 (.f64 re (.f64 (pow.f64 im 2) 4)) 4)
(*.f64 (pow.f64 im 2) re)
(/.f64 (.f64 (.f64 re (pow.f64 im 2)) 8) 8)
(*.f64 (pow.f64 im 2) re)
(/.f64 (.f64 2 (.f64 (*.f64 re (pow.f64 im 2)) 8)) 16)
(*.f64 (pow.f64 im 2) re)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 re (pow.f64 im 2)) 8))) 32)
(*.f64 (pow.f64 im 2) re)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 re (pow.f64 im 2)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 re (pow.f64 im 2)) 8)))) 64)
(*.f64 (pow.f64 im 2) re)
(-.f64 (*.f64 re (+.f64 2 (pow.f64 im 2))) 0)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(*.f64 re (+.f64 2 (pow.f64 im 2)))
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(*.f64 re (+.f64 1 (+.f64 (pow.f64 im 2) 1)))
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 2 (+.f64 re (.f64 (pow.f64 im 2) (*.f64 re 1/2))))
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 (+.f64 re re) (.f64 (+.f64 2 (pow.f64 im 2)) 1/2))
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 (+.f64 re re) (+.f64 1 (.f64 (pow.f64 im 2) 1/2)))
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 (.f64 re (+.f64 2 (pow.f64 im 2))) 1)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 1 (.f64 re (+.f64 2 (pow.f64 im 2))))
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 (.f64 re 4) (*.f64 (+.f64 2 (pow.f64 im 2)) 1/4))
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 (.f64 re 4) (+.f64 1/2 (*.f64 (pow.f64 im 2) 1/4)))
(.f64 re (.f64 4 (+.f64 1/2 (*.f64 (pow.f64 im 2) 1/4))))
(.f64 (.f64 (+.f64 re re) (+.f64 2 (pow.f64 im 2))) 1/2)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 4 (.f64 (+.f64 2 (pow.f64 im 2)) (/.f64 re 4)))
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 4 (/.f64 (.f64 re (+.f64 2 (pow.f64 im 2))) 4))
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 4 (+.f64 (.f64 re 1/2) (*.f64 (pow.f64 im 2) (/.f64 re 4))))
(.f64 4 (.f64 re (+.f64 1/2 (/.f64 (pow.f64 im 2) 4))))
(.f64 4 (+.f64 (.f64 re 1/2) (/.f64 (*.f64 re (pow.f64 im 2)) 4)))
(.f64 4 (+.f64 (.f64 re 1/2) (*.f64 (pow.f64 im 2) (/.f64 re 4))))
(.f64 4 (.f64 re (+.f64 1/2 (/.f64 (pow.f64 im 2) 4))))
(.f64 (.f64 re (*.f64 (+.f64 2 (pow.f64 im 2)) 4)) 1/4)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 (.f64 2 (+.f64 2 (pow.f64 im 2))) (*.f64 re 1/2))
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 1/2 (.f64 (+.f64 re re) (+.f64 2 (pow.f64 im 2))))
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 1/2 (+.f64 (.f64 re 4) (*.f64 (pow.f64 im 2) (+.f64 re re))))
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 1/2 (+.f64 (.f64 (pow.f64 im 2) (+.f64 re re)) (*.f64 re 4)))
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 (.f64 re 1/2) (*.f64 2 (+.f64 2 (pow.f64 im 2))))
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 (.f64 re 1/2) (+.f64 4 (*.f64 2 (pow.f64 im 2))))
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 (.f64 re 1/2) (+.f64 (*.f64 2 (pow.f64 im 2)) 4))
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 (+.f64 re (.f64 (pow.f64 im 2) (*.f64 re 1/2))) 2)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 (.f64 (+.f64 2 (pow.f64 im 2)) 1/2) (+.f64 re re))
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 1/4 (.f64 re (*.f64 (+.f64 2 (pow.f64 im 2)) 4)))
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 (.f64 (+.f64 2 (pow.f64 im 2)) 1/4) (*.f64 re 4))
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 (.f64 (+.f64 2 (pow.f64 im 2)) (/.f64 re 4)) 4)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 (/.f64 (.f64 re (+.f64 2 (pow.f64 im 2))) 4) 4)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(.f64 (+.f64 1 (.f64 (pow.f64 im 2) 1/2)) (+.f64 re re))
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(/.f64 (*.f64 re (+.f64 2 (pow.f64 im 2))) 1)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(/.f64 (*.f64 (+.f64 re re) (+.f64 2 (pow.f64 im 2))) 2)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(/.f64 (.f64 re (.f64 (+.f64 2 (pow.f64 im 2)) 4)) 4)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(/.f64 (.f64 (.f64 re (+.f64 2 (pow.f64 im 2))) 8) 8)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(/.f64 (.f64 2 (.f64 (*.f64 re (+.f64 2 (pow.f64 im 2))) 8)) 16)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 re (+.f64 2 (pow.f64 im 2))) 8))) 32)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 re (+.f64 2 (pow.f64 im 2))) 8))) (.f64 2 (.f64 2 (.f64 (.f64 re (+.f64 2 (pow.f64 im 2))) 8)))) 64)
(*.f64 (+.f64 2 (pow.f64 im 2)) re)

eval22.0ms (0.1%)

Compiler: Compiled 962 to 769 computations (20.1% saved)

prune14.0ms (0.1%)

Pruning

9 alts after pruning (1 fresh and 8 done)

	Pruned	Kept	Total
New	71	1	72
Fresh	0	0	0
Picked	0	1	1
Done	0	7	7
Total	71	9	80

Error

0.0b

Counts

80 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.7b	(.f64 1/2 (+.f64 (.f64 (sin.f64 re) (pow.f64 im 2)) (*.f64 (sin.f64 re) 2)))
✓	33.0b	(.f64 1/2 (+.f64 (.f64 re (pow.f64 im 2)) (*.f64 2 re)))
✓	33.0b	(*.f64 1/2 (+.f64 re re))
▶	61.0b	(.f64 1/2 (.f64 (pow.f64 im 2) re))
✓	32.5b	(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re))
✓	33.0b	(.f64 1/2 (.f64 (+.f64 2 (pow.f64 im 2)) re))
✓	0.0b	(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
✓	0.7b	(.f64 1/2 (.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))))
✓	0.9b	(.f64 1/2 (.f64 (sin.f64 re) 2))

Compiler

Compiled 100 to 78 computations (22% saved)

localize8.0ms (0%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 21 to 14 computations (33.3% saved)

series2.0ms (0%)

Counts

2 → 48

Calls

12 calls:

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

rewrite182.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1904×	`bool.json-1`
1904×	`bool.json-2`
1152×	`rational.json-1`
1152×	`rational.json-2`
1152×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	32
1	90	32
2	244	32
3	505	32
4	996	32
5	2125	32
6	4416	32
7	7565	32

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 im 2) re) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 im 2) (*.f64 re 1/2)) (*.f64 (pow.f64 im 2) (*.f64 re 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (pow.f64 im 2) re))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (pow.f64 im 2) re) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 im 2) re) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 im 2) (+.f64 re re)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 im 2) (*.f64 re 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 re 8) (pow.f64 im 2)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 re 8) (pow.f64 im 2))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 re 8) (pow.f64 im 2)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 re 8) (pow.f64 im 2)))) (*.f64 2 (*.f64 2 (*.f64 (*.f64 re 8) (pow.f64 im 2))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 (pow.f64 im 2) re)))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 (pow.f64 im 2) re) (*.f64 (pow.f64 im 2) re))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 (pow.f64 im 2) re) (*.f64 (pow.f64 im 2) re))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 im 2) (*.f64 re 1/2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (pow.f64 im 2) (*.f64 re 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 im 2) (/.f64 re 4)) (*.f64 (pow.f64 im 2) (/.f64 re 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (pow.f64 im 2) (*.f64 re 1/2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 im 2) re) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 im 2) (*.f64 re 1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 im 2) (+.f64 re re)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 im 2) (*.f64 re 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 re 8) (pow.f64 im 2)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 re 8) (pow.f64 im 2))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 re 8) (pow.f64 im 2)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 (pow.f64 im 2) (*.f64 re 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 (pow.f64 im 2) (*.f64 re 1/2)) (*.f64 (pow.f64 im 2) (*.f64 re 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 (pow.f64 im 2) (*.f64 re 1/2)) (*.f64 (pow.f64 im 2) (*.f64 re 1/2)))))))

simplify832.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

4018×	`rational.json-simplify-2`
3206×	`rational.json-simplify-35`
2346×	`rational.json-simplify-53`
856×	`rational.json-simplify-1`
728×	`rational.json-simplify-43`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	1120
1	126	1120
2	259	1120
3	648	1120
4	1934	1120
5	3449	1120
6	3923	1120
7	4045	1120
8	4139	1120
9	4230	1120
10	4319	1120
11	5185	1120
12	5280	1120
13	5369	1120
14	5458	1120
15	5458	1120
16	5547	1120
17	6244	1120
18	6588	1120
19	6957	1120
20	7438	1120
21	7739	1120
22	7828	1120
23	7919	1120

Stop Event

1×	node limit

Counts

70 → 26

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 1/2 (.f64 re (pow.f64 im 2)))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(+.f64 (*.f64 (pow.f64 im 2) re) 0)
(+.f64 (.f64 (pow.f64 im 2) (.f64 re 1/2)) (.f64 (pow.f64 im 2) (.f64 re 1/2)))
(+.f64 0 (*.f64 (pow.f64 im 2) re))
(-.f64 (*.f64 (pow.f64 im 2) re) 0)
(/.f64 (*.f64 (pow.f64 im 2) re) 1)
(/.f64 (*.f64 (pow.f64 im 2) (+.f64 re re)) 2)
(/.f64 (.f64 (pow.f64 im 2) (.f64 re 4)) 4)
(/.f64 (.f64 (.f64 re 8) (pow.f64 im 2)) 8)
(/.f64 (.f64 2 (.f64 (*.f64 re 8) (pow.f64 im 2))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 re 8) (pow.f64 im 2)))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 re 8) (pow.f64 im 2)))) (.f64 2 (.f64 2 (.f64 (.f64 re 8) (pow.f64 im 2))))) 64)
(+.f64 (.f64 (pow.f64 im 2) (.f64 re 1/2)) 0)
(+.f64 0 (.f64 (pow.f64 im 2) (.f64 re 1/2)))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 re 4)) (.f64 (pow.f64 im 2) (/.f64 re 4)))
(-.f64 (.f64 (pow.f64 im 2) (.f64 re 1/2)) 0)
(/.f64 (*.f64 (pow.f64 im 2) re) 2)
(/.f64 (.f64 (pow.f64 im 2) (.f64 re 1/2)) 1)
(/.f64 (*.f64 (pow.f64 im 2) (+.f64 re re)) 4)
(/.f64 (.f64 (pow.f64 im 2) (.f64 re 4)) 8)
(/.f64 (.f64 (.f64 re 8) (pow.f64 im 2)) 16)
(/.f64 (.f64 2 (.f64 (*.f64 re 8) (pow.f64 im 2))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 re 8) (pow.f64 im 2)))) 64)

Outputs
(*.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 1/2 (.f64 re (pow.f64 im 2)))
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(+.f64 (*.f64 (pow.f64 im 2) re) 0)
(*.f64 re (pow.f64 im 2))
(+.f64 (.f64 (pow.f64 im 2) (.f64 re 1/2)) (.f64 (pow.f64 im 2) (.f64 re 1/2)))
(*.f64 re (pow.f64 im 2))
(+.f64 0 (*.f64 (pow.f64 im 2) re))
(*.f64 re (pow.f64 im 2))
(-.f64 (*.f64 (pow.f64 im 2) re) 0)
(*.f64 re (pow.f64 im 2))
(/.f64 (*.f64 (pow.f64 im 2) re) 1)
(*.f64 re (pow.f64 im 2))
(/.f64 (*.f64 (pow.f64 im 2) (+.f64 re re)) 2)
(*.f64 re (pow.f64 im 2))
(/.f64 (.f64 (pow.f64 im 2) (.f64 re 4)) 4)
(*.f64 re (pow.f64 im 2))
(/.f64 (.f64 (.f64 re 8) (pow.f64 im 2)) 8)
(*.f64 re (pow.f64 im 2))
(/.f64 (.f64 2 (.f64 (*.f64 re 8) (pow.f64 im 2))) 16)
(*.f64 re (pow.f64 im 2))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 re 8) (pow.f64 im 2)))) 32)
(*.f64 re (pow.f64 im 2))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 re 8) (pow.f64 im 2)))) (.f64 2 (.f64 2 (.f64 (.f64 re 8) (pow.f64 im 2))))) 64)
(*.f64 re (pow.f64 im 2))
(+.f64 (.f64 (pow.f64 im 2) (.f64 re 1/2)) 0)
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(+.f64 0 (.f64 (pow.f64 im 2) (.f64 re 1/2)))
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 re 4)) (.f64 (pow.f64 im 2) (/.f64 re 4)))
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(-.f64 (.f64 (pow.f64 im 2) (.f64 re 1/2)) 0)
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(/.f64 (*.f64 (pow.f64 im 2) re) 2)
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(/.f64 (.f64 (pow.f64 im 2) (.f64 re 1/2)) 1)
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(/.f64 (*.f64 (pow.f64 im 2) (+.f64 re re)) 4)
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(/.f64 (.f64 (pow.f64 im 2) (.f64 re 4)) 8)
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(/.f64 (.f64 (.f64 re 8) (pow.f64 im 2)) 16)
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(/.f64 (.f64 2 (.f64 (*.f64 re 8) (pow.f64 im 2))) 32)
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 re 8) (pow.f64 im 2)))) 64)
(.f64 re (.f64 (pow.f64 im 2) 1/2))
(.f64 (pow.f64 im 2) (.f64 re 1/2))

eval6.0ms (0%)

Compiler: Compiled 280 to 219 computations (21.8% saved)

prune9.0ms (0%)

Pruning

9 alts after pruning (0 fresh and 9 done)

	Pruned	Kept	Total
New	26	0	26
Fresh	0	0	0
Picked	0	1	1
Done	0	8	8
Total	26	9	35

Error

0.0b

Counts

35 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.7b	(.f64 1/2 (+.f64 (.f64 (sin.f64 re) (pow.f64 im 2)) (*.f64 (sin.f64 re) 2)))
✓	33.0b	(.f64 1/2 (+.f64 (.f64 re (pow.f64 im 2)) (*.f64 2 re)))
✓	33.0b	(*.f64 1/2 (+.f64 re re))
✓	61.0b	(.f64 1/2 (.f64 (pow.f64 im 2) re))
✓	32.5b	(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re))
✓	33.0b	(.f64 1/2 (.f64 (+.f64 2 (pow.f64 im 2)) re))
✓	0.0b	(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
✓	0.7b	(.f64 1/2 (.f64 (sin.f64 re) (+.f64 2 (pow.f64 im 2))))
✓	0.9b	(.f64 1/2 (.f64 (sin.f64 re) 2))

Compiler

Compiled 100 to 78 computations (22% saved)

regimes81.0ms (0.4%)

Counts

10 → 1

Calls

Call 1

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

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

Calls

6 calls:

50.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))
6.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 135 to 93 computations (31.1% saved)

regimes62.0ms (0.3%)

Counts

7 → 1

Calls

Call 1

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

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

Calls

3 calls:

51.0ms	re
5.0ms	(sin.f64 re)
5.0ms	im

Results

Error	Segments	Branch
0.7b	1	`re`
0.7b	1	`im`
0.7b	1	`(sin.f64 re)`

Compiler

Compiled 70 to 51 computations (27.1% saved)

regimes15.0ms (0.1%)

Accuracy

Total -60.4b remaining (-6603.6%)

Threshold costs -60.4b (-6603.6%)

Counts

5 → 1

Calls

Call 1

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

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

Calls

3 calls:

5.0ms	im
4.0ms	(sin.f64 re)
4.0ms	re

Results

Error	Segments	Branch
0.9b	1	`re`
0.9b	1	`im`
0.9b	1	`(sin.f64 re)`

Compiler

Compiled 50 to 37 computations (26% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	94

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 40 to 32 computations (20% saved)

soundness161.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

2226×	`rational.json-simplify-1`
1504×	`rational.json-simplify-35`
1374×	`rational.json-simplify-2`
1110×	`rational.json-simplify-26`
942×	`rational.json-simplify-48`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	35
1	22	35
2	33	35
3	50	35
4	64	35
5	85	35
6	129	35
7	271	35
8	773	35
9	2192	35
10	2749	35
11	3432	35
12	5366	35
13	6418	35
14	7533	35

Stop Event

1×	node limit

Compiler

Compiled 188 to 125 computations (33.5% saved)

end35.0ms (0.2%)

Compiler: Compiled 34 to 24 computations (29.4% saved)

Details

analyze501.0ms (2.6%)

sample11.8s (61.5%)

preprocess86.0ms (0.4%)

simplify123.0ms (0.6%)

eval1.0ms (0%)

prune1.0ms (0%)

localize12.0ms (0.1%)

series3.0ms (0%)

rewrite68.0ms (0.4%)

simplify150.0ms (0.8%)

eval14.0ms (0.1%)

prune81.0ms (0.4%)

localize7.0ms (0%)

localize125.0ms (0.6%)

series3.0ms (0%)

rewrite174.0ms (0.9%)

simplify189.0ms (1%)

localize11.0ms (0.1%)

series2.0ms (0%)

rewrite172.0ms (0.9%)

simplify369.0ms (1.9%)

localize19.0ms (0.1%)

series4.0ms (0%)

rewrite92.0ms (0.5%)

simplify287.0ms (1.5%)

eval233.0ms (1.2%)

prune194.0ms (1%)

localize11.0ms (0.1%)

series2.0ms (0%)

rewrite93.0ms (0.5%)

simplify2.3s (12%)

localize4.0ms (0%)

localize193.0ms (1%)

series2.0ms (0%)

rewrite83.0ms (0.4%)

simplify384.0ms (2%)

eval22.0ms (0.1%)

prune14.0ms (0.1%)

localize8.0ms (0%)

series2.0ms (0%)

rewrite182.0ms (0.9%)

simplify832.0ms (4.3%)

eval6.0ms (0%)

prune9.0ms (0%)

regimes81.0ms (0.4%)

regimes62.0ms (0.3%)

regimes15.0ms (0.1%)

simplify3.0ms (0%)

soundness161.0ms (0.8%)

end35.0ms (0.2%)

Profiling