Details

analyze3.1s (19%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2392	341
1	2392	341
0	5	5
1	5	5

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
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
0.8%	99%	0.2%	11
1.2%	98.6%	0.2%	12
1.8%	98%	0.2%	13
2%	97.7%	0.2%	14

Compiler

Compiled 20 to 18 computations (10% saved)

sample228.0ms (1.4%)

Algorithm

1×

intervals

Results

152.0ms	177×	body	1024	valid
26.0ms	49×	body	512	valid
15.0ms	7×	body	2048	valid
13.0ms	13×	body	256	valid
2.0ms	10×	body	128	valid

Compiler

Compiled 39 to 40 computations (-2.6% saved)

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	96	31
1	96	31

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

15.0b

Counts

2 → 1

Compiler

Compiled 38 to 34 computations (10.5% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
0.3b	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
0.3b	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
4.0b	(cos.f64 (-.f64 lambda1 lambda2))

rewrite21.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-cbrt-cube_binary64_1478` `add-exp-log_binary64_1480` `pow1_binary64_1503`
10×	`add-sqr-sqrt_binary64_1464`
8×	`add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
6×	`associate-r_binary64_1382`
4×	`cbrt-unprod_binary64_1475` `associate-l_binary64_1383` `pow-prod-down_binary64_1513` `add-log-exp_binary64_1481` `prod-exp_binary64_1491` `cos-sum_binary64_1576`
3×	`cancel-sign-sub-inv_binary64_1408` `cos-diff_binary64_1579`
2×	`*-commutative_binary64_1373`
1×	`acos-asin_binary64_1623` `sub-neg_binary64_1435` `distribute-lft-in_binary64_1391` `distribute-rgt-in_binary64_1392` `cos-mult_binary64_1596` `associate-*l/_binary64_1385` `unswap-sqr_binary64_1410`

Counts

4 → 59

Calls

4 calls:

7.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
5.0ms	(cos.f64 (-.f64 lambda1 lambda2))
3.0ms	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
1.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))

series301.0ms (1.8%)

Counts

4 → 12

Calls

4 calls:

133.0ms	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
116.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
36.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
15.0ms	(cos.f64 (-.f64 lambda1 lambda2))

simplify71.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4894	1724
1	4894	1724

prune103.0ms (0.6%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	57	14	71
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	58	14	72

Error

3.1b

Counts

72 → 14

Compiler

Compiled 2216 to 551 computations (75.1% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
0.3b	(.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))
0.3b	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2)))))) R)
0.4b	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))))

rewrite28.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-cbrt-cube_binary64_1478` `add-exp-log_binary64_1480` `pow1_binary64_1503`
12×	`add-sqr-sqrt_binary64_1464`
10×	`cbrt-unprod_binary64_1475` `pow-prod-down_binary64_1513` `prod-exp_binary64_1491`
8×	`add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
7×	`associate-r_binary64_1382` `associate-l_binary64_1383`
4×	`add-log-exp_binary64_1481`
3×	`*-commutative_binary64_1373` `sin-mult_binary64_1597`
2×	`cos-mult_binary64_1596` `unswap-sqr_binary64_1410`
1×	`associate-r/_binary64_1384` `acos-asin_binary64_1623` `frac-times_binary64_1452` `associate-l/_binary64_1385`

Counts

4 → 70

Calls

4 calls:

9.0ms	(.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))
5.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
3.0ms	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2)))))) R)
1.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))))

series421.0ms (2.6%)

Counts

4 → 12

Calls

4 calls:

195.0ms	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2)))))) R)
122.0ms	(.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))
61.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))))
44.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))

simplify101.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4950	2261
1	4950	2261

prune136.0ms (0.8%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	70	12	82
Fresh	7	6	13
Picked	1	0	1
Done	0	0	0
Total	78	18	96

Error

3.0b

Counts

96 → 18

Compiler

Compiled 3683 to 806 computations (78.1% saved)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
0.3b	(.f64 (exp.f64 (log.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))) R)
0.4b	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))
0.6b	(log.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))

rewrite20.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64_1464`
10×	`add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
9×	`associate-l_binary64_1383` `pow1_binary64_1503`
8×	`add-cbrt-cube_binary64_1478` `add-exp-log_binary64_1480`
7×	`log-prod_binary64_1528`
6×	`associate-r_binary64_1382`
4×	`add-log-exp_binary64_1481` `exp-sum_binary64_1488`
3×	`unswap-sqr_binary64_1410`
2×	`cbrt-unprod_binary64_1475` `pow-prod-down_binary64_1513` `*-commutative_binary64_1373` `prod-exp_binary64_1491`
1×	`acos-asin_binary64_1623` `rem-log-exp_binary64_1483` `log-pow_binary64_1531` `sin-mult_binary64_1597`

