Details

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

sample4.9s (78.7%)

Results

2.3s	4148×	body	1024	valid
791.0ms	2099×	body	1024	infinite
705.0ms	2162×	body	512	valid
294.0ms	1716×	body	256	valid
275.0ms	1010×	body	512	infinite
234.0ms	1612×	body	256	infinite
230.0ms	230×	body	2048	valid

Bogosity

preprocess11.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

444×	`rational.json-simplify-31`
328×	`rational.json-simplify-2`
76×	`rational.json-simplify-27`
64×	`rational.json-simplify-9`
60×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	70
1	35	70
2	57	70
3	89	70
4	141	70
5	232	70
6	374	70
7	543	70
8	606	70
9	606	70
10	617	70
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 15 to 12 computations (20% saved)

simplify91.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

236×	`rational.json-simplify-31`
168×	`rational.json-simplify-2`
38×	`rational.json-simplify-27`
32×	`rational.json-simplify-9`
30×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	35
1	21	35
2	32	35
3	48	35
4	76	35
5	122	35
6	196	35
7	305	35
8	328	35
9	334	35

Stop Event

1×

saturated

Counts

1 → 4

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 46 to 19 computations (58.7% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

44.4b

Counts

5 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 13 to 10 computations (23.1% saved)

localize13.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 1/2 (sin.f64 re)))
✓	4.0b	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

Compiler

Compiled 35 to 13 computations (62.9% saved)

series5.0ms (0.1%)

Counts

2 → 32

Calls

9 calls:

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

rewrite15.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

160×	`rational.json-simplify-2`
120×	`rational.json-simplify-31`
100×	`bool.json-1`
90×	`rational.json-1`
90×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	54
1	66	54
2	131	54
3	185	54
4	238	54
5	305	54
6	362	54
7	405	54

Stop Event

1×

saturated

Counts

2 → 11

Calls

Call 1

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

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

Outputs

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

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

simplify116.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

1280×	`rational.json-simplify-31`
834×	`rational.json-simplify-2`
430×	`rational.json-simplify-1`
314×	`rational.json-simplify-27`
264×	`rational.json-simplify-33`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	89	1641
1	167	1641
2	283	1641
3	510	1641
4	853	1641
5	994	1641
6	1018	1641
7	1038	1641
8	1062	1641
9	1092	1641
10	1536	1641
11	1603	1641
12	1638	1641
13	1671	1641
14	1708	1641
15	1749	1641
16	1787	1641
17	1830	1641
18	1878	1641
19	1922	1641
20	1970	1641
21	2070	1641
22	2087	1641
23	2108	1641
24	2116	1641

Stop Event

1×

saturated

Counts

43 → 62

Calls

Call 1

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

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

eval19.0ms (0.3%)

Compiler: Compiled 1333 to 650 computations (51.2% saved)

prune12.0ms (0.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	57	5	62
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	57	6	63

Error

0.1b

Counts

63 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.9b	(+.f64 (.f64 (sin.f64 re) (neg.f64 im)) (.f64 (pow.f64 im 3) (*.f64 (sin.f64 re) -1/6)))
✓	44.4b	(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 1/2 (sin.f64 re)))
▶	0.7b	(.f64 (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))) (*.f64 1/2 (sin.f64 re)))
▶	0.9b	(.f64 (+.f64 (.f64 -2 im) (.f64 -1/3 (pow.f64 im 3))) (.f64 1/2 (sin.f64 re)))
▶	1.2b	(*.f64 (sin.f64 re) (neg.f64 im))
▶	45.7b	(.f64 re (.f64 (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) -1/2))

Compiler

Compiled 159 to 122 computations (23.3% saved)

localize31.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 81 to 61 computations (24.7% saved)

series8.0ms (0.1%)

Counts

4 → 27

Calls

15 calls:

Time	Variable		Point	Expression
2.0ms	re	@	0	(.f64 (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))) (*.f64 1/2 (sin.f64 re)))
2.0ms	re	@	inf	(.f64 (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))) (*.f64 1/2 (sin.f64 re)))
1.0ms	im	@	inf	(.f64 (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))) (*.f64 1/2 (sin.f64 re)))
1.0ms	im	@	0	(.f64 (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))) (*.f64 1/2 (sin.f64 re)))
1.0ms	re	@	-inf	(.f64 (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))) (*.f64 1/2 (sin.f64 re)))

rewrite9.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

