Details

analyze95.0ms (0.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	12.3%	87.7%	0
0%	12.3%	87.7%	1
6.2%	6.2%	87.7%	2
6.2%	6.2%	87.7%	3
9.2%	3.1%	87.7%	4
9.2%	3.1%	87.7%	5
10.8%	1.5%	87.7%	6
10.8%	1.5%	87.7%	7
11.5%	0.8%	87.7%	8
11.5%	0.8%	87.7%	9
11.9%	0.4%	87.7%	10
11.9%	0.4%	87.7%	11
12.1%	0.2%	87.7%	12
12.1%	0.2%	87.7%	13
12.1%	0.1%	87.8%	14

Compiler

Compiled 42 to 32 computations (23.8% saved)

sample112.0ms (0.9%)

Algorithm

1×

intervals

Results

30.0ms	256×	body	128	valid
6.0ms	256×	pre	128	true

Compiler

Compiled 71 to 55 computations (22.5% saved)

simplify49.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

940×	`fma-neg_binary32`
929×	`fma-def_binary32`
740×	`times-frac_binary32`
329×	`div-sub_binary32`
317×	`associate-l_binary32`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	19	40
1	45	35
2	107	35
3	264	33
4	605	33
5	2500	33
6	3754	33
7	5049	33

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

0.4b

Counts

3 → 2

Alt Table

Status	Error	Program
	0.7b	(/.f32 1 (+.f32 (+.f32 1 c) (.f32 (.f32 (/.f32 1 (sqrt.f32 (PI.f32))) (/.f32 (sqrt.f32 (-.f32 (-.f32 1 cosTheta) cosTheta)) cosTheta)) (exp.f32 (*.f32 (neg.f32 cosTheta) cosTheta)))))
▶	0.5b	(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))

Status

Error

Program

0.7b

(/.f32 1 (+.f32 (+.f32 1 c) (*.f32 (*.f32 (/.f32 1 (sqrt.f32 (PI.f32))) (/.f32 (sqrt.f32 (-.f32 (-.f32 1 cosTheta) cosTheta)) cosTheta)) (exp.f32 (*.f32 (neg.f32 cosTheta) cosTheta)))))

▶

0.5b

(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (*.f32 (sqrt.f32 (PI.f32)) (*.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))

Compiler

Compiled 148 to 113 computations (23.6% saved)

localize60.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))
✓	0.3b	(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))
✓	0.3b	(/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))
✓	0.4b	(.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))

series121.0ms (1%)

Counts

4 → 46

Calls

4 calls:

79.0ms	(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))
26.0ms	(/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))
10.0ms	(.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))
5.0ms	(*.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))

rewrite38.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

43×	`*-un-lft-identity_binary32`
36×	`add-exp-log_binary32`
28×	`add-sqr-sqrt_binary32`
23×	`add-cube-cbrt_binary32`
22×	`add-cbrt-cube_binary32`

Counts

4 → 129

Calls

4 calls:

9.0ms	(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))
9.0ms	(/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))
6.0ms	(.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))
4.0ms	(*.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))

simplify127.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

396×	`associate-r_binary32`
336×	`associate-l_binary32`
295×	`fma-def_binary32`
272×	`unswap-sqr_binary32`
226×	`*-commutative_binary32`

Counts

175 → 228

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	391	6018
1	1072	5539
2	4023	5523
3	4986	5523

prune340.0ms (2.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	217	11	228
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	219	11	230

Error

0.0b

Counts

230 → 11

Alt Table

Status	Error	Program
	13.9b	(.f32 (/.f32 1 (-.f32 (.f32 (+.f32 1 c) (+.f32 1 c)) (/.f32 (fma.f32 cosTheta -2 1) (.f32 (PI.f32) (.f32 (.f32 cosTheta cosTheta) (pow.f32 (exp.f32 (.f32 cosTheta cosTheta)) 2)))))) (-.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))
	0.9b	(.f32 (/.f32 1 (.f32 (cbrt.f32 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (exp.f32 (.f32 cosTheta cosTheta))))))) (cbrt.f32 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (exp.f32 (.f32 cosTheta cosTheta))))))))) (/.f32 1 (cbrt.f32 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (exp.f32 (*.f32 cosTheta cosTheta)))))))))
	0.7b	(.f32 (sqrt.f32 (/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))) (sqrt.f32 (/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (*.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))))
