Details

analyze4.1s (20.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
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)

sample351.0ms (1.8%)

Algorithm

1×

intervals

Results

256.0ms	160×	body	1024	valid
32.0ms	8×	body	2048	valid
31.0ms	41×	body	512	valid
8.0ms	35×	body	128	valid
6.0ms	12×	body	256	valid

Compiler

Compiled 61 to 39 computations (36.1% saved)

simplify34.0ms (0.2%)

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 → 1

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

1 alts after pruning (1 fresh and 0 done)

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

Error

13.8b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	13.8b	(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 84 to 51 computations (39.3% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
5.5b	(sin.f64 (-.f64 lambda1 lambda2))
5.6b	(cos.f64 (-.f64 lambda1 lambda2))

rewrite200.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

7.8b

Rules

23×	`add-sqr-sqrt_binary64`
21×	`*-un-lft-identity_binary64`
21×	`add-cube-cbrt_binary64`
18×	`prod-diff_binary64`
13×	`sin-sum_binary64`

Counts

4 → 90

Calls

4 calls:

8.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
6.0ms	(cos.f64 (-.f64 lambda1 lambda2))
5.0ms	(sin.f64 (-.f64 lambda1 lambda2))
4.0ms	(*.f64 (sin.f64 phi1) (cos.f64 phi2))

Compiler

Compiled 3476 to 666 computations (80.8% saved)

series199.0ms (1%)

Error

10.1b

Counts

4 → 54

Calls

4 calls:

97.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
23.0ms	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
17.0ms	(cos.f64 (-.f64 lambda1 lambda2))
16.0ms	(sin.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 4021 to 2008 computations (50.1% saved)

simplify159.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

888×	`fma-neg_binary64`
457×	`distribute-rgt-neg-in_binary64`
384×	`associate-r_binary64`
378×	`distribute-lft-neg-in_binary64`
360×	`associate-l_binary64`

Counts

144 → 116

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	418	4817
1	891	4042
2	2831	3858
3	4622	3853
4	5083	3853

prune131.0ms (0.7%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	103	13	116
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	104	13	117

Error

7.8b

Counts

117 → 13

Alt Table

Status	Error	Program
	14.9b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (log.f64 (exp.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (cos.f64 (-.f64 lambda1 lambda2)))))
	36.7b	(atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 lambda1)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (cos.f64 (-.f64 lambda1 lambda2)))))
	23.8b	(atan2.f64 (.f64 (cos.f64 phi2) (fma.f64 lambda1 (cos.f64 lambda2) (sin.f64 (neg.f64 lambda2)))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (cos.f64 (-.f64 lambda1 lambda2)))))
	26.2b	(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)) (+.f64 (+.f64 (cos.f64 lambda2) (.f64 (.f64 lambda1 lambda1) (fma.f64 (.f64 -1/6 (sin.f64 lambda2)) lambda1 (.f64 (cos.f64 lambda2) -1/2)))) (*.f64 lambda1 (sin.f64 lambda2))))))
	13.8b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (log1p.f64 (expm1.f64 (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (cos.f64 (-.f64 lambda1 lambda2)))))))
	31.3b	(atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (neg.f64 lambda2))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (cos.f64 (-.f64 lambda1 lambda2)))))
	18.8b	(atan2.f64 (.f64 (cbrt.f64 (pow.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)))))
▶	8.1b	(atan2.f64 (.f64 (-.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)))))
	22.9b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (/.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (+.f64 (sin.f64 (-.f64 phi1 phi2)) (sin.f64 (+.f64 phi2 phi1)))) 2)))
	13.6b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	14.0b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (cbrt.f64 (pow.f64 (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (cos.f64 (-.f64 lambda1 lambda2))) 3))))
	15.0b	(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 (cos.f64 phi2) (sin.f64 phi1))))))
	23.1b	(atan2.f64 (.f64 (cos.f64 phi2) (fma.f64 lambda1 (cos.f64 lambda2) (fma.f64 -1 (sin.f64 lambda2) (.f64 (.f64 lambda1 lambda1) (-.f64 (.f64 1/2 (sin.f64 lambda2)) (.f64 (.f64 (cos.f64 lambda2) 1/6) lambda1)))))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (cos.f64 phi2) (sin.f64 phi1)) (cos.f64 (-.f64 lambda1 lambda2)))))

Compiler

Compiled 2611 to 923 computations (64.6% saved)

localize34.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (cos.f64 lambda2) (sin.f64 lambda1))
0.2b	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
5.6b	(cos.f64 (-.f64 lambda1 lambda2))

rewrite153.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

20×	`add-sqr-sqrt_binary64`
16×	`*-un-lft-identity_binary64`
16×	`add-cube-cbrt_binary64`
13×	`add-cbrt-cube_binary64`
13×	`add-exp-log_binary64`

Counts

4 → 87

Calls

4 calls:

