Details

analyze14.3s (21.3%)

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
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
6.2%	93.5%	0.2%	11
6.2%	93.5%	0.2%	12
7.8%	92%	0.2%	13
8.6%	91.2%	0.2%	14

Compiler

Compiled 115 to 84 computations (27% saved)

sample1.3s (2%)

Algorithm

1×

intervals

Results

351.0ms	47×	body	4096	valid
251.0ms	54×	body	2048	valid
213.0ms	25×	body	4096	invalid
163.0ms	35×	body	2048	invalid
85.0ms	26×	body	1024	valid
75.0ms	113×	body	128	valid
50.0ms	15×	body	1024	invalid
34.0ms	2×	body	8192	valid
22.0ms	1×	body	8192	invalid
22.0ms	10×	body	512	valid
20.0ms	28×	body	128	invalid
17.0ms	8×	body	512	invalid
6.0ms	5×	body	256	invalid
4.0ms	4×	body	256	valid

Compiler

Compiled 234 to 172 computations (26.5% saved)

simplify34.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

600×	`associate-/l/_binary64`
540×	`associate-/r*_binary64`
529×	`associate-/r/_binary64`
263×	`distribute-rgt-in_binary64`
260×	`distribute-lft-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	40	175
1	103	175
2	310	175
3	1387	172
4	5232	172

prune10.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

41.0b

Counts

2 → 2

Alt Table

Status	Error	Program
▶	41.2b	(-.f64 (.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) (/.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)) (.f64 (.f64 4 (/.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)))
	44.5b	(+.f64 (.f64 (.f64 (/.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64)) (.f64 x-scale y-scale)) (/.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64)) (.f64 x-scale y-scale))) (.f64 4 (.f64 (.f64 (-.f64 (.f64 b b) (.f64 a a)) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (.f64 (-.f64 (.f64 b b) (.f64 a a)) (sin.f64 (.f64 (/.f64 angle 180) PI.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 (+.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) -4)))

Status

Error

Program

▶

41.2b

(-.f64 (*.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) (/.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)) (*.f64 (*.f64 4 (/.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)))

44.5b

(+.f64 (*.f64 (*.f64 (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) PI.f64)) (*.f64 x-scale y-scale)) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) PI.f64)) (*.f64 x-scale y-scale))) (*.f64 4 (*.f64 (*.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) (*.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (sin.f64 (*.f64 (/.f64 angle 180) PI.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 (+.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) -4)))

Compiler

Compiled 564 to 385 computations (31.7% saved)

localize55.0ms (0.1%)

Local error

Found 4 expressions with local error:

24.8b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
24.8b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
24.8b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
29.5b	(-.f64 (.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) (/.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)) (.f64 (.f64 4 (/.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)))

rewrite320.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

37.1b

Rules

15×	`associate-*r/_binary64`
9×	`frac-sub_binary64`
7×	`associate-*l/_binary64`
6×	`frac-times_binary64`
6×	`add-log-exp_binary64`

Counts

4 → 44

Calls

4 calls:

28.0ms	(-.f64 (.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) (/.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)) (.f64 (.f64 4 (/.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.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
1.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
1.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 6115 to 4322 computations (29.3% saved)

series1.6s (2.4%)

Error

31.8b

Counts

4 → 30

Calls

4 calls:

1.5s	(-.f64 (.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) (/.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)) (.f64 (.f64 4 (/.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)))
15.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
14.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
13.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 9355 to 6898 computations (26.3% saved)

simplify183.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

332×	`unswap-sqr_binary64`
325×	`times-frac_binary64`
293×	`associate-r_binary64`
286×	`associate-/l*_binary64`
218×	`associate-l_binary64`

Counts

74 → 57

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	293	9669
1	856	8259
2	3739	8163
3	4918	8163

prune126.0ms (0.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	49	8	57
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	50	9	59

Error

26.0b

Counts

59 → 9

Alt Table

Status	Error	Program
✓	41.2b	(-.f64 (.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) (/.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)) (.f64 (.f64 4 (/.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)))
	53.8b	(/.f64 (-.f64 (.f64 x-scale (.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale))) (.f64 (.f64 y-scale y-scale) (.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) (.f64 y-scale y-scale)) (.f64 4 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) x-scale))))) (.f64 y-scale (*.f64 y-scale x-scale)))
	53.1b	(-.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (exp.f64 (log.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) (/.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)) (.f64 (.f64 4 (/.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)))
	42.6b	(/.f64 (-.f64 (.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) y-scale)) (.f64 (.f64 4 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) (.f64 x-scale x-scale))) (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) y-scale))) y-scale)
	40.7b	(/.f64 (.f64 y-scale (-.f64 (.f64 x-scale (.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) y-scale))) (.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) y-scale) (.f64 4 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) x-scale))))) (.f64 y-scale (*.f64 y-scale x-scale)))
	46.3b	(/.f64 (.f64 y-scale (-.f64 (.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale)) (.f64 y-scale (.f64 (.f64 4 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) (.f64 x-scale x-scale))) (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) y-scale))))) (pow.f64 y-scale 3))
	55.8b	(/.f64 (-.f64 (.f64 (.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale)) (.f64 y-scale x-scale)) (.f64 (.f64 y-scale y-scale) (.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) y-scale) (.f64 4 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) x-scale))))) (.f64 x-scale (pow.f64 y-scale 3)))
	40.0b	(/.f64 (-.f64 (neg.f64 (.f64 4 (+.f64 (/.f64 (.f64 (.f64 a a) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (.f64 b b))) (.f64 y-scale y-scale)) (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (.f64 (.f64 a a) (.f64 b b))) (.f64 y-scale y-scale))))) (.f64 8 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (.f64 a a) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)))) (.f64 y-scale y-scale)))) (*.f64 x-scale x-scale))
▶	31.1b	0

Compiler

Compiled 6364 to 4082 computations (35.9% saved)

localize0.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

26.0b

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error: 26.0b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify9.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune28.0ms (0%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Kept	Total
New	0	0
Fresh	7	7
Picked	1	1
Done	1	1
Total	9	9

Error

26.0b

Counts

9 → 9

Alt Table

Status	Error	Program
✓	41.2b	(-.f64 (.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) (/.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)) (.f64 (.f64 4 (/.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)))
	53.8b	(/.f64 (-.f64 (.f64 x-scale (.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale))) (.f64 (.f64 y-scale y-scale) (.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) (.f64 y-scale y-scale)) (.f64 4 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) x-scale))))) (.f64 y-scale (*.f64 y-scale x-scale)))
	53.1b	(-.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (exp.f64 (log.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) (/.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)) (.f64 (.f64 4 (/.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)))
	42.6b	(/.f64 (-.f64 (.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) y-scale)) (.f64 (.f64 4 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) (.f64 x-scale x-scale))) (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) y-scale))) y-scale)
	40.7b	(/.f64 (.f64 y-scale (-.f64 (.f64 x-scale (.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) y-scale))) (.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) y-scale) (.f64 4 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) x-scale))))) (.f64 y-scale (*.f64 y-scale x-scale)))
	46.3b	(/.f64 (.f64 y-scale (-.f64 (.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale)) (.f64 y-scale (.f64 (.f64 4 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) (.f64 x-scale x-scale))) (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) y-scale))))) (pow.f64 y-scale 3))
	55.8b	(/.f64 (-.f64 (.f64 (.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale)) (.f64 y-scale x-scale)) (.f64 (.f64 y-scale y-scale) (.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) y-scale) (.f64 4 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) x-scale))))) (.f64 x-scale (pow.f64 y-scale 3)))
▶	40.0b	(/.f64 (-.f64 (neg.f64 (.f64 4 (+.f64 (/.f64 (.f64 (.f64 a a) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (.f64 b b))) (.f64 y-scale y-scale)) (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (.f64 (.f64 a a) (.f64 b b))) (.f64 y-scale y-scale))))) (.f64 8 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (.f64 a a) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)))) (.f64 y-scale y-scale)))) (*.f64 x-scale x-scale))
✓	31.1b	0

Compiler

Compiled 1694 to 1135 computations (33% saved)

localize51.0ms (0.1%)

Local error

Found 4 expressions with local error:

24.1b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
24.1b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
24.8b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
24.8b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

rewrite86.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Error

26.0b

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	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
2.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
2.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
2.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 2441 to 1184 computations (51.5% saved)

series45.0ms (0.1%)

Error

26.0b

Counts

4 → 12

Calls

4 calls:

11.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
9.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
9.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
9.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 2449 to 1387 computations (43.4% saved)

simplify196.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1392×	`sqr-pow_binary64`
724×	`unswap-sqr_binary64`
592×	`cube-prod_binary64`
500×	`fabs-mul_binary64`
470×	`pow-sqr_binary64`

Counts

40 → 4

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	23	578
1	31	494
2	40	494
3	47	494
4	54	494
5	69	494
6	106	494
7	207	494
8	551	494
9	1147	494
10	1286	494
11	1549	494
12	1854	494
13	2148	494
14	2550	494
15	2904	494
16	3087	494
17	3344	494
18	3483	494
19	3562	494
20	3642	494
21	4400	494
22	4802	494

prune38.0ms (0.1%)

Pruning

9 alts after pruning (7 fresh and 2 done)

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

Error

26.0b

Counts

13 → 9

Alt Table

Status	Error	Program
✓	41.2b	(-.f64 (.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) (/.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)) (.f64 (.f64 4 (/.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)))
	53.8b	(/.f64 (-.f64 (.f64 x-scale (.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale))) (.f64 (.f64 y-scale y-scale) (.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) (.f64 y-scale y-scale)) (.f64 4 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) x-scale))))) (.f64 y-scale (*.f64 y-scale x-scale)))
	53.1b	(-.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (exp.f64 (log.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) (/.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)) (.f64 (.f64 4 (/.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)))
	42.6b	(/.f64 (-.f64 (.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) y-scale)) (.f64 (.f64 4 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) (.f64 x-scale x-scale))) (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) y-scale))) y-scale)
	40.7b	(/.f64 (.f64 y-scale (-.f64 (.f64 x-scale (.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) y-scale))) (.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) y-scale) (.f64 4 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) x-scale))))) (.f64 y-scale (*.f64 y-scale x-scale)))
	46.3b	(/.f64 (.f64 y-scale (-.f64 (.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale)) (.f64 y-scale (.f64 (.f64 4 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) (.f64 x-scale x-scale))) (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) y-scale))))) (pow.f64 y-scale 3))
	55.8b	(/.f64 (-.f64 (.f64 (.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale)) (.f64 y-scale x-scale)) (.f64 (.f64 y-scale y-scale) (.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) y-scale) (.f64 4 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) x-scale))))) (.f64 x-scale (pow.f64 y-scale 3)))
▶	40.0b	(/.f64 (-.f64 (neg.f64 (.f64 4 (+.f64 (/.f64 (.f64 (.f64 a a) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (.f64 b b))) (.f64 y-scale y-scale)) (/.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 3)) 4) (.f64 (.f64 a a) (.f64 b b))) (.f64 y-scale y-scale))))) (.f64 8 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (.f64 a a) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)))) (.f64 y-scale y-scale)))) (*.f64 x-scale x-scale))
✓	31.1b	0

Compiler

Compiled 2037 to 1313 computations (35.5% saved)

localize47.0ms (0.1%)

Local error

Found 4 expressions with local error:

24.1b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
24.1b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
24.8b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
24.8b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

rewrite83.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Error

26.0b

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	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
2.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
2.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
2.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 2525 to 1268 computations (49.8% saved)

series47.0ms (0.1%)

Error

26.0b

Counts

4 → 12

Calls

4 calls:

11.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
9.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
9.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
9.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 2536 to 1474 computations (41.9% saved)

simplify196.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1392×	`sqr-pow_binary64`
724×	`unswap-sqr_binary64`
592×	`cube-prod_binary64`
500×	`fabs-mul_binary64`
470×	`pow-sqr_binary64`

Counts

40 → 4

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	23	578
1	31	494
2	40	494
3	47	494
4	54	494
5	69	494
6	106	494
7	207	494
8	551	494
9	1147	494
10	1286	494
11	1549	494
12	1854	494
13	2148	494
14	2550	494
15	2904	494
16	3087	494
17	3344	494
18	3483	494
19	3562	494
20	3642	494
21	4400	494
22	4802	494

prune31.0ms (0%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	4	0	4
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	4	9	13

Error

26.0b

Counts

13 → 9

Alt Table

Status	Error	Program
	41.2b	(-.f64 (.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) (/.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)) (.f64 (.f64 4 (/.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)))
	53.8b	(/.f64 (-.f64 (.f64 x-scale (.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale))) (.f64 (.f64 y-scale y-scale) (.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) (.f64 y-scale y-scale)) (.f64 4 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) x-scale))))) (.f64 y-scale (*.f64 y-scale x-scale)))
	53.1b	(-.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (exp.f64 (log.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) (/.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)) (.f64 (.f64 4 (/.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)))
	42.6b	(/.f64 (-.f64 (.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) y-scale)) (.f64 (.f64 4 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) (.f64 x-scale x-scale))) (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) y-scale))) y-scale)
	40.7b	(/.f64 (.f64 y-scale (-.f64 (.f64 x-scale (.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) y-scale))) (.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) y-scale) (.f64 4 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) x-scale))))) (.f64 y-scale (*.f64 y-scale x-scale)))
	46.3b	(/.f64 (.f64 y-scale (-.f64 (.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale)) (.f64 y-scale (.f64 (.f64 4 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) (.f64 x-scale x-scale))) (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) y-scale))))) (pow.f64 y-scale 3))
	55.8b	(/.f64 (-.f64 (.f64 (.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale) (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) x-scale)) (.f64 y-scale x-scale)) (.f64 (.f64 y-scale y-scale) (.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) y-scale) (.f64 4 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)) x-scale))))) (.f64 x-scale (pow.f64 y-scale 3)))
	40.0b	(/.f64 (-.f64 (neg.f64 (.f64 4 (+.f64 (/.f64 (.f64 (.f64 a a) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (.f64 b b))) (.f64 y-scale y-scale)) (/.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 3)) 4) (.f64 (.f64 a a) (.f64 b b))) (.f64 y-scale y-scale))))) (.f64 8 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (.f64 a a) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)))) (.f64 y-scale y-scale)))) (*.f64 x-scale x-scale))
	31.1b	0

Compiler

Compiled 1259 to 799 computations (36.5% saved)

regimes1.7s (2.6%)

Accuracy

Total 4.3b remaining (14.1%)

Threshold costs 0b (0%)

Compiler

Compiled 57136 to 38939 computations (31.8% saved)

bsearch12.0ms (0%)

Compiler: Compiled 114 to 83 computations (27.2% saved)

simplify17.0ms (0%)

Algorithm

1×	egg-herbie

Rules

26×	`*-commutative_binary64`
18×	`+-commutative_binary64`
16×	`sub-neg_binary64`
13×	`neg-sub0_binary64`
13×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	53	360
1	77	360
2	96	360
3	110	360
4	125	360
5	143	360
6	161	360
7	171	360
8	175	360
9	174	360

end5.0ms (0%)

Compiler: Compiled 229 to 166 computations (27.5% saved)

sample46.5s (69.3%)

Algorithm

1×

intervals

Results

11.9s	1448×	body	4096	valid
8.5s	1667×	body	2048	valid
6.6s	788×	body	4096	invalid
5.8s	1154×	body	2048	invalid
3.2s	900×	body	1024	valid
2.7s	3404×	body	128	valid
2.4s	652×	body	1024	invalid
1.1s	63×	body	8192	valid
824.0ms	356×	body	512	valid
629.0ms	984×	body	128	invalid
595.0ms	32×	body	8192	invalid
510.0ms	246×	body	512	invalid
259.0ms	162×	body	256	valid
148.0ms	113×	body	256	invalid

Compiler

Compiled 1259 to 870 computations (30.9% saved)

Iter	Nodes	Cost
0	53	360
1	77	360
2	96	360
3	110	360
4	125	360
5	143	360
6	161	360
7	171	360
8	175	360
9	174	360

Iter	Nodes	Cost
0	53	360
1	77	360
2	96	360
3	110	360
4	125	360
5	143	360
6	161	360
7	171	360
8	175	360
9	174	360

Details

analyze14.3s (21.3%)

sample1.3s (2%)

simplify34.0ms (0.1%)

prune10.0ms (0%)

localize55.0ms (0.1%)

rewrite320.0ms (0.5%)

series1.6s (2.4%)

simplify183.0ms (0.3%)

prune126.0ms (0.2%)

localize0.0ms (0%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify9.0ms (0%)

prune28.0ms (0%)

localize51.0ms (0.1%)

rewrite86.0ms (0.1%)

series45.0ms (0.1%)

simplify196.0ms (0.3%)

prune38.0ms (0.1%)

localize47.0ms (0.1%)

rewrite83.0ms (0.1%)

series47.0ms (0.1%)

simplify196.0ms (0.3%)

prune31.0ms (0%)

regimes1.7s (2.6%)

bsearch12.0ms (0%)

simplify17.0ms (0%)

end5.0ms (0%)

sample46.5s (69.3%)

Profiling

Iter	Nodes	Cost
0	53	360
1	77	360
2	96	360
3	110	360
4	125	360
5	143	360
6	161	360
7	171	360
8	175	360
9	174	360