Details

analyze11.4s (16.1%)

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
7.8%	92%	0.2%	9
11.7%	88.1%	0.2%	10
23.8%	76%	0.2%	11
23.8%	76%	0.2%	12
26.9%	72.9%	0.2%	13
26.9%	72.9%	0.2%	14

Compiler

Compiled 115 to 84 computations (27% saved)

sample47.5s (67.5%)

Results

12.5s	1483×	body	4096	valid
9.1s	1791×	body	2048	valid
7.3s	875×	body	4096	invalid
6.1s	1215×	body	2048	invalid
2.9s	857×	body	1024	valid
2.7s	3537×	body	128	valid
2.5s	745×	body	1024	invalid
1.3s	70×	body	8192	valid
783.0ms	357×	body	512	valid
765.0ms	1088×	body	128	invalid
617.0ms	35×	body	8192	invalid
612.0ms	288×	body	512	invalid
229.0ms	161×	body	256	valid
139.0ms	107×	body	256	invalid

Compiler

Compiled 230 to 168 computations (27% saved)

preprocess56.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

432×	`fma-def_binary64`
225×	`distribute-neg-frac_binary64`
202×	`distribute-lft-in_binary64`
202×	`distribute-rgt-in_binary64`
193×	`associate-*r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	249	1925
1	735	1903
2	2737	1903
0	5	5

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 114 to 83 computations (27.2% saved)

simplify20.0ms (0%)

Algorithm

1×	egg-herbie

Rules

545×	`associate-/l/_binary64`
526×	`associate-/r/_binary64`
263×	`distribute-rgt-in_binary64`
260×	`distribute-lft-in_binary64`
157×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	40	175
1	104	173
2	339	173
3	1688	170

Stop Event

1×	node limit

Counts

1 → 2

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

41.8b

Counts

3 → 2

Alt Table

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

Status

Error

Program

46.3b

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

▶

41.8b

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

Compiler

Compiled 670 to 462 computations (31% saved)

localize38.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	9.5b	(/.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)
✓	28.7b	(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
✓	29.2b	(cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
✓	30.2b	(-.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale)) (.f64 (.f64 4 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale)) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)))

series2.0s (2.9%)

Counts

4 → 132

Calls

33 calls:

186.0ms	(-.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale)) (.f64 (.f64 4 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale)) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)))	angle	-inf
185.0ms	(-.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale)) (.f64 (.f64 4 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale)) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)))	angle	inf
173.0ms	(-.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale)) (.f64 (.f64 4 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale)) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)))	y-scale	-inf
168.0ms	(-.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale)) (.f64 (.f64 4 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale)) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)))	x-scale	0
162.0ms	(-.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale)) (.f64 (.f64 4 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale)) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)))	y-scale	inf

rewrite94.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

429×	`log1p-expm1-u_binary64`
429×	`expm1-log1p-u_binary64`
413×	`add-log-exp_binary64`
398×	`pow1_binary64`
152×	`log-prod_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	40	190
1	918	181

Stop Event

1×	node limit

Counts

4 → 91

simplify259.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

