Details

analyze283.0ms (5.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
25%	74.9%	0.1%	6
49.9%	49.9%	0.1%	7
56.2%	43.7%	0.1%	8
56.2%	43.7%	0.1%	9
71.8%	28.1%	0.1%	10
76.5%	23.4%	0.1%	11
76.5%	23.4%	0.1%	12
85%	14.8%	0.1%	13
87.8%	12.1%	0.1%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample47.0ms (0.9%)

Algorithm

1×

intervals

Results

21.0ms	80×	body	1024	valid
8.0ms	127×	body	128	valid
5.0ms	29×	body	512	valid
3.0ms	20×	body	256	valid

Compiler

Compiled 19 to 20 computations (-5.3% saved)

simplify99.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	12	14
1	12	14

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

Merged error: 0.1b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 x (sin.f64 y)) (.f64 z (cos.f64 y)))
0.1b	(*.f64 x (sin.f64 y))
0.1b	(*.f64 z (cos.f64 y))

rewrite16.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64_7261`
7×	`add-exp-log_binary64_7277` `*-un-lft-identity_binary64_7239` `pow1_binary64_7300` `add-cbrt-cube_binary64_7275` `add-cube-cbrt_binary64_7274`
6×	`associate-r_binary64_7179` `associate-l_binary64_7180`
5×	`add-log-exp_binary64_7278`
2×	`cbrt-unprod_binary64_7272` `pow-prod-down_binary64_7310` `unswap-sqr_binary64_7207` `*-commutative_binary64_7170` `prod-exp_binary64_7288`
1×	`flip-+_binary64_7213` `flip3-+_binary64_7242` `+-commutative_binary64_7169` `sum-log_binary64_7330`

Counts

3 → 47

Calls

3 calls:

5.0ms	(+.f64 (.f64 x (sin.f64 y)) (.f64 z (cos.f64 y)))
5.0ms	(*.f64 z (cos.f64 y))
4.0ms	(*.f64 x (sin.f64 y))

series530.0ms (9.8%)

Counts

3 → 36

Calls

3 calls:

321.0ms	(+.f64 (.f64 x (sin.f64 y)) (.f64 z (cos.f64 y)))
109.0ms	(*.f64 x (sin.f64 y))
100.0ms	(*.f64 z (cos.f64 y))

Compiler

Compiled 584 to 522 computations (10.6% saved)

simplify98.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	4881	990
1	4881	990

prune79.0ms (1.5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	71	12	83
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	72	12	84

Merged error: 0.0b

Counts

84 → 12

Compiler

Compiled 1274 to 421 computations (67% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (cbrt.f64 (cos.f64 y)) (cbrt.f64 (cos.f64 y)))
0.3b	(cbrt.f64 (cos.f64 y))
0.3b	(cbrt.f64 (cos.f64 y))
0.3b	(cbrt.f64 (cos.f64 y))

rewrite21.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_7270`
23×	`add-sqr-sqrt_binary64_7261`
15×	`*-un-lft-identity_binary64_7239` `add-cube-cbrt_binary64_7274`
11×	`pow1_binary64_7300`
9×	`pow1/3_binary64_7321`
6×	`add-exp-log_binary64_7277` `swap-sqr_binary64_7206` `associate-r_binary64_7179` `associate-l_binary64_7180`
4×	`add-log-exp_binary64_7278` `unswap-sqr_binary64_7207` `add-cbrt-cube_binary64_7275`
2×	`pow-prod-down_binary64_7310` `pow-sqr_binary64_7212` `pow-prod-up_binary64_7309`
1×	`pow2_binary64_7320` `cbrt-unprod_binary64_7272` `*-commutative_binary64_7170` `prod-exp_binary64_7288` `pow-plus_binary64_7302`

Counts

4 → 73

Calls

4 calls:

10.0ms	(*.f64 (cbrt.f64 (cos.f64 y)) (cbrt.f64 (cos.f64 y)))
1.0ms	(cbrt.f64 (cos.f64 y))
1.0ms	(cbrt.f64 (cos.f64 y))
1.0ms	(cbrt.f64 (cos.f64 y))

series465.0ms (8.6%)

Counts

4 → 24

Calls

4 calls:

145.0ms	(*.f64 (cbrt.f64 (cos.f64 y)) (cbrt.f64 (cos.f64 y)))
113.0ms	(cbrt.f64 (cos.f64 y))
108.0ms	(cbrt.f64 (cos.f64 y))
99.0ms	(cbrt.f64 (cos.f64 y))

Compiler

Compiled 712 to 568 computations (20.2% saved)

simplify86.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4936	996
1	4936	996

prune103.0ms (1.9%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	94	3	97
Fresh	2	9	11
Picked	0	1	1
Done	0	0	0
Total	96	13	109

Merged error: 0.0b

Counts

109 → 13

Compiler

Compiled 2315 to 734 computations (68.3% saved)

localize17.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 x (sin.f64 y))
0.2b	(.f64 (.f64 z (pow.f64 (*.f64 (cos.f64 y) (cos.f64 y)) 1/3)) (cbrt.f64 (cos.f64 y)))
0.3b	(*.f64 (cos.f64 y) (cos.f64 y))
0.3b	(cbrt.f64 (cos.f64 y))

