Details

analyze2.8s (16.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 25 to 18 computations (28% saved)

sample209.0ms (1.3%)

Algorithm

1×

intervals

Results

152.0ms	173×	body	1024	valid
18.0ms	34×	body	512	valid
16.0ms	7×	body	2048	valid
5.0ms	30×	body	128	valid
4.0ms	12×	body	256	valid

Compiler

Compiled 49 to 39 computations (20.4% saved)

simplify116.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (17.0ms)

Iter	Nodes	Cost
0	385	39
1	385	39

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

11.8b

Counts

2 → 1

Compiler

Compiled 48 to 34 computations (29.2% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
0.2b	(*.f64 (cos.f64 phi1) (sin.f64 phi2))
2.7b	(sin.f64 (-.f64 lambda1 lambda2))
2.9b	(cos.f64 (-.f64 lambda1 lambda2))

rewrite28.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`pow1_binary64_2185` `add-sqr-sqrt_binary64_2146` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
9×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
6×	`cancel-sign-sub-inv_binary64_2090` `associate-r_binary64_2064`
4×	`pow-prod-down_binary64_2195` `add-log-exp_binary64_2163` `associate-l_binary64_2065` `prod-exp_binary64_2173` `sin-sum_binary64_2257` `cos-sum_binary64_2258` `cbrt-unprod_binary64_2157`
3×	`cos-diff_binary64_2261`
2×	`*-commutative_binary64_2055` `sub-neg_binary64_2117`
1×	`sin-cos-mult_binary64_2280` `unswap-sqr_binary64_2092` `associate-*l/_binary64_2067` `sin-diff_binary64_2260` `distribute-rgt-in_binary64_2074` `distribute-lft-in_binary64_2073`

Counts

4 → 63

Calls

4 calls:

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

series788.0ms (4.7%)

Counts

4 → 51

Calls

4 calls:

524.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
143.0ms	(*.f64 (cos.f64 phi1) (sin.f64 phi2))
63.0ms	(cos.f64 (-.f64 lambda1 lambda2))
57.0ms	(sin.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 2441 to 1722 computations (29.5% saved)

simplify83.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	5037	1769

prune165.0ms (1%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	97	17	114
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	98	17	115

Error

6.2b

Counts

115 → 17

Compiler

Compiled 3791 to 942 computations (75.2% saved)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite29.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_2146`
13×	`pow1_binary64_2185` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
10×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
9×	`associate-r_binary64_2064`
7×	`associate-l_binary64_2065`
5×	`pow-prod-down_binary64_2195` `prod-exp_binary64_2173` `cbrt-unprod_binary64_2157`
4×	`add-log-exp_binary64_2163` `cos-sum_binary64_2258`
3×	`cos-diff_binary64_2261` `cancel-sign-sub-inv_binary64_2090` `*-commutative_binary64_2055`
2×	`unswap-sqr_binary64_2092`
1×	`sin-cos-mult_binary64_2280` `associate-*l/_binary64_2067` `distribute-rgt-in_binary64_2074` `sub-neg_binary64_2117` `distribute-lft-in_binary64_2073`

Counts

4 → 69

Calls

4 calls:

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

series916.0ms (5.5%)

Counts

4 → 49

Calls

4 calls:

536.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
168.0ms	(*.f64 (cos.f64 lambda2) (sin.f64 lambda1))
145.0ms	(*.f64 (cos.f64 phi1) (sin.f64 phi2))
66.0ms	(cos.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 2999 to 2136 computations (28.8% saved)

simplify86.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4981	1745
1	4981	1745

prune158.0ms (0.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	115	3	118
Fresh	10	6	16
Picked	1	0	1
Done	0	0	0
Total	126	9	135

Error

0.1b

Counts

135 → 9

Compiler

Compiled 4486 to 842 computations (81.2% saved)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite36.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-sqr-sqrt_binary64_2146`
15×	`pow1_binary64_2185` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
12×	`associate-r_binary64_2064`
11×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
10×	`associate-l_binary64_2065`
6×	`pow-prod-down_binary64_2195` `prod-exp_binary64_2173` `cbrt-unprod_binary64_2157`
4×	`sin-cos-mult_binary64_2280` `*-commutative_binary64_2055` `add-log-exp_binary64_2163`
3×	`unswap-sqr_binary64_2092` `sin-mult_binary64_2279` `associate-*r/_binary64_2066` `frac-times_binary64_2134`
2×	`cos-mult_binary64_2278` `flip3-+_binary64_2127` `flip-+_binary64_2098` `frac-add_binary64_2132`
1×	`associate-*l/_binary64_2067` `distribute-rgt-in_binary64_2074` `distribute-lft-in_binary64_2073`

Counts

4 → 82

Calls

4 calls:

11.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))
5.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
5.0ms	(*.f64 (cos.f64 lambda2) (sin.f64 lambda1))
5.0ms	(*.f64 (cos.f64 phi1) (sin.f64 phi2))

series1.4s (8.3%)

Counts

4 → 45

Calls

4 calls:

972.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))
157.0ms	(*.f64 (cos.f64 lambda2) (sin.f64 lambda1))
132.0ms	(*.f64 (cos.f64 phi1) (sin.f64 phi2))
132.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))