62×	`bool.json-1`
60×	`rational.json-simplify-2`
56×	`rational.json-simplify-1`
46×	`rational.json-1`
46×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	116
1	99	116
2	155	116
3	181	116
4	190	116

Stop Event

1×

saturated

Counts

4 → 8

Calls

Call 1

Inputs
(.f64 (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))) (*.f64 1/2 (sin.f64 re)))
(*.f64 -1/3 (pow.f64 im 3))
(*.f64 -1/60 (pow.f64 im 5))
(+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))

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

simplify28.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

102×	`rational.json-simplify-2`
80×	`rational.json-simplify-1`
42×	`rational.json-simplify-33`
32×	`rational.json-simplify-31`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	67	2055
1	123	2055
2	170	2055
3	200	2055
4	211	2055
5	211	2055

Stop Event

1×

saturated

Counts

35 → 38

Calls

Call 1

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

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

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (sin.f64 re) (neg.f64 im))

Compiler

Compiled 13 to 5 computations (61.5% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite7.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

50×	`rational.json-simplify-2`
38×	`bool.json-1`
32×	`rational.json-1`
32×	`rational.json-2`
28×	`rational.json-simplify-31`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	39	15
2	74	15
3	92	15
4	112	15
5	116	15
6	121	15
7	130	15
8	142	15

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

Outputs

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

simplify11.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

60×	`rational.json-simplify-2`
54×	`rational.json-simplify-1`
36×	`rational.json-simplify-33`
22×	`rational.json-simplify-31`
2×	`rational.json-simplify-9`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	36	578
1	66	530
2	99	530
3	124	530
4	136	530
5	137	530

Stop Event

1×

saturated

Counts

26 → 21

Calls

Call 1

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

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

localize14.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 re (.f64 (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) -1/2))
✓	4.0b	(-.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))

Compiler

Compiled 36 to 12 computations (66.7% saved)

series5.0ms (0.1%)

Counts

2 → 32

Calls

9 calls:

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

rewrite12.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

158×	`rational.json-simplify-2`
144×	`rational.json-simplify-31`
102×	`bool.json-1`
92×	`rational.json-1`
92×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	50
1	62	50
2	125	50
3	182	50
4	236	50
5	310	50
6	369	50
7	420	50

Stop Event

1×

saturated

Counts

2 → 11

Calls

Call 1

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

Outputs

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

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

simplify35.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

284×	`rational.json-simplify-31`
266×	`rational.json-simplify-2`
146×	`rational.json-simplify-1`
78×	`rational.json-simplify-33`
38×	`rational.json-simplify-27`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	72	1277
1	128	1277
2	200	1277
3	291	1277
4	374	1277
5	445	1277
6	487	1277
7	527	1277
8	563	1277
9	574	1277

Stop Event

1×

saturated

Counts

43 → 43

Calls

Call 1

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

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

localize21.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 48 to 34 computations (29.2% saved)

series3.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite8.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

48×	`rational.json-simplify-2`
46×	`bool.json-1`
34×	`rational.json-1`
34×	`rational.json-2`
34×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	41
1	75	41
2	118	41
3	134	41
4	138	41

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

Outputs

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

simplify20.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

86×	`rational.json-simplify-2`
58×	`rational.json-simplify-1`
30×	`rational.json-simplify-33`
28×	`rational.json-simplify-31`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	1326
1	94	1326
2	133	1326
3	159	1326
4	165	1326
5	166	1326

Stop Event

1×

saturated

Counts

26 → 22

Calls

Call 1

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

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

localize16.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 (sin.f64 re) (neg.f64 im)) (.f64 (pow.f64 im 3) (*.f64 (sin.f64 re) -1/6)))
✓	0.0b	(.f64 (pow.f64 im 3) (.f64 (sin.f64 re) -1/6))
	0.1b	(*.f64 (sin.f64 re) (neg.f64 im))
✓	0.3b	(*.f64 (sin.f64 re) -1/6)

Compiler

Compiled 44 to 22 computations (50% saved)

series4.0ms (0.1%)

Counts

3 → 60

Calls

15 calls:

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

rewrite12.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

162×	`rational.json-simplify-31`
148×	`rational.json-simplify-2`
86×	`bool.json-1`
74×	`rational.json-1`
74×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	77
1	68	77
2	118	77
3	145	77
4	165	77
5	169	77
6	174	77
7	183	77
8	194	77
9	207	77
10	260	77
11	328	77
12	370	77

