Details

analyze54.0ms (1.3%)

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
50%	50%	50%	0.1%	0%	0%	0%	2
50%	50%	50%	0.1%	0%	0%	0%	3
75%	74.9%	25%	0.1%	0%	0%	0%	4
75%	74.9%	25%	0.1%	0%	0%	0%	5
80%	74.9%	18.7%	0.1%	6.2%	0%	0%	6
80%	74.9%	18.7%	0.1%	6.2%	0%	0%	7
82.8%	74.9%	15.6%	0.1%	9.4%	0%	0%	8
82.8%	74.9%	15.6%	0.1%	9.4%	0%	0%	9
84.2%	74.9%	14%	0.1%	10.9%	0%	0%	10
84.2%	74.9%	14%	0.1%	10.9%	0%	0%	11
85%	74.9%	13.3%	0.1%	11.7%	0%	0%	12

Compiler

Compiled 8 to 6 computations (25% saved)

sample2.7s (67.9%)

Results

1.1s	6213×	body	256	valid
938.0ms	1369×	body	1024	valid
294.0ms	676×	body	1024	infinite
235.0ms	669×	body	512	valid
112.0ms	347×	body	512	infinite
43.0ms	382×	body	256	infinite
3.0ms	5×	body	2048	valid

Bogosity

preprocess112.0ms (2.8%)

Algorithm

2×	egg-herbie

Rules

1296×	`rational.json-simplify-46`
1254×	`rational.json-simplify-59`
1114×	`rational.json-simplify-35`
944×	`rational.json-simplify-1`
772×	`rational.json-simplify-42`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	30
1	17	30
2	29	30
3	47	30
4	87	30
5	160	30
6	369	30
7	875	30
8	2078	30
9	2941	30
10	4143	30
11	6766	30
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 im) (cos.f64 re))

Outputs
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 im) (cos.f64 re))

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify510.0ms (12.6%)

Algorithm

1×	egg-herbie

Rules

2524×	`rational.json-simplify-42`
2160×	`rational.json-simplify-35`
2098×	`rational.json-simplify-45`
1716×	`rational.json-simplify-1`
1044×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	11	15
2	18	15
3	28	15
4	52	15
5	93	15
6	208	15
7	479	15
8	1122	15
9	2615	15
10	3528	15
11	4109	15
12	4656	15
13	4962	15
14	5082	15
15	5203	15
16	5513	15
17	5642	15
18	5758	15
19	5885	15
20	5999	15
21	6113	15
22	6227	15
23	6227	15
24	6227	15

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 (exp.f64 re) (cos.f64 im))

Outputs
(*.f64 (exp.f64 re) (cos.f64 im))

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 5 computations (61.5% saved)

series3.0ms (0.1%)

Counts

1 → 8

Calls

6 calls:

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

rewrite123.0ms (3%)

Algorithm

1×	batch-egg-rewrite

Rules

1746×	`rational.json-simplify-35`
1468×	`rational.json-1`
1468×	`rational.json-2`
1468×	`rational.json-4`
1468×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	53	15
2	125	15
3	281	15
4	533	15
5	1196	15
6	2429	15
7	3946	15
8	5216	15
9	7196	15

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

Inputs
(*.f64 (exp.f64 re) (cos.f64 im))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (exp.f64 re) (cos.f64 im)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (exp.f64 re) (cos.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (exp.f64 re) (.f64 (cos.f64 im) 1/2)) (.f64 (exp.f64 re) (.f64 (cos.f64 im) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (exp.f64 re) (cos.f64 im)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (exp.f64 re) (cos.f64 im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (exp.f64 re) (.f64 (cos.f64 im) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (exp.f64 re) (.f64 (cos.f64 im) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (exp.f64 re) (.f64 (cos.f64 im) 8)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (exp.f64 re) 2) (.f64 (cos.f64 im) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (.f64 (exp.f64 re) 2) (.f64 (cos.f64 im) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (.f64 (exp.f64 re) 2) (.f64 (cos.f64 im) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 (exp.f64 re) 2) (.f64 (cos.f64 im) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 (exp.f64 re) 2) (.f64 (cos.f64 im) 8))))) (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 (exp.f64 re) 2) (.f64 (cos.f64 im) 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1)))))

