Details

analyze25.8s (17.2%)

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
0%	99.8%	0.2%	11
0%	99.8%	0.2%	12
0%	99.8%	0.2%	13
0%	99.8%	0.2%	14

Compiler

Compiled 189 to 125 computations (33.9% saved)

sample1.1s (0.7%)

Algorithm

1×

intervals

Results

417.0ms	64×	body	1024	valid
181.0ms	29×	body	1024	invalid
135.0ms	148×	body	128	valid
112.0ms	26×	body	512	valid
58.0ms	14×	body	512	invalid
52.0ms	53×	body	128	invalid
50.0ms	5×	body	2048	valid
34.0ms	13×	body	256	valid
15.0ms	5×	body	256	invalid

Compiler

Compiled 382 to 254 computations (33.5% saved)

simplify55.0ms (0%)

Algorithm

1×	egg-herbie

Rules

742×	`times-frac_binary64`
686×	`associate-l_binary64`
303×	`associate-/r*_binary64`
262×	`associate-/l*_binary64`
190×	`associate-*l/_binary64`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	57	292
1	159	287
2	592	287
3	4709	283
4	5020	283

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

63.2b

Counts

2 → 2

Alt Table

Status	Error	Program
▶	63.2b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 x-scale y-scale) 2))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (+.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)) (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 4 (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))
	63.2b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (/.f64 (.f64 8 (.f64 (.f64 a (.f64 b (.f64 b a))) (.f64 a (.f64 b (.f64 b a))))) (pow.f64 (.f64 x-scale y-scale) 2)) (+.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)) (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 (cos.f64 (.f64 (/.f64 angle 180) PI.f64)) (.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64)) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 x-scale y-scale)) 2))))))) (/.f64 (.f64 a (.f64 (.f64 b b) (.f64 a -4))) (pow.f64 (*.f64 x-scale y-scale) 2)))

Status

Error

Program

▶

63.2b

(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2))) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (+.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)) (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 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))

63.2b

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

Compiler

Compiled 925 to 608 computations (34.3% saved)

localize79.0ms (0.1%)

Local error

Found 4 expressions with local error:

25.4b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
25.4b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
25.4b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
47.7b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 x-scale y-scale) 2))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (+.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)) (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 4 (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))

rewrite3.1s (2.1%)

Algorithm

1×	rewrite-expression-head

Error

63.0b

Rules

198×	`times-frac_binary64`
130×	`add-exp-log_binary64`
63×	`*-un-lft-identity_binary64`
63×	`add-sqr-sqrt_binary64`
63×	`add-cube-cbrt_binary64`

Counts

4 → 225

Calls

4 calls:

20.0ms	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 x-scale y-scale) 2))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (+.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)) (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 4 (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))
2.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 67488 to 42888 computations (36.5% saved)

series1.8min (70.3%)

Error

47.8b

Counts

4 → 29

Calls

4 calls:

1.7min	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 x-scale y-scale) 2))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (+.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)) (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 4 (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))
22.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
18.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
18.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 184156 to 131501 computations (28.6% saved)

simplify2.6s (1.7%)

Algorithm

1×	egg-herbie

Rules

527×	`*-commutative_binary64`
318×	`associate-r_binary64`
172×	`+-commutative_binary64`
160×	`distribute-frac-neg_binary64`
158×	`associate-/l*_binary64`

Counts

254 → 237

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1374	128175
1	3906	123338
2	4964	123338
3	4943	123338

