Details

analyze2.3s (8.3%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5562	539
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
4.7%	95.1%	0.2%	12
5.9%	93.2%	0.8%	13
8.5%	90.2%	1.3%	14

Compiler

Compiled 33 to 22 computations (33.3% saved)

sample106.0ms (0.4%)

Algorithm

1×

intervals

Results

18.0ms	183×	body	128	valid
18.0ms	39×	body	1024	valid
8.0ms	77×	body	128	invalid
6.0ms	18×	body	512	valid
5.0ms	11×	body	1024	invalid
3.0ms	15×	body	256	valid
3.0ms	8×	body	512	invalid
1.0ms	1×	body	2048	valid
1.0ms	3×	body	256	invalid

Compiler

Compiled 65 to 48 computations (26.2% saved)

simplify139.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (134.0ms)

Iter	Nodes	Cost
0	4960	49
1	4960	49

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

40.6b

Counts

2 → 1

Compiler

Compiled 64 to 42 computations (34.4% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))))
1.8b	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
1.8b	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
36.8b	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))

rewrite358.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

40.6b

Rules

142×	`associate-*l/_binary64_4113`
102×	`flip3--_binary64_4174` `flip--_binary64_4145`
68×	`frac-times_binary64_4180`
66×	`sqrt-div_binary64_4187`
64×	`frac-add_binary64_4178`
44×	`pow1_binary64_4231`
34×	`associate-*r/_binary64_4112`
17×	`pow-prod-down_binary64_4241`
16×	`add-exp-log_binary64_4208` `add-cbrt-cube_binary64_4206`
8×	`prod-exp_binary64_4219` `cbrt-unprod_binary64_4203`
6×	`add-sqr-sqrt_binary64_4192`
5×	`add-cube-cbrt_binary64_4205` `*-un-lft-identity_binary64_4170`
4×	`add-log-exp_binary64_4209` `pow-prod-up_binary64_4240` `pow-sqr_binary64_4143`
3×	`sqrt-prod_binary64_4186`
2×	`pow-plus_binary64_4233`
1×	`pow1/2_binary64_4250` `sqrt-pow1_binary64_4188` `flip3-+_binary64_4173` `flip-+_binary64_4144` `rem-sqrt-square_binary64_4183` `pow2_binary64_4251` `swap-sqr_binary64_4137` `associate-l_binary64_4111` `associate-r_binary64_4110` `*-commutative_binary64_4101`

Counts

4 → 135

Calls

4 calls:

25.0ms	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
13.0ms	(.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))))
5.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
5.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))

Compiler

Compiled 9145 to 2868 computations (68.6% saved)

series12.2s (44.9%)

Error

3.6b

Counts

4 → 82

Calls

4 calls:

11.0s	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
688.0ms	(.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))))
67.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
63.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))

Compiler

Compiled 24091 to 18253 computations (24.2% saved)

simplify157.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

217 → 217

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5009	17202

