Details

analyze16.9s (24.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
2.3%	97.4%	0.2%	9
3.5%	96.2%	0.2%	10
5.3%	94.5%	0.2%	11
6.1%	93.6%	0.2%	12
9.2%	90.6%	0.2%	13
13.8%	85.9%	0.2%	14

Compiler

Compiled 175 to 127 computations (27.4% saved)

sample1.4s (2%)

Algorithm

1×

intervals

Results

538.0ms	56×	body	4096	valid
265.0ms	54×	body	1024	valid
263.0ms	45×	body	2048	valid
136.0ms	2×	body	8192	exit
52.0ms	75×	body	128	valid
52.0ms	18×	body	512	valid
14.0ms	8×	body	256	valid

Compiler

Compiled 354 to 258 computations (27.1% saved)

simplify34.0ms (0%)

Algorithm

1×	egg-herbie

Rules

761×	`associate-/r/_binary64`
637×	`times-frac_binary64`
295×	`associate-/l/_binary64`
243×	`div-sub_binary64`
174×	`distribute-rgt-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	273
1	115	273
2	310	273
3	1373	273
4	5229	273

prune17.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

55.9b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	55.9b	(.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) 2)))) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale))) PI.f64))

Status

Error

Program

▶

55.9b

(*.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) 2)))) (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale))) PI.f64))

Compiler

Compiled 522 to 371 computations (28.9% saved)

localize282.0ms (0.4%)

Local error

Found 4 expressions with local error:

26.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
26.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
26.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
26.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite182.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

55.9b

Rules

4×	`*-un-lft-identity_binary64`
4×	`add-sqr-sqrt_binary64`
4×	`add-cube-cbrt_binary64`
4×	`add-cbrt-cube_binary64`
4×	`add-exp-log_binary64`

Counts

4 → 28

Calls

4 calls:

4.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 4933 to 3522 computations (28.6% saved)

series259.0ms (0.4%)

Error

54.5b

Counts

4 → 18

Calls

4 calls:

45.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
39.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
38.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
34.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 7731 to 5599 computations (27.6% saved)

simplify138.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

586×	`distribute-rgt-neg-in_binary64`
524×	`distribute-lft-neg-in_binary64`
434×	`cancel-sign-sub-inv_binary64`
400×	`unswap-sqr_binary64`
326×	`associate-/l*_binary64`

Counts

46 → 26

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	34	698
1	71	614
2	155	614
3	541	614
4	1048	608
5	2119	608
6	4214	590
7	4687	590
8	5000	590
9	4998	590
10	4769	590

prune268.0ms (0.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	23	3	26
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	23	4	27

Error

54.5b

Counts

27 → 4

Alt Table

Status	Error	Program
	56.1b	(.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (-.f64 1 (.f64 1/64800 (pow.f64 (.f64 angle PI.f64) 2)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) 2)))) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale))) PI.f64))
▶	55.9b	(.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (-.f64 1 (.f64 1/64800 (pow.f64 (.f64 angle PI.f64) 2)))) 2)) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) 2)))) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale))) PI.f64))
✓	55.9b	(.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) 2)))) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale))) PI.f64))
	56.9b	(.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (-.f64 1 (.f64 1/64800 (pow.f64 (.f64 angle PI.f64) 2)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) 2)))) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale))) PI.f64))

Compiler

Compiled 5801 to 4157 computations (28.3% saved)

localize90.0ms (0.1%)

Local error

Found 4 expressions with local error:

26.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
26.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
26.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
26.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite304.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

54.5b

Rules

4×	`*-un-lft-identity_binary64`
4×	`add-sqr-sqrt_binary64`
4×	`add-cube-cbrt_binary64`
4×	`add-cbrt-cube_binary64`
4×	`add-exp-log_binary64`

Counts

4 → 28

Calls

4 calls:

2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 5017 to 3579 computations (28.7% saved)

series211.0ms (0.3%)

Error

54.5b

Counts

4 → 14

Calls

4 calls:

33.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
33.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
28.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
28.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 6347 to 4593 computations (27.6% saved)

simplify74.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

655×	`distribute-rgt-neg-in_binary64`
647×	`distribute-lft-neg-in_binary64`
387×	`associate-l_binary64`
372×	`associate-/l/_binary64`
335×	`cancel-sign-sub-inv_binary64`

Counts

42 → 22

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	26	598
1	52	514
2	103	514
3	318	514
4	1280	514
5	2559	514
6	4594	514
7	4846	514

prune251.0ms (0.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	22	0	22
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	22	4	26

Error

54.5b

Counts

26 → 4

Alt Table

Status	Error	Program
▶	56.1b	(.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (-.f64 1 (.f64 1/64800 (pow.f64 (.f64 angle PI.f64) 2)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) 2)))) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale))) PI.f64))
✓	55.9b	(.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (-.f64 1 (.f64 1/64800 (pow.f64 (.f64 angle PI.f64) 2)))) 2)) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) 2)))) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale))) PI.f64))
✓	55.9b	(.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) 2)))) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale))) PI.f64))
	56.9b	(.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (-.f64 1 (.f64 1/64800 (pow.f64 (.f64 angle PI.f64) 2)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) 2)))) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale))) PI.f64))

Compiler

Compiled 4990 to 3577 computations (28.3% saved)

localize84.0ms (0.1%)

Local error

Found 4 expressions with local error:

26.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
26.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
26.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
26.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite302.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

54.5b

Rules

4×	`*-un-lft-identity_binary64`
4×	`add-sqr-sqrt_binary64`
4×	`add-cube-cbrt_binary64`
4×	`add-cbrt-cube_binary64`
4×	`add-exp-log_binary64`

Counts

4 → 28

Calls

4 calls:

2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 5017 to 3579 computations (28.7% saved)

series229.0ms (0.3%)

Error

54.5b

Counts

4 → 16

Calls

4 calls:

40.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
33.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
28.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
26.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 6933 to 5021 computations (27.6% saved)

simplify127.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

765×	`distribute-rgt-neg-in_binary64`
655×	`distribute-lft-neg-in_binary64`
440×	`cancel-sign-sub-inv_binary64`
374×	`*-commutative_binary64`
372×	`neg-mul-1_binary64`

Counts

44 → 24

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	42	680
1	95	596
2	237	596
3	905	596
4	2070	590
5	3842	587
6	4703	575
7	4939	575
8	4910	575

prune263.0ms (0.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	24	0	24
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	24	4	28

Error

54.5b

Counts

28 → 4

Alt Table

Status	Error	Program
✓	56.1b	(.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (-.f64 1 (.f64 1/64800 (pow.f64 (.f64 angle PI.f64) 2)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) 2)))) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale))) PI.f64))
✓	55.9b	(.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (-.f64 1 (.f64 1/64800 (pow.f64 (.f64 angle PI.f64) 2)))) 2)) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) 2)))) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale))) PI.f64))
✓	55.9b	(.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) 2)))) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale))) PI.f64))
▶	56.9b	(.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (-.f64 1 (.f64 1/64800 (pow.f64 (.f64 angle PI.f64) 2)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) 2)))) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale))) PI.f64))

Compiler

Compiled 5183 to 3708 computations (28.5% saved)

localize90.0ms (0.1%)

Local error

Found 4 expressions with local error:

26.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
26.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
26.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
26.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite294.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

54.5b

Rules

4×	`*-un-lft-identity_binary64`
4×	`add-sqr-sqrt_binary64`
4×	`add-cube-cbrt_binary64`
4×	`add-cbrt-cube_binary64`
4×	`add-exp-log_binary64`

Counts

4 → 28

Calls

4 calls:

2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 5017 to 3579 computations (28.7% saved)

series224.0ms (0.3%)

Error

54.5b

Counts

4 → 15

Calls

4 calls:

39.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
33.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
28.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
28.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 6736 to 4878 computations (27.6% saved)

simplify130.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

586×	`distribute-rgt-neg-in_binary64`
524×	`distribute-lft-neg-in_binary64`
434×	`cancel-sign-sub-inv_binary64`
400×	`unswap-sqr_binary64`
326×	`associate-/l*_binary64`

Counts

43 → 23

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	34	631
1	71	547
2	155	547
3	541	547
4	1048	544
5	2119	544
6	4214	535
7	4687	535
8	5000	535
9	4998	535
10	4769	535

prune246.0ms (0.4%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	23	0	23
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	23	4	27

Error

54.5b

Counts

27 → 4

Alt Table

Status	Error	Program
	56.1b	(.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (-.f64 1 (.f64 1/64800 (pow.f64 (.f64 angle PI.f64) 2)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) 2)))) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale))) PI.f64))
	55.9b	(.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (-.f64 1 (.f64 1/64800 (pow.f64 (.f64 angle PI.f64) 2)))) 2)) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) 2)))) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale))) PI.f64))
	55.9b	(.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) 2)))) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale))) PI.f64))
	56.9b	(.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (-.f64 1 (.f64 1/64800 (pow.f64 (.f64 angle PI.f64) 2)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) 2)))) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale))) PI.f64))

Compiler

Compiled 4815 to 3445 computations (28.5% saved)

regimes1.9s (2.7%)

Accuracy

Total 1.9b remaining (3.4%)

Threshold costs 0b (0%)

Compiler

Compiled 54458 to 39755 computations (27% saved)

bsearch6.0ms (0%)

Compiler: Compiled 8 to 7 computations (12.5% saved)

simplify32.0ms (0%)

Algorithm

1×	egg-herbie

Rules

39×	`+-commutative_binary64`
38×	`*-commutative_binary64`
32×	`sub-neg_binary64`
22×	`neg-sub0_binary64`
22×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	90	809
1	136	809
2	174	809
3	208	809
4	247	809
5	278	809
6	292	809
7	297	809
8	295	809

end12.0ms (0%)

Compiler: Compiled 509 to 366 computations (28.1% saved)

sample44.9s (65%)

Algorithm

1×

intervals

Results

16.4s	1686×	body	4096	valid
8.6s	1369×	body	2048	valid
7.6s	1561×	body	1024	valid
6.0s	88×	body	8192	exit
2.3s	705×	body	512	valid
1.7s	2336×	body	128	valid
654.0ms	343×	body	256	valid

Compiler

Compiled 1394 to 1011 computations (27.5% saved)

Iter	Nodes	Cost
0	90	809
1	136	809
2	174	809
3	208	809
4	247	809
5	278	809
6	292	809
7	297	809
8	295	809

Iter	Nodes	Cost
0	90	809
1	136	809
2	174	809
3	208	809
4	247	809
5	278	809
6	292	809
7	297	809
8	295	809

Details

analyze16.9s (24.4%)

sample1.4s (2%)

simplify34.0ms (0%)

prune17.0ms (0%)

localize282.0ms (0.4%)

rewrite182.0ms (0.3%)

series259.0ms (0.4%)

simplify138.0ms (0.2%)

prune268.0ms (0.4%)

localize90.0ms (0.1%)

rewrite304.0ms (0.4%)

series211.0ms (0.3%)

simplify74.0ms (0.1%)

prune251.0ms (0.4%)

localize84.0ms (0.1%)

rewrite302.0ms (0.4%)

series229.0ms (0.3%)

simplify127.0ms (0.2%)

prune263.0ms (0.4%)

localize90.0ms (0.1%)

rewrite294.0ms (0.4%)

series224.0ms (0.3%)

simplify130.0ms (0.2%)

prune246.0ms (0.4%)

regimes1.9s (2.7%)

bsearch6.0ms (0%)

simplify32.0ms (0%)

end12.0ms (0%)

sample44.9s (65%)

Profiling

Iter	Nodes	Cost
0	90	809
1	136	809
2	174	809
3	208	809
4	247	809
5	278	809
6	292	809
7	297	809
8	295	809