▶	0.4b	(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))))))
	0.7b	(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (.f32 (sqrt.f32 (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))) (sqrt.f32 (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))))
	0.7b	(/.f32 (/.f32 1 (sqrt.f32 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))) (sqrt.f32 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))))))
	13.8b	(.f32 (/.f32 1 (-.f32 (.f32 (+.f32 1 c) (+.f32 1 c)) (.f32 (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))) (-.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (*.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))
	0.9b	(-.f32 (fma.f32 (sqrt.f32 (PI.f32)) cosTheta (fma.f32 (.f32 (sqrt.f32 (PI.f32)) (pow.f32 cosTheta 3)) 5/2 (fma.f32 7/2 (.f32 (sqrt.f32 (PI.f32)) (pow.f32 cosTheta 4)) (fma.f32 2 (.f32 (pow.f32 (PI.f32) 3/2) (.f32 (pow.f32 cosTheta 3) c)) (fma.f32 3 (.f32 (pow.f32 (PI.f32) 3/2) (pow.f32 cosTheta 4)) (fma.f32 (pow.f32 cosTheta 3) (pow.f32 (PI.f32) 3/2) (fma.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta cosTheta) (fma.f32 (.f32 c c) (.f32 (pow.f32 cosTheta 3) (pow.f32 (PI.f32) 3/2)) (.f32 (pow.f32 (PI.f32) 3/2) (+.f32 (.f32 3 (.f32 (.f32 c c) (pow.f32 cosTheta 4))) (.f32 6 (.f32 c (pow.f32 cosTheta 4))))))))))))) (fma.f32 c (.f32 (PI.f32) (.f32 cosTheta cosTheta)) (fma.f32 3 (.f32 (.f32 c c) (.f32 (pow.f32 cosTheta 4) (pow.f32 (PI.f32) 2))) (fma.f32 6 (.f32 (PI.f32) (.f32 c (pow.f32 cosTheta 4))) (+.f32 (+.f32 (.f32 (PI.f32) (.f32 cosTheta cosTheta)) (.f32 (.f32 (PI.f32) (pow.f32 cosTheta 3)) (+.f32 2 (.f32 2 c)))) (+.f32 (.f32 (pow.f32 cosTheta 4) (+.f32 (pow.f32 (PI.f32) 2) (.f32 (PI.f32) 6))) (.f32 (.f32 (pow.f32 cosTheta 4) (pow.f32 (PI.f32) 2)) (+.f32 (pow.f32 c 3) (*.f32 3 c)))))))))
	0.8b	(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (.f32 (.f32 (cbrt.f32 cosTheta) (cbrt.f32 cosTheta)) (.f32 (cbrt.f32 cosTheta) (pow.f32 (exp.f32 cosTheta) cosTheta)))))))
	0.6b	(-.f32 (/.f32 1 (+.f32 1 (/.f32 (sqrt.f32 (/.f32 (fma.f32 cosTheta -2 1) (PI.f32))) (.f32 cosTheta (exp.f32 (.f32 cosTheta cosTheta)))))) (/.f32 c (pow.f32 (+.f32 1 (/.f32 (sqrt.f32 (/.f32 (fma.f32 cosTheta -2 1) (PI.f32))) (.f32 cosTheta (exp.f32 (.f32 cosTheta cosTheta))))) 2)))
	0.8b	(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (.f32 (cbrt.f32 (.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))) (cbrt.f32 (.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))) (cbrt.f32 (.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))))

Compiler

Compiled 9262 to 5251 computations (43.3% saved)

localize77.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))))))
✓	0.3b	(/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))))
✓	0.3b	(.f32 (sqrt.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))
✓	0.5b	(.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))

series261.0ms (2.2%)

Counts

4 → 46

Calls

4 calls:

146.0ms	(.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))
77.0ms	(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))))))
27.0ms	(/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))))
10.0ms	(.f32 (sqrt.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))

rewrite59.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

54×	`add-exp-log_binary32`
42×	`*-un-lft-identity_binary32`
34×	`add-cbrt-cube_binary32`
31×	`prod-exp_binary32`
22×	`add-sqr-sqrt_binary32`

Counts

4 → 132

Calls

4 calls:

14.0ms	(/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))))
12.0ms	(.f32 (sqrt.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))
11.0ms	(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))))))
6.0ms	(.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))

simplify154.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

445×	`associate-r_binary32`
372×	`associate-l_binary32`
300×	`unswap-sqr_binary32`
298×	`fma-def_binary32`
258×	`*-commutative_binary32`

Counts

178 → 233

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	404	7630
1	1128	6450
2	4163	6415
3	5227	6415