Stop Event

1×

saturated

Counts

3 → 6

Calls

Call 1

Inputs
(*.f64 (sin.f64 re) -1/6)
(.f64 (pow.f64 im 3) (.f64 (sin.f64 re) -1/6))
(+.f64 (.f64 (sin.f64 re) (neg.f64 im)) (.f64 (pow.f64 im 3) (*.f64 (sin.f64 re) -1/6)))

Outputs

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

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

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

simplify37.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

172×	`rational.json-simplify-1`
98×	`rational.json-simplify-33`
86×	`rational.json-simplify-2`
26×	`rational.json-simplify-31`
2×	`rational.json-simplify-9`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	85	2290
1	160	2290
2	217	2290
3	267	2290
4	289	2290
5	291	2290

Stop Event

1×

saturated

Counts

66 → 43

Calls

Call 1

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

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

eval76.0ms (1.2%)

Compiler: Compiled 4346 to 2961 computations (31.9% saved)

prune30.0ms (0.5%)

Pruning

10 alts after pruning (4 fresh and 6 done)

	Pruned	Kept	Total
New	187	4	191
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	187	10	197

Error

0.1b

Counts

197 → 10

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.9b	(+.f64 (.f64 (sin.f64 re) (neg.f64 im)) (.f64 (pow.f64 im 3) (*.f64 (sin.f64 re) -1/6)))
✓	44.4b	(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 1/2 (sin.f64 re)))
✓	0.7b	(.f64 (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))) (*.f64 1/2 (sin.f64 re)))
▶	1.2b	(.f64 (+.f64 (.f64 -2 im) (.f64 (pow.f64 im 5) -1/60)) (.f64 1/2 (sin.f64 re)))
✓	0.9b	(.f64 (+.f64 (.f64 -2 im) (.f64 -1/3 (pow.f64 im 3))) (.f64 1/2 (sin.f64 re)))
✓	1.2b	(*.f64 (sin.f64 re) (neg.f64 im))
▶	31.9b	(*.f64 (neg.f64 im) re)
▶	31.7b	(.f64 re (+.f64 (.f64 -1/6 (pow.f64 im 3)) (neg.f64 im)))
✓	45.7b	(.f64 re (.f64 (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) -1/2))
▶	46.4b	(.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5)))

Compiler

Compiled 130 to 100 computations (23.1% saved)

localize10.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (sin.f64 re) (pow.f64 im 5))
✓	0.0b	(.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5)))

Compiler

Compiled 25 to 15 computations (40% saved)

series3.0ms (0.1%)

Counts

2 → 8

Calls

12 calls:

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

rewrite41.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	40
1	52	40
2	89	40
3	103	40
4	104	40

Stop Event

1×

saturated

Counts

2 → 4

Calls

Call 1

Inputs
(.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5)))
(*.f64 (sin.f64 re) (pow.f64 im 5))

Outputs

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

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

simplify12.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

114×	`rational.json-simplify-1`
88×	`rational.json-simplify-2`
74×	`rational.json-simplify-33`
32×	`rational.json-simplify-31`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	592
1	93	592
2	153	592
3	201	592
4	224	592
5	227	592

Stop Event

1×

saturated

Counts

12 → 31

Calls

Call 1

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

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

localize13.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 re (+.f64 (.f64 -1/6 (pow.f64 im 3)) (neg.f64 im)))
✓	0.1b	(*.f64 -1/6 (pow.f64 im 3))

Compiler

Compiled 34 to 22 computations (35.3% saved)

series3.0ms (0%)

Counts

2 → 24

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	re	@	0	(.f64 re (+.f64 (.f64 -1/6 (pow.f64 im 3)) (neg.f64 im)))
0.0ms	im	@	inf	(.f64 re (+.f64 (.f64 -1/6 (pow.f64 im 3)) (neg.f64 im)))
0.0ms	re	@	inf	(.f64 re (+.f64 (.f64 -1/6 (pow.f64 im 3)) (neg.f64 im)))
0.0ms	im	@	inf	(*.f64 -1/6 (pow.f64 im 3))
0.0ms	im	@	-inf	(*.f64 -1/6 (pow.f64 im 3))

rewrite7.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	42
1	57	42
2	94	42
3	104	42
4	113	42
5	116	42
6	118	42

Stop Event

1×

saturated

Counts

2 → 4