532×	`unswap-sqr_binary64`
356×	`fma-neg_binary64`
278×	`times-frac_binary64`
269×	`associate-r_binary64`
265×	`associate-/l*_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	256	12980
1	1029	12263
2	4226	12135

Stop Event

1×	node limit

Counts

223 → 150

prune1.1s (1.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	276	12	288
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	278	12	290

Error

20.3b

Counts

290 → 12

Alt Table

Status	Error	Program
	41.6b	(-.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale)) (.f64 (.f64 4 (/.f64 (/.f64 b (/.f64 x-scale b)) x-scale)) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)))
	42.0b	(-.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (log.f64 (exp.f64 (sin.f64 (.f64 (.f64 angle 1/180) (PI.f64)))))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale)) (.f64 (.f64 4 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale)) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)))
	39.3b	(.f64 (fma.f64 4 (.f64 (.f64 (/.f64 b y-scale) (/.f64 b y-scale)) (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 4) (.f64 x-scale x-scale))) (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 4) (/.f64 (.f64 (.f64 y-scale x-scale) (.f64 y-scale x-scale)) (.f64 b b))) (.f64 (/.f64 8 (.f64 y-scale y-scale)) (/.f64 (.f64 (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 b b))) (.f64 x-scale x-scale))))) (*.f64 (neg.f64 a) a))
	32.1b	0
	30.8b	(neg.f64 (/.f64 (.f64 (.f64 4 (.f64 a a)) (.f64 b b)) (.f64 (.f64 y-scale x-scale) (*.f64 y-scale x-scale))))
	37.4b	(/.f64 (neg.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 4) (.f64 (/.f64 y-scale (.f64 a a)) (/.f64 y-scale (.f64 b b)))) (fma.f64 4 (.f64 (.f64 (/.f64 a y-scale) (/.f64 a y-scale)) (.f64 b (.f64 b (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 4)))) (.f64 (/.f64 8 y-scale) (/.f64 (.f64 (.f64 a a) (.f64 (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 b b)))) y-scale))))) (.f64 x-scale x-scale))
▶	30.5b	(.f64 -4 (.f64 (/.f64 (.f64 a a) (.f64 (.f64 y-scale x-scale) (.f64 y-scale x-scale))) (*.f64 b b)))
	44.1b	(fma.f64 4 (-.f64 (.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2) (pow.f64 a 4)) (.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 (/.f64 b (/.f64 x-scale b)) (/.f64 (.f64 a a) x-scale)) (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 4) (.f64 y-scale y-scale)))) (neg.f64 (fma.f64 4 (fma.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2) (.f64 y-scale y-scale)) (/.f64 (pow.f64 a 4) (/.f64 (.f64 x-scale x-scale) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2))) (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 4) (.f64 (/.f64 (.f64 x-scale x-scale) (.f64 a a)) (/.f64 (.f64 y-scale y-scale) (.f64 b b))))) (.f64 8 (.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2) (.f64 a a)) (.f64 x-scale x-scale)) (/.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2) (/.f64 (.f64 y-scale y-scale) (.f64 b b))))))))
	42.2b	(-.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale)) (.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (hypot.f64 (.f64 a (sin.f64 (.f64 (.f64 angle 1/180) (PI.f64)))) (.f64 b (cos.f64 (.f64 (.f64 angle 1/180) (PI.f64))))) 2) (/.f64 1 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)))
	37.2b	(/.f64 (neg.f64 (fma.f64 4 (.f64 (/.f64 (/.f64 (.f64 a a) x-scale) x-scale) (.f64 b (.f64 b (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 4)))) (fma.f64 8 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2) (/.f64 (.f64 (/.f64 x-scale (.f64 b b)) (/.f64 x-scale (.f64 a a))) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2))) (.f64 4 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 4) (.f64 (/.f64 x-scale (.f64 b b)) (/.f64 x-scale (.f64 a a)))))))) (.f64 y-scale y-scale))
	38.8b	(.f64 -4 (/.f64 (.f64 (pow.f64 a 2) (pow.f64 b 2)) (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2))))
	42.0b	(-.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale)) (.f64 (.f64 4 (/.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2) (/.f64 x-scale (.f64 b b))) (.f64 (/.f64 (.f64 a a) x-scale) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2))) 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)))

Compiler

Compiled 36875 to 25264 computations (31.5% saved)

localize10.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 -4 (.f64 (/.f64 (.f64 a a) (.f64 (.f64 y-scale x-scale) (.f64 y-scale x-scale))) (*.f64 b b)))
✓	0.3b	(.f64 (.f64 y-scale x-scale) (*.f64 y-scale x-scale))
✓	16.4b	(/.f64 (.f64 a a) (.f64 (.f64 y-scale x-scale) (.f64 y-scale x-scale)))
✓	19.9b	(.f64 (/.f64 (.f64 a a) (.f64 (.f64 y-scale x-scale) (.f64 y-scale x-scale))) (.f64 b b))

series415.0ms (0.6%)

Counts

4 → 156

Calls

39 calls:

18.0ms	(.f64 (/.f64 (.f64 a a) (.f64 (.f64 y-scale x-scale) (.f64 y-scale x-scale))) (.f64 b b))	x-scale	-inf
18.0ms	(.f64 -4 (.f64 (/.f64 (.f64 a a) (.f64 (.f64 y-scale x-scale) (.f64 y-scale x-scale))) (*.f64 b b)))	b	0
16.0ms	(.f64 -4 (.f64 (/.f64 (.f64 a a) (.f64 (.f64 y-scale x-scale) (.f64 y-scale x-scale))) (*.f64 b b)))	a	-inf
16.0ms	(.f64 -4 (.f64 (/.f64 (.f64 a a) (.f64 (.f64 y-scale x-scale) (.f64 y-scale x-scale))) (*.f64 b b)))	b	-inf
15.0ms	(.f64 -4 (.f64 (/.f64 (.f64 a a) (.f64 (.f64 y-scale x-scale) (.f64 y-scale x-scale))) (*.f64 b b)))	a	0

rewrite64.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

237×	`expm1-udef_binary64`
237×	`log1p-udef_binary64`
219×	`log-pow_binary64`
141×	`associate-r_binary64`
136×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	61
1	278	46
2	3865	46

Stop Event

1×	node limit

Counts

4 → 106

simplify73.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

780×	`associate-r_binary64`
759×	`associate-l_binary64`
615×	`associate-/l/_binary64`
451×	`associate-/r/_binary64`
292×	`times-frac_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	3072
1	56	3072
2	203	3072
3	1664	3072

