Details

analyze54.0ms (2.1%)

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.0s (77.3%)

Results

797.0ms	6135×	body	256	valid
651.0ms	1419×	body	1024	valid
235.0ms	699×	body	512	valid
216.0ms	688×	body	1024	infinite
65.0ms	340×	body	512	infinite
45.0ms	405×	body	256	infinite
2.0ms	3×	body	2048	valid

Bogosity

preprocess95.0ms (3.6%)

Algorithm

2×	egg-herbie

Rules

1524×	`rational_best_oopsla_all_46_json_45_simplify-10`
1452×	`rational_best_oopsla_all_46_json_45_simplify-30`
1420×	`rational_best_oopsla_all_46_json_45_simplify-72`
1074×	`rational_best_oopsla_all_46_json_45_simplify-89`
852×	`rational_best_oopsla_all_46_json_45_simplify-74`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	30
1	21	30
2	65	30
3	231	30
4	942	30
5	3630	30
6	6505	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)

simplify162.0ms (6.2%)

Algorithm

1×	egg-herbie

Rules

1878×	`rational_best_oopsla_all_46_json_45_simplify-10`
1098×	`rational_best_oopsla_all_46_json_45_simplify-49`
1058×	`rational_best_oopsla_all_46_json_45_simplify-7`
964×	`rational_best_oopsla_all_46_json_45_simplify-72`
708×	`rational_best_oopsla_all_46_json_45_simplify-30`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	13	15
2	35	15
3	118	15
4	471	15
5	2523	15
6	5336	15
7	7992	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)

series2.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	im	@	inf	(*.f64 (exp.f64 re) (cos.f64 im))
0.0ms	re	@	0	(*.f64 (exp.f64 re) (cos.f64 im))
0.0ms	re	@	-inf	(*.f64 (exp.f64 re) (cos.f64 im))

rewrite60.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1544×	`rational_best_oopsla_all_46_json-2`
1544×	`rational_best_oopsla_all_46_json-1`
1544×	`rational_best_oopsla_all_46_json-4`
1544×	`rational_best_oopsla_all_46_json-3`
1246×	`rational_best_oopsla_all_46_json_45_simplify-72`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	47	15
2	144	15
3	610	15
4	3073	15

Stop Event

1×	node limit

Counts