Calls

Call 1

Inputs
(*.f64 -1/6 (pow.f64 im 3))
(.f64 re (+.f64 (.f64 -1/6 (pow.f64 im 3)) (neg.f64 im)))

Outputs

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

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

simplify52.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

310×	`rational.json-simplify-31`
254×	`rational.json-simplify-2`
26×	`rational.json-simplify-27`
26×	`rational.json-simplify-9`
20×	`rational.json-simplify-41`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	25	784
1	40	764
2	53	764
3	66	764
4	86	764
5	115	764
6	154	764
7	208	764
8	265	764
9	359	764
10	403	764

Stop Event

1×

saturated

Counts

28 → 14

Calls

Call 1

Inputs
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 -1 (.f64 re im))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(.f64 -1/6 (.f64 re (pow.f64 im 3)))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(.f64 -1/6 (.f64 re (pow.f64 im 3)))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (*.f64 -1/6 (pow.f64 im 3)) 0)
(+.f64 0 (*.f64 -1/6 (pow.f64 im 3)))
(+.f64 (.f64 re (+.f64 (.f64 -1/6 (pow.f64 im 3)) (neg.f64 im))) 0)
(+.f64 0 (.f64 re (+.f64 (.f64 -1/6 (pow.f64 im 3)) (neg.f64 im))))

Outputs
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 -1 (.f64 re im))
(.f64 re (.f64 -1 im))
(*.f64 re (neg.f64 im))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 re (.f64 -1 im)) (.f64 re (.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 re (*.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 re (.f64 -1 im)) (.f64 re (.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 re (*.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 re (.f64 -1 im)) (.f64 re (.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 re (*.f64 -1/6 (pow.f64 im 3))))
(.f64 -1/6 (.f64 re (pow.f64 im 3)))
(.f64 re (.f64 -1/6 (pow.f64 im 3)))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 re (.f64 -1 im)) (.f64 re (.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 re (*.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 re (.f64 -1 im)) (.f64 re (.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 re (*.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 re (.f64 -1 im)) (.f64 re (.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 re (*.f64 -1/6 (pow.f64 im 3))))
(.f64 -1/6 (.f64 re (pow.f64 im 3)))
(.f64 re (.f64 -1/6 (pow.f64 im 3)))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 re (.f64 -1 im)) (.f64 re (.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 re (*.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 re (.f64 -1 im)) (.f64 re (.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 re (*.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 re (.f64 -1 im)) (.f64 re (.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 re (*.f64 -1/6 (pow.f64 im 3))))
(+.f64 (*.f64 -1/6 (pow.f64 im 3)) 0)
(+.f64 0 (*.f64 -1/6 (pow.f64 im 3)))
(+.f64 (*.f64 -1/6 (pow.f64 im 3)) 0)
(+.f64 (.f64 re (+.f64 (.f64 -1/6 (pow.f64 im 3)) (neg.f64 im))) 0)
(+.f64 0 (.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))
(+.f64 0 (.f64 re (+.f64 (.f64 -1/6 (pow.f64 im 3)) (neg.f64 im))))
(+.f64 0 (.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))

localize4.0ms (0.1%)

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

localize19.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 48 to 34 computations (29.2% saved)

series3.0ms (0.1%)

Counts

2 → 36

Calls

9 calls:

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

rewrite6.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

48×	`rational.json-simplify-2`
46×	`bool.json-1`
34×	`rational.json-1`
34×	`rational.json-2`
34×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	54
1	75	54
2	118	54
3	134	54
4	138	54

Stop Event

1×

saturated

Counts

2 → 4

Calls

Call 1

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

Outputs

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

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

simplify26.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

86×	`rational.json-simplify-2`
60×	`rational.json-simplify-1`
34×	`rational.json-simplify-33`
28×	`rational.json-simplify-31`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	54	1520
1	101	1520
2	138	1520
3	164	1520
4	175	1520
5	175	1520

Stop Event

1×

saturated

Counts

40 → 24

Calls

Call 1

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

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

eval27.0ms (0.4%)

Compiler: Compiled 1462 to 1109 computations (24.1% saved)

prune14.0ms (0.2%)

Pruning

10 alts after pruning (1 fresh and 9 done)

	Pruned	Kept	Total
New	68	1	69
Fresh	0	0	0
Picked	0	1	1
Done	1	8	9
Total	69	10	79

Error

0.1b

Counts

79 → 10

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.9b	(+.f64 (.f64 (sin.f64 re) (neg.f64 im)) (.f64 (pow.f64 im 3) (*.f64 (sin.f64 re) -1/6)))
✓	44.4b	(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 1/2 (sin.f64 re)))
✓	0.7b	(.f64 (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))) (*.f64 1/2 (sin.f64 re)))
✓	1.2b	(.f64 (+.f64 (.f64 -2 im) (.f64 (pow.f64 im 5) -1/60)) (.f64 1/2 (sin.f64 re)))
✓	0.9b	(.f64 (+.f64 (.f64 -2 im) (.f64 -1/3 (pow.f64 im 3))) (.f64 1/2 (sin.f64 re)))
✓	1.2b	(*.f64 (sin.f64 re) (neg.f64 im))
✓	31.9b	(*.f64 (neg.f64 im) re)
▶	31.7b	(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
✓	45.7b	(.f64 re (.f64 (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) -1/2))
✓	46.4b	(.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5)))

Compiler

Compiled 129 to 99 computations (23.3% saved)

localize11.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
	0.1b	(*.f64 -1/6 (pow.f64 im 3))

Compiler

Compiled 30 to 21 computations (30% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

6 calls:

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

rewrite9.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

80×	`rational.json-simplify-2`
66×	`bool.json-1`
54×	`rational.json-1`
54×	`rational.json-2`
40×	`rational.json-simplify-31`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	51	25
2	100	25
3	145	25
4	170	25
5	196	25
6	225	25
7	245	25
8	246	25

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))

Outputs

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

simplify35.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

344×	`rational.json-simplify-31`
250×	`rational.json-simplify-2`
26×	`rational.json-simplify-27`
26×	`rational.json-simplify-9`
20×	`rational.json-simplify-41`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	446
1	34	426
2	50	426
3	64	426
4	84	426
5	113	426
6	152	426
7	201	426
8	260	426
9	348	426
10	418	426

Stop Event

1×

saturated

Counts

14 → 13

Calls

Call 1

Inputs
(.f64 -1 (.f64 re im))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(.f64 -1/6 (.f64 re (pow.f64 im 3)))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(.f64 -1/6 (.f64 re (pow.f64 im 3)))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) re) 0)
(+.f64 0 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) re))