prune2.3s (1.5%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	223	14	237
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	225	14	239

Error

47.8b

Counts

239 → 14

Alt Table

Status	Error	Program
	63.2b	(.f64 (/.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2)))))))) (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2))))))))) 4) (/.f64 (neg.f64 (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2))))))))) (/.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (pow.f64 (*.f64 y-scale x-scale) 2))))
	61.6b	(.f64 -1/4 (.f64 (.f64 y-scale (.f64 x-scale (.f64 (sqrt.f64 8) a))) (sqrt.f64 (+.f64 (sqrt.f64 (-.f64 (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 x-scale 4)) (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 y-scale 4)) (.f64 3 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (pow.f64 (.f64 y-scale x-scale) 2))))) (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (pow.f64 (.f64 y-scale x-scale) 2)))) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)))))))
	63.2b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 (.f64 4 (.f64 (.f64 b a) (.f64 b (neg.f64 a))))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (+.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)) (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 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2)) (fabs.f64 (.f64 y-scale x-scale))))
	63.2b	(.f64 (/.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2)))))))) (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2))))))))) (.f64 (cbrt.f64 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (cbrt.f64 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))))) (/.f64 (neg.f64 (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2))))))))) (cbrt.f64 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 y-scale x-scale) 2)))))
	61.4b	(.f64 1/4 (.f64 (.f64 y-scale (.f64 x-scale (.f64 (sqrt.f64 8) a))) (sqrt.f64 (+.f64 (sqrt.f64 (-.f64 (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 x-scale 4)) (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 y-scale 4)) (.f64 3 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (pow.f64 (.f64 y-scale x-scale) 2))))) (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (pow.f64 (.f64 y-scale x-scale) 2)))) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)))))))
	63.3b	(exp.f64 (log.f64 (/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2)))))))) (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2)))))
	62.0b	(.f64 1/4 (.f64 (.f64 y-scale (.f64 x-scale (sqrt.f64 8))) (sqrt.f64 (+.f64 (/.f64 (.f64 a a) (.f64 y-scale y-scale)) (+.f64 (sqrt.f64 (-.f64 (+.f64 (/.f64 (pow.f64 b 4) (pow.f64 x-scale 4)) (/.f64 (pow.f64 a 4) (pow.f64 y-scale 4))) (.f64 2 (/.f64 (.f64 (.f64 a a) (.f64 b b)) (pow.f64 (.f64 y-scale x-scale) 2))))) (/.f64 (.f64 b b) (*.f64 x-scale x-scale)))))))
	62.3b	(.f64 1/4 (.f64 (.f64 y-scale (.f64 x-scale (sqrt.f64 8))) (sqrt.f64 (+.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (.f64 x-scale x-scale)) (+.f64 (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a)) (.f64 x-scale x-scale)) (sqrt.f64 (+.f64 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4)) (pow.f64 x-scale 4)) (+.f64 (/.f64 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)))) (pow.f64 x-scale 4)) (+.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (pow.f64 x-scale 4)) (/.f64 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)))) (pow.f64 x-scale 4)))))))))))
▶	58.7b	(.f64 1/4 (.f64 (.f64 x-scale (sqrt.f64 8)) (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (+.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a)) (sqrt.f64 (+.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 a 4)) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (.f64 2 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (*.f64 b b)))))))))))))
	62.1b	(.f64 -1/4 (.f64 (.f64 y-scale (.f64 x-scale (sqrt.f64 8))) (sqrt.f64 (+.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a)) (.f64 y-scale y-scale)) (+.f64 (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (.f64 y-scale y-scale)) (sqrt.f64 (+.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 a 4)) (pow.f64 y-scale 4)) (+.f64 (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (pow.f64 y-scale 4)) (.f64 2 (/.f64 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)))) (pow.f64 y-scale 4)))))))))))
	62.8b	(.f64 1/4 (.f64 (.f64 y-scale (.f64 x-scale (sqrt.f64 8))) (sqrt.f64 (+.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a)) (.f64 y-scale y-scale)) (+.f64 (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (.f64 y-scale y-scale)) (sqrt.f64 (+.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 a 4)) (pow.f64 y-scale 4)) (+.f64 (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (pow.f64 y-scale 4)) (.f64 2 (/.f64 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)))) (pow.f64 y-scale 4)))))))))))
	58.8b	(.f64 1/4 (.f64 (.f64 y-scale (sqrt.f64 8)) (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a)) (+.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (sqrt.f64 (+.f64 (.f64 (pow.f64 a 4) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4)) (+.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (.f64 2 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (*.f64 b b)))))))))))))
	60.9b	(.f64 (.f64 (.f64 y-scale (.f64 x-scale (.f64 (sqrt.f64 8) b))) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 x-scale 4)) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 y-scale 4)) (.f64 2 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (pow.f64 (.f64 y-scale x-scale) 2)))))))))) -1/4)
	61.2b	(.f64 1/4 (.f64 (.f64 y-scale (.f64 x-scale (.f64 (sqrt.f64 8) b))) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 x-scale 4)) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 y-scale 4)) (.f64 2 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (pow.f64 (.f64 y-scale x-scale) 2)))))))))))