rewrite26.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-exp-log_binary64_7277`
17×	`add-sqr-sqrt_binary64_7261`
15×	`pow1_binary64_7300`
13×	`*-un-lft-identity_binary64_7239` `add-cube-cbrt_binary64_7274`
12×	`prod-exp_binary64_7288` `associate-r_binary64_7179` `add-cbrt-cube_binary64_7275`
7×	`cbrt-unprod_binary64_7272` `associate-l_binary64_7180`
6×	`cbrt-prod_binary64_7270`
4×	`add-log-exp_binary64_7278`
3×	`pow-prod-down_binary64_7310` `swap-sqr_binary64_7206` `*-commutative_binary64_7170`
2×	`pow-exp_binary64_7307` `unswap-sqr_binary64_7207`
1×	`pow2_binary64_7320` `unpow1/3_binary64_7306` `pow-to-exp_binary64_7308` `pow1/3_binary64_7321` `sqr-cos-a_binary64_7388` `pow-sqr_binary64_7212` `pow-plus_binary64_7302` `cos-mult_binary64_7393` `pow-prod-up_binary64_7309`

Counts

4 → 80

Calls

4 calls:

8.0ms	(.f64 (.f64 z (pow.f64 (*.f64 (cos.f64 y) (cos.f64 y)) 1/3)) (cbrt.f64 (cos.f64 y)))
5.0ms	(*.f64 (cos.f64 y) (cos.f64 y))
4.0ms	(*.f64 x (sin.f64 y))
1.0ms	(cbrt.f64 (cos.f64 y))

series341.0ms (6.3%)

Counts

4 → 30

Calls

4 calls:

105.0ms	(*.f64 x (sin.f64 y))
101.0ms	(cbrt.f64 (cos.f64 y))
99.0ms	(.f64 (.f64 z (pow.f64 (*.f64 (cos.f64 y) (cos.f64 y)) 1/3)) (cbrt.f64 (cos.f64 y)))
36.0ms	(*.f64 (cos.f64 y) (cos.f64 y))

Compiler

Compiled 828 to 672 computations (18.8% saved)

simplify81.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4887	1030
1	4887	1030

prune109.0ms (2%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	11	11
Picked	0	1	1
Done	0	1	1
Total	110	13	123

Merged error: 0.0b

Counts

123 → 13

Compiler

Compiled 2335 to 915 computations (60.8% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (cbrt.f64 (cos.f64 y)) (cbrt.f64 (cos.f64 y)))
0.3b	(cbrt.f64 (cos.f64 y))
0.3b	(cbrt.f64 (cos.f64 y))
0.3b	(cbrt.f64 (cos.f64 y))

rewrite20.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_7270`
23×	`add-sqr-sqrt_binary64_7261`
15×	`*-un-lft-identity_binary64_7239` `add-cube-cbrt_binary64_7274`
11×	`pow1_binary64_7300`
9×	`pow1/3_binary64_7321`
6×	`add-exp-log_binary64_7277` `swap-sqr_binary64_7206` `associate-r_binary64_7179` `associate-l_binary64_7180`
4×	`add-log-exp_binary64_7278` `unswap-sqr_binary64_7207` `add-cbrt-cube_binary64_7275`
2×	`pow-prod-down_binary64_7310` `pow-sqr_binary64_7212` `pow-prod-up_binary64_7309`
1×	`pow2_binary64_7320` `cbrt-unprod_binary64_7272` `*-commutative_binary64_7170` `prod-exp_binary64_7288` `pow-plus_binary64_7302`

Counts

4 → 73

Calls

4 calls:

7.0ms	(*.f64 (cbrt.f64 (cos.f64 y)) (cbrt.f64 (cos.f64 y)))
1.0ms	(cbrt.f64 (cos.f64 y))
1.0ms	(cbrt.f64 (cos.f64 y))
1.0ms	(cbrt.f64 (cos.f64 y))

series473.0ms (8.8%)

Counts

4 → 24

Calls

4 calls:

157.0ms	(*.f64 (cbrt.f64 (cos.f64 y)) (cbrt.f64 (cos.f64 y)))
108.0ms	(cbrt.f64 (cos.f64 y))
104.0ms	(cbrt.f64 (cos.f64 y))
104.0ms	(cbrt.f64 (cos.f64 y))

Compiler

Compiled 776 to 632 computations (18.6% saved)

simplify86.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4936	996
1	4936	996

prune90.0ms (1.7%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	97	0	97
Fresh	0	10	10
Picked	0	1	1
Done	0	2	2
Total	97	13	110

Merged error: 0.0b

Counts

110 → 13

Compiler

Compiled 2277 to 626 computations (72.5% saved)

regimes235.0ms (4.4%)

Compiler: Compiled 2124 to 1422 computations (33.1% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	14
1	12	14

end0.0ms (0%)

sample2.0s (37.9%)

Algorithm

1×

intervals

Results

714.0ms	2020×	body	1024	valid
309.0ms	4466×	body	128	valid
211.0ms	1002×	body	512	valid
68.0ms	503×	body	256	valid
5.0ms	9×	body	2048	valid

Compiler

Compiled 544 to 367 computations (32.5% saved)

Details

analyze283.0ms (5.3%)

sample47.0ms (0.9%)

simplify99.0ms (1.8%)

prune2.0ms (0%)

localize8.0ms (0.1%)

rewrite16.0ms (0.3%)

series530.0ms (9.8%)

simplify98.0ms (1.8%)

prune79.0ms (1.5%)

localize11.0ms (0.2%)

rewrite21.0ms (0.4%)

series465.0ms (8.6%)

simplify86.0ms (1.6%)

prune103.0ms (1.9%)

localize17.0ms (0.3%)

rewrite26.0ms (0.5%)

series341.0ms (6.3%)

simplify81.0ms (1.5%)

prune109.0ms (2%)

localize14.0ms (0.3%)

rewrite20.0ms (0.4%)

series473.0ms (8.8%)

simplify86.0ms (1.6%)

prune90.0ms (1.7%)

regimes235.0ms (4.4%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample2.0s (37.9%)

Profiling