Compiler

Compiled 3427 to 2193 computations (36% saved)

simplify97.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4963	2605
1	4963	2605

prune193.0ms (1.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	121	6	127
Fresh	4	4	8
Picked	1	0	1
Done	0	0	0
Total	126	10	136

Error

0.0b

Counts

136 → 10

Compiler

Compiled 5985 to 1035 computations (82.7% saved)

localize36.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(*.f64 (cbrt.f64 (sin.f64 lambda2)) (cbrt.f64 (sin.f64 lambda2)))
0.7b	(cbrt.f64 (sin.f64 lambda2))
0.7b	(cbrt.f64 (sin.f64 lambda2))
0.7b	(cbrt.f64 (sin.f64 lambda2))

rewrite23.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_2155`
23×	`add-sqr-sqrt_binary64_2146`
15×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
11×	`pow1_binary64_2185`
9×	`pow1/3_binary64_2206`
6×	`swap-sqr_binary64_2091` `associate-l_binary64_2065` `associate-r_binary64_2064` `add-exp-log_binary64_2162`
4×	`unswap-sqr_binary64_2092` `add-log-exp_binary64_2163` `add-cbrt-cube_binary64_2160`
2×	`pow-prod-down_binary64_2195` `pow-prod-up_binary64_2194` `pow-sqr_binary64_2097`
1×	`*-commutative_binary64_2055` `prod-exp_binary64_2173` `pow-plus_binary64_2187` `pow2_binary64_2205` `cbrt-unprod_binary64_2157`

Counts

4 → 73

Calls

4 calls:

7.0ms	(*.f64 (cbrt.f64 (sin.f64 lambda2)) (cbrt.f64 (sin.f64 lambda2)))
2.0ms	(cbrt.f64 (sin.f64 lambda2))
2.0ms	(cbrt.f64 (sin.f64 lambda2))
2.0ms	(cbrt.f64 (sin.f64 lambda2))

series415.0ms (2.5%)

Counts

4 → 16

Calls

4 calls:

114.0ms	(*.f64 (cbrt.f64 (sin.f64 lambda2)) (cbrt.f64 (sin.f64 lambda2)))
110.0ms	(cbrt.f64 (sin.f64 lambda2))
97.0ms	(cbrt.f64 (sin.f64 lambda2))
94.0ms	(cbrt.f64 (sin.f64 lambda2))

Compiler

Compiled 1446 to 951 computations (34.2% saved)

simplify76.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5176	838

prune125.0ms (0.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	89	0	89
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	89	10	99

Error

0.0b

Counts

99 → 10

Compiler

Compiled 4440 to 735 computations (83.4% saved)

regimes831.0ms (5%)

Accuracy

Total 0.1b remaining (70.5%)

Threshold costs 0.1b (70.5%)

Compiler

Compiled 10957 to 7292 computations (33.4% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	129	68
1	129	68

end0.0ms (0%)

sample8.0s (48.2%)

Algorithm

1×

intervals

Results

4.9s	5393×	body	1024	valid
722.0ms	1238×	body	512	valid
325.0ms	159×	body	2048	valid
142.0ms	805×	body	128	valid
139.0ms	405×	body	256	valid

Compiler

Compiled 1782 to 1184 computations (33.6% saved)

Details

analyze2.8s (16.6%)

sample209.0ms (1.3%)

simplify116.0ms (0.7%)

prune4.0ms (0%)

localize20.0ms (0.1%)

rewrite28.0ms (0.2%)

series788.0ms (4.7%)

simplify83.0ms (0.5%)

prune165.0ms (1%)

localize28.0ms (0.2%)

rewrite29.0ms (0.2%)

series916.0ms (5.5%)

simplify86.0ms (0.5%)

prune158.0ms (0.9%)

localize28.0ms (0.2%)

rewrite36.0ms (0.2%)

series1.4s (8.3%)

simplify97.0ms (0.6%)

prune193.0ms (1.2%)

localize36.0ms (0.2%)

rewrite23.0ms (0.1%)

series415.0ms (2.5%)

simplify76.0ms (0.5%)

prune125.0ms (0.7%)

regimes831.0ms (5%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample8.0s (48.2%)

Profiling