Compiler

Compiled 81392 to 49017 computations (39.8% saved)

localize49.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite238.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

47.8b

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	(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)))

Compiler

Compiled 2665 to 1685 computations (36.8% saved)

series73.0ms (0%)

Error

47.8b

Counts

4 → 12

Calls

4 calls:

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

Compiler

Compiled 2693 to 1837 computations (31.8% saved)

simplify199.0ms (0.1%)

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	585
1	31	501
2	40	501
3	47	501
4	54	501
5	69	501
6	106	501
7	207	501
8	551	501
9	1147	501
10	1286	501
11	1549	501
12	1854	501
13	2148	501
14	2550	501
15	2904	501
16	3087	501
17	3344	501
18	3483	501
19	3562	501
20	3642	501
21	4400	501
22	4802	501

prune110.0ms (0.1%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	3	1	4
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	3	15	18

Error

47.8b

Counts

18 → 15

Alt Table

Status	Error	Program
▶	58.7b	(.f64 1/4 (.f64 (.f64 x-scale (sqrt.f64 8)) (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (+.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 3)) 2) (.f64 a a)) (sqrt.f64 (+.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 a 4)) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (.f64 2 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (*.f64 b b)))))))))))))
	62.8b	(.f64 1/4 (.f64 (.f64 y-scale (.f64 x-scale (sqrt.f64 8))) (sqrt.f64 (+.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a)) (.f64 y-scale y-scale)) (+.f64 (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (.f64 y-scale y-scale)) (sqrt.f64 (+.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 a 4)) (pow.f64 y-scale 4)) (+.f64 (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (pow.f64 y-scale 4)) (.f64 2 (/.f64 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)))) (pow.f64 y-scale 4)))))))))))
	63.2b	(.f64 (/.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2)))))))) (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2))))))))) 4) (/.f64 (neg.f64 (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2))))))))) (/.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (pow.f64 (*.f64 y-scale x-scale) 2))))
	61.6b	(.f64 -1/4 (.f64 (.f64 y-scale (.f64 x-scale (.f64 (sqrt.f64 8) a))) (sqrt.f64 (+.f64 (sqrt.f64 (-.f64 (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 x-scale 4)) (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 y-scale 4)) (.f64 3 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (pow.f64 (.f64 y-scale x-scale) 2))))) (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (pow.f64 (.f64 y-scale x-scale) 2)))) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)))))))
	63.2b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 (.f64 4 (.f64 (.f64 b a) (.f64 b (neg.f64 a))))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (+.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)) (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 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2)) (fabs.f64 (.f64 y-scale x-scale))))
	63.2b	(.f64 (/.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2)))))))) (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2))))))))) (.f64 (cbrt.f64 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (cbrt.f64 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))))) (/.f64 (neg.f64 (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2))))))))) (cbrt.f64 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 y-scale x-scale) 2)))))
	61.4b	(.f64 1/4 (.f64 (.f64 y-scale (.f64 x-scale (.f64 (sqrt.f64 8) a))) (sqrt.f64 (+.f64 (sqrt.f64 (-.f64 (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 x-scale 4)) (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 y-scale 4)) (.f64 3 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (pow.f64 (.f64 y-scale x-scale) 2))))) (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (pow.f64 (.f64 y-scale x-scale) 2)))) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)))))))
	63.3b	(exp.f64 (log.f64 (/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2)))))))) (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2)))))
	62.0b	(.f64 1/4 (.f64 (.f64 y-scale (.f64 x-scale (sqrt.f64 8))) (sqrt.f64 (+.f64 (/.f64 (.f64 a a) (.f64 y-scale y-scale)) (+.f64 (sqrt.f64 (-.f64 (+.f64 (/.f64 (pow.f64 b 4) (pow.f64 x-scale 4)) (/.f64 (pow.f64 a 4) (pow.f64 y-scale 4))) (.f64 2 (/.f64 (.f64 (.f64 a a) (.f64 b b)) (pow.f64 (.f64 y-scale x-scale) 2))))) (/.f64 (.f64 b b) (*.f64 x-scale x-scale)))))))
	62.3b	(.f64 1/4 (.f64 (.f64 y-scale (.f64 x-scale (sqrt.f64 8))) (sqrt.f64 (+.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (.f64 x-scale x-scale)) (+.f64 (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a)) (.f64 x-scale x-scale)) (sqrt.f64 (+.f64 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4)) (pow.f64 x-scale 4)) (+.f64 (/.f64 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)))) (pow.f64 x-scale 4)) (+.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (pow.f64 x-scale 4)) (/.f64 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)))) (pow.f64 x-scale 4)))))))))))
