Details

analyze17.5s (15.5%)

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)

sample2.6s (2.3%)

Algorithm

1×

intervals

Results

1.2s	57×	body	8192	valid
1.1s	121×	body	4096	valid
254.0ms	49×	body	2048	valid
49.0ms	16×	body	1024	valid
18.0ms	9×	body	512	valid
7.0ms	2×	body	1024	invalid
6.0ms	1×	body	2048	invalid
4.0ms	3×	body	256	valid
1.0ms	1×	body	128	valid
1.0ms	1×	body	128	invalid

Compiler

Compiled 382 to 254 computations (33.5% saved)

simplify28.0ms (0%)

Algorithm

1×	egg-herbie

Rules

742×	`times-frac_binary64`
606×	`associate-l_binary64`
593×	`associate-r_binary64`
303×	`associate-/r*_binary64`
262×	`associate-/l*_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	57	292
1	154	287
2	560	287
3	5065	287

prune24.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

63.9b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	63.9b	(.f64 -1/4 (.f64 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 8 (pow.f64 (.f64 x-scale y-scale) 2)) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (.f64 (.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 (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 b a) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 x-scale y-scale) 2)))

Status

Error

Program

▶

63.9b

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

Compiler

Compiled 555 to 354 computations (36.2% saved)

localize86.0ms (0.1%)

Local error

Found 4 expressions with local error:

27.4b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
27.4b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
27.4b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
38.8b	(-.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))))

rewrite825.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

63.9b

Rules

18×	`*-un-lft-identity_binary64`
10×	`add-sqr-sqrt_binary64`
9×	`add-log-exp_binary64` `cancel-sign-sub-inv_binary64`
7×	`sqrt-prod_binary64`
6×	`add-cube-cbrt_binary64` `sqrt-div_binary64` `frac-sub_binary64`

Counts

4 → 53

Calls

4 calls:

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

Compiler

Compiled 13849 to 8490 computations (38.7% saved)

series2.9s (2.5%)

Error

63.1b

Counts

4 → 24

Calls

4 calls:

2.7s	(-.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))))
26.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
25.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
24.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 17988 to 12046 computations (33% saved)

simplify363.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

298×	`unswap-sqr_binary64`
257×	`cancel-sign-sub-inv_binary64`
177×	`times-frac_binary64`
163×	`associate-/l*_binary64`
151×	`sub-neg_binary64`

Counts

77 → 60

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	299	15472
1	855	14958
2	3160	14571
3	4778	14571
4	4974	14571

prune659.0ms (0.6%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	53	7	60
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	54	7	61

Error

62.6b

Counts

61 → 7

Alt Table

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

Compiler

Compiled 14222 to 8324 computations (41.5% saved)

localize75.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite1.3s (1.2%)

Algorithm

1×	rewrite-expression-head

Error

62.6b

Rules

39×	`associate-*l/_binary64`
36×	`frac-add_binary64`
27×	`sqrt-div_binary64` `frac-sub_binary64`
18×	`flip3-+_binary64` `flip-+_binary64`
10×	`add-sqr-sqrt_binary64`

Counts

4 → 70

Calls

4 calls:

43.0ms	(-.f64 (+.f64 (.f64 (/.f64 (.f64 a a) (.f64 y-scale y-scale)) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (/.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 y-scale 4)) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4)) (.f64 (/.f64 (pow.f64 a 4) (.f64 x-scale x-scale)) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (.f64 x-scale x-scale)) (.f64 (/.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)) (*.f64 y-scale y-scale)) 2))))))
3.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
3.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
3.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 18953 to 9715 computations (48.7% saved)

series1.1s (1%)

Error

58.7b

Counts

4 → 21

Calls

4 calls:

1.0s	(-.f64 (+.f64 (.f64 (/.f64 (.f64 a a) (.f64 y-scale y-scale)) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (/.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 y-scale 4)) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4)) (.f64 (/.f64 (pow.f64 a 4) (.f64 x-scale x-scale)) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (.f64 x-scale x-scale)) (.f64 (/.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)) (*.f64 y-scale y-scale)) 2))))))
21.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
21.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
20.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 5751 to 3299 computations (42.6% saved)

simplify290.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

516×	`associate-l_binary64`
488×	`associate-r_binary64`
214×	`distribute-rgt-in_binary64`
210×	`distribute-lft-in_binary64`
148×	`associate-r/_binary64` `-commutative_binary64`

Counts

91 → 55

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	337	20360
1	1068	19045
2	5052	19045

prune877.0ms (0.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	54	1	55
Fresh	0	6	6
Picked	1	0	1
Done	0	0	0
Total	55	7	62

Error

62.6b

Counts

62 → 7

Alt Table

Status	Error	Program
	63.8b	(.f64 -1/4 (.f64 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 8 (pow.f64 (.f64 x-scale y-scale) 2)) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (.f64 (.f64 (.f64 b a) (.f64 b (neg.f64 a))) (/.f64 (-.f64 (+.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a))) (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 a 4)) (+.f64 (.f64 (pow.f64 b 4) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4)) (.f64 2 (.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a)))))))) (.f64 x-scale x-scale))))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))
	63.8b	(.f64 -1/4 (.f64 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 8 (pow.f64 (.f64 x-scale y-scale) 2)) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (.f64 (.f64 (.f64 b a) (.f64 b (neg.f64 a))) (.f64 (.f64 b b) (-.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)) (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (.f64 2 (.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)) (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)))) (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 x-scale 4)) (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 y-scale 4)))))))))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 x-scale y-scale) 2)))
	63.8b	(.f64 -1/4 (.f64 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 8 (pow.f64 (.f64 x-scale y-scale) 2)) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (.f64 (.f64 (.f64 b a) (.f64 b (neg.f64 a))) (.f64 (.f64 a a) (-.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)) (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale))) (sqrt.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 2 (.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)) (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)))))))))))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 x-scale y-scale) 2)))
	63.5b	(.f64 -1/4 (.f64 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 8 (pow.f64 (.f64 x-scale y-scale) 2)) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (.f64 (.f64 (.f64 b a) (.f64 b (neg.f64 a))) (-.f64 (+.f64 (/.f64 (.f64 (.f64 b b) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (.f64 y-scale y-scale)) (.f64 (/.f64 (.f64 a a) (.f64 y-scale y-scale)) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2))) (sqrt.f64 (+.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 (.f64 (/.f64 (pow.f64 a 4) (pow.f64 y-scale 4)) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4)) (.f64 2 (/.f64 (.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a))) (pow.f64 y-scale 4)))))))))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 x-scale y-scale) 2)))
	63.4b	(.f64 -1/4 (.f64 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 8 (pow.f64 (.f64 x-scale y-scale) 2)) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (.f64 (.f64 (.f64 b a) (.f64 b (neg.f64 a))) (/.f64 (-.f64 (+.f64 (.f64 (.f64 b b) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (.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 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a)))))))) (.f64 y-scale y-scale))))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))
	63.9b	(.f64 -1/4 (.f64 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 8 (pow.f64 (.f64 x-scale y-scale) 2)) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (.f64 (.f64 (.f64 b a) (.f64 b (neg.f64 a))) (/.f64 (-.f64 (.f64 (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 x-scale y-scale)) 2))) (+.f64 (pow.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)) 3) (pow.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)) 3))) (.f64 (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))) 4) (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 x-scale y-scale)) 4))) (+.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 (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 (+.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 (/.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 (+.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 (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 x-scale y-scale)) 2))) (+.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 (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 (+.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 (/.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 (+.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 b a) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))
▶	63.3b	(.f64 -1/4 (.f64 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 8 (pow.f64 (.f64 x-scale y-scale) 2)) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (.f64 (.f64 (.f64 b a) (.f64 b (neg.f64 a))) (exp.f64 (log.f64 (-.f64 (+.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (.f64 y-scale y-scale)) (.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)) (.f64 a a))) (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 (pow.f64 a 4) (.f64 x-scale x-scale)) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (.f64 x-scale x-scale)) (.f64 2 (.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2))))))))))))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))

Compiler

Compiled 15965 to 8978 computations (43.8% saved)

localize82.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite1.3s (1.1%)

Algorithm

1×	rewrite-expression-head

Error

62.6b

Rules

36×	`frac-add_binary64`
27×	`sqrt-div_binary64` `frac-sub_binary64`
18×	`associate-*l/_binary64` `flip3-+_binary64` `flip-+_binary64`
15×	`associate-*r/_binary64`
10×	`add-sqr-sqrt_binary64`

Counts

4 → 70

Calls

4 calls:

35.0ms	(-.f64 (+.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (.f64 y-scale y-scale)) (.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)) (.f64 a a))) (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 (pow.f64 a 4) (.f64 x-scale x-scale)) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (.f64 x-scale x-scale)) (.f64 2 (.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)) (pow.f64 (sin.f64 (.f64 1/180 (*.f64 angle PI.f64))) 2))))))))
3.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
3.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
3.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 19087 to 9998 computations (47.6% saved)

series1.2s (1%)

Error

58.7b

Counts

4 → 21

Calls

4 calls:

1.0s	(-.f64 (+.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (.f64 y-scale y-scale)) (.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)) (.f64 a a))) (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 (pow.f64 a 4) (.f64 x-scale x-scale)) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (.f64 x-scale x-scale)) (.f64 2 (.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)) (pow.f64 (sin.f64 (.f64 1/180 (*.f64 angle PI.f64))) 2))))))))
23.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
22.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
20.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 5851 to 3402 computations (41.9% saved)

simplify385.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

511×	`associate-l_binary64`
503×	`associate-r_binary64`
214×	`distribute-rgt-in_binary64`
210×	`distribute-lft-in_binary64`
147×	`*-commutative_binary64`

Counts

91 → 55

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	338	20711
1	1061	18928
2	4982	18928
3	4999	18928

prune864.0ms (0.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	55	0	55
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	55	7	62

Error

62.6b

Counts

62 → 7

Alt Table

Status	Error	Program
	63.8b	(.f64 -1/4 (.f64 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 8 (pow.f64 (.f64 x-scale y-scale) 2)) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (.f64 (.f64 (.f64 b a) (.f64 b (neg.f64 a))) (/.f64 (-.f64 (+.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a))) (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 a 4)) (+.f64 (.f64 (pow.f64 b 4) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4)) (.f64 2 (.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a)))))))) (.f64 x-scale x-scale))))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))
	63.8b	(.f64 -1/4 (.f64 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 8 (pow.f64 (.f64 x-scale y-scale) 2)) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (.f64 (.f64 (.f64 b a) (.f64 b (neg.f64 a))) (.f64 (.f64 b b) (-.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)) (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (.f64 2 (.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)) (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)))) (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 x-scale 4)) (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 y-scale 4)))))))))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 x-scale y-scale) 2)))
	63.8b	(.f64 -1/4 (.f64 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 8 (pow.f64 (.f64 x-scale y-scale) 2)) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (.f64 (.f64 (.f64 b a) (.f64 b (neg.f64 a))) (.f64 (.f64 a a) (-.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)) (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale))) (sqrt.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 2 (.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)) (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)))))))))))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 x-scale y-scale) 2)))
	63.5b	(.f64 -1/4 (.f64 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 8 (pow.f64 (.f64 x-scale y-scale) 2)) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (.f64 (.f64 (.f64 b a) (.f64 b (neg.f64 a))) (-.f64 (+.f64 (/.f64 (.f64 (.f64 b b) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (.f64 y-scale y-scale)) (.f64 (/.f64 (.f64 a a) (.f64 y-scale y-scale)) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2))) (sqrt.f64 (+.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 (.f64 (/.f64 (pow.f64 a 4) (pow.f64 y-scale 4)) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4)) (.f64 2 (/.f64 (.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a))) (pow.f64 y-scale 4)))))))))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 x-scale y-scale) 2)))
▶	63.4b	(.f64 -1/4 (.f64 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 8 (pow.f64 (.f64 x-scale y-scale) 2)) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (.f64 (.f64 (.f64 b a) (.f64 b (neg.f64 a))) (/.f64 (-.f64 (+.f64 (.f64 (.f64 b b) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (.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 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a)))))))) (.f64 y-scale y-scale))))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))
	63.9b	(.f64 -1/4 (.f64 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 8 (pow.f64 (.f64 x-scale y-scale) 2)) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (.f64 (.f64 (.f64 b a) (.f64 b (neg.f64 a))) (/.f64 (-.f64 (.f64 (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 x-scale y-scale)) 2))) (+.f64 (pow.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)) 3) (pow.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)) 3))) (.f64 (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))) 4) (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 x-scale y-scale)) 4))) (+.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 (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 (+.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 (/.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 (+.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 (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 x-scale y-scale)) 2))) (+.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 (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 (+.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 (/.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 (+.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 b a) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))
✓	63.3b	(.f64 -1/4 (.f64 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 8 (pow.f64 (.f64 x-scale y-scale) 2)) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (.f64 (.f64 (.f64 b a) (.f64 b (neg.f64 a))) (exp.f64 (log.f64 (-.f64 (+.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (.f64 y-scale y-scale)) (.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)) (.f64 a a))) (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 (pow.f64 a 4) (.f64 x-scale x-scale)) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (.f64 x-scale x-scale)) (.f64 2 (.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2))))))))))))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))

Compiler

Compiled 15831 to 8998 computations (43.2% saved)

localize75.0ms (0.1%)

Local error

Found 4 expressions with local error:

27.2b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
27.2b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
27.2b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
28.5b	(-.f64 (+.f64 (.f64 (.f64 b b) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (.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 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a))))))))

rewrite573.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

62.6b

Rules

10×	`add-sqr-sqrt_binary64`
9×	`add-log-exp_binary64`
8×	`*-un-lft-identity_binary64`
6×	`add-cube-cbrt_binary64` `cancel-sign-sub-inv_binary64`
4×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `flip3-+_binary64` `sqrt-div_binary64` `frac-sub_binary64` `flip-+_binary64` `sqrt-prod_binary64`

Counts

4 → 47

Calls

4 calls:

31.0ms	(-.f64 (+.f64 (.f64 (.f64 b b) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (.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 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a))))))))
3.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
3.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
3.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 8461 to 4538 computations (46.4% saved)

series654.0ms (0.6%)

Error

59.9b

Counts

4 → 18

Calls

4 calls:

520.0ms	(-.f64 (+.f64 (.f64 (.f64 b b) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (.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 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a))))))))
21.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
21.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
18.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 4580 to 2609 computations (43% saved)

simplify196.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

493×	`cancel-sign-sub-inv_binary64`
450×	`distribute-rgt-in_binary64`
320×	`unswap-sqr_binary64`
292×	`neg-mul-1_binary64`
286×	`distribute-rgt-neg-in_binary64`

Counts

65 → 30

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	152	6826
1	424	6405
2	1656	6351
3	4544	6351
4	4941	6351

prune321.0ms (0.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	28	2	30
Fresh	1	4	5
Picked	1	0	1
Done	0	1	1
Total	30	7	37

Error

62.6b

Counts

37 → 7

Alt Table

Status	Error	Program
	63.4b	(.f64 -1/4 (.f64 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 8 (pow.f64 (.f64 x-scale y-scale) 2)) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (.f64 (.f64 (.f64 b a) (.f64 b (neg.f64 a))) (/.f64 (+.f64 (+.f64 (.f64 (.f64 b b) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a))) (.f64 (neg.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 (pow.f64 a 4) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4)) (+.f64 (.f64 2 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (.f64 b b) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2))))) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4))))))) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 (pow.f64 a 4) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4)) (+.f64 (.f64 2 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (.f64 b b) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2))))) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)))))))) (.f64 y-scale y-scale))))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 x-scale y-scale) 2)))
	63.8b	(.f64 -1/4 (.f64 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 8 (pow.f64 (.f64 x-scale y-scale) 2)) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (.f64 (.f64 (.f64 b a) (.f64 b (neg.f64 a))) (/.f64 (-.f64 (+.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a))) (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 a 4)) (+.f64 (.f64 (pow.f64 b 4) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4)) (.f64 2 (.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 b b)) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 a a)))))))) (.f64 x-scale x-scale))))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))
	63.8b	(.f64 -1/4 (.f64 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 8 (pow.f64 (.f64 x-scale y-scale) 2)) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (.f64 (.f64 (.f64 b a) (.f64 b (neg.f64 a))) (.f64 (.f64 b b) (-.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)) (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale))) (sqrt.f64 (+.f64 (.f64 2 (.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)) (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)))) (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 x-scale 4)) (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 y-scale 4)))))))))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 x-scale y-scale) 2)))
	63.8b	(.f64 -1/4 (.f64 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 8 (pow.f64 (.f64 x-scale y-scale) 2)) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (.f64 (.f64 (.f64 b a) (.f64 b (neg.f64 a))) (.f64 (.f64 a a) (-.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)) (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale))) (sqrt.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 2 (.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)) (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)))))))))))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 x-scale y-scale) 2)))
	63.5b	(.f64 -1/4 (.f64 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 8 (pow.f64 (.f64 x-scale y-scale) 2)) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (.f64 (.f64 (.f64 b a) (.f64 b (neg.f64 a))) (/.f64 (/.f64 (-.f64 (.f64 (+.f64 (.f64 (.f64 a a) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (.f64 (.f64 b b) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2))) (+.f64 (.f64 (.f64 a a) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (.f64 (.f64 b b) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)))) (+.f64 (.f64 (pow.f64 a 4) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4)) (+.f64 (.f64 2 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (.f64 b b) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2))))) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4))))) (+.f64 (+.f64 (.f64 (.f64 a a) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (.f64 (.f64 b b) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2))) (sqrt.f64 (+.f64 (.f64 (pow.f64 a 4) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4)) (+.f64 (.f64 2 (.f64 (.f64 a a) (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (.f64 b b) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2))))) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4))))))) (.f64 y-scale y-scale))))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 x-scale y-scale) 2)))
	63.9b	(.f64 -1/4 (.f64 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 8 (pow.f64 (.f64 x-scale y-scale) 2)) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (.f64 (.f64 (.f64 b a) (.f64 b (neg.f64 a))) (/.f64 (-.f64 (.f64 (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 x-scale y-scale)) 2))) (+.f64 (pow.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)) 3) (pow.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)) 3))) (.f64 (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))) 4) (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 x-scale y-scale)) 4))) (+.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 (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 (+.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 (/.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 (+.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 (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 x-scale y-scale)) 2))) (+.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 (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 (+.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 (/.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 (+.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 b a) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))
	63.3b	(.f64 -1/4 (.f64 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 8 (pow.f64 (.f64 x-scale y-scale) 2)) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (.f64 (.f64 (.f64 b a) (.f64 b (neg.f64 a))) (exp.f64 (log.f64 (-.f64 (+.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (.f64 y-scale y-scale)) (.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 x-scale x-scale)) (.f64 a a))) (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 (pow.f64 a 4) (.f64 x-scale x-scale)) (+.f64 (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (.f64 x-scale x-scale)) (.f64 2 (.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 y-scale y-scale)) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2))))))))))))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))

Compiler

Compiled 5948 to 3361 computations (43.5% saved)

regimes4.1s (3.6%)

Accuracy

Total -2.6b remaining (-4.3%)

Threshold costs -2.6b (-4.3%)

Compiler

Compiled 134408 to 82770 computations (38.4% saved)

simplify10.0ms (0%)

Algorithm

1×	egg-herbie

Rules

45×	`distribute-rgt-neg-in_binary64`
31×	`distribute-lft-neg-in_binary64`
24×	`neg-mul-1_binary64` `neg-sub0_binary64`
21×	`*-commutative_binary64`
20×	`cancel-sign-sub-inv_binary64` `distribute-rgt-neg-out_binary64`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	25	73
1	38	73
2	47	73
3	62	73
4	83	71
5	105	69
6	140	69
7	172	69
8	195	69
9	207	69
10	211	69
11	205	69

end2.0ms (0%)

Compiler: Compiled 50 to 28 computations (44% saved)

sample1.2min (66.1%)

Algorithm

1×

intervals

Results

33.9s	3798×	body	4096	valid
26.3s	1433×	body	8192	valid
9.8s	1788×	body	2048	valid
1.9s	591×	body	1024	valid
489.0ms	225×	body	512	valid
179.0ms	31×	body	2048	invalid
171.0ms	117×	body	256	valid
127.0ms	36×	body	1024	invalid
41.0ms	48×	body	128	valid
27.0ms	13×	body	512	invalid
20.0ms	2×	body	4096	invalid
17.0ms	13×	body	256	invalid
8.0ms	12×	body	128	invalid

Compiler

Compiled 1839 to 1129 computations (38.6% saved)

Iter	Nodes	Cost
0	25	73
1	38	73
2	47	73
3	62	73
4	83	71
5	105	69
6	140	69
7	172	69
8	195	69
9	207	69
10	211	69
11	205	69

Iter	Nodes	Cost
0	25	73
1	38	73
2	47	73
3	62	73
4	83	71
5	105	69
6	140	69
7	172	69
8	195	69
9	207	69
10	211	69
11	205	69

Details

analyze17.5s (15.5%)

sample2.6s (2.3%)

simplify28.0ms (0%)

prune24.0ms (0%)

localize86.0ms (0.1%)

rewrite825.0ms (0.7%)

series2.9s (2.5%)

simplify363.0ms (0.3%)

prune659.0ms (0.6%)

localize75.0ms (0.1%)

rewrite1.3s (1.2%)

series1.1s (1%)

simplify290.0ms (0.3%)

prune877.0ms (0.8%)

localize82.0ms (0.1%)

rewrite1.3s (1.1%)

series1.2s (1%)

simplify385.0ms (0.3%)

prune864.0ms (0.8%)

localize75.0ms (0.1%)

rewrite573.0ms (0.5%)

series654.0ms (0.6%)

simplify196.0ms (0.2%)

prune321.0ms (0.3%)

regimes4.1s (3.6%)

simplify10.0ms (0%)

end2.0ms (0%)

sample1.2min (66.1%)

Profiling

Iter	Nodes	Cost
0	25	73
1	38	73
2	47	73
3	62	73
4	83	71
5	105	69
6	140	69
7	172	69
8	195	69
9	207	69
10	211	69
11	205	69