Outputs
(.f64 -1 (.f64 re im))
(*.f64 re (neg.f64 im))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 re (.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 (pow.f64 im 3) (*.f64 re -1/6)))
(+.f64 (.f64 re (neg.f64 im)) (.f64 re (*.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 -1/6 (*.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 re (.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 (pow.f64 im 3) (*.f64 re -1/6)))
(+.f64 (.f64 re (neg.f64 im)) (.f64 re (*.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 -1/6 (*.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 re (.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 (pow.f64 im 3) (*.f64 re -1/6)))
(+.f64 (.f64 re (neg.f64 im)) (.f64 re (*.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 -1/6 (*.f64 re (pow.f64 im 3))))
(.f64 -1/6 (.f64 re (pow.f64 im 3)))
(.f64 re (.f64 -1/6 (pow.f64 im 3)))
(.f64 (pow.f64 im 3) (.f64 re -1/6))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 re (.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 (pow.f64 im 3) (*.f64 re -1/6)))
(+.f64 (.f64 re (neg.f64 im)) (.f64 re (*.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 -1/6 (*.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 re (.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 (pow.f64 im 3) (*.f64 re -1/6)))
(+.f64 (.f64 re (neg.f64 im)) (.f64 re (*.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 -1/6 (*.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 re (.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 (pow.f64 im 3) (*.f64 re -1/6)))
(+.f64 (.f64 re (neg.f64 im)) (.f64 re (*.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 -1/6 (*.f64 re (pow.f64 im 3))))
(.f64 -1/6 (.f64 re (pow.f64 im 3)))
(.f64 re (.f64 -1/6 (pow.f64 im 3)))
(.f64 (pow.f64 im 3) (.f64 re -1/6))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 re (.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 (pow.f64 im 3) (*.f64 re -1/6)))
(+.f64 (.f64 re (neg.f64 im)) (.f64 re (*.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 -1/6 (*.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 re (.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 (pow.f64 im 3) (*.f64 re -1/6)))
(+.f64 (.f64 re (neg.f64 im)) (.f64 re (*.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 -1/6 (*.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 -1 (.f64 re im)) (.f64 re (.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 (pow.f64 im 3) (*.f64 re -1/6)))
(+.f64 (.f64 re (neg.f64 im)) (.f64 re (*.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 re (neg.f64 im)) (.f64 -1/6 (*.f64 re (pow.f64 im 3))))
(+.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) re) 0)
(+.f64 (.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 0)
(+.f64 0 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) re))
(+.f64 (.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 0)

eval3.0ms (0%)

Compiler: Compiled 149 to 96 computations (35.6% saved)

prune6.0ms (0.1%)

Pruning

10 alts after pruning (0 fresh and 10 done)

	Pruned	Kept	Total
New	15	0	15
Fresh	0	0	0
Picked	0	1	1
Done	0	9	9
Total	15	10	25

Error

0.1b

Counts

25 → 10

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.9b	(+.f64 (.f64 (sin.f64 re) (neg.f64 im)) (.f64 (pow.f64 im 3) (*.f64 (sin.f64 re) -1/6)))
✓	44.4b	(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 1/2 (sin.f64 re)))
✓	0.7b	(.f64 (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))) (*.f64 1/2 (sin.f64 re)))
✓	1.2b	(.f64 (+.f64 (.f64 -2 im) (.f64 (pow.f64 im 5) -1/60)) (.f64 1/2 (sin.f64 re)))
✓	0.9b	(.f64 (+.f64 (.f64 -2 im) (.f64 -1/3 (pow.f64 im 3))) (.f64 1/2 (sin.f64 re)))
✓	1.2b	(*.f64 (sin.f64 re) (neg.f64 im))
✓	31.9b	(*.f64 (neg.f64 im) re)
✓	31.7b	(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
✓	45.7b	(.f64 re (.f64 (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) -1/2))
✓	46.4b	(.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5)))

Compiler

Compiled 129 to 99 computations (23.3% saved)

regimes38.0ms (0.6%)

Counts

12 → 1

Calls

Call 1

Inputs
(*.f64 (neg.f64 im) re)
(*.f64 (sin.f64 re) (neg.f64 im))
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 re (+.f64 (.f64 -1/6 (pow.f64 im 3)) (neg.f64 im)))
(.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5)))
(.f64 re (.f64 (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) -1/2))
(.f64 (+.f64 (.f64 -2 im) (.f64 -1/3 (pow.f64 im 3))) (.f64 1/2 (sin.f64 re)))
(.f64 (+.f64 (.f64 -2 im) (.f64 (pow.f64 im 5) -1/60)) (.f64 1/2 (sin.f64 re)))
(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 1/2 (sin.f64 re)))
(+.f64 (.f64 (sin.f64 re) (neg.f64 im)) (.f64 (pow.f64 im 3) (*.f64 (sin.f64 re) -1/6)))
(.f64 (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))) (*.f64 1/2 (sin.f64 re)))

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

Calls

6 calls:

8.0ms	(*.f64 1/2 (sin.f64 re))
7.0ms	re
6.0ms	(sin.f64 re)
6.0ms	im
2.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Results

Error	Segments	Branch
0.7b	1	`re`
0.7b	1	`im`
0.7b	1	`(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))`
0.7b	1	`(*.f64 1/2 (sin.f64 re))`
0.7b	1	`(sin.f64 re)`
0.7b	1	`(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))`

Compiler

Compiled 169 to 105 computations (37.9% saved)

regimes35.0ms (0.6%)

Counts

11 → 1

Calls

Call 1

Inputs
(*.f64 (neg.f64 im) re)
(*.f64 (sin.f64 re) (neg.f64 im))
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 re (+.f64 (.f64 -1/6 (pow.f64 im 3)) (neg.f64 im)))
(.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5)))
(.f64 re (.f64 (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) -1/2))
(.f64 (+.f64 (.f64 -2 im) (.f64 -1/3 (pow.f64 im 3))) (.f64 1/2 (sin.f64 re)))
(.f64 (+.f64 (.f64 -2 im) (.f64 (pow.f64 im 5) -1/60)) (.f64 1/2 (sin.f64 re)))
(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 1/2 (sin.f64 re)))
(+.f64 (.f64 (sin.f64 re) (neg.f64 im)) (.f64 (pow.f64 im 3) (*.f64 (sin.f64 re) -1/6)))

Outputs
(+.f64 (.f64 (sin.f64 re) (neg.f64 im)) (.f64 (pow.f64 im 3) (*.f64 (sin.f64 re) -1/6)))

Calls

6 calls:

8.0ms	(sin.f64 re)
7.0ms	im
6.0ms	(*.f64 1/2 (sin.f64 re))
6.0ms	re
2.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

Results

Error	Segments	Branch
0.9b	1	`re`
0.9b	1	`im`
0.9b	1	`(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))`
0.9b	1	`(*.f64 1/2 (sin.f64 re))`
0.9b	1	`(sin.f64 re)`
0.9b	1	`(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))`

Compiler

Compiled 149 to 90 computations (39.6% saved)

regimes34.0ms (0.5%)

Counts

10 → 1

Calls

Call 1

Inputs
(*.f64 (neg.f64 im) re)
(*.f64 (sin.f64 re) (neg.f64 im))
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 re (+.f64 (.f64 -1/6 (pow.f64 im 3)) (neg.f64 im)))
(.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5)))
(.f64 re (.f64 (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) -1/2))
(.f64 (+.f64 (.f64 -2 im) (.f64 -1/3 (pow.f64 im 3))) (.f64 1/2 (sin.f64 re)))
(.f64 (+.f64 (.f64 -2 im) (.f64 (pow.f64 im 5) -1/60)) (.f64 1/2 (sin.f64 re)))
(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 1/2 (sin.f64 re)))

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