Stop Event

1×	node limit

Counts

262 → 118

prune204.0ms (0.3%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	105	13	118
Fresh	8	3	11
Picked	1	0	1
Done	0	0	0
Total	114	16	130

Error

3.2b

Counts

130 → 16

Alt Table

Status	Error	Program
	41.6b	(-.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale)) (.f64 (.f64 4 (/.f64 (/.f64 b (/.f64 x-scale b)) x-scale)) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)))
	42.0b	(-.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (log.f64 (exp.f64 (sin.f64 (.f64 (.f64 angle 1/180) (PI.f64)))))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale)) (.f64 (.f64 4 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale)) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)))
	26.0b	(.f64 -4 (.f64 (.f64 (/.f64 a y-scale) (/.f64 a (.f64 x-scale (.f64 y-scale x-scale)))) (.f64 b b)))
	18.4b	(.f64 -4 (/.f64 (/.f64 (pow.f64 (.f64 a b) 2) (.f64 y-scale (.f64 y-scale x-scale))) x-scale))
	37.4b	(/.f64 (neg.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 4) (.f64 (/.f64 y-scale (.f64 a a)) (/.f64 y-scale (.f64 b b)))) (fma.f64 4 (.f64 (.f64 (/.f64 a y-scale) (/.f64 a y-scale)) (.f64 b (.f64 b (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 4)))) (.f64 (/.f64 8 y-scale) (/.f64 (.f64 (.f64 a a) (.f64 (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 b b)))) y-scale))))) (.f64 x-scale x-scale))
	14.3b	(.f64 -4 (/.f64 (/.f64 (pow.f64 (.f64 a b) 2) (.f64 y-scale x-scale)) (.f64 y-scale x-scale)))
	6.0b	(pow.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 b (/.f64 a (*.f64 y-scale x-scale))) 2) -4)) 3)
	19.2b	(.f64 -4 (/.f64 (/.f64 (pow.f64 (.f64 a b) 2) y-scale) (.f64 x-scale (.f64 y-scale x-scale))))
	17.5b	(/.f64 (.f64 (pow.f64 (.f64 a b) 2) -4) (pow.f64 (*.f64 y-scale x-scale) 2))
	23.7b	(.f64 (.f64 b (.f64 (.f64 b (/.f64 a x-scale)) (/.f64 a x-scale))) (/.f64 -4 (*.f64 y-scale y-scale)))
	20.3b	(.f64 -4 (cbrt.f64 (pow.f64 (pow.f64 (.f64 b (/.f64 a (*.f64 y-scale x-scale))) 2) 3)))
