Details

analyze2.6s (11.7%)

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)

sample222.0ms (1%)

Algorithm

1×

intervals

Results

151.0ms	158×	body	1024	valid
21.0ms	11×	body	2048	valid
21.0ms	39×	body	512	valid
7.0ms	20×	body	256	valid
5.0ms	28×	body	128	valid

Compiler

Compiled 49 to 39 computations (20.4% saved)

simplify114.0ms (0.5%)

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

13.8b

Counts

2 → 1

Compiler

Compiled 48 to 34 computations (29.2% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

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)))
1.8b	(sin.f64 (-.f64 lambda1 lambda2))
1.8b	(cos.f64 (-.f64 lambda1 lambda2))

rewrite127.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

5.4b

Rules

11×	`add-sqr-sqrt_binary64_2487` `pow1_binary64_2526` `add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501`
9×	`add-cube-cbrt_binary64_2500` `*-un-lft-identity_binary64_2465`
6×	`cancel-sign-sub-inv_binary64_2431` `associate-r_binary64_2405`
4×	`cos-sum_binary64_2599` `add-log-exp_binary64_2504` `sin-sum_binary64_2598` `pow-prod-down_binary64_2536` `prod-exp_binary64_2514` `cbrt-unprod_binary64_2498` `associate-l_binary64_2406`
3×	`cos-diff_binary64_2602`
2×	`sub-neg_binary64_2458` `sin-cos-mult_binary64_2621` `*-commutative_binary64_2396`
1×	`sin-diff_binary64_2601` `distribute-rgt-in_binary64_2415` `distribute-lft-in_binary64_2414` `associate-*l/_binary64_2408` `unswap-sqr_binary64_2433`

Counts

4 → 64

Calls

4 calls:

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

Compiler

Compiled 2066 to 344 computations (83.3% saved)

series746.0ms (3.3%)

Error

9.3b

Counts

4 → 59

Calls

4 calls:

388.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
176.0ms	(*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))
56.0ms	(sin.f64 (-.f64 lambda1 lambda2))
52.0ms	(cos.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 4480 to 2108 computations (52.9% saved)

simplify86.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4966	2026
1	4966	2026

prune175.0ms (0.8%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	105	18	123
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	106	18	124

Error

5.3b

Counts

124 → 18

Compiler

Compiled 4067 to 851 computations (79.1% saved)

localize28.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite135.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

14×	`add-sqr-sqrt_binary64_2487`
13×	`pow1_binary64_2526` `add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501`
10×	`add-cube-cbrt_binary64_2500` `*-un-lft-identity_binary64_2465`
9×	`associate-r_binary64_2405`
7×	`associate-l_binary64_2406`
5×	`pow-prod-down_binary64_2536` `prod-exp_binary64_2514` `cbrt-unprod_binary64_2498`
4×	`cos-sum_binary64_2599` `add-log-exp_binary64_2504`
3×	`cos-diff_binary64_2602` `cancel-sign-sub-inv_binary64_2431` `associate-l/_binary64_2408` `-commutative_binary64_2396`
2×	`unswap-sqr_binary64_2433`
1×	`sub-neg_binary64_2458` `distribute-rgt-in_binary64_2415` `distribute-lft-in_binary64_2414` `sin-cos-mult_binary64_2621` `flip3--_binary64_2469` `flip--_binary64_2440`

Counts

4 → 71

Calls

4 calls:

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

Compiler

Compiled 2860 to 402 computations (85.9% saved)

series1.0s (4.5%)

Error

5.1b

Counts

4 → 57

Calls

4 calls:

397.0ms	(.f64 (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2))
372.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
102.0ms	(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))
59.0ms	(cos.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 5337 to 2572 computations (51.8% saved)

simplify80.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4988	2551
1	4988	2551

prune183.0ms (0.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	122	6	128
Fresh	12	5	17
Picked	1	0	1
Done	0	0	0
Total	135	11	146

Error

0.1b

Counts

146 → 11

Compiler

Compiled 5098 to 849 computations (83.3% saved)

localize33.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite163.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`pow1_binary64_2526` `add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501`
13×	`pow-prod-down_binary64_2536` `prod-exp_binary64_2514` `cbrt-unprod_binary64_2498` `add-sqr-sqrt_binary64_2487`
10×	`associate-l_binary64_2406`
9×	`add-cube-cbrt_binary64_2500` `*-un-lft-identity_binary64_2465`
8×	`associate-r_binary64_2405`
4×	`add-log-exp_binary64_2504` `*-commutative_binary64_2396`
2×	`sin-mult_binary64_2620` `unswap-sqr_binary64_2433` `associate-*l/_binary64_2408`
1×	`associate-*r/_binary64_2407` `flip3--_binary64_2469` `flip--_binary64_2440`

Counts

4 → 80

Calls

4 calls:

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

Compiler

Compiled 4225 to 483 computations (88.6% saved)

series1.3s (5.9%)

Error

0.1b

Counts

4 → 58

Calls

4 calls:

492.0ms	(.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))
382.0ms	(.f64 (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2))
232.0ms	(.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (sin.f64 phi1)))
105.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))