✓	58.7b	(.f64 1/4 (.f64 (.f64 x-scale (sqrt.f64 8)) (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (+.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a)) (sqrt.f64 (+.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 a 4)) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (.f64 2 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (*.f64 b b)))))))))))))
	62.1b	(.f64 -1/4 (.f64 (.f64 y-scale (.f64 x-scale (sqrt.f64 8))) (sqrt.f64 (+.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a)) (.f64 y-scale y-scale)) (+.f64 (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (.f64 y-scale y-scale)) (sqrt.f64 (+.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 a 4)) (pow.f64 y-scale 4)) (+.f64 (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (pow.f64 y-scale 4)) (.f64 2 (/.f64 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)))) (pow.f64 y-scale 4)))))))))))
	58.8b	(.f64 1/4 (.f64 (.f64 y-scale (sqrt.f64 8)) (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a)) (+.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (sqrt.f64 (+.f64 (.f64 (pow.f64 a 4) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4)) (+.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (.f64 2 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (*.f64 b b)))))))))))))
	60.9b	(.f64 (.f64 (.f64 y-scale (.f64 x-scale (.f64 (sqrt.f64 8) b))) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 x-scale 4)) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 y-scale 4)) (.f64 2 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (pow.f64 (.f64 y-scale x-scale) 2)))))))))) -1/4)
	61.2b	(.f64 1/4 (.f64 (.f64 y-scale (.f64 x-scale (.f64 (sqrt.f64 8) b))) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 x-scale 4)) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 y-scale 4)) (.f64 2 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (pow.f64 (.f64 y-scale x-scale) 2)))))))))))

Compiler

Compiled 5488 to 3531 computations (35.7% saved)

localize51.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite204.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Error

47.8b

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:

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

Compiler

Compiled 2749 to 1769 computations (35.6% saved)

series78.0ms (0.1%)

Error

47.8b

Counts

4 → 12

Calls

4 calls:

14.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
14.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
12.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
12.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 2780 to 1924 computations (30.8% saved)

simplify195.0ms (0.1%)

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	585
1	31	501
2	40	501
3	47	501
4	54	501
5	69	501
6	106	501
7	207	501
8	551	501
9	1147	501
10	1286	501
11	1549	501
12	1854	501
13	2148	501
14	2550	501
15	2904	501
16	3087	501
17	3344	501
18	3483	501
19	3562	501
20	3642	501
21	4400	501
22	4802	501

