Details

analyze4.1s (17.7%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4909	605
1	4909	605
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
1.2%	98.6%	0.2%	11
1.4%	98.4%	0.2%	12
10.8%	88.9%	0.2%	13
10.8%	88.9%	0.2%	14

Compiler

Compiled 34 to 24 computations (29.4% saved)

sample221.0ms (1%)

Algorithm

1×

intervals

Results

146.0ms	123×	body	1024	valid
30.0ms	43×	body	512	valid
15.0ms	76×	body	128	valid
6.0ms	14×	body	256	valid

Compiler

Compiled 67 to 52 computations (22.4% saved)

simplify47.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	463	55
1	463	55

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

0.1b

Counts

2 → 1

Compiler

Compiled 66 to 46 computations (30.3% saved)

localize34.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (sin.f64 theta) (sin.f64 delta))
0.3b	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
0.3b	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))
0.5b	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))

rewrite123.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

12×	`add-sqr-sqrt_binary64_782`
8×	`pow1_binary64_821` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760`
6×	`add-log-exp_binary64_799` `associate-l_binary64_701` `associate-r_binary64_700`
2×	`sin-mult_binary64_915` `pow-prod-down_binary64_831` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `unswap-sqr_binary64_728` `*-commutative_binary64_691`
1×	`diff-log_binary64_852` `flip3--_binary64_764` `sub-neg_binary64_753` `flip--_binary64_735` `cancel-sign-sub-inv_binary64_726` `asin-acos_binary64_940`

Counts

4 → 58

Calls

4 calls:

6.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
5.0ms	(*.f64 (sin.f64 theta) (sin.f64 delta))
4.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))
1.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))

Compiler

Compiled 2653 to 371 computations (86% saved)

series989.0ms (4.3%)

Error

0.1b

Counts

4 → 39

Calls

4 calls:

430.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))
339.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
101.0ms	(*.f64 (sin.f64 theta) (sin.f64 delta))
77.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))

Compiler

Compiled 3878 to 1832 computations (52.8% saved)

simplify82.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4919	2872
1	4919	2872

prune143.0ms (0.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	91	6	97
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	92	6	98

Error

0.0b

Counts

98 → 6

Compiler

Compiled 4058 to 562 computations (86.2% saved)

localize39.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))
0.3b	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))
0.3b	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))
0.3b	(-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)))))))))

rewrite126.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`add-log-exp_binary64_799` `sin-mult_binary64_915`
5×	`cos-mult_binary64_914`
4×	`pow1_binary64_821` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782` `*-un-lft-identity_binary64_760`
3×	`frac-sub_binary64_769` `asin-acos_binary64_940`
2×	`associate-l/_binary64_703` `associate-r/_binary64_702` `sub-div_binary64_767`
1×	`diff-log_binary64_852` `frac-times_binary64_770` `flip3--_binary64_764` `sub-neg_binary64_753` `flip--_binary64_735` `difference-of-squares_binary64_729` `cancel-sign-sub-inv_binary64_726` `sqr-cos-a_binary64_909` `associate--l+_binary64_697`

Counts

4 → 43

Calls

4 calls:

10.0ms	(-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)))))))))
1.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))
1.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))
1.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))

Compiler

Compiled 4337 to 355 computations (91.8% saved)

series1.1s (4.7%)

Error

0.0b

Counts

4 → 38

Calls

4 calls:

748.0ms	(-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)))))))))
95.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))
91.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))
90.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))

Compiler

Compiled 8298 to 2251 computations (72.9% saved)

simplify80.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5008	3254

prune167.0ms (0.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	79	2	81
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	81	6	87

Error

0.0b

Counts

87 → 6

Compiler

Compiled 6906 to 697 computations (89.9% saved)

localize48.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(pow.f64 (cos.f64 delta) 4)
0.5b	(pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) 4)
0.6b	(pow.f64 (cos.f64 delta) 6)
0.6b	(pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) 6)

rewrite268.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

12×	`pow-unpow_binary64_837` `pow1_binary64_821` `add-exp-log_binary64_798`
10×	`add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782` `*-un-lft-identity_binary64_760`
8×	`unpow-prod-down_binary64_839`
6×	`pow-pow_binary64_832` `pow-exp_binary64_828`
4×	`pow-to-exp_binary64_829` `add-log-exp_binary64_799` `add-cbrt-cube_binary64_796` `sqr-pow_binary64_732`
2×	`pow-prod-down_binary64_831` `prod-exp_binary64_809`