▶	5.7b	(.f64 -4 (pow.f64 (.f64 b (/.f64 a (*.f64 y-scale x-scale))) 2))
	6.0b	(.f64 -4 (pow.f64 (cbrt.f64 (pow.f64 (.f64 b (/.f64 a (*.f64 y-scale x-scale))) 2)) 3))
	22.1b	(.f64 -4 (/.f64 (.f64 (.f64 (/.f64 a y-scale) (/.f64 a x-scale)) (.f64 b b)) (*.f64 y-scale x-scale)))
	30.9b	(.f64 -4 (.f64 (.f64 b b) (.f64 (/.f64 a x-scale) (/.f64 a (.f64 (.f64 y-scale y-scale) x-scale)))))
	22.6b	(.f64 -4 (.f64 (.f64 (.f64 (/.f64 a y-scale) (/.f64 a x-scale)) (/.f64 1 (.f64 y-scale x-scale))) (.f64 b b)))

Compiler

Compiled 3084 to 1731 computations (43.9% saved)

localize8.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 -4 (pow.f64 (.f64 b (/.f64 a (*.f64 y-scale x-scale))) 2))
✓	0.3b	(pow.f64 (.f64 b (/.f64 a (.f64 y-scale x-scale))) 2)
✓	4.1b	(.f64 b (/.f64 a (.f64 y-scale x-scale)))
✓	5.7b	(/.f64 a (*.f64 y-scale x-scale))

series279.0ms (0.4%)

Counts

4 → 164

Calls

45 calls:

41.0ms	(.f64 -4 (pow.f64 (.f64 b (/.f64 a (*.f64 y-scale x-scale))) 2))	x-scale	inf
19.0ms	(.f64 -4 (pow.f64 (.f64 b (/.f64 a (*.f64 y-scale x-scale))) 2))	b	0
18.0ms	(.f64 -4 (pow.f64 (.f64 b (/.f64 a (*.f64 y-scale x-scale))) 2))	b	-inf
18.0ms	(.f64 -4 (pow.f64 (.f64 b (/.f64 a (*.f64 y-scale x-scale))) 2))	a	0
16.0ms	(.f64 -4 (pow.f64 (.f64 b (/.f64 a (*.f64 y-scale x-scale))) 2))	a	inf

rewrite59.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

638×	`log-prod_binary64`
217×	`expm1-udef_binary64`
217×	`log1p-udef_binary64`
193×	`log-pow_binary64`
122×	`egg-rr`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	46
1	253	46
2	3170	46

Stop Event

1×	node limit

Counts

4 → 122

simplify69.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