Outputs

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

simplify395.0ms (9.8%)

Algorithm

1×	egg-herbie

Rules

2214×	`rational.json-simplify-2`
1876×	`rational.json-simplify-35`
1574×	`rational.json-simplify-1`
1182×	`rational.json-simplify-42`
926×	`rational.json-simplify-43`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	78	550
1	192	550
2	383	510
3	820	490
4	2483	490
5	4556	490
6	5126	490
7	5290	490
8	5423	490
9	5575	490
10	5740	490
11	6622	490
12	7124	490
13	7479	490
14	7638	490
15	7644	490
16	7649	490

Stop Event

1×	node limit

Counts

22 → 44

Calls

Call 1

Inputs
(cos.f64 im)
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(+.f64 (.f64 1/6 (.f64 (cos.f64 im) (pow.f64 re 3))) (+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))))
(exp.f64 re)
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (exp.f64 re))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/24 (.f64 (exp.f64 re) (pow.f64 im 4))) (exp.f64 re)))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/24 (.f64 (exp.f64 re) (pow.f64 im 4))) (+.f64 (exp.f64 re) (.f64 -1/720 (.f64 (exp.f64 re) (pow.f64 im 6))))))
(+.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 0)
(+.f64 0 (*.f64 (exp.f64 re) (cos.f64 im)))
(+.f64 (.f64 (exp.f64 re) (.f64 (cos.f64 im) 1/2)) (.f64 (exp.f64 re) (.f64 (cos.f64 im) 1/2)))
(-.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 0)
(/.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1)
(/.f64 (.f64 (exp.f64 re) (.f64 (cos.f64 im) 2)) 2)
(/.f64 (.f64 (exp.f64 re) (.f64 (cos.f64 im) 4)) 4)
(/.f64 (.f64 (exp.f64 re) (.f64 (cos.f64 im) 8)) 8)
(/.f64 (.f64 (.f64 (exp.f64 re) 2) (*.f64 (cos.f64 im) 8)) 16)
(/.f64 (.f64 2 (.f64 (.f64 (exp.f64 re) 2) (.f64 (cos.f64 im) 8))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 (exp.f64 re) 2) (*.f64 (cos.f64 im) 8)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 (exp.f64 re) 2) (.f64 (cos.f64 im) 8))))) 128)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 (exp.f64 re) 2) (.f64 (cos.f64 im) 8))))) (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 (exp.f64 re) 2) (.f64 (cos.f64 im) 8)))))) 256)
(pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1)