6.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
5.0ms	(cos.f64 (-.f64 lambda1 lambda2))
3.0ms	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
3.0ms	(*.f64 (cos.f64 lambda2) (sin.f64 lambda1))

Compiler

Compiled 3468 to 582 computations (83.2% saved)

series196.0ms (1%)

Error

7.6b

Counts

4 → 47

Calls

4 calls:

66.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
27.0ms	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
24.0ms	(*.f64 (cos.f64 lambda2) (sin.f64 lambda1))
19.0ms	(cos.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 4306 to 2261 computations (47.5% saved)

simplify185.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

746×	`fma-neg_binary64`
538×	`cancel-sign-sub-inv_binary64`
446×	`distribute-rgt-neg-in_binary64`
368×	`distribute-lft-neg-in_binary64`
360×	`associate-r_binary64`

Counts

134 → 100

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	378	4407
1	811	3887
2	2458	3795
3	4247	3726
4	4910	3726
5	5094	3726

prune89.0ms (0.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	97	3	100
Fresh	8	4	12
Picked	1	0	1
Done	0	0	0
Total	106	7	113

Error

0.1b

Counts

113 → 7

Alt Table

Status	Error	Program
	14.9b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (log.f64 (exp.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (cos.f64 (-.f64 lambda1 lambda2)))))
	18.8b	(atan2.f64 (.f64 (cbrt.f64 (pow.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)))))
	10.7b	(atan2.f64 (.f64 (-.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) 3)) (.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)))))
▶	0.2b	(atan2.f64 (.f64 (-.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)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	14.0b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (cbrt.f64 (pow.f64 (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (cos.f64 (-.f64 lambda1 lambda2))) 3))))
	15.0b	(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 (cos.f64 phi2) (sin.f64 phi1))))))
	37.1b	(atan2.f64 (.f64 (-.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 (sqrt.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1))) (sqrt.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (cos.f64 (-.f64 lambda1 lambda2)))))

Compiler

Compiled 2263 to 608 computations (73.1% saved)

localize31.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (cos.f64 lambda2) (sin.f64 lambda1))
0.2b	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
0.2b	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))

rewrite187.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

17×	`add-sqr-sqrt_binary64`
15×	`add-cbrt-cube_binary64`
15×	`add-exp-log_binary64`
15×	`pow1_binary64`
12×	`associate-r_binary64`

Counts

4 → 91

Calls

4 calls:

9.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))
7.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
3.0ms	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
3.0ms	(*.f64 (cos.f64 lambda2) (sin.f64 lambda1))

Compiler

Compiled 3910 to 530 computations (86.4% saved)

series213.0ms (1.1%)

Error

0.1b

Counts

4 → 44

Calls

4 calls:

106.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))
24.0ms	(*.f64 (cos.f64 lambda2) (sin.f64 lambda1))
24.0ms	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
22.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))

Compiler

Compiled 4897 to 2338 computations (52.3% saved)

simplify131.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

594×	`associate-r_binary64`
594×	`associate-l_binary64`
547×	`fma-neg_binary64`
291×	`*-commutative_binary64`
289×	`fma-def_binary64`

Counts

135 → 99

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	362	4870
1	1075	4574
2	4105	4568
3	4979	4568

prune118.0ms (0.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	96	3	99
Fresh	2	4	6
Picked	0	1	1
Done	0	0	0
Total	98	8	106

Error

0.1b

Counts

106 → 8

Alt Table

Status	Error	Program
	14.9b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (log.f64 (exp.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (cos.f64 (-.f64 lambda1 lambda2)))))
	0.4b	(atan2.f64 (.f64 (-.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 (.f64 (cbrt.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1))) (cbrt.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (cbrt.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	18.8b	(atan2.f64 (.f64 (cbrt.f64 (pow.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)))))
	1.4b	(atan2.f64 (.f64 (-.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)) (log.f64 (pow.f64 (exp.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1))) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))
✓	0.2b	(atan2.f64 (.f64 (-.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)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	14.0b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (cbrt.f64 (pow.f64 (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (cos.f64 (-.f64 lambda1 lambda2))) 3))))
▶	0.2b	(atan2.f64 (.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (cos.f64 lambda2)) (cbrt.f64 (cos.f64 lambda2))) (.f64 (sin.f64 lambda1) (cbrt.f64 (cos.f64 lambda2)))) (.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 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	37.1b	(atan2.f64 (.f64 (-.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 (sqrt.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1))) (sqrt.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (cos.f64 (-.f64 lambda1 lambda2)))))

Compiler

Compiled 3637 to 821 computations (77.4% saved)

localize38.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (cbrt.f64 (cos.f64 lambda2)) (cbrt.f64 (cos.f64 lambda2)))
0.3b	(cbrt.f64 (cos.f64 lambda2))
0.3b	(cbrt.f64 (cos.f64 lambda2))
0.3b	(cbrt.f64 (cos.f64 lambda2))

