Details

analyze3.4s (6.6%)

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
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
0%	99.9%	0.1%	9
0%	99.9%	0.1%	10
0%	99.5%	0.5%	11
0%	99.1%	0.9%	12
0.4%	97.3%	2.3%	13
0.7%	95.8%	3.5%	14

Compiler

Compiled 26 to 22 computations (15.4% saved)

sample402.0ms (0.8%)

Algorithm

1×

intervals

Results

120.0ms	35×	body	4096	invalid
76.0ms	122×	body	1024	valid
63.0ms	35×	body	2048	invalid
41.0ms	38×	body	2048	valid
27.0ms	16×	body	4096	valid
19.0ms	44×	body	512	valid
12.0ms	20×	body	1024	invalid
7.0ms	19×	body	512	invalid
4.0ms	29×	body	128	invalid
3.0ms	12×	body	256	valid
3.0ms	24×	body	128	valid
3.0ms	10×	body	256	invalid

Compiler

Compiled 51 to 46 computations (9.8% saved)

simplify145.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5185	32

prune7.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: 39.8b

Counts

2 → 2

Compiler

Compiled 67 to 55 computations (17.9% saved)

localize20.0ms (0%)

Local error

Found 4 expressions with local error:

1.0b	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
1.1b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
14.7b	(/.f64 (pow.f64 t 3) (*.f64 l l))
27.8b	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

rewrite165.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

405×	`add-exp-log_binary64_798`
237×	`prod-exp_binary64_809`
115×	`div-exp_binary64_811`
70×	`add-cbrt-cube_binary64_796`
56×	`pow-exp_binary64_828`
38×	`pow-to-exp_binary64_829`
35×	`cbrt-unprod_binary64_793`
24×	`times-frac_binary64_766`
21×	`-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `associate-r*_binary64_700` `add-sqr-sqrt_binary64_782`
19×	`unpow-prod-down_binary64_839`
15×	`associate-l/_binary64_703` `associate-/l_binary64_705`
14×	`cbrt-undiv_binary64_794`
9×	`pow1_binary64_821`
6×	`tan-quot_binary64_919` `cube-prod_binary64_788`
4×	`add-log-exp_binary64_799`
3×	`associate-/r/_binary64_706` `div-inv_binary64_757` `frac-times_binary64_770` `associate-*r/_binary64_702` `sqr-pow_binary64_732` `pow-prod-down_binary64_831`
2×	`cube-mult_binary64_790` `frac-2neg_binary64_771` `unpow3_binary64_826` `associate-/r_binary64_704` `associate-l_binary64_701` `clear-num_binary64_759` `-commutative_binary64_691`
1×	`unpow2_binary64_825`

Counts

4 → 206

Calls

4 calls:

45.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))
42.0ms	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
23.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
14.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))

series1.1s (2.1%)

Counts

4 → 12

Calls

4 calls:

554.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))
343.0ms	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
186.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
38.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))

simplify169.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

218 → 218

Iterations

Useful iterations: 0 (90.0ms)

Iter	Nodes	Cost
0	5120	5704

prune1.1s (2.1%)

Pruning

51 alts after pruning (50 fresh and 1 done)

	Pruned	Kept	Total
New	168	50	218
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	169	51	220

Merged error: 15.8b

Counts

220 → 51

Compiler

Compiled 6837 to 3810 computations (44.3% saved)

localize16.0ms (0%)

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 (sin.f64 k) 2)
1.1b	(*.f64 t (pow.f64 (sin.f64 k) 2))
5.0b	(.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
20.7b	(/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))))

rewrite53.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

163×	`add-exp-log_binary64_798`
102×	`prod-exp_binary64_809`
87×	`add-cbrt-cube_binary64_796`
48×	`cbrt-unprod_binary64_793`
27×	`div-exp_binary64_811`
15×	`cbrt-undiv_binary64_794` `add-sqr-sqrt_binary64_782`
10×	`pow-exp_binary64_828` `pow-to-exp_binary64_829` `pow1_binary64_821`
9×	`-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `associate-r*_binary64_700`
7×	`unpow-prod-down_binary64_839`
4×	`unswap-sqr_binary64_728` `add-log-exp_binary64_799` `associate-l_binary64_701`
3×	`unpow2_binary64_825` `sqr-pow_binary64_732` `pow-prod-down_binary64_831` `pow-unpow_binary64_837`
2×	`*-commutative_binary64_691`
1×	`frac-2neg_binary64_771` `associate-/r_binary64_704` `div-inv_binary64_757` `associate-/l_binary64_705` `clear-num_binary64_759` `times-frac_binary64_766` `pow-pow_binary64_832`