Outputs
(cos.f64 im)
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (cos.f64 im) (*.f64 (cos.f64 im) re))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(+.f64 (.f64 (cos.f64 im) re) (+.f64 (cos.f64 im) (.f64 (cos.f64 im) (*.f64 (pow.f64 re 2) 1/2))))
(+.f64 (.f64 (cos.f64 im) re) (+.f64 (cos.f64 im) (.f64 (pow.f64 re 2) (*.f64 (cos.f64 im) 1/2))))
(+.f64 (cos.f64 im) (.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re)))
(+.f64 (cos.f64 im) (.f64 (cos.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(+.f64 (.f64 1/6 (.f64 (cos.f64 im) (pow.f64 re 3))) (+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))))
(+.f64 (.f64 (cos.f64 im) (.f64 (pow.f64 re 2) 1/2)) (+.f64 (+.f64 (cos.f64 im) (.f64 (cos.f64 im) re)) (.f64 1/6 (*.f64 (cos.f64 im) (pow.f64 re 3)))))
(+.f64 (.f64 (cos.f64 im) re) (+.f64 (+.f64 (cos.f64 im) (.f64 (pow.f64 re 2) (.f64 (cos.f64 im) 1/2))) (.f64 (pow.f64 re 3) (*.f64 1/6 (cos.f64 im)))))
(+.f64 (cos.f64 im) (+.f64 (.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re)) (.f64 1/6 (.f64 (cos.f64 im) (pow.f64 re 3)))))
(+.f64 (cos.f64 im) (.f64 (cos.f64 im) (+.f64 (.f64 1/6 (pow.f64 re 3)) (+.f64 re (*.f64 1/2 (pow.f64 re 2))))))
(+.f64 (cos.f64 im) (.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/6 (pow.f64 re 3)) (*.f64 1/2 (pow.f64 re 2))))))
(exp.f64 re)
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (exp.f64 re))
(+.f64 (exp.f64 re) (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))))
(+.f64 (exp.f64 re) (.f64 (exp.f64 re) (.f64 -1/2 (pow.f64 im 2))))
(+.f64 (exp.f64 re) (.f64 (pow.f64 im 2) (.f64 (exp.f64 re) -1/2)))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/24 (.f64 (exp.f64 re) (pow.f64 im 4))) (exp.f64 re)))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (exp.f64 re) (.f64 (exp.f64 re) (.f64 (pow.f64 im 4) 1/24))))
(+.f64 (+.f64 (exp.f64 re) (.f64 (exp.f64 re) (.f64 -1/2 (pow.f64 im 2)))) (.f64 (exp.f64 re) (.f64 1/24 (pow.f64 im 4))))
(+.f64 (exp.f64 re) (.f64 (exp.f64 re) (+.f64 (.f64 1/24 (pow.f64 im 4)) (*.f64 -1/2 (pow.f64 im 2)))))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/24 (.f64 (exp.f64 re) (pow.f64 im 4))) (+.f64 (exp.f64 re) (.f64 -1/720 (.f64 (exp.f64 re) (pow.f64 im 6))))))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (exp.f64 re) (+.f64 (.f64 (exp.f64 re) (.f64 (pow.f64 im 6) -1/720)) (.f64 (exp.f64 re) (.f64 (pow.f64 im 4) 1/24)))))
(+.f64 (.f64 (exp.f64 re) (.f64 -1/2 (pow.f64 im 2))) (+.f64 (exp.f64 re) (+.f64 (.f64 (exp.f64 re) (.f64 1/24 (pow.f64 im 4))) (.f64 (exp.f64 re) (.f64 -1/720 (pow.f64 im 6))))))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (exp.f64 re) (.f64 (exp.f64 re) (+.f64 (.f64 -1/720 (pow.f64 im 6)) (*.f64 1/24 (pow.f64 im 4))))))
(+.f64 (exp.f64 re) (.f64 (exp.f64 re) (+.f64 (.f64 -1/2 (pow.f64 im 2)) (+.f64 (.f64 -1/720 (pow.f64 im 6)) (.f64 1/24 (pow.f64 im 4))))))
(+.f64 (exp.f64 re) (.f64 (exp.f64 re) (+.f64 (.f64 -1/720 (pow.f64 im 6)) (+.f64 (.f64 1/24 (pow.f64 im 4)) (.f64 -1/2 (pow.f64 im 2))))))
(+.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 0)
(*.f64 (cos.f64 im) (exp.f64 re))
(+.f64 0 (*.f64 (exp.f64 re) (cos.f64 im)))
(*.f64 (cos.f64 im) (exp.f64 re))
(+.f64 (.f64 (exp.f64 re) (.f64 (cos.f64 im) 1/2)) (.f64 (exp.f64 re) (.f64 (cos.f64 im) 1/2)))
(*.f64 (cos.f64 im) (exp.f64 re))
(-.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 0)
(*.f64 (cos.f64 im) (exp.f64 re))
(/.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1)
(*.f64 (cos.f64 im) (exp.f64 re))
(/.f64 (.f64 (exp.f64 re) (.f64 (cos.f64 im) 2)) 2)
(*.f64 (cos.f64 im) (exp.f64 re))
(/.f64 (.f64 (exp.f64 re) (.f64 (cos.f64 im) 4)) 4)
(*.f64 (cos.f64 im) (exp.f64 re))
(/.f64 (.f64 (exp.f64 re) (.f64 (cos.f64 im) 8)) 8)
(*.f64 (cos.f64 im) (exp.f64 re))
(/.f64 (.f64 (.f64 (exp.f64 re) 2) (*.f64 (cos.f64 im) 8)) 16)
(*.f64 (cos.f64 im) (exp.f64 re))
(/.f64 (.f64 2 (.f64 (.f64 (exp.f64 re) 2) (.f64 (cos.f64 im) 8))) 32)
(*.f64 (cos.f64 im) (exp.f64 re))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 (exp.f64 re) 2) (*.f64 (cos.f64 im) 8)))) 64)
(*.f64 (cos.f64 im) (exp.f64 re))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 (exp.f64 re) 2) (.f64 (cos.f64 im) 8))))) 128)
(*.f64 (cos.f64 im) (exp.f64 re))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 (exp.f64 re) 2) (.f64 (cos.f64 im) 8))))) (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 (exp.f64 re) 2) (.f64 (cos.f64 im) 8)))))) 256)
(*.f64 (cos.f64 im) (exp.f64 re))
(pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1)
(*.f64 (cos.f64 im) (exp.f64 re))