rewrite174.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

25×	`cbrt-prod_binary64`
23×	`add-sqr-sqrt_binary64`
15×	`*-un-lft-identity_binary64`
15×	`add-cube-cbrt_binary64`
11×	`pow1_binary64`

Counts

4 → 81

Calls

4 calls:

5.0ms	(*.f64 (cbrt.f64 (cos.f64 lambda2)) (cbrt.f64 (cos.f64 lambda2)))
1.0ms	(cbrt.f64 (cos.f64 lambda2))
1.0ms	(cbrt.f64 (cos.f64 lambda2))
1.0ms	(cbrt.f64 (cos.f64 lambda2))

Compiler

Compiled 3980 to 500 computations (87.4% saved)

series86.0ms (0.4%)

Error

0.1b

Counts

4 → 16

Calls

4 calls:

18.0ms	(*.f64 (cbrt.f64 (cos.f64 lambda2)) (cbrt.f64 (cos.f64 lambda2)))
15.0ms	(cbrt.f64 (cos.f64 lambda2))
13.0ms	(cbrt.f64 (cos.f64 lambda2))
13.0ms	(cbrt.f64 (cos.f64 lambda2))

Compiler

Compiled 2042 to 979 computations (52.1% saved)

simplify181.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

672×	`fma-def_binary64`
434×	`fma-neg_binary64`
409×	`log-prod_binary64`
348×	`neg-mul-1_binary64`
330×	`unsub-neg_binary64`

Counts

97 → 72

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	133	2070
1	237	1794
2	702	1778
3	1173	1760
4	2844	1600
5	4040	1600
6	4689	1600
7	4923	1600
8	4931	1600

prune75.0ms (0.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	72	0	72
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	72	8	80

Error

0.1b

Counts

80 → 8

Alt Table

Status	Error	Program
	14.9b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (log.f64 (exp.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (cos.f64 (-.f64 lambda1 lambda2)))))
	0.4b	(atan2.f64 (.f64 (-.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 (.f64 (cbrt.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1))) (cbrt.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (cbrt.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	18.8b	(atan2.f64 (.f64 (cbrt.f64 (pow.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)))))
	1.4b	(atan2.f64 (.f64 (-.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)) (log.f64 (pow.f64 (exp.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1))) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))
✓	0.2b	(atan2.f64 (.f64 (-.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)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	14.0b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (cbrt.f64 (pow.f64 (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (cos.f64 (-.f64 lambda1 lambda2))) 3))))
✓	0.2b	(atan2.f64 (.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (cos.f64 lambda2)) (cbrt.f64 (cos.f64 lambda2))) (.f64 (sin.f64 lambda1) (cbrt.f64 (cos.f64 lambda2)))) (.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 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	37.1b	(atan2.f64 (.f64 (-.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 (sqrt.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1))) (sqrt.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (cos.f64 (-.f64 lambda1 lambda2)))))

Compiler

Compiled 1961 to 470 computations (76% saved)

regimes2.3s (11.3%)

Accuracy

Total 0.1b remaining (39.3%)

Threshold costs 0.1b (39.3%)

Compiler

Compiled 56479 to 32046 computations (43.3% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

19×	`*-commutative_binary64`
14×	`+-commutative_binary64`
13×	`sub-neg_binary64`
11×	`neg-sub0_binary64`
11×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	68
1	47	68
2	71	68
3	91	68
4	114	68
5	124	68
6	128	68
7	129	68
8	129	68

end1.0ms (0%)

Compiler: Compiled 45 to 27 computations (40% saved)

sample10.5s (53.1%)

Algorithm

1×

intervals

Results

7.9s	5398×	body	1024	valid
919.0ms	1228×	body	512	valid
615.0ms	179×	body	2048	valid
188.0ms	394×	body	256	valid
187.0ms	801×	body	128	valid

Compiler

Compiled 406 to 236 computations (41.9% 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 (20.5%)

sample351.0ms (1.8%)

simplify34.0ms (0.2%)

prune3.0ms (0%)

localize24.0ms (0.1%)

rewrite200.0ms (1%)

series199.0ms (1%)

simplify159.0ms (0.8%)

prune131.0ms (0.7%)

localize34.0ms (0.2%)

rewrite153.0ms (0.8%)

series196.0ms (1%)

simplify185.0ms (0.9%)

prune89.0ms (0.4%)

localize31.0ms (0.2%)

rewrite187.0ms (0.9%)

series213.0ms (1.1%)

simplify131.0ms (0.7%)

prune118.0ms (0.6%)

localize38.0ms (0.2%)

rewrite174.0ms (0.9%)

series86.0ms (0.4%)

simplify181.0ms (0.9%)

prune75.0ms (0.4%)

regimes2.3s (11.3%)

simplify7.0ms (0%)

end1.0ms (0%)

sample10.5s (53.1%)

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