Counts

4 → 124

Calls

4 calls:

15.0ms	(/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))))
12.0ms	(.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
7.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
3.0ms	(pow.f64 (sin.f64 k) 2)

series367.0ms (0.7%)

Counts

4 → 12

Calls

4 calls:

206.0ms	(/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))))
72.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
71.0ms	(.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
19.0ms	(pow.f64 (sin.f64 k) 2)

simplify125.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	4970	2537
1	4970	2537

prune1.1s (2.1%)

Pruning

81 alts after pruning (80 fresh and 1 done)

	Pruned	Kept	Total
New	102	34	136
Fresh	3	46	49
Picked	1	0	1
Done	0	1	1
Total	106	81	187

Merged error: 10.4b

Counts

187 → 81

Compiler

Compiled 5263 to 2960 computations (43.8% saved)

localize30.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 (sin.f64 k) 2)
1.1b	(*.f64 t (pow.f64 (sin.f64 k) 2))
5.4b	(/.f64 (.f64 (/.f64 (.f64 l l) (.f64 k k)) (cos.f64 k)) (.f64 t (pow.f64 (sin.f64 k) 2)))
16.1b	(/.f64 (.f64 l l) (.f64 k k))

rewrite61.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

134×	`add-exp-log_binary64_798`
74×	`add-cbrt-cube_binary64_796`
61×	`prod-exp_binary64_809`
44×	`div-exp_binary64_811`
29×	`cbrt-unprod_binary64_793`
24×	`cbrt-undiv_binary64_794`
15×	`add-sqr-sqrt_binary64_782`
9×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
8×	`pow-exp_binary64_828` `pow-to-exp_binary64_829` `associate-r_binary64_700`
7×	`unpow-prod-down_binary64_839`
5×	`pow1_binary64_821`
4×	`unswap-sqr_binary64_728` `add-log-exp_binary64_799`
3×	`unpow2_binary64_825` `associate-l_binary64_701` `sqr-pow_binary64_732` `pow-unpow_binary64_837`
2×	`frac-2neg_binary64_771` `associate-/r_binary64_704` `div-inv_binary64_757` `associate-/l_binary64_705` `clear-num_binary64_759` `times-frac_binary64_766`
1×	`associate-l/_binary64_703` `associate-/l/_binary64_707` `-commutative_binary64_691` `pow-pow_binary64_832`

Counts

4 → 116

Calls

4 calls:

25.0ms	(/.f64 (.f64 (/.f64 (.f64 l l) (.f64 k k)) (cos.f64 k)) (.f64 t (pow.f64 (sin.f64 k) 2)))
13.0ms	(/.f64 (.f64 l l) (.f64 k k))
6.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
3.0ms	(pow.f64 (sin.f64 k) 2)

series347.0ms (0.7%)

Counts

4 → 12

Calls

4 calls:

221.0ms	(/.f64 (.f64 (/.f64 (.f64 l l) (.f64 k k)) (cos.f64 k)) (.f64 t (pow.f64 (sin.f64 k) 2)))
62.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
34.0ms	(/.f64 (.f64 l l) (.f64 k k))
29.0ms	(pow.f64 (sin.f64 k) 2)

simplify94.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5020	2171

prune1.5s (2.9%)

Pruning

106 alts after pruning (105 fresh and 1 done)

	Pruned	Kept	Total
New	95	33	128
Fresh	7	72	79
Picked	1	0	1
Done	0	1	1
Total	103	106	209

Merged error: 2.8b

Counts

209 → 106

Compiler

Compiled 5714 to 3311 computations (42.1% saved)

localize29.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (fabs.f64 (/.f64 l k)) (fabs.f64 (/.f64 l k)))
0.3b	(pow.f64 (sin.f64 k) 2)
1.1b	(*.f64 t (pow.f64 (sin.f64 k) 2))
5.4b	(/.f64 (.f64 (.f64 (fabs.f64 (/.f64 l k)) (fabs.f64 (/.f64 l k))) (cos.f64 k)) (*.f64 t (pow.f64 (sin.f64 k) 2)))

rewrite42.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