Compiler

Compiled 7399 to 3020 computations (59.2% saved)

simplify88.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

138 → 138

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5027	2971

prune216.0ms (1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	134	4	138
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	138	11	149

Error

0.0b

Counts

149 → 11

Compiler

Compiled 7331 to 1037 computations (85.9% saved)

localize41.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (sin.f64 phi1)))
0.2b	(.f64 (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2))
0.3b	(.f64 (sin.f64 lambda1) (.f64 (sin.f64 phi1) (cos.f64 phi2)))
2.7b	(log.f64 (exp.f64 (.f64 (sin.f64 lambda2) (.f64 (sin.f64 lambda1) (*.f64 (sin.f64 phi1) (cos.f64 phi2))))))

rewrite135.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

17×	`pow1_binary64_2526`
16×	`add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501`
11×	`add-sqr-sqrt_binary64_2487`
9×	`add-cube-cbrt_binary64_2500` `-un-lft-identity_binary64_2465` `associate-l*_binary64_2406`
7×	`pow-prod-down_binary64_2536` `prod-exp_binary64_2514` `cbrt-unprod_binary64_2498`
5×	`add-log-exp_binary64_2504` `associate-r_binary64_2405`
3×	`log-pow_binary64_2554` `log-prod_binary64_2551` `*-commutative_binary64_2396`
2×	`associate-*l/_binary64_2408`
1×	`exp-to-pow_binary64_2527` `exp-prod_binary64_2517` `rem-log-exp_binary64_2506` `sin-cos-mult_binary64_2621` `associate-*r/_binary64_2407` `unswap-sqr_binary64_2433` `flip3--_binary64_2469` `flip--_binary64_2440`

Counts

4 → 71

Calls

4 calls:

8.0ms	(.f64 (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2))
7.0ms	(.f64 (sin.f64 lambda1) (.f64 (sin.f64 phi1) (cos.f64 phi2)))
7.0ms	(.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (sin.f64 phi1)))
3.0ms	(log.f64 (exp.f64 (.f64 (sin.f64 lambda2) (.f64 (sin.f64 lambda1) (*.f64 (sin.f64 phi1) (cos.f64 phi2))))))

Compiler

Compiled 3920 to 477 computations (87.8% saved)

series2.0s (9.1%)

Error

0.0b

Counts

4 → 60

Calls

4 calls:

1.1s	(log.f64 (exp.f64 (.f64 (sin.f64 lambda2) (.f64 (sin.f64 lambda1) (*.f64 (sin.f64 phi1) (cos.f64 phi2))))))
404.0ms	(.f64 (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2))
242.0ms	(.f64 (sin.f64 lambda1) (.f64 (sin.f64 phi1) (cos.f64 phi2)))
237.0ms	(.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (sin.f64 phi1)))

Compiler

Compiled 8343 to 3596 computations (56.9% saved)

simplify69.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5753	3056

prune171.0ms (0.8%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	130	1	131
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	130	12	142

Error

0.0b

Counts

142 → 12

Compiler

Compiled 6813 to 790 computations (88.4% saved)

regimes2.0s (9.1%)

Accuracy

Total 0.1b remaining (77.7%)

Threshold costs 0.1b (77.7%)

Compiler

Compiled 30273 to 18484 computations (38.9% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	160	73
1	160	73

end0.0ms (0%)

sample10.4s (46.8%)

Algorithm

1×

intervals

Results

5.1s	5342×	body	1024	valid
738.0ms	1263×	body	512	valid
364.0ms	195×	body	2048	valid
160.0ms	446×	body	256	valid
126.0ms	754×	body	128	valid

Compiler

Compiled 4932 to 3005 computations (39.1% saved)

Details

analyze2.6s (11.7%)

sample222.0ms (1%)

simplify114.0ms (0.5%)

prune4.0ms (0%)

localize26.0ms (0.1%)

rewrite127.0ms (0.6%)

series746.0ms (3.3%)

simplify86.0ms (0.4%)

prune175.0ms (0.8%)

localize28.0ms (0.1%)

rewrite135.0ms (0.6%)

series1.0s (4.5%)

simplify80.0ms (0.4%)

prune183.0ms (0.8%)

localize33.0ms (0.1%)

rewrite163.0ms (0.7%)

series1.3s (5.9%)

simplify88.0ms (0.4%)

prune216.0ms (1%)

localize41.0ms (0.2%)

rewrite135.0ms (0.6%)

series2.0s (9.1%)

simplify69.0ms (0.3%)

prune171.0ms (0.8%)

regimes2.0s (9.1%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample10.4s (46.8%)

Profiling