835×	`associate-r_binary64`
803×	`associate-l_binary64`
584×	`associate-/l/_binary64`
438×	`associate-/r/_binary64`
256×	`times-frac_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	2876
1	74	2876
2	226	2876
3	1519	2876

Stop Event

1×	node limit

Counts

286 → 131

prune214.0ms (0.3%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	119	12	131
Fresh	11	4	15
Picked	1	0	1
Done	0	0	0
Total	131	16	147

Error

0.0b

Counts

147 → 16

Alt Table

Status	Error	Program
	4.1b	(.f64 -4 (pow.f64 (.f64 b (pow.f64 (cbrt.f64 (/.f64 (/.f64 a y-scale) x-scale)) 3)) 2))
	23.7b	(.f64 (.f64 b (.f64 (.f64 b (/.f64 a x-scale)) (/.f64 a x-scale))) (/.f64 -4 (*.f64 y-scale y-scale)))
	15.0b	(.f64 -4 (.f64 (pow.f64 (cbrt.f64 (.f64 (/.f64 (/.f64 a y-scale) x-scale) b)) 2) (cbrt.f64 (pow.f64 (.f64 (/.f64 (/.f64 a y-scale) x-scale) b) 4))))
	5.6b	(.f64 -4 (pow.f64 (.f64 b (*.f64 (/.f64 1 y-scale) (/.f64 a x-scale))) 2))
	5.7b	(.f64 -4 (pow.f64 (/.f64 (/.f64 (.f64 a b) y-scale) x-scale) 2))
	21.6b	(.f64 (.f64 b b) (.f64 (.f64 (/.f64 a (.f64 x-scale y-scale)) (/.f64 a (.f64 x-scale y-scale))) -4))
	10.6b	(.f64 -4 (/.f64 (.f64 (.f64 a b) (.f64 (/.f64 (/.f64 a y-scale) x-scale) b)) (*.f64 y-scale x-scale)))
	6.4b	(.f64 -4 (.f64 b (.f64 (/.f64 (/.f64 a y-scale) x-scale) (.f64 (/.f64 (/.f64 a y-scale) x-scale) b))))
▶	3.3b	(*.f64 -4 (pow.f64 (/.f64 b (/.f64 x-scale (/.f64 a y-scale))) 2))
	3.8b	(pow.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 (/.f64 (/.f64 a y-scale) x-scale) b) 2) -4)) 3)
	6.0b	(.f64 -4 (.f64 (/.f64 (/.f64 a y-scale) x-scale) (.f64 b (.f64 (/.f64 (/.f64 a y-scale) x-scale) b))))
	22.6b	(.f64 -4 (.f64 (.f64 (.f64 (/.f64 a y-scale) (/.f64 a x-scale)) (/.f64 1 (.f64 y-scale x-scale))) (.f64 b b)))
	19.5b	(.f64 -4 (cbrt.f64 (pow.f64 (pow.f64 (.f64 (/.f64 (/.f64 a y-scale) x-scale) b) 2) 3)))
	23.9b	(.f64 -4 (.f64 (sqrt.f64 (.f64 (/.f64 (/.f64 a y-scale) x-scale) b)) (.f64 (sqrt.f64 (.f64 (/.f64 (/.f64 a y-scale) x-scale) b)) (.f64 (/.f64 (/.f64 a y-scale) x-scale) b))))
	30.9b	(.f64 -4 (.f64 (.f64 b b) (.f64 (/.f64 a x-scale) (/.f64 a (.f64 (.f64 y-scale y-scale) x-scale)))))
	14.3b	(.f64 -4 (/.f64 (/.f64 (pow.f64 (.f64 a b) 2) (.f64 y-scale x-scale)) (.f64 y-scale x-scale)))

Compiler

Compiled 2817 to 1428 computations (49.3% saved)

localize9.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 -4 (pow.f64 (/.f64 b (/.f64 x-scale (/.f64 a y-scale))) 2))
✓	0.3b	(pow.f64 (/.f64 b (/.f64 x-scale (/.f64 a y-scale))) 2)
✓	3.9b	(/.f64 x-scale (/.f64 a y-scale))
✓	3.9b	(/.f64 b (/.f64 x-scale (/.f64 a y-scale)))

series261.0ms (0.4%)

Counts

4 → 180

Calls

45 calls:

20.0ms	(*.f64 -4 (pow.f64 (/.f64 b (/.f64 x-scale (/.f64 a y-scale))) 2))	a	inf
19.0ms	(*.f64 -4 (pow.f64 (/.f64 b (/.f64 x-scale (/.f64 a y-scale))) 2))	a	0
16.0ms	(*.f64 -4 (pow.f64 (/.f64 b (/.f64 x-scale (/.f64 a y-scale))) 2))	a	-inf
16.0ms	(*.f64 -4 (pow.f64 (/.f64 b (/.f64 x-scale (/.f64 a y-scale))) 2))	b	inf
15.0ms	(*.f64 -4 (pow.f64 (/.f64 b (/.f64 x-scale (/.f64 a y-scale))) 2))	b	-inf

rewrite65.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

229×	`expm1-udef_binary64`
229×	`log1p-udef_binary64`
203×	`log-pow_binary64`
179×	`log-div_binary64`
146×	`egg-rr`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	46
1	262	46
2	3602	46

Stop Event

1×	node limit

Counts

4 → 146

simplify99.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

824×	`associate-l_binary64`
579×	`associate-/l/_binary64`
440×	`associate-/r/_binary64`
258×	`times-frac_binary64`
219×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	2988
1	76	2988
2	229	2988
3	1532	2988
4	4821	2988
5	4984	2988

Stop Event

1×	node limit

Counts

326 → 156

prune212.0ms (0.3%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	150	6	156
Fresh	9	6	15
Picked	1	0	1
Done	0	0	0
Total	160	12	172

Error

0.0b

Counts

172 → 12

Alt Table

Status	Error	Program
	5.7b	(.f64 -4 (pow.f64 (.f64 b (/.f64 a (*.f64 x-scale y-scale))) 2))
	14.3b	(.f64 -4 (/.f64 (/.f64 (pow.f64 (.f64 a b) 2) (.f64 y-scale x-scale)) (.f64 y-scale x-scale)))
	20.5b	(.f64 -4 (/.f64 (.f64 b b) (pow.f64 (*.f64 x-scale (/.f64 y-scale a)) 2)))
	4.7b	(.f64 -4 (/.f64 (.f64 (/.f64 a y-scale) (/.f64 b x-scale)) (/.f64 x-scale (*.f64 b (/.f64 a y-scale)))))
	7.2b	(.f64 -4 (/.f64 b (.f64 (/.f64 x-scale (.f64 b (/.f64 a y-scale))) (.f64 x-scale (/.f64 y-scale a)))))
	19.5b	(.f64 -4 (cbrt.f64 (pow.f64 (pow.f64 (.f64 (/.f64 (/.f64 a y-scale) x-scale) b) 2) 3)))
	17.7b	(.f64 -4 (.f64 (pow.f64 (/.f64 b x-scale) 2) (pow.f64 (/.f64 a y-scale) 2)))
	23.7b	(.f64 (.f64 b (.f64 (.f64 b (/.f64 a x-scale)) (/.f64 a x-scale))) (/.f64 -4 (*.f64 y-scale y-scale)))
	6.5b	(.f64 -4 (pow.f64 (.f64 (/.f64 1 (/.f64 x-scale a)) (/.f64 b y-scale)) 2))
	21.6b	(.f64 (.f64 b b) (.f64 (.f64 (/.f64 a (.f64 x-scale y-scale)) (/.f64 a (.f64 x-scale y-scale))) -4))
	30.9b	(.f64 -4 (.f64 (.f64 b b) (.f64 (/.f64 a x-scale) (/.f64 a (.f64 (.f64 y-scale y-scale) x-scale)))))
	6.4b	(.f64 -4 (.f64 b (.f64 (/.f64 (/.f64 a y-scale) x-scale) (.f64 (/.f64 (/.f64 a y-scale) x-scale) b))))

Compiler

Compiled 2737 to 1284 computations (53.1% saved)

regimes2.5s (3.6%)

Accuracy

Total 5.9b remaining (98.7%)

Threshold costs 0b (0%)

Counts

169 → 3

Compiler

Compiled 62480 to 44847 computations (28.2% saved)

bsearch3.2s (4.5%)

Algorithm

2×	binary-search

Calls

2 calls:

2.1s	y-scale
1.1s	y-scale

Steps

Iters	Point		Range
1.0890629128264413e-154	∈ [	5.9981436181684076e-155	,	1.3992416110807618e-150	]
-1.7936283151776695e-283	∈ [	-1.2205428814730726e-272	,	-2.0027745512547489e-286	]

Compiler

Compiled 6 to 5 computations (16.7% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

9×	`*-commutative_binary64`
4×	`+-commutative_binary64`
4×	`sub-neg_binary64`
4×	`neg-sub0_binary64`
4×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	67
1	51	67
2	59	67
3	65	67
4	67	67

Stop Event

1×

saturated

end148.0ms (0.2%)

Stop Event

1×

fuel

Compiler

Compiled 341 to 231 computations (32.3% saved)

Details

analyze11.4s (16.1%)

sample47.5s (67.5%)

preprocess56.0ms (0.1%)

simplify20.0ms (0%)

prune11.0ms (0%)

localize38.0ms (0.1%)

series2.0s (2.9%)

rewrite94.0ms (0.1%)

simplify259.0ms (0.4%)

prune1.1s (1.6%)

localize10.0ms (0%)

series415.0ms (0.6%)

rewrite64.0ms (0.1%)

simplify73.0ms (0.1%)

prune204.0ms (0.3%)

localize8.0ms (0%)

series279.0ms (0.4%)

rewrite59.0ms (0.1%)

simplify69.0ms (0.1%)

prune214.0ms (0.3%)

localize9.0ms (0%)

series261.0ms (0.4%)

rewrite65.0ms (0.1%)

simplify99.0ms (0.1%)

prune212.0ms (0.3%)

regimes2.5s (3.6%)

bsearch3.2s (4.5%)

simplify4.0ms (0%)

end148.0ms (0.2%)

Profiling