Details

analyze27.0s (18%)

Algorithm

1×

Search

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

Compiler

Compiled 175 to 127 computations (27.4% saved)

sample1.8s (1.2%)

Algorithm

1×

intervals

Results

571.0ms	47×	body	4096	valid
401.0ms	59×	body	1024	valid
382.0ms	43×	body	2048	valid
158.0ms	2×	body	8192	exit
108.0ms	24×	body	512	valid
77.0ms	75×	body	128	valid
23.0ms	8×	body	256	valid

Compiler

Compiled 354 to 258 computations (27.1% saved)

simplify57.0ms (0%)

Algorithm

1×	egg-herbie

Rules

873×	`div-sub_binary64`
637×	`times-frac_binary64`
295×	`associate-/l/_binary64`
206×	`fma-neg_binary64`
198×	`fma-def_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	46	273
1	115	265
2	319	265
3	1421	265
4	4671	265
5	6224	265

prune19.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

53.4b

Counts

3 → 2

Alt Table

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

Status

Error

Program

▶

53.5b

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

53.7b

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

Compiler

Compiled 1024 to 714 computations (30.3% saved)

localize64.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	17.1b	(-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) b) 2)) x-scale) x-scale)) (hypot.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) b) 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)) (/.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))))) x-scale) y-scale)))
✓	21.6b	(/.f64 (-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) b) 2)) x-scale) x-scale)) (hypot.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) b) 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)) (/.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))))) x-scale) y-scale))) (/.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))))) x-scale) y-scale))
✓	27.7b	(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
✓	28.4b	(cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))

series2.0min (80.7%)

Calls

3 calls:

1.6min

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

4.0ms

(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))

3.0ms

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

Details

analyze27.0s (18%)

sample1.8s (1.2%)

simplify57.0ms (0%)

prune19.0ms (0%)

localize64.0ms (0%)

series2.0min (80.7%)

Profiling