eval12.0ms (0.3%)

Compiler: Compiled 680 to 388 computations (42.9% saved)

prune7.0ms (0.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	42	2	44
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	42	3	45

Error

0.0b

Counts

45 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
▶	21.1b	(exp.f64 re)
▶	20.0b	(cos.f64 im)

Compiler

Compiled 15 to 11 computations (26.7% saved)

localize3.0ms (0.1%)

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

localize2.0ms (0.1%)

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

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

0.0b

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
✓	21.1b	(exp.f64 re)
✓	20.0b	(cos.f64 im)

Compiler

Compiled 15 to 11 computations (26.7% saved)

regimes16.0ms (0.4%)

Counts

3 → 1

Calls

Call 1

Inputs
(cos.f64 im)
(exp.f64 re)
(*.f64 (exp.f64 re) (cos.f64 im))

Outputs
(*.f64 (exp.f64 re) (cos.f64 im))

Calls

5 calls:

3.0ms	(*.f64 (exp.f64 re) (cos.f64 im))
3.0ms	im
3.0ms	re
3.0ms	(cos.f64 im)
2.0ms	(exp.f64 re)

Results

Error	Segments	Branch
0.0b	1	`re`
0.0b	1	`im`
0.0b	1	`(*.f64 (exp.f64 re) (cos.f64 im))`
0.0b	1	`(exp.f64 re)`
0.0b	1	`(cos.f64 im)`

Compiler

Compiled 32 to 20 computations (37.5% saved)

regimes34.0ms (0.8%)

Accuracy

Total -39.0b remaining (-3687.4%)

Threshold costs -39.0b (-3687.4%)

Counts

2 → 2

Calls

Call 1

Inputs
(cos.f64 im)
(exp.f64 re)

Outputs
(exp.f64 re)
(cos.f64 im)

Calls

4 calls:

19.0ms	im
6.0ms	(cos.f64 im)
6.0ms	re
3.0ms	(exp.f64 re)

Results

Error	Segments	Branch
1.1b	2	`re`
8.8b	5	`im`
1.1b	2	`(exp.f64 re)`
10.1b	2	`(cos.f64 im)`

Compiler

Compiled 20 to 14 computations (30% saved)

bsearch0.0ms (0%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
0.0ms	0.9999999999992335	0.9999999999999998

Compiler

Compiled 12 to 9 computations (25% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	43

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(*.f64 (exp.f64 re) (cos.f64 im))
(if (<=.f64 (exp.f64 re) 1125899906842061/1125899906842624) (exp.f64 re) (cos.f64 im))
(cos.f64 im)

Outputs
(*.f64 (exp.f64 re) (cos.f64 im))
(if (<=.f64 (exp.f64 re) 1125899906842061/1125899906842624) (exp.f64 re) (cos.f64 im))
(cos.f64 im)

Compiler

Compiled 22 to 15 computations (31.8% saved)

soundness0.0ms (0%)

end18.0ms (0.4%)

Compiler: Compiled 18 to 8 computations (55.6% saved)

Details

analyze54.0ms (1.3%)

sample2.7s (67.9%)

preprocess112.0ms (2.8%)

simplify510.0ms (12.6%)

eval0.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.2%)

series3.0ms (0.1%)

rewrite123.0ms (3%)

simplify395.0ms (9.8%)

eval12.0ms (0.3%)

prune7.0ms (0.2%)

localize3.0ms (0.1%)

localize2.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes16.0ms (0.4%)

regimes34.0ms (0.8%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

end18.0ms (0.4%)

Profiling