prune671.0ms (2.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	208	9	217
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	209	9	218

Error

3.6b

Counts

218 → 9

Compiler

Compiled 14000 to 5886 computations (58% saved)

localize4.0ms (0%)

Local error

Found 1 expressions with local error:

0.0b	(*.f64 R (-.f64 phi2 phi1))

rewrite30.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Error

3.6b

Rules

9×	`add-sqr-sqrt_binary64_4192`
7×	`*-un-lft-identity_binary64_4170`
6×	`cancel-sign-sub-inv_binary64_4136`
5×	`add-cube-cbrt_binary64_4205` `associate-r_binary64_4110`
4×	`distribute-rgt-in_binary64_4120` `distribute-lft-in_binary64_4119`
3×	`pow1_binary64_4231` `add-exp-log_binary64_4208` `add-cbrt-cube_binary64_4206` `associate-l_binary64_4111`
2×	`sub-neg_binary64_4163` `associate-*r/_binary64_4112`
1×	`pow-prod-down_binary64_4241` `prod-exp_binary64_4219` `add-log-exp_binary64_4209` `cbrt-unprod_binary64_4203` `unswap-sqr_binary64_4138` `flip3--_binary64_4174` `flip--_binary64_4145` `difference-of-squares_binary64_4139` `distribute-lft-out--_binary64_4122` `*-commutative_binary64_4101`

Counts

1 → 30

Calls

1 calls:

8.0ms

(*.f64 R (-.f64 phi2 phi1))

Compiler

Compiled 338 to 113 computations (66.6% saved)

series106.0ms (0.4%)

Error

3.6b

Counts

1 → 15

Calls

1 calls:

100.0ms

(*.f64 R (-.f64 phi2 phi1))

Compiler

Compiled 219 to 198 computations (9.6% saved)

simplify48.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

45 → 45

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5690	386

prune37.0ms (0.1%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	42	3	45
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	42	12	54

Error

3.6b

Counts

54 → 12

Compiler

Compiled 654 to 284 computations (56.6% saved)

localize10.0ms (0%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 (-.f64 phi2 phi1)) (cbrt.f64 (-.f64 phi2 phi1)))
0.6b	(cbrt.f64 (-.f64 phi2 phi1))
0.6b	(cbrt.f64 (-.f64 phi2 phi1))
0.6b	(cbrt.f64 (-.f64 phi2 phi1))

rewrite112.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

3.6b

Rules

43×	`cbrt-prod_binary64_4201`
37×	`add-sqr-sqrt_binary64_4192`
35×	`*-un-lft-identity_binary64_4170`
18×	`cbrt-div_binary64_4202`
15×	`add-cube-cbrt_binary64_4205`
11×	`pow1_binary64_4231`
10×	`swap-sqr_binary64_4137`
9×	`pow1/3_binary64_4252` `flip3--_binary64_4174` `flip--_binary64_4145` `distribute-lft-out--_binary64_4122`
8×	`associate-l_binary64_4111` `associate-r_binary64_4110`
7×	`difference-of-squares_binary64_4139`
6×	`add-exp-log_binary64_4208`
4×	`add-log-exp_binary64_4209` `add-cbrt-cube_binary64_4206` `frac-times_binary64_4180` `unswap-sqr_binary64_4138`
2×	`pow-prod-down_binary64_4241` `pow-prod-up_binary64_4240` `pow-sqr_binary64_4143` `associate-l/_binary64_4113` `associate-r/_binary64_4112`
1×	`pow2_binary64_4251` `pow-plus_binary64_4233` `prod-exp_binary64_4219` `cbrt-unprod_binary64_4203` `*-commutative_binary64_4101`

Counts

4 → 101

Calls

4 calls:

13.0ms	(*.f64 (cbrt.f64 (-.f64 phi2 phi1)) (cbrt.f64 (-.f64 phi2 phi1)))
3.0ms	(cbrt.f64 (-.f64 phi2 phi1))
3.0ms	(cbrt.f64 (-.f64 phi2 phi1))
3.0ms	(cbrt.f64 (-.f64 phi2 phi1))

Compiler

Compiled 2422 to 491 computations (79.7% saved)

series348.0ms (1.3%)

Error

3.6b

Counts

4 → 33

Calls

4 calls:

102.0ms	(*.f64 (cbrt.f64 (-.f64 phi2 phi1)) (cbrt.f64 (-.f64 phi2 phi1)))
78.0ms	(cbrt.f64 (-.f64 phi2 phi1))
72.0ms	(cbrt.f64 (-.f64 phi2 phi1))
68.0ms	(cbrt.f64 (-.f64 phi2 phi1))

Compiler

Compiled 2097 to 1580 computations (24.7% saved)

simplify103.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4910	1755
1	4910	1755

prune119.0ms (0.4%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	132	2	134
Fresh	2	8	10
Picked	0	1	1
Done	0	1	1
Total	134	12	146

Error

3.6b

Counts

146 → 12

Compiler

Compiled 3005 to 860 computations (71.4% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (-.f64 phi2 phi1))
0.6b	(cbrt.f64 (cbrt.f64 (-.f64 phi2 phi1)))
0.6b	(cbrt.f64 (cbrt.f64 (-.f64 phi2 phi1)))
0.9b	(pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 phi2 phi1))) 4)

rewrite116.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

3.6b

Rules