prune111.0ms (0.1%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	3	1	4
Fresh	0	13	13
Picked	1	0	1
Done	0	1	1
Total	4	15	19

Error

47.8b

Counts

19 → 15

Alt Table

Status	Error	Program
▶	58.7b	(.f64 1/4 (.f64 (.f64 x-scale (sqrt.f64 8)) (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (+.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 3)) 3)) 2) (.f64 a a)) (sqrt.f64 (+.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 a 4)) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (.f64 2 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (*.f64 b b)))))))))))))
	62.8b	(.f64 1/4 (.f64 (.f64 y-scale (.f64 x-scale (sqrt.f64 8))) (sqrt.f64 (+.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a)) (.f64 y-scale y-scale)) (+.f64 (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (.f64 y-scale y-scale)) (sqrt.f64 (+.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 a 4)) (pow.f64 y-scale 4)) (+.f64 (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (pow.f64 y-scale 4)) (.f64 2 (/.f64 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)))) (pow.f64 y-scale 4)))))))))))
	63.2b	(.f64 (/.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2)))))))) (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2))))))))) 4) (/.f64 (neg.f64 (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2))))))))) (/.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (pow.f64 (*.f64 y-scale x-scale) 2))))
	61.6b	(.f64 -1/4 (.f64 (.f64 y-scale (.f64 x-scale (.f64 (sqrt.f64 8) a))) (sqrt.f64 (+.f64 (sqrt.f64 (-.f64 (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 x-scale 4)) (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 y-scale 4)) (.f64 3 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (pow.f64 (.f64 y-scale x-scale) 2))))) (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (pow.f64 (.f64 y-scale x-scale) 2)))) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)))))))
	63.2b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 (.f64 4 (.f64 (.f64 b a) (.f64 b (neg.f64 a))))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (+.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)) (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 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2)) (fabs.f64 (.f64 y-scale x-scale))))
	63.2b	(.f64 (/.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2)))))))) (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2))))))))) (.f64 (cbrt.f64 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (cbrt.f64 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))))) (/.f64 (neg.f64 (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2))))))))) (cbrt.f64 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 y-scale x-scale) 2)))))
	61.4b	(.f64 1/4 (.f64 (.f64 y-scale (.f64 x-scale (.f64 (sqrt.f64 8) a))) (sqrt.f64 (+.f64 (sqrt.f64 (-.f64 (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 x-scale 4)) (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 y-scale 4)) (.f64 3 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (pow.f64 (.f64 y-scale x-scale) 2))))) (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (pow.f64 (.f64 y-scale x-scale) 2)))) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)))))))
	63.3b	(exp.f64 (log.f64 (/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2)))))))) (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2)))))
	62.0b	(.f64 1/4 (.f64 (.f64 y-scale (.f64 x-scale (sqrt.f64 8))) (sqrt.f64 (+.f64 (/.f64 (.f64 a a) (.f64 y-scale y-scale)) (+.f64 (sqrt.f64 (-.f64 (+.f64 (/.f64 (pow.f64 b 4) (pow.f64 x-scale 4)) (/.f64 (pow.f64 a 4) (pow.f64 y-scale 4))) (.f64 2 (/.f64 (.f64 (.f64 a a) (.f64 b b)) (pow.f64 (.f64 y-scale x-scale) 2))))) (/.f64 (.f64 b b) (*.f64 x-scale x-scale)))))))
	62.3b	(.f64 1/4 (.f64 (.f64 y-scale (.f64 x-scale (sqrt.f64 8))) (sqrt.f64 (+.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (.f64 x-scale x-scale)) (+.f64 (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a)) (.f64 x-scale x-scale)) (sqrt.f64 (+.f64 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4)) (pow.f64 x-scale 4)) (+.f64 (/.f64 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)))) (pow.f64 x-scale 4)) (+.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (pow.f64 x-scale 4)) (/.f64 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)))) (pow.f64 x-scale 4)))))))))))
✓	58.7b	(.f64 1/4 (.f64 (.f64 x-scale (sqrt.f64 8)) (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (+.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a)) (sqrt.f64 (+.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 a 4)) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (.f64 2 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (*.f64 b b)))))))))))))
	62.1b	(.f64 -1/4 (.f64 (.f64 y-scale (.f64 x-scale (sqrt.f64 8))) (sqrt.f64 (+.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a)) (.f64 y-scale y-scale)) (+.f64 (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (.f64 y-scale y-scale)) (sqrt.f64 (+.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 a 4)) (pow.f64 y-scale 4)) (+.f64 (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (pow.f64 y-scale 4)) (.f64 2 (/.f64 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)))) (pow.f64 y-scale 4)))))))))))
	58.8b	(.f64 1/4 (.f64 (.f64 y-scale (sqrt.f64 8)) (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a)) (+.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (sqrt.f64 (+.f64 (.f64 (pow.f64 a 4) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4)) (+.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (.f64 2 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (*.f64 b b)))))))))))))
	60.9b	(.f64 (.f64 (.f64 y-scale (.f64 x-scale (.f64 (sqrt.f64 8) b))) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 x-scale 4)) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 y-scale 4)) (.f64 2 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (pow.f64 (.f64 y-scale x-scale) 2)))))))))) -1/4)
	61.2b	(.f64 1/4 (.f64 (.f64 y-scale (.f64 x-scale (.f64 (sqrt.f64 8) b))) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 x-scale 4)) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 y-scale 4)) (.f64 2 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (pow.f64 (.f64 y-scale x-scale) 2)))))))))))