prune355.0ms (3%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	225	8	233
Fresh	6	4	10
Picked	1	0	1
Done	0	0	0
Total	232	12	244

Error

0.0b

Counts

244 → 12

Alt Table

Status	Error	Program
	0.6b	(-.f32 (/.f32 1 (+.f32 1 (/.f32 (sqrt.f32 (/.f32 (fma.f32 cosTheta -2 1) (PI.f32))) (.f32 cosTheta (exp.f32 (.f32 cosTheta cosTheta)))))) (/.f32 c (pow.f32 (+.f32 1 (/.f32 (sqrt.f32 (/.f32 (fma.f32 cosTheta -2 1) (PI.f32))) (.f32 cosTheta (exp.f32 (.f32 cosTheta cosTheta))))) 2)))
	0.5b	(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (.f32 (sqrt.f32 (cbrt.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))))) (.f32 (sqrt.f32 (cbrt.f32 (cbrt.f32 (PI.f32)))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))))
	0.8b	(/.f32 (/.f32 1 (sqrt.f32 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (.f32 cosTheta (exp.f32 (.f32 cosTheta cosTheta))) (pow.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) 3)))))) (sqrt.f32 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (*.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))))
	0.7b	(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (.f32 (sqrt.f32 (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))) (sqrt.f32 (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (*.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))))))))
	0.5b	(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 (.f32 cosTheta (exp.f32 (.f32 cosTheta cosTheta))) (cbrt.f32 (PI.f32)))))))
	0.9b	(-.f32 (fma.f32 (sqrt.f32 (PI.f32)) cosTheta (fma.f32 (.f32 (sqrt.f32 (PI.f32)) (pow.f32 cosTheta 3)) 5/2 (fma.f32 7/2 (.f32 (sqrt.f32 (PI.f32)) (pow.f32 cosTheta 4)) (fma.f32 2 (.f32 (pow.f32 (PI.f32) 3/2) (.f32 (pow.f32 cosTheta 3) c)) (fma.f32 3 (.f32 (pow.f32 (PI.f32) 3/2) (pow.f32 cosTheta 4)) (fma.f32 (pow.f32 cosTheta 3) (pow.f32 (PI.f32) 3/2) (fma.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta cosTheta) (fma.f32 (.f32 c c) (.f32 (pow.f32 cosTheta 3) (pow.f32 (PI.f32) 3/2)) (.f32 (pow.f32 (PI.f32) 3/2) (+.f32 (.f32 3 (.f32 (.f32 c c) (pow.f32 cosTheta 4))) (.f32 6 (.f32 c (pow.f32 cosTheta 4))))))))))))) (fma.f32 c (.f32 (PI.f32) (.f32 cosTheta cosTheta)) (fma.f32 3 (.f32 (.f32 c c) (.f32 (pow.f32 cosTheta 4) (pow.f32 (PI.f32) 2))) (fma.f32 6 (.f32 (PI.f32) (.f32 c (pow.f32 cosTheta 4))) (+.f32 (+.f32 (.f32 (PI.f32) (.f32 cosTheta cosTheta)) (.f32 (.f32 (PI.f32) (pow.f32 cosTheta 3)) (+.f32 2 (.f32 2 c)))) (+.f32 (.f32 (pow.f32 cosTheta 4) (+.f32 (pow.f32 (PI.f32) 2) (.f32 (PI.f32) 6))) (.f32 (.f32 (pow.f32 cosTheta 4) (pow.f32 (PI.f32) 2)) (+.f32 (pow.f32 c 3) (*.f32 3 c)))))))))
▶	0.4b	(.f32 (/.f32 1 (fma.f32 (.f32 (.f32 cosTheta (exp.f32 (.f32 cosTheta cosTheta))) (pow.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) 3)) (-.f32 1 (.f32 c c)) (.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (-.f32 1 c)))) (.f32 (-.f32 1 c) (.f32 (sqrt.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (*.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))
	0.4b	(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (cbrt.f32 (PI.f32))) (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))
	0.8b	(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (.f32 (.f32 (cbrt.f32 cosTheta) (cbrt.f32 cosTheta)) (.f32 (cbrt.f32 cosTheta) (pow.f32 (exp.f32 cosTheta) cosTheta)))))))
	0.7b	(/.f32 (/.f32 1 (sqrt.f32 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))) (sqrt.f32 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))))))
	0.5b	(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (.f32 (sqrt.f32 (sqrt.f32 (cbrt.f32 (PI.f32)))) (.f32 (sqrt.f32 (sqrt.f32 (cbrt.f32 (PI.f32)))) (*.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))))
	0.8b	(.f32 (.f32 (cbrt.f32 (/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))))))) (cbrt.f32 (/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))))) (cbrt.f32 (/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))))))))