44×	`cbrt-prod_binary64_4201`
21×	`add-sqr-sqrt_binary64_4192` `*-un-lft-identity_binary64_4170`
13×	`add-cube-cbrt_binary64_4205`
11×	`unpow-prod-down_binary64_4249`
10×	`cbrt-div_binary64_4202`
5×	`pow1_binary64_4231` `add-exp-log_binary64_4208`
4×	`difference-of-squares_binary64_4139` `distribute-lft-out--_binary64_4122` `pow1/3_binary64_4252` `add-log-exp_binary64_4209` `add-cbrt-cube_binary64_4206`
3×	`pow-unpow_binary64_4247` `flip3--_binary64_4174` `flip--_binary64_4145`
2×	`pow-pow_binary64_4242`
1×	`pow-to-exp_binary64_4239` `pow-exp_binary64_4238` `sqr-pow_binary64_4142`

Counts

4 → 77

Calls

4 calls:

6.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 phi2 phi1))) 4)
4.0ms	(cbrt.f64 (cbrt.f64 (-.f64 phi2 phi1)))
4.0ms	(cbrt.f64 (cbrt.f64 (-.f64 phi2 phi1)))
3.0ms	(cbrt.f64 (-.f64 phi2 phi1))

Compiler

Compiled 2265 to 772 computations (65.9% saved)

series506.0ms (1.9%)

Error

3.6b

Counts

4 → 35

Calls

4 calls:

199.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 phi2 phi1))) 4)
110.0ms	(cbrt.f64 (cbrt.f64 (-.f64 phi2 phi1)))
81.0ms	(cbrt.f64 (-.f64 phi2 phi1))
69.0ms	(cbrt.f64 (cbrt.f64 (-.f64 phi2 phi1)))

Compiler

Compiled 2903 to 2207 computations (24% saved)

simplify73.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4872	1686
1	4872	1686

prune128.0ms (0.5%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	109	3	112
Fresh	1	8	9
Picked	1	0	1
Done	1	1	2
Total	112	12	124

Error

3.6b

Counts

124 → 12

Compiler

Compiled 3085 to 1260 computations (59.2% saved)

regimes3.5s (12.9%)

Accuracy

Total 22.0b remaining (84.7%)

Threshold costs 0b (0%)

Compiler

Compiled 31615 to 21765 computations (31.2% saved)

bsearch5.0ms (0%)

Compiler: Compiled 3 to 6 computations (-100% saved)

simplify52.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	91	189
1	91	189

Compiler

Compiled 504 to 248 computations (50.8% saved)

end0.0ms (0%)

sample5.9s (21.8%)

Algorithm

1×

intervals

Results

633.0ms	5988×	body	128	valid
451.0ms	2357×	body	128	invalid
404.0ms	841×	body	1024	valid
279.0ms	771×	body	512	valid
205.0ms	429×	body	1024	invalid
102.0ms	320×	body	512	invalid
88.0ms	392×	body	256	valid
53.0ms	190×	body	256	invalid
12.0ms	8×	body	2048	valid

Compiler

Compiled 3453 to 2361 computations (31.6% saved)

Details

analyze2.3s (8.3%)

sample106.0ms (0.4%)

simplify139.0ms (0.5%)

prune4.0ms (0%)

localize15.0ms (0.1%)

rewrite358.0ms (1.3%)

series12.2s (44.9%)

simplify157.0ms (0.6%)

prune671.0ms (2.5%)

localize4.0ms (0%)

rewrite30.0ms (0.1%)

series106.0ms (0.4%)

simplify48.0ms (0.2%)

prune37.0ms (0.1%)

localize10.0ms (0%)

rewrite112.0ms (0.4%)

series348.0ms (1.3%)

simplify103.0ms (0.4%)

prune119.0ms (0.4%)

localize15.0ms (0.1%)

rewrite116.0ms (0.4%)

series506.0ms (1.9%)

simplify73.0ms (0.3%)

prune128.0ms (0.5%)

regimes3.5s (12.9%)

bsearch5.0ms (0%)

simplify52.0ms (0.2%)

end0.0ms (0%)

sample5.9s (21.8%)

Profiling