Compiler

Compiled 5506 to 3549 computations (35.5% saved)

localize55.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite193.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Error

47.8b

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

Compiler

Compiled 2833 to 1853 computations (34.6% saved)

series78.0ms (0.1%)

Error

47.8b

Counts

4 → 12

Calls

4 calls:

14.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
13.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
13.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
12.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 2867 to 2011 computations (29.9% saved)

simplify200.0ms (0.1%)

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	585
1	31	501
2	40	501
3	47	501
4	54	501
5	69	501
6	106	501
7	207	501
8	551	501
9	1147	501
10	1286	501
11	1549	501
12	1854	501
13	2148	501
14	2550	501
15	2904	501
16	3087	501
17	3344	501
18	3483	501
19	3562	501
20	3642	501
21	4400	501
22	4802	501

prune98.0ms (0.1%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	4	0	4
Fresh	0	13	13
Picked	0	1	1
Done	0	1	1
Total	4	15	19

Error

47.8b

Counts

19 → 15

Alt Table

Status	Error	Program
	58.7b	(.f64 1/4 (.f64 (.f64 x-scale (sqrt.f64 8)) (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (+.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 3)) 3)) 2) (.f64 a a)) (sqrt.f64 (+.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 a 4)) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (.f64 2 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (*.f64 b b)))))))))))))
	62.8b	(.f64 1/4 (.f64 (.f64 y-scale (.f64 x-scale (sqrt.f64 8))) (sqrt.f64 (+.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a)) (.f64 y-scale y-scale)) (+.f64 (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (.f64 y-scale y-scale)) (sqrt.f64 (+.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 a 4)) (pow.f64 y-scale 4)) (+.f64 (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (pow.f64 y-scale 4)) (.f64 2 (/.f64 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)))) (pow.f64 y-scale 4)))))))))))
	63.2b	(.f64 (/.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2)))))))) (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2))))))))) 4) (/.f64 (neg.f64 (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2))))))))) (/.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (pow.f64 (*.f64 y-scale x-scale) 2))))
	61.6b	(.f64 -1/4 (.f64 (.f64 y-scale (.f64 x-scale (.f64 (sqrt.f64 8) a))) (sqrt.f64 (+.f64 (sqrt.f64 (-.f64 (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 x-scale 4)) (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 y-scale 4)) (.f64 3 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (pow.f64 (.f64 y-scale x-scale) 2))))) (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (pow.f64 (.f64 y-scale x-scale) 2)))) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)))))))
	63.2b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 (.f64 4 (.f64 (.f64 b a) (.f64 b (neg.f64 a))))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (+.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)) (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 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2)) (fabs.f64 (.f64 y-scale x-scale))))
	63.2b	(.f64 (/.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2)))))))) (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2))))))))) (.f64 (cbrt.f64 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (cbrt.f64 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))))) (/.f64 (neg.f64 (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2))))))))) (cbrt.f64 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 y-scale x-scale) 2)))))
	61.4b	(.f64 1/4 (.f64 (.f64 y-scale (.f64 x-scale (.f64 (sqrt.f64 8) a))) (sqrt.f64 (+.f64 (sqrt.f64 (-.f64 (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 x-scale 4)) (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 y-scale 4)) (.f64 3 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (pow.f64 (.f64 y-scale x-scale) 2))))) (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (pow.f64 (.f64 y-scale x-scale) 2)))) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)))))))
	63.3b	(exp.f64 (log.f64 (/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2))) (.f64 (.f64 (.f64 a b) (.f64 b (neg.f64 a))) (+.f64 (+.f64 (/.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)) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) (.f64 y-scale y-scale))) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 y-scale x-scale)) 2)))))))) (/.f64 (.f64 4 (.f64 (.f64 a b) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 y-scale x-scale) 2)))))
	62.0b	(.f64 1/4 (.f64 (.f64 y-scale (.f64 x-scale (sqrt.f64 8))) (sqrt.f64 (+.f64 (/.f64 (.f64 a a) (.f64 y-scale y-scale)) (+.f64 (sqrt.f64 (-.f64 (+.f64 (/.f64 (pow.f64 b 4) (pow.f64 x-scale 4)) (/.f64 (pow.f64 a 4) (pow.f64 y-scale 4))) (.f64 2 (/.f64 (.f64 (.f64 a a) (.f64 b b)) (pow.f64 (.f64 y-scale x-scale) 2))))) (/.f64 (.f64 b b) (*.f64 x-scale x-scale)))))))
	62.3b	(.f64 1/4 (.f64 (.f64 y-scale (.f64 x-scale (sqrt.f64 8))) (sqrt.f64 (+.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (.f64 x-scale x-scale)) (+.f64 (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a)) (.f64 x-scale x-scale)) (sqrt.f64 (+.f64 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4)) (pow.f64 x-scale 4)) (+.f64 (/.f64 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)))) (pow.f64 x-scale 4)) (+.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (pow.f64 x-scale 4)) (/.f64 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)))) (pow.f64 x-scale 4)))))))))))
	58.7b	(.f64 1/4 (.f64 (.f64 x-scale (sqrt.f64 8)) (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (+.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a)) (sqrt.f64 (+.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 a 4)) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (.f64 2 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (*.f64 b b)))))))))))))
	62.1b	(.f64 -1/4 (.f64 (.f64 y-scale (.f64 x-scale (sqrt.f64 8))) (sqrt.f64 (+.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a)) (.f64 y-scale y-scale)) (+.f64 (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (.f64 y-scale y-scale)) (sqrt.f64 (+.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 a 4)) (pow.f64 y-scale 4)) (+.f64 (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (pow.f64 y-scale 4)) (.f64 2 (/.f64 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)))) (pow.f64 y-scale 4)))))))))))
	58.8b	(.f64 1/4 (.f64 (.f64 y-scale (sqrt.f64 8)) (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a)) (+.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (sqrt.f64 (+.f64 (.f64 (pow.f64 a 4) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4)) (+.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (.f64 2 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (*.f64 b b)))))))))))))
	60.9b	(.f64 (.f64 (.f64 y-scale (.f64 x-scale (.f64 (sqrt.f64 8) b))) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 x-scale 4)) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 y-scale 4)) (.f64 2 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (pow.f64 (.f64 y-scale x-scale) 2)))))))))) -1/4)
	61.2b	(.f64 1/4 (.f64 (.f64 y-scale (.f64 x-scale (.f64 (sqrt.f64 8) b))) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 x-scale 4)) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 y-scale 4)) (.f64 2 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (pow.f64 (.f64 y-scale x-scale) 2)))))))))))

Compiler

Compiled 3002 to 1945 computations (35.2% saved)

regimes7.6s (5.1%)

Compiler: Compiled 290802 to 190947 computations (34.3% saved)

bsearch43.0ms (0%)

Compiler: Compiled 6 to 5 computations (16.7% saved)

Details

analyze25.8s (17.2%)

sample1.1s (0.7%)

simplify55.0ms (0%)

prune14.0ms (0%)

localize79.0ms (0.1%)

rewrite3.1s (2.1%)

series1.8min (70.3%)

simplify2.6s (1.7%)

prune2.3s (1.5%)

localize49.0ms (0%)

rewrite238.0ms (0.2%)

series73.0ms (0%)

simplify199.0ms (0.1%)

prune110.0ms (0.1%)

localize51.0ms (0%)

rewrite204.0ms (0.1%)

series78.0ms (0.1%)

simplify195.0ms (0.1%)

prune111.0ms (0.1%)

localize55.0ms (0%)

rewrite193.0ms (0.1%)

series78.0ms (0.1%)

simplify200.0ms (0.1%)

prune98.0ms (0.1%)

regimes7.6s (5.1%)

bsearch43.0ms (0%)

Profiling