Compiler

Compiled 11355 to 5588 computations (50.8% saved)

localize125.0ms (1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(.f32 (sqrt.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))
✓	0.4b	(.f32 (.f32 cosTheta (exp.f32 (*.f32 cosTheta cosTheta))) (pow.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) 3))
	0.5b	(.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))
✓	1.0b	(pow.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) 3)

series10.0ms (0.1%)

Counts

2 → 12

Calls

2 calls:

9.0ms	(.f32 (.f32 cosTheta (exp.f32 (*.f32 cosTheta cosTheta))) (pow.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) 3))
0.0ms	(pow.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) 3)

rewrite33.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`associate-r_binary32`
24×	`sqrt-prod_binary32`
18×	`cube-prod_binary32`
18×	`unpow-prod-down_binary32`
16×	`*-un-lft-identity_binary32`

Counts

2 → 84

Calls

2 calls:

8.0ms	(.f32 (.f32 cosTheta (exp.f32 (*.f32 cosTheta cosTheta))) (pow.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) 3))
3.0ms	(pow.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) 3)

simplify120.0ms (1%)

Algorithm

1×	egg-herbie

Rules

477×	`log-prod_binary32`
441×	`*-commutative_binary32`
440×	`fma-def_binary32`
416×	`exp-prod_binary32`
336×	`cube-prod_binary32`

Counts

96 → 98

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	122	1529
1	296	1405
2	1050	1347
3	1901	1329
4	4184	1103
5	4530	1103
6	4923	1103
7	4905	1103

prune454.0ms (3.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	191	2	193
Fresh	4	7	11
Picked	1	0	1
Done	0	0	0
Total	196	9	205

Error

Counts

205 → 9

Alt Table

Status	Error	Program
	0.5b	(.f32 (/.f32 1 (fma.f32 (.f32 (.f32 cosTheta (exp.f32 (.f32 cosTheta cosTheta))) (pow.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) 3)) (-.f32 1 (.f32 c c)) (.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (-.f32 1 c)))) (.f32 (-.f32 1 c) (.f32 (exp.f32 (.f32 cosTheta cosTheta)) (.f32 cosTheta (sqrt.f32 (PI.f32))))))
	0.7b	(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (.f32 (sqrt.f32 (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))) (sqrt.f32 (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (*.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))))))))
	0.4b	(.f32 (/.f32 1 (fma.f32 (.f32 (.f32 cosTheta (exp.f32 (.f32 cosTheta cosTheta))) (pow.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) 3)) (-.f32 1 (.f32 c c)) (.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (-.f32 1 c)))) (.f32 (-.f32 1 c) (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 (.f32 cosTheta (exp.f32 (*.f32 cosTheta cosTheta))) (cbrt.f32 (PI.f32))))))
	0.9b	(-.f32 (fma.f32 (sqrt.f32 (PI.f32)) cosTheta (fma.f32 (.f32 (sqrt.f32 (PI.f32)) (pow.f32 cosTheta 3)) 5/2 (fma.f32 7/2 (.f32 (sqrt.f32 (PI.f32)) (pow.f32 cosTheta 4)) (fma.f32 2 (.f32 (pow.f32 (PI.f32) 3/2) (.f32 (pow.f32 cosTheta 3) c)) (fma.f32 3 (.f32 (pow.f32 (PI.f32) 3/2) (pow.f32 cosTheta 4)) (fma.f32 (pow.f32 cosTheta 3) (pow.f32 (PI.f32) 3/2) (fma.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta cosTheta) (fma.f32 (.f32 c c) (.f32 (pow.f32 cosTheta 3) (pow.f32 (PI.f32) 3/2)) (.f32 (pow.f32 (PI.f32) 3/2) (+.f32 (.f32 3 (.f32 (.f32 c c) (pow.f32 cosTheta 4))) (.f32 6 (.f32 c (pow.f32 cosTheta 4))))))))))))) (fma.f32 c (.f32 (PI.f32) (.f32 cosTheta cosTheta)) (fma.f32 3 (.f32 (.f32 c c) (.f32 (pow.f32 cosTheta 4) (pow.f32 (PI.f32) 2))) (fma.f32 6 (.f32 (PI.f32) (.f32 c (pow.f32 cosTheta 4))) (+.f32 (+.f32 (.f32 (PI.f32) (.f32 cosTheta cosTheta)) (.f32 (.f32 (PI.f32) (pow.f32 cosTheta 3)) (+.f32 2 (.f32 2 c)))) (+.f32 (.f32 (pow.f32 cosTheta 4) (+.f32 (pow.f32 (PI.f32) 2) (.f32 (PI.f32) 6))) (.f32 (.f32 (pow.f32 cosTheta 4) (pow.f32 (PI.f32) 2)) (+.f32 (pow.f32 c 3) (*.f32 3 c)))))))))
