Details

analyze4.1s (17.6%)

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
7.8%	92%	0.2%	10
10.1%	89.7%	0.2%	11
10.1%	89.7%	0.2%	12
13.9%	85.9%	0.2%	13
13.9%	85.9%	0.2%	14

Compiler

Compiled 29 to 18 computations (37.9% saved)

sample12.6s (54%)

Results

9.7s	5491×	body	1024	valid
1.3s	1357×	body	512	valid
823.0ms	203×	body	2048	valid
287.0ms	808×	body	128	valid
238.0ms	397×	body	256	valid

Compiler

Compiled 86 to 53 computations (38.4% saved)

simplify30.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

543×	`fma-def_binary64`
194×	`fma-neg_binary64`
83×	`cancel-sign-sub-inv_binary64`
59×	`distribute-rgt-neg-in_binary64`
47×	`distribute-rgt-in_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	39
1	32	39
2	61	39
3	115	39
4	155	39
5	246	39
6	348	39
7	437	39
8	572	39
9	622	39
10	694	39
11	720	39
12	669	39

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

15.3b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	15.3b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))

Compiler

Compiled 108 to 55 computations (49.1% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))
✓	0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
✓	3.9b	(sin.f64 (-.f64 lambda1 lambda2))
✓	4.0b	(cos.f64 (-.f64 lambda1 lambda2))

series73.0ms (0.3%)

Counts

4 → 100

Calls

4 calls:

45.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
19.0ms	(*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))
4.0ms	(cos.f64 (-.f64 lambda1 lambda2))
4.0ms	(sin.f64 (-.f64 lambda1 lambda2))

rewrite77.0ms (0.3%)

Algorithm

2×	batch-egg-rewrite

Rules

93× egg-rr

Counts

4 → 93

Calls

2 calls:

75.0ms

((cos.f64 (-.f64 lambda1 lambda2)) (sin.f64 (-.f64 lambda1 lambda2)) (*.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))) (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)))

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	39
1	289	39
2	3912	39
3	5091	39
0	0	0
1	0	0

simplify103.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

767×	`sub-neg_binary64`
395×	`distribute-rgt-neg-in_binary64`
378×	`fma-neg_binary64`
366×	`distribute-lft-neg-in_binary64`
323×	`neg-sub0_binary64`

Counts

193 → 177

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	195	2148
1	592	2088
2	1978	1885
3	4426	1877
4	4983	1877
5	5669	1877

prune357.0ms (1.5%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	155	22	177
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	156	22	178

Error

9.0b

Counts

178 → 22

Alt Table

Status	Error	Program
▶	9.3b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	27.9b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (-.f64 (fma.f64 lambda2 (sin.f64 lambda1) (cos.f64 lambda1)) (.f64 (.f64 lambda2 lambda2) (+.f64 (.f64 1/2 (cos.f64 lambda1)) (.f64 (*.f64 1/6 (sin.f64 lambda1)) lambda2)))))))
	24.9b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (fma.f64 lambda2 (sin.f64 lambda1) (cos.f64 lambda1)))))
	15.7b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (log.f64 (pow.f64 (exp.f64 (cos.f64 (-.f64 lambda1 lambda2))) (*.f64 (sin.f64 phi1) (cos.f64 phi2))))))
	11.3b	(atan2.f64 (.f64 (/.f64 (-.f64 (.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (+.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	21.4b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 lambda1))))
	15.3b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (-.f64 lambda1 lambda2))))))))
	27.8b	(atan2.f64 (+.f64 (.f64 (cos.f64 phi2) (sin.f64 (neg.f64 lambda2))) (.f64 (cos.f64 phi2) (.f64 (cos.f64 (neg.f64 lambda2)) lambda1))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	34.4b	(atan2.f64 (.f64 (sin.f64 lambda1) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	9.5b	(atan2.f64 (.f64 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	15.3b	(atan2.f64 (.f64 (log1p.f64 (expm1.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	15.7b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (-.f64 (exp.f64 (log1p.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (.f64 (sin.f64 phi1) (cos.f64 phi2))))) 1)))
	39.4b	(atan2.f64 (.f64 (pow.f64 (sqrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) 2) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	26.7b	(atan2.f64 (.f64 (-.f64 (fma.f64 (cos.f64 lambda2) lambda1 (.f64 (.f64 lambda1 lambda1) (-.f64 (.f64 1/2 (sin.f64 lambda2)) (.f64 (.f64 (cos.f64 lambda2) 1/6) lambda1)))) (sin.f64 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	15.1b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (/.f64 (-.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (-.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))
	15.6b	(atan2.f64 (.f64 (pow.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) 3) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	22.5b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (sin.f64 phi1) (.f64 (cos.f64 lambda2) (cos.f64 phi2)))))
	15.1b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (-.f64 (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))
	25.5b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (*.f64 (sin.f64 phi1) (cos.f64 (-.f64 lambda1 lambda2)))))
	25.4b	(atan2.f64 (-.f64 (exp.f64 (log1p.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)))) 1) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	15.5b	(atan2.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) 3) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	26.6b	(atan2.f64 (.f64 (-.f64 (exp.f64 (log1p.f64 (sin.f64 (-.f64 lambda1 lambda2)))) 1) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))

Compiler

Compiled 7526 to 2197 computations (70.8% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2))
✓	0.2b	(*.f64 (cos.f64 phi1) (sin.f64 phi2))
	0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
	4.0b	(cos.f64 (-.f64 lambda1 lambda2))

series51.0ms (0.2%)

Counts

2 → 60

Calls

2 calls:

40.0ms	(.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2))
10.0ms	(*.f64 (cos.f64 phi1) (sin.f64 phi2))

rewrite60.0ms (0.3%)

Algorithm

2×	batch-egg-rewrite

Rules

33× egg-rr

Counts

2 → 33

Calls

2 calls:

59.0ms	((.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	31
1	337	29
2	3784	29
3	5170	29
0	0	0
1	0	0

simplify88.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

698×	`fma-def_binary64`
677×	`associate-r_binary64`
648×	`associate-l_binary64`
464×	`cancel-sign-sub-inv_binary64`
302×	`sub-neg_binary64`

Counts

93 → 75

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	131	1389
1	402	1359
2	1309	1293
3	4490	1293
4	4939	1293
5	5028	1293

prune393.0ms (1.7%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	160	8	168
Fresh	15	6	21
Picked	1	0	1
Done	0	0	0
Total	176	14	190

Error

0.1b

Counts

190 → 14

Alt Table

Status	Error	Program
	9.4b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (-.f64 (exp.f64 (log1p.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)))) 1) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	39.4b	(atan2.f64 (.f64 (pow.f64 (sqrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) 2) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	9.4b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (log.f64 (pow.f64 (exp.f64 (cos.f64 phi1)) (sin.f64 phi2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	9.3b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (expm1.f64 (log1p.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)))) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	9.5b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (pow.f64 (cbrt.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2))) 3) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
▶	0.2b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	15.7b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (log.f64 (pow.f64 (exp.f64 (cos.f64 (-.f64 lambda1 lambda2))) (*.f64 (sin.f64 phi1) (cos.f64 phi2))))))
	0.2b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (-.f64 (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))
	0.2b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (/.f64 (-.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (-.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))
	15.5b	(atan2.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) 3) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	15.3b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (-.f64 lambda1 lambda2))))))))
	15.3b	(atan2.f64 (.f64 (log1p.f64 (expm1.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	15.6b	(atan2.f64 (.f64 (pow.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) 3) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	9.4b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) 3)) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))

Compiler

Compiled 7796 to 2003 computations (74.3% saved)

localize28.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2))
	0.2b	(*.f64 (cos.f64 phi1) (sin.f64 phi2))
✓	0.2b	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
✓	0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))

series92.0ms (0.4%)

Counts

2 → 56

Calls

2 calls:

79.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))
12.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))

rewrite60.0ms (0.3%)

Algorithm

2×	batch-egg-rewrite

Rules

39× egg-rr

Counts

2 → 39

Calls

2 calls:

59.0ms	((.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	34
1	306	24
2	3817	24
3	5180	24
0	0	0
1	0	0

simplify59.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

413×	`fma-neg_binary64`
372×	`associate-r_binary64`
320×	`associate--l+_binary64`
315×	`distribute-rgt-neg-in_binary64`
297×	`distribute-lft-neg-in_binary64`

Counts

95 → 88

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	194	2127
1	643	2042
2	2268	1864
3	5012	1864

prune399.0ms (1.7%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	157	6	163
Fresh	4	9	13
Picked	1	0	1
Done	0	0	0
Total	162	15	177

Error

0.0b

Counts

177 → 15

Alt Table

Status	Error	Program
	0.4b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (pow.f64 (cbrt.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2))) 3) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	0.2b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (-.f64 (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))
	0.3b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (log.f64 (pow.f64 (exp.f64 (cos.f64 phi1)) (sin.f64 phi2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	0.2b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (pow.f64 (cbrt.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) 3)))))
	0.2b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (/.f64 (-.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (-.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))
	0.3b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (log.f64 (+.f64 1 (expm1.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2))))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	15.5b	(atan2.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) 3) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
▶	0.2b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (expm1.f64 (log1p.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	9.7b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (*.f64 (cos.f64 phi1) (sin.f64 phi2)) (log.f64 (pow.f64 (pow.f64 (exp.f64 (sin.f64 phi1)) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))))
	9.4b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (-.f64 (exp.f64 (log1p.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)))) 1) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	39.4b	(atan2.f64 (.f64 (pow.f64 (sqrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) 2) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	15.3b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (-.f64 lambda1 lambda2))))))))
	15.3b	(atan2.f64 (.f64 (log1p.f64 (expm1.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	15.6b	(atan2.f64 (.f64 (pow.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) 3) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	9.4b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) 3)) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))

Compiler

Compiled 8873 to 2330 computations (73.7% saved)

localize33.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(*.f64 (cos.f64 phi1) (sin.f64 phi2))
	0.2b	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
✓	0.2b	(log1p.f64 (*.f64 (cos.f64 phi1) (sin.f64 phi2)))
	0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))

series542.0ms (2.3%)

Counts

1 → 24

Calls

1 calls:

542.0ms

(log1p.f64 (*.f64 (cos.f64 phi1) (sin.f64 phi2)))

rewrite39.0ms (0.2%)

Algorithm

2×	batch-egg-rewrite

Rules

21× egg-rr

Counts

1 → 21

Calls

2 calls:

38.0ms	((log1p.f64 (*.f64 (cos.f64 phi1) (sin.f64 phi2))))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	134	10
2	1516	10
3	5023	10
0	0	0
1	0	0

simplify54.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

453×	`associate-r_binary64`
422×	`associate-l_binary64`
364×	`times-frac_binary64`
344×	`sub-neg_binary64`
290×	`fma-def_binary64`

Counts

45 → 39

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	94	571
1	261	567
2	922	554
3	4809	549
4	5209	549

prune474.0ms (2%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	154	5	159
Fresh	5	9	14
Picked	0	1	1
Done	0	0	0
Total	159	15	174

Error

0.0b

Counts

174 → 15

Alt Table

Status	Error	Program
	0.3b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (log.f64 (pow.f64 (exp.f64 (cos.f64 phi1)) (sin.f64 phi2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	0.2b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (pow.f64 (cbrt.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) 3)))))
	0.2b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (/.f64 (-.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (-.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))
	0.3b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (log.f64 (+.f64 1 (expm1.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2))))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	15.5b	(atan2.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) 3) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	9.3b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (expm1.f64 (log1p.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)))) (log1p.f64 (expm1.f64 (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))))
	0.4b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (expm1.f64 (.f64 (cbrt.f64 (log1p.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)))) (pow.f64 (cbrt.f64 (log1p.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)))) 2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
✓	0.2b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (expm1.f64 (log1p.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	15.6b	(atan2.f64 (.f64 (pow.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) 3) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	0.7b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (expm1.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (fma.f64 (cos.f64 phi1) (sin.f64 phi2) 1)) (cbrt.f64 (fma.f64 (cos.f64 phi1) (sin.f64 phi2) 1)))) (log.f64 (cbrt.f64 (fma.f64 (cos.f64 phi1) (sin.f64 phi2) 1))))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	0.4b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (expm1.f64 (-.f64 (log.f64 (-.f64 1 (pow.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) 2))) (log.f64 (-.f64 1 (.f64 (cos.f64 phi1) (sin.f64 phi2)))))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	0.5b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (expm1.f64 (+.f64 (log.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (sin.f64 phi2) 1))) (log.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (sin.f64 phi2) 1))))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	15.3b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (-.f64 lambda1 lambda2))))))))
	15.3b	(atan2.f64 (.f64 (log1p.f64 (expm1.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	9.4b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (-.f64 (exp.f64 (log1p.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)))) 1) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))

Compiler

Compiled 8658 to 2230 computations (74.2% saved)

regimes3.2s (13.6%)

Accuracy

Total 0.1b remaining (63%)

Threshold costs 0.1b (63%)

Counts

273 → 1

Compiler

Compiled 65038 to 40264 computations (38.1% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	65
1	45	65
2	67	65
3	82	65
4	92	65
5	95	65
6	95	65

end405.0ms (1.7%)

Compiler: Compiled 755 to 445 computations (41.1% saved)

Iter	Nodes	Cost
0	18	39
1	32	39
2	61	39
3	115	39
4	155	39
5	246	39
6	348	39
7	437	39
8	572	39
9	622	39
10	694	39
11	720	39
12	669	39

Iter	Nodes	Cost
0	18	39
1	32	39
2	61	39
3	115	39
4	155	39
5	246	39
6	348	39
7	437	39
8	572	39
9	622	39
10	694	39
11	720	39
12	669	39

Details

analyze4.1s (17.6%)

sample12.6s (54%)

simplify30.0ms (0.1%)

prune3.0ms (0%)

localize21.0ms (0.1%)

series73.0ms (0.3%)

rewrite77.0ms (0.3%)

simplify103.0ms (0.4%)

prune357.0ms (1.5%)

localize26.0ms (0.1%)

series51.0ms (0.2%)

rewrite60.0ms (0.3%)

simplify88.0ms (0.4%)

prune393.0ms (1.7%)

localize28.0ms (0.1%)

series92.0ms (0.4%)

rewrite60.0ms (0.3%)

simplify59.0ms (0.3%)

prune399.0ms (1.7%)

localize33.0ms (0.1%)

series542.0ms (2.3%)

rewrite39.0ms (0.2%)

simplify54.0ms (0.2%)

prune474.0ms (2%)

regimes3.2s (13.6%)

simplify4.0ms (0%)

end405.0ms (1.7%)

Profiling

Iter	Nodes	Cost
0	18	39
1	32	39
2	61	39
3	115	39
4	155	39
5	246	39
6	348	39
7	437	39
8	572	39
9	622	39
10	694	39
11	720	39
12	669	39