54×	`add-exp-log_binary64_798`
29×	`add-cbrt-cube_binary64_796`
25×	`prod-exp_binary64_809`
21×	`add-sqr-sqrt_binary64_782`
13×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
12×	`div-exp_binary64_811` `pow1_binary64_821`
11×	`associate-r_binary64_700` `cbrt-unprod_binary64_793`
7×	`unpow-prod-down_binary64_839`
6×	`cbrt-undiv_binary64_794` `associate-l_binary64_701`
5×	`unswap-sqr_binary64_728` `pow-exp_binary64_828` `pow-to-exp_binary64_829`
4×	`add-log-exp_binary64_799`
3×	`unpow2_binary64_825` `swap-sqr_binary64_727` `sqr-pow_binary64_732` `pow-unpow_binary64_837`
2×	`*-commutative_binary64_691`
1×	`pow2_binary64_841` `frac-2neg_binary64_771` `associate-/r_binary64_704` `pow-sqr_binary64_733` `pow-plus_binary64_823` `div-inv_binary64_757` `sqr-abs_binary64_775` `associate-/l_binary64_705` `clear-num_binary64_759` `pow-prod-up_binary64_830` `pow-prod-down_binary64_831` `times-frac_binary64_766` `pow-pow_binary64_832`

Counts

4 → 102

Calls

4 calls:

16.0ms	(/.f64 (.f64 (.f64 (fabs.f64 (/.f64 l k)) (fabs.f64 (/.f64 l k))) (cos.f64 k)) (*.f64 t (pow.f64 (sin.f64 k) 2)))
6.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
4.0ms	(*.f64 (fabs.f64 (/.f64 l k)) (fabs.f64 (/.f64 l k)))
3.0ms	(pow.f64 (sin.f64 k) 2)

series364.0ms (0.7%)

Counts

4 → 12

Calls

4 calls:

278.0ms	(/.f64 (.f64 (.f64 (fabs.f64 (/.f64 l k)) (fabs.f64 (/.f64 l k))) (cos.f64 k)) (*.f64 t (pow.f64 (sin.f64 k) 2)))
56.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
15.0ms	(*.f64 (fabs.f64 (/.f64 l k)) (fabs.f64 (/.f64 l k)))
15.0ms	(pow.f64 (sin.f64 k) 2)

simplify47.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5241	1691

prune895.0ms (1.7%)

Pruning

142 alts after pruning (140 fresh and 2 done)

	Pruned	Kept	Total
New	73	41	114
Fresh	5	99	104
Picked	0	1	1
Done	0	1	1
Total	78	142	220

Merged error: 1.5b

Counts

220 → 142

Compiler

Compiled 2641 to 1072 computations (59.4% saved)

regimes6.1s (11.7%)

Compiler: Compiled 45297 to 34071 computations (24.8% saved)

bsearch8.1s (15.5%)

simplify16.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	31
1	20	31

end0.0ms (0%)

sample26.4s (50.5%)

Algorithm

1×

intervals

Results

5.5s	1218×	body	4096	invalid
3.1s	3894×	body	1024	valid
2.8s	1033×	body	2048	invalid
1.4s	1037×	body	2048	valid
1.3s	452×	body	4096	valid
755.0ms	1341×	body	512	valid
544.0ms	667×	body	1024	invalid
247.0ms	485×	body	512	invalid
200.0ms	1084×	body	128	invalid
173.0ms	837×	body	128	valid
163.0ms	439×	body	256	valid
92.0ms	269×	body	256	invalid

Compiler

Compiled 7019 to 5265 computations (25% saved)

Pareto

0.1103448275862069

Details

analyze3.4s (6.6%)

sample402.0ms (0.8%)

simplify145.0ms (0.3%)

prune7.0ms (0%)

localize20.0ms (0%)

rewrite165.0ms (0.3%)

series1.1s (2.1%)

simplify169.0ms (0.3%)

prune1.1s (2.1%)

localize16.0ms (0%)

rewrite53.0ms (0.1%)

series367.0ms (0.7%)

simplify125.0ms (0.2%)

prune1.1s (2.1%)

localize30.0ms (0.1%)

rewrite61.0ms (0.1%)

series347.0ms (0.7%)

simplify94.0ms (0.2%)

prune1.5s (2.9%)

localize29.0ms (0.1%)

rewrite42.0ms (0.1%)

series364.0ms (0.7%)

simplify47.0ms (0.1%)

prune895.0ms (1.7%)

regimes6.1s (11.7%)

bsearch8.1s (15.5%)

simplify16.0ms (0%)

end0.0ms (0%)

sample26.4s (50.5%)

Profiling