▶	0.4b	(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (cbrt.f32 (PI.f32))) (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))
	0.8b	(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (.f32 (.f32 (cbrt.f32 cosTheta) (cbrt.f32 cosTheta)) (.f32 (cbrt.f32 cosTheta) (pow.f32 (exp.f32 cosTheta) cosTheta)))))))
	0.5b	(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (.f32 (sqrt.f32 (cbrt.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))))) (.f32 (sqrt.f32 (cbrt.f32 (cbrt.f32 (PI.f32)))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))))
	0.7b	(/.f32 (/.f32 1 (sqrt.f32 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))) (sqrt.f32 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))))))
	0.5b	(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (.f32 (sqrt.f32 (sqrt.f32 (cbrt.f32 (PI.f32)))) (.f32 (sqrt.f32 (sqrt.f32 (cbrt.f32 (PI.f32)))) (*.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))))

Compiler

Compiled 11877 to 5000 computations (57.9% saved)

localize72.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (cbrt.f32 (PI.f32)))
✓	0.3b	(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (cbrt.f32 (PI.f32))) (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))
✓	0.4b	(/.f32 (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (cbrt.f32 (PI.f32))) (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))
	0.5b	(.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))

series169.0ms (1.4%)

Counts

3 → 26

Calls

3 calls:

121.0ms

(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (cbrt.f32 (PI.f32))) (*.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (*.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))

27.0ms