Counts

4 → 61

Calls

4 calls:

6.0ms	(.f64 (exp.f64 (log.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))) R)
5.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
1.0ms	(log.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
1.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))

series692.0ms (4.2%)

Counts

4 → 12

Calls

4 calls:

459.0ms	(.f64 (exp.f64 (log.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))) R)
140.0ms	(log.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
53.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))
40.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))

simplify100.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4956	2649
1	4956	2649

prune125.0ms (0.8%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	69	4	73
Fresh	1	16	17
Picked	1	0	1
Done	0	0	0
Total	71	20	91

Error

3.0b

Counts

91 → 20

Compiler

Compiled 3469 to 843 computations (75.7% saved)

localize32.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))
0.3b	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (log.f64 (exp.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))) R)
0.4b	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (log.f64 (exp.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
2.9b	(log.f64 (exp.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))

rewrite26.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`pow1_binary64_1503`
18×	`add-cbrt-cube_binary64_1478` `add-exp-log_binary64_1480`
9×	`cbrt-unprod_binary64_1475` `pow-prod-down_binary64_1513` `add-sqr-sqrt_binary64_1464` `prod-exp_binary64_1491`
7×	`add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
5×	`add-log-exp_binary64_1481`
4×	`associate-r_binary64_1382` `associate-l_binary64_1383`
3×	`log-prod_binary64_1528` `log-pow_binary64_1531`
2×	`*-commutative_binary64_1373` `cos-mult_binary64_1596` `sin-mult_binary64_1597`
1×	`associate-r/_binary64_1384` `acos-asin_binary64_1623` `rem-log-exp_binary64_1483` `exp-prod_binary64_1494` `frac-times_binary64_1452` `exp-to-pow_binary64_1504` `associate-l/_binary64_1385` `unswap-sqr_binary64_1410`

Counts

4 → 65

Calls

4 calls:

9.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))
3.0ms	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (log.f64 (exp.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))) R)
3.0ms	(log.f64 (exp.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))
1.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (log.f64 (exp.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))

series622.0ms (3.8%)

Counts

4 → 12

Calls

4 calls:

231.0ms	(log.f64 (exp.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))
200.0ms	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (log.f64 (exp.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))) R)
132.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))
59.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (log.f64 (exp.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))

simplify59.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5734	2387

prune82.0ms (0.5%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	76	1	77
Fresh	2	17	19
Picked	0	1	1
Done	0	0	0
Total	78	19	97

Error

3.0b

Counts

97 → 19

Compiler

Compiled 2896 to 371 computations (87.2% saved)

regimes1.4s (8.7%)

Accuracy

Total 0.3b remaining (9%)

Threshold costs 0.3b (9%)

Compiler

Compiled 20318 to 12434 computations (38.8% saved)

bsearch0.0ms (0%)

simplify13.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	33	53
1	33	53

Compiler

Compiled 128 to 92 computations (28.1% saved)

end0.0ms (0%)

sample8.6s (52.4%)

Algorithm

1×

intervals

Results

5.0s	5500×	body	1024	valid
799.0ms	1417×	body	512	valid
506.0ms	245×	body	2048	valid
174.0ms	505×	body	256	valid
61.0ms	333×	body	128	valid
4.0ms	4×	body	1024	invalid

Compiler

Compiled 1938 to 1183 computations (39% saved)

Details

analyze3.1s (19%)

sample228.0ms (1.4%)

simplify11.0ms (0.1%)

prune3.0ms (0%)

localize18.0ms (0.1%)

rewrite21.0ms (0.1%)

series301.0ms (1.8%)

simplify71.0ms (0.4%)

prune103.0ms (0.6%)

localize26.0ms (0.2%)

rewrite28.0ms (0.2%)

series421.0ms (2.6%)

simplify101.0ms (0.6%)

prune136.0ms (0.8%)

localize28.0ms (0.2%)

rewrite20.0ms (0.1%)

series692.0ms (4.2%)

simplify100.0ms (0.6%)

prune125.0ms (0.8%)

localize32.0ms (0.2%)

rewrite26.0ms (0.2%)

series622.0ms (3.8%)

simplify59.0ms (0.4%)

prune82.0ms (0.5%)

regimes1.4s (8.7%)

bsearch0.0ms (0%)

simplify13.0ms (0.1%)

end0.0ms (0%)

sample8.6s (52.4%)

Profiling