Calls

6 calls:

6.0ms	re
6.0ms	(sin.f64 re)
6.0ms	(*.f64 1/2 (sin.f64 re))
5.0ms	im
5.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

Results

Error	Segments	Branch
0.9b	1	`re`
0.9b	1	`im`
0.9b	1	`(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))`
0.9b	1	`(*.f64 1/2 (sin.f64 re))`
0.9b	1	`(sin.f64 re)`
0.9b	1	`(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))`

Compiler

Compiled 135 to 84 computations (37.8% saved)

regimes16.0ms (0.3%)

Accuracy

Total -46.0b remaining (-3946.4%)

Threshold costs -46.0b (-3946.4%)

Counts

6 → 1

Calls

Call 1

Inputs
(*.f64 (neg.f64 im) re)
(*.f64 (sin.f64 re) (neg.f64 im))
(.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 re (+.f64 (.f64 -1/6 (pow.f64 im 3)) (neg.f64 im)))
(.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5)))
(.f64 re (.f64 (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) -1/2))

Outputs
(*.f64 (sin.f64 re) (neg.f64 im))

Calls

3 calls:

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

Results

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

Compiler

Compiled 58 to 36 computations (37.9% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	169

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(.f64 (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))) (*.f64 1/2 (sin.f64 re)))
(+.f64 (.f64 (sin.f64 re) (neg.f64 im)) (.f64 (pow.f64 im 3) (*.f64 (sin.f64 re) -1/6)))
(.f64 (+.f64 (.f64 -2 im) (.f64 -1/3 (pow.f64 im 3))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (neg.f64 im))
(*.f64 (neg.f64 im) re)

Outputs
(.f64 (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))) (*.f64 1/2 (sin.f64 re)))
(+.f64 (.f64 (sin.f64 re) (neg.f64 im)) (.f64 (pow.f64 im 3) (*.f64 (sin.f64 re) -1/6)))
(.f64 (+.f64 (.f64 -2 im) (.f64 -1/3 (pow.f64 im 3))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (neg.f64 im))
(*.f64 (neg.f64 im) re)

Compiler

Compiled 67 to 51 computations (23.9% saved)

soundness9.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

236×	`rational.json-simplify-31`
168×	`rational.json-simplify-2`
38×	`rational.json-simplify-27`
32×	`rational.json-simplify-9`
30×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	35
1	21	35
2	32	35
3	48	35
4	76	35
5	122	35
6	196	35
7	305	35
8	328	35
9	334	35

Stop Event

1×

saturated

Compiler

Compiled 24 to 13 computations (45.8% saved)

end39.0ms (0.6%)

Compiler: Compiled 59 to 37 computations (37.3% saved)

Iter	Nodes	Cost
0	20	70
1	35	70
2	57	70
3	89	70
4	141	70
5	232	70
6	374	70
7	543	70
8	606	70
9	606	70
10	617	70
0	2	2

Iter	Nodes	Cost
0	14	77
1	68	77
2	118	77
3	145	77
4	165	77
5	169	77
6	174	77
7	183	77
8	194	77
9	207	77
10	260	77
11	328	77
12	370	77

Iter	Nodes	Cost
0	25	784
1	40	764
2	53	764
3	66	764
4	86	764
5	115	764
6	154	764
7	208	764
8	265	764
9	359	764
10	403	764

Iter	Nodes	Cost
0	19	446
1	34	426
2	50	426
3	64	426
4	84	426
5	113	426
6	152	426
7	201	426
8	260	426
9	348	426
10	418	426

Iter	Nodes	Cost
0	20	70
1	35	70
2	57	70
3	89	70
4	141	70
5	232	70
6	374	70
7	543	70
8	606	70
9	606	70
10	617	70
0	2	2

Iter	Nodes	Cost
0	14	77
1	68	77
2	118	77
3	145	77
4	165	77
5	169	77
6	174	77
7	183	77
8	194	77
9	207	77
10	260	77
11	328	77
12	370	77

Iter	Nodes	Cost
0	25	784
1	40	764
2	53	764
3	66	764
4	86	764
5	115	764
6	154	764
7	208	764
8	265	764
9	359	764
10	403	764

Iter	Nodes	Cost
0	19	446
1	34	426
2	50	426
3	64	426
4	84	426
5	113	426
6	152	426
7	201	426
8	260	426
9	348	426
10	418	426

Details

analyze164.0ms (2.6%)

sample4.9s (78.7%)

preprocess11.0ms (0.2%)

simplify91.0ms (1.5%)

eval1.0ms (0%)

prune1.0ms (0%)

localize13.0ms (0.2%)

series5.0ms (0.1%)

rewrite15.0ms (0.2%)

simplify116.0ms (1.9%)

eval19.0ms (0.3%)

prune12.0ms (0.2%)

localize31.0ms (0.5%)

series8.0ms (0.1%)

rewrite9.0ms (0.1%)

simplify28.0ms (0.5%)

localize6.0ms (0.1%)

series2.0ms (0%)

rewrite7.0ms (0.1%)

simplify11.0ms (0.2%)

localize14.0ms (0.2%)

series5.0ms (0.1%)

rewrite12.0ms (0.2%)

simplify35.0ms (0.6%)

localize21.0ms (0.3%)

series3.0ms (0%)

rewrite8.0ms (0.1%)

simplify20.0ms (0.3%)

localize16.0ms (0.3%)

series4.0ms (0.1%)

rewrite12.0ms (0.2%)

simplify37.0ms (0.6%)

eval76.0ms (1.2%)

prune30.0ms (0.5%)

localize10.0ms (0.2%)

series3.0ms (0.1%)

rewrite41.0ms (0.7%)

simplify12.0ms (0.2%)

localize13.0ms (0.2%)

series3.0ms (0%)

rewrite7.0ms (0.1%)

simplify52.0ms (0.8%)

localize4.0ms (0.1%)

localize19.0ms (0.3%)

series3.0ms (0.1%)

rewrite6.0ms (0.1%)

simplify26.0ms (0.4%)

eval27.0ms (0.4%)

prune14.0ms (0.2%)

localize11.0ms (0.2%)

series1.0ms (0%)

rewrite9.0ms (0.2%)

simplify35.0ms (0.6%)

eval3.0ms (0%)

prune6.0ms (0.1%)

regimes38.0ms (0.6%)

regimes35.0ms (0.6%)

regimes34.0ms (0.5%)

regimes16.0ms (0.3%)

simplify3.0ms (0.1%)

soundness9.0ms (0.2%)

end39.0ms (0.6%)

Profiling

Iter	Nodes	Cost
0	20	70
1	35	70
2	57	70
3	89	70
4	141	70
5	232	70
6	374	70
7	543	70
8	606	70
9	606	70
10	617	70
0	2	2

Iter	Nodes	Cost
0	14	77
1	68	77
2	118	77
3	145	77
4	165	77
5	169	77
6	174	77
7	183	77
8	194	77
9	207	77
10	260	77
11	328	77
12	370	77

Iter	Nodes	Cost
0	25	784
1	40	764
2	53	764
3	66	764
4	86	764
5	115	764
6	154	764
7	208	764
8	265	764
9	359	764
10	403	764

Iter	Nodes	Cost
0	19	446
1	34	426
2	50	426
3	64	426
4	84	426
5	113	426
6	152	426
7	201	426
8	260	426
9	348	426
10	418	426