Counts

4 → 68

Calls

4 calls:

6.0ms	(pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) 4)
6.0ms	(pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) 6)
2.0ms	(pow.f64 (cos.f64 delta) 4)
2.0ms	(pow.f64 (cos.f64 delta) 6)

Compiler

Compiled 8282 to 1633 computations (80.3% saved)

series2.0s (8.4%)

Error

0.0b

Counts

4 → 26

Calls

4 calls:

1.0s	(pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) 6)
754.0ms	(pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) 4)
66.0ms	(pow.f64 (cos.f64 delta) 6)
52.0ms	(pow.f64 (cos.f64 delta) 4)

Compiler

Compiled 8893 to 2810 computations (68.4% saved)

simplify62.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4990	2264
1	4990	2264

prune329.0ms (1.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	92	2	94
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	93	7	100

Error

0.0b

Counts

100 → 7

Compiler

Compiled 11642 to 2336 computations (79.9% saved)

localize39.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)))))) (cbrt.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))))
0.6b	(cbrt.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))))))
0.6b	(cbrt.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))))))
0.6b	(cbrt.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))))))

rewrite177.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`cbrt-prod_binary64_791`
23×	`add-sqr-sqrt_binary64_782`
15×	`add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760`
11×	`pow1_binary64_821`
9×	`pow1/3_binary64_842`
6×	`add-exp-log_binary64_798` `swap-sqr_binary64_727` `associate-l_binary64_701` `associate-r_binary64_700`
4×	`add-log-exp_binary64_799` `add-cbrt-cube_binary64_796` `unswap-sqr_binary64_728`
2×	`pow-prod-down_binary64_831` `pow-prod-up_binary64_830` `pow-sqr_binary64_733`
1×	`pow2_binary64_841` `pow-plus_binary64_823` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`

Counts

4 → 73

Calls

4 calls:

7.0ms	(.f64 (cbrt.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)))))) (cbrt.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))))
1.0ms	(cbrt.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))))))
1.0ms	(cbrt.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))))))
1.0ms	(cbrt.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))))))

Compiler

Compiled 6160 to 601 computations (90.2% saved)

series2.6s (11.2%)

Error

0.0b

Counts

4 → 36

Calls

4 calls:

774.0ms	(.f64 (cbrt.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)))))) (cbrt.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))))
586.0ms	(cbrt.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))))))
585.0ms	(cbrt.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))))))
584.0ms	(cbrt.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))))))

Compiler

Compiled 7047 to 2378 computations (66.3% saved)

simplify107.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4848	3549
1	4848	3549

prune179.0ms (0.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	109	0	109
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	109	7	116

Error

0.0b

Counts

116 → 7

Compiler

Compiled 7568 to 675 computations (91.1% saved)

regimes1.3s (5.7%)

Accuracy

Total 0.1b remaining (65.3%)

Threshold costs 0.1b (65.3%)

Compiler

Compiled 24701 to 10759 computations (56.4% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	70	133
1	70	133

end0.0ms (0%)

sample8.8s (38.2%)

Algorithm

1×

intervals

Results

4.7s	3951×	body	1024	valid
962.0ms	1322×	body	512	valid
483.0ms	2165×	body	128	valid
255.0ms	553×	body	256	valid
20.0ms	9×	body	2048	valid

Compiler

Compiled 3622 to 1573 computations (56.6% saved)

Details

analyze4.1s (17.7%)

sample221.0ms (1%)

simplify47.0ms (0.2%)

prune4.0ms (0%)

localize34.0ms (0.1%)

rewrite123.0ms (0.5%)

series989.0ms (4.3%)

simplify82.0ms (0.4%)

prune143.0ms (0.6%)

localize39.0ms (0.2%)

rewrite126.0ms (0.5%)

series1.1s (4.7%)

simplify80.0ms (0.3%)

prune167.0ms (0.7%)

localize48.0ms (0.2%)

rewrite268.0ms (1.2%)

series2.0s (8.4%)

simplify62.0ms (0.3%)

prune329.0ms (1.4%)

localize39.0ms (0.2%)

rewrite177.0ms (0.8%)

series2.6s (11.2%)

simplify107.0ms (0.5%)

prune179.0ms (0.8%)

regimes1.3s (5.7%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample8.8s (38.2%)

Profiling