(/.f32 (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (cbrt.f32 (PI.f32))) (*.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (*.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))

21.0ms

(/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (cbrt.f32 (PI.f32)))

rewrite66.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

163×	`times-frac_binary32`
111×	`*-un-lft-identity_binary32`
91×	`add-sqr-sqrt_binary32`
91×	`add-cube-cbrt_binary32`
57×	`sqrt-prod_binary32`

Counts

3 → 217

Calls

3 calls:

19.0ms

(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (cbrt.f32 (PI.f32))) (*.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (*.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))

14.0ms

(/.f32 (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (cbrt.f32 (PI.f32))) (*.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (*.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))

4.0ms

(/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (cbrt.f32 (PI.f32)))

simplify265.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

337×	`associate-r_binary32`
319×	`associate-/r*_binary32`
307×	`associate-l_binary32`
258×	`fma-def_binary32`
226×	`*-commutative_binary32`

Counts

243 → 328

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	454	10444
1	1243	9629
2	4597	9598
3	4978	9598
4	4980	9598

prune589.0ms (5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	377	1	378
Fresh	3	5	8
Picked	1	0	1
Done	0	0	0
Total	381	6	387

Error

Counts

387 → 6

Alt Table

Status	Error	Program
	0.5b	(.f32 (/.f32 1 (fma.f32 (.f32 (.f32 cosTheta (exp.f32 (.f32 cosTheta cosTheta))) (pow.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) 3)) (-.f32 1 (.f32 c c)) (.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (-.f32 1 c)))) (.f32 (-.f32 1 c) (.f32 (exp.f32 (.f32 cosTheta cosTheta)) (.f32 cosTheta (sqrt.f32 (PI.f32))))))
	0.4b	(.f32 (/.f32 1 (fma.f32 (.f32 (.f32 cosTheta (exp.f32 (.f32 cosTheta cosTheta))) (pow.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) 3)) (-.f32 1 (.f32 c c)) (.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (-.f32 1 c)))) (.f32 (-.f32 1 c) (.f32 (sqrt.f32 (cbrt.f32 (PI.f32))) (.f32 (.f32 cosTheta (exp.f32 (*.f32 cosTheta cosTheta))) (cbrt.f32 (PI.f32))))))
	0.9b	(-.f32 (fma.f32 (sqrt.f32 (PI.f32)) cosTheta (fma.f32 (.f32 (sqrt.f32 (PI.f32)) (pow.f32 cosTheta 3)) 5/2 (fma.f32 7/2 (.f32 (sqrt.f32 (PI.f32)) (pow.f32 cosTheta 4)) (fma.f32 2 (.f32 (pow.f32 (PI.f32) 3/2) (.f32 (pow.f32 cosTheta 3) c)) (fma.f32 3 (.f32 (pow.f32 (PI.f32) 3/2) (pow.f32 cosTheta 4)) (fma.f32 (pow.f32 cosTheta 3) (pow.f32 (PI.f32) 3/2) (fma.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta cosTheta) (fma.f32 (.f32 c c) (.f32 (pow.f32 cosTheta 3) (pow.f32 (PI.f32) 3/2)) (.f32 (pow.f32 (PI.f32) 3/2) (+.f32 (.f32 3 (.f32 (.f32 c c) (pow.f32 cosTheta 4))) (.f32 6 (.f32 c (pow.f32 cosTheta 4))))))))))))) (fma.f32 c (.f32 (PI.f32) (.f32 cosTheta cosTheta)) (fma.f32 3 (.f32 (.f32 c c) (.f32 (pow.f32 cosTheta 4) (pow.f32 (PI.f32) 2))) (fma.f32 6 (.f32 (PI.f32) (.f32 c (pow.f32 cosTheta 4))) (+.f32 (+.f32 (.f32 (PI.f32) (.f32 cosTheta cosTheta)) (.f32 (.f32 (PI.f32) (pow.f32 cosTheta 3)) (+.f32 2 (.f32 2 c)))) (+.f32 (.f32 (pow.f32 cosTheta 4) (+.f32 (pow.f32 (PI.f32) 2) (.f32 (PI.f32) 6))) (.f32 (.f32 (pow.f32 cosTheta 4) (pow.f32 (PI.f32) 2)) (+.f32 (pow.f32 c 3) (*.f32 3 c)))))))))
	0.4b	(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (/.f32 1 (sqrt.f32 (cbrt.f32 (PI.f32)))) (/.f32 (.f32 cosTheta (exp.f32 (.f32 cosTheta cosTheta))) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (cbrt.f32 (PI.f32)))))))
	0.5b	(/.f32 1 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (.f32 (sqrt.f32 (cbrt.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))))) (.f32 (sqrt.f32 (cbrt.f32 (cbrt.f32 (PI.f32)))) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))))
	0.7b	(/.f32 (/.f32 1 (sqrt.f32 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta))))))) (sqrt.f32 (+.f32 (+.f32 1 c) (/.f32 (sqrt.f32 (fma.f32 cosTheta -2 1)) (.f32 (sqrt.f32 (PI.f32)) (.f32 cosTheta (pow.f32 (exp.f32 cosTheta) cosTheta)))))))

Compiler

Compiled 15215 to 8095 computations (46.8% saved)

regimes6.3s (52.7%)

Accuracy

Total 0.4b remaining (89.9%)

Threshold costs 0.4b (89.9%)

Counts

632 → 1

Compiler

Compiled 141990 to 101696 computations (28.4% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary32`
2×	`*-commutative_binary32`
1×	`1-exp_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	44
1	26	44
2	25	44

end1.0ms (0%)

Compiler: Compiled 29 to 22 computations (24.1% saved)

sample1.9s (15.6%)

Algorithm

1×

intervals

Results

971.0ms	8000×	body	128	valid
212.0ms	8000×	pre	128	true

Compiler

Compiled 443 to 299 computations (32.5% saved)

Details

analyze95.0ms (0.8%)

sample112.0ms (0.9%)

simplify49.0ms (0.4%)

prune5.0ms (0%)

localize60.0ms (0.5%)

series121.0ms (1%)

rewrite38.0ms (0.3%)

simplify127.0ms (1.1%)

prune340.0ms (2.9%)

localize77.0ms (0.7%)

series261.0ms (2.2%)

rewrite59.0ms (0.5%)

simplify154.0ms (1.3%)

prune355.0ms (3%)

localize125.0ms (1%)

series10.0ms (0.1%)

rewrite33.0ms (0.3%)

simplify120.0ms (1%)

prune454.0ms (3.8%)

localize72.0ms (0.6%)

series169.0ms (1.4%)

rewrite66.0ms (0.6%)

simplify265.0ms (2.2%)

prune589.0ms (5%)

regimes6.3s (52.7%)

simplify5.0ms (0%)

end1.0ms (0%)

sample1.9s (15.6%)

Profiling