1 → 24

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 (.f64 (exp.f64 re) (cos.f64 im)) (.f64 0 (/.f64 (.f64 (exp.f64 re) (cos.f64 im)) (.f64 (exp.f64 re) (cos.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (exp.f64 re) (cos.f64 im)) (.f64 0 (.f64 (exp.f64 re) (/.f64 (cos.f64 im) (exp.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (exp.f64 re) (cos.f64 im)) (.f64 0 (.f64 (cos.f64 im) (.f64 (/.f64 (exp.f64 re) (exp.f64 re)) (/.f64 (exp.f64 re) (exp.f64 re))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (exp.f64 re) (cos.f64 im)) (.f64 0 (.f64 (exp.f64 re) (/.f64 (cos.f64 im) (cos.f64 im)))))))) (#(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 0 (/.f64 (.f64 (exp.f64 re) (cos.f64 im)) (.f64 (exp.f64 re) (cos.f64 im)))) (.f64 (exp.f64 re) (cos.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 0 (.f64 (exp.f64 re) (/.f64 (cos.f64 im) (exp.f64 re)))) (.f64 (exp.f64 re) (cos.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 0 (.f64 (cos.f64 im) (.f64 (/.f64 (exp.f64 re) (exp.f64 re)) (/.f64 (exp.f64 re) (exp.f64 re))))) (.f64 (exp.f64 re) (cos.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 0 (.f64 (exp.f64 re) (/.f64 (cos.f64 im) (cos.f64 im)))) (.f64 (exp.f64 re) (cos.f64 im)))))) (#(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) (neg.f64 (cos.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 0 (/.f64 (.f64 (exp.f64 re) (cos.f64 im)) (.f64 (exp.f64 re) (cos.f64 im)))) (.f64 (/.f64 (.f64 (exp.f64 re) (cos.f64 im)) (.f64 (exp.f64 re) (cos.f64 im))) (.f64 (exp.f64 re) (neg.f64 (cos.f64 im)))))))) (#(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) (cos.f64 im)) (/.f64 (exp.f64 re) (exp.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (exp.f64 re) (cos.f64 im)) (/.f64 (cos.f64 im) (cos.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (exp.f64 re) (cos.f64 im)) (/.f64 (.f64 (exp.f64 re) (cos.f64 im)) (.f64 (exp.f64 re) (cos.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (exp.f64 re) (cos.f64 im)) (/.f64 (/.f64 (exp.f64 re) (exp.f64 re)) (/.f64 (exp.f64 re) (exp.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (exp.f64 re) (cos.f64 im)) (/.f64 (.f64 (cos.f64 im) (/.f64 (exp.f64 re) (exp.f64 re))) (.f64 (cos.f64 im) (/.f64 (exp.f64 re) (exp.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (exp.f64 re) (cos.f64 im)) (/.f64 (.f64 (exp.f64 re) (/.f64 (cos.f64 im) (cos.f64 im))) (.f64 (exp.f64 re) (/.f64 (cos.f64 im) (cos.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (exp.f64 re) (cos.f64 im)) (/.f64 (.f64 (exp.f64 re) (/.f64 (cos.f64 im) (exp.f64 re))) (.f64 (exp.f64 re) (/.f64 (cos.f64 im) (exp.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (exp.f64 re) (cos.f64 im)) (/.f64 (.f64 (cos.f64 im) (.f64 (/.f64 (exp.f64 re) (exp.f64 re)) (/.f64 (exp.f64 re) (exp.f64 re)))) (.f64 (cos.f64 im) (.f64 (/.f64 (exp.f64 re) (exp.f64 re)) (/.f64 (exp.f64 re) (exp.f64 re))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (exp.f64 re) (cos.f64 im)) (/.f64 (/.f64 (.f64 (exp.f64 re) (cos.f64 im)) (.f64 (exp.f64 re) (cos.f64 im))) (/.f64 (.f64 (exp.f64 re) (cos.f64 im)) (.f64 (exp.f64 re) (cos.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 (exp.f64 re) (neg.f64 (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 (*.f64 (exp.f64 re) (cos.f64 im)) (*.f64 0 (/.f64 (*.f64 (exp.f64 re) (cos.f64 im)) (*.f64 (exp.f64 re) (cos.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (exp.f64 re) (cos.f64 im)) (*.f64 0 (*.f64 (exp.f64 re) (/.f64 (cos.f64 im) (exp.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (exp.f64 re) (cos.f64 im)) (*.f64 0 (*.f64 (cos.f64 im) (*.f64 (/.f64 (exp.f64 re) (exp.f64 re)) (/.f64 (exp.f64 re) (exp.f64 re))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (exp.f64 re) (cos.f64 im)) (*.f64 0 (*.f64 (exp.f64 re) (/.f64 (cos.f64 im) (cos.f64 im)))))))) (#(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 0 (/.f64 (*.f64 (exp.f64 re) (cos.f64 im)) (*.f64 (exp.f64 re) (cos.f64 im)))) (*.f64 (exp.f64 re) (cos.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (*.f64 (exp.f64 re) (/.f64 (cos.f64 im) (exp.f64 re)))) (*.f64 (exp.f64 re) (cos.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (*.f64 (cos.f64 im) (*.f64 (/.f64 (exp.f64 re) (exp.f64 re)) (/.f64 (exp.f64 re) (exp.f64 re))))) (*.f64 (exp.f64 re) (cos.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (*.f64 (exp.f64 re) (/.f64 (cos.f64 im) (cos.f64 im)))) (*.f64 (exp.f64 re) (cos.f64 im)))))) (#(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) (neg.f64 (cos.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (/.f64 (*.f64 (exp.f64 re) (cos.f64 im)) (*.f64 (exp.f64 re) (cos.f64 im)))) (*.f64 (/.f64 (*.f64 (exp.f64 re) (cos.f64 im)) (*.f64 (exp.f64 re) (cos.f64 im))) (*.f64 (exp.f64 re) (neg.f64 (cos.f64 im)))))))) (#(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) (cos.f64 im)) (/.f64 (exp.f64 re) (exp.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (exp.f64 re) (cos.f64 im)) (/.f64 (cos.f64 im) (cos.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (exp.f64 re) (cos.f64 im)) (/.f64 (*.f64 (exp.f64 re) (cos.f64 im)) (*.f64 (exp.f64 re) (cos.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (exp.f64 re) (cos.f64 im)) (/.f64 (/.f64 (exp.f64 re) (exp.f64 re)) (/.f64 (exp.f64 re) (exp.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (exp.f64 re) (cos.f64 im)) (/.f64 (*.f64 (cos.f64 im) (/.f64 (exp.f64 re) (exp.f64 re))) (*.f64 (cos.f64 im) (/.f64 (exp.f64 re) (exp.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (exp.f64 re) (cos.f64 im)) (/.f64 (*.f64 (exp.f64 re) (/.f64 (cos.f64 im) (cos.f64 im))) (*.f64 (exp.f64 re) (/.f64 (cos.f64 im) (cos.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (exp.f64 re) (cos.f64 im)) (/.f64 (*.f64 (exp.f64 re) (/.f64 (cos.f64 im) (exp.f64 re))) (*.f64 (exp.f64 re) (/.f64 (cos.f64 im) (exp.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (exp.f64 re) (cos.f64 im)) (/.f64 (*.f64 (cos.f64 im) (*.f64 (/.f64 (exp.f64 re) (exp.f64 re)) (/.f64 (exp.f64 re) (exp.f64 re)))) (*.f64 (cos.f64 im) (*.f64 (/.f64 (exp.f64 re) (exp.f64 re)) (/.f64 (exp.f64 re) (exp.f64 re))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (exp.f64 re) (cos.f64 im)) (/.f64 (/.f64 (*.f64 (exp.f64 re) (cos.f64 im)) (*.f64 (exp.f64 re) (cos.f64 im))) (/.f64 (*.f64 (exp.f64 re) (cos.f64 im)) (*.f64 (exp.f64 re) (cos.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 (exp.f64 re) (neg.f64 (cos.f64 im))))))))

simplify74.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

1342×	`rational_best_oopsla_all_46_json_45_simplify-49`
1144×	`rational_best_oopsla_all_46_json_45_simplify-7`
996×	`rational_best_oopsla_all_46_json_45_simplify-89`
748×	`rational_best_oopsla_all_46_json_45_simplify-74`
716×	`rational_best_oopsla_all_46_json_45_simplify-24`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	90	860
1	283	860
2	1060	820
3	4579	820

Stop Event

1×	node limit

Counts

32 → 53

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

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

eval10.0ms (0.4%)

Compiler: Compiled 935 to 325 computations (65.2% saved)

prune9.0ms (0.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	51	2	53
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	51	3	54

Error

0.0b

Counts

54 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
▶	15.9b	(exp.f64 re)
▶	21.3b	(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))
✓	15.9b	(exp.f64 re)
✓	21.3b	(cos.f64 im)

Compiler

Compiled 15 to 11 computations (26.7% saved)

regimes61.0ms (2.3%)

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:

50.0ms	re
3.0ms	im
3.0ms	(cos.f64 im)
2.0ms	(*.f64 (exp.f64 re) (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)

regimes31.0ms (1.2%)

Accuracy

Total -35.7b remaining (-3607.7%)

Threshold costs -35.7b (-3607.7%)

Counts

2 → 2

Calls

Call 1

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

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

Calls

4 calls:

13.0ms	im
9.0ms	(cos.f64 im)
5.0ms	re
3.0ms	(exp.f64 re)

Results

Error	Segments	Branch
1.0b	2	`re`
7.0b	5	`im`
1.0b	2	`(exp.f64 re)`
7.6b	4	`(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.9679583292729049	0.9938410850563609

Compiler

Compiled 12 to 9 computations (25% saved)

simplify2.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) 2206763817411543/2251799813685248) (exp.f64 re) (cos.f64 im))
(cos.f64 im)

Outputs
(*.f64 (exp.f64 re) (cos.f64 im))
(if (<=.f64 (exp.f64 re) 2206763817411543/2251799813685248) (exp.f64 re) (cos.f64 im))
(cos.f64 im)

Compiler

Compiled 22 to 15 computations (31.8% saved)

soundness0.0ms (0%)

end19.0ms (0.7%)

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

Details

analyze54.0ms (2.1%)

sample2.0s (77.3%)

preprocess95.0ms (3.6%)

simplify162.0ms (6.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.2%)

series2.0ms (0.1%)

rewrite60.0ms (2.3%)

simplify74.0ms (2.8%)

eval10.0ms (0.4%)

prune9.0ms (0.3%)

localize3.0ms (0.1%)

localize2.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes61.0ms (2.3%)

regimes31.0ms (1.2%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

end19.0ms (0.7%)

Profiling