Details

analyze2.7s (22.4%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5205	200
0	3	3
1	3	3

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
12.5%	87.4%	0.1%	7
12.5%	87.4%	0.1%	8
31.2%	68.6%	0.1%	9
31.2%	68.6%	0.1%	10
31.2%	68.6%	0.1%	11
40.6%	59.3%	0.1%	12
40.6%	59.3%	0.1%	13
40.6%	59.3%	0.1%	14

Compiler

Compiled 31 to 19 computations (38.7% saved)

sample156.0ms (1.3%)

Algorithm

1×

intervals

Results

82.0ms	73×	body	1024	valid
27.0ms	37×	body	512	valid
23.0ms	126×	body	128	valid
9.0ms	20×	body	256	valid

Compiler

Compiled 61 to 40 computations (34.4% saved)

simplify304.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (293.0ms)

Iter	Nodes	Cost
0	1604	50
1	1604	50

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

0.1b

Counts

2 → 1

Compiler

Compiled 60 to 36 computations (40% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (neg.f64 eh) (tan.f64 t))
1.6b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
1.6b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
21.6b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

rewrite157.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

16×	`add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478`
14×	`add-sqr-sqrt_binary64_1464`
12×	`add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
10×	`associate-l_binary64_1383`
6×	`pow1_binary64_1503` `times-frac_binary64_1448` `associate-/r*_binary64_1386`
4×	`distribute-lft-neg-out_binary64_1401` `add-log-exp_binary64_1481` `div-exp_binary64_1493` `cbrt-undiv_binary64_1476`
3×	`distribute-frac-neg_binary64_1405` `prod-exp_binary64_1491` `cbrt-unprod_binary64_1475` `tan-quot_binary64_1601` `associate-r/_binary64_1384` `distribute-rgt-neg-in_binary64_1400` `distribute-lft-neg-in_binary64_1399` `associate-r*_binary64_1382`
2×	`frac-2neg_binary64_1453` `clear-num_binary64_1441` `div-inv_binary64_1439` `associate-/l/_binary64_1389` `associate-/l*_binary64_1387`
1×	`cos-atan_binary64_1621` `atan-neg_binary64_1626` `cos-neg_binary64_1573` `pow-prod-down_binary64_1513` `unswap-sqr_binary64_1410` `neg-mul-1_binary64_1438` `*-commutative_binary64_1373`

Counts

4 → 82

Calls

4 calls:

10.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
6.0ms	(*.f64 (neg.f64 eh) (tan.f64 t))
6.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
2.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

Compiler

Compiled 2928 to 592 computations (79.8% saved)

series1.2s (9.7%)

Error

0.1b

Counts

4 → 33

Calls

4 calls:

422.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
325.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
187.0ms	(*.f64 (neg.f64 eh) (tan.f64 t))
180.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

Compiler

Compiled 3274 to 1838 computations (43.9% saved)

simplify104.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4973	1490
1	4973	1490

prune158.0ms (1.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	114	1	115
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	115	1	116

Error

0.1b

Counts

116 → 1

Compiler

Compiled 3875 to 606 computations (84.4% saved)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.6b	(/.f64 (*.f64 eh (tan.f64 t)) ew)
1.6b	(/.f64 (*.f64 eh (tan.f64 t)) ew)
21.6b	(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew))))
21.6b	(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew))))

rewrite151.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

14×	`add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478`
8×	`add-cube-cbrt_binary64_1477` `add-sqr-sqrt_binary64_1464` `*-un-lft-identity_binary64_1442`
6×	`times-frac_binary64_1448` `associate-/r*_binary64_1386`
4×	`pow1_binary64_1503` `add-log-exp_binary64_1481` `div-exp_binary64_1493` `cbrt-undiv_binary64_1476`
2×	`cos-atan_binary64_1621` `atan-neg_binary64_1626` `cos-neg_binary64_1573` `prod-exp_binary64_1491` `cbrt-unprod_binary64_1475` `frac-2neg_binary64_1453` `clear-num_binary64_1441` `div-inv_binary64_1439` `tan-quot_binary64_1601` `associate-r/_binary64_1384` `associate-/l/_binary64_1389` `associate-/l_binary64_1387`

Counts

4 → 62

Calls

4 calls:

8.0ms	(/.f64 (*.f64 eh (tan.f64 t)) ew)
6.0ms	(/.f64 (*.f64 eh (tan.f64 t)) ew)
3.0ms	(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew))))
2.0ms	(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew))))

Compiler

Compiled 2994 to 509 computations (83% saved)

series1.2s (10.4%)

Error

0.1b

Counts

4 → 36

Calls

4 calls:

371.0ms	(/.f64 (*.f64 eh (tan.f64 t)) ew)
354.0ms	(/.f64 (*.f64 eh (tan.f64 t)) ew)
262.0ms	(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew))))
205.0ms	(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew))))

Compiler

Compiled 4706 to 2119 computations (55% saved)

simplify82.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4974	1328
1	4974	1328

prune127.0ms (1.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	98	1	99

Error

0.1b

Counts

99 → 1

Compiler

Compiled 4426 to 480 computations (89.2% saved)

regimes136.0ms (1.1%)

Accuracy

Total 0.0b remaining (1.4%)

Threshold costs 0.0b (1.4%)

Compiler

Compiled 1189 to 748 computations (37.1% saved)

bsearch0.0ms (0%)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	90	71
1	90	71

end0.0ms (0%)

sample5.4s (45.3%)

Algorithm

1×

intervals

Results

2.5s	2098×	body	1024	valid
1.2s	4391×	body	128	valid
766.0ms	994×	body	512	valid
236.0ms	512×	body	256	valid
8.0ms	5×	body	2048	valid

Compiler

Compiled 286 to 174 computations (39.2% saved)

Details

analyze2.7s (22.4%)

sample156.0ms (1.3%)

simplify304.0ms (2.6%)

prune4.0ms (0%)

localize26.0ms (0.2%)

rewrite157.0ms (1.3%)

series1.2s (9.7%)

simplify104.0ms (0.9%)

prune158.0ms (1.3%)

localize28.0ms (0.2%)

rewrite151.0ms (1.3%)

series1.2s (10.4%)

simplify82.0ms (0.7%)

prune127.0ms (1.1%)

regimes136.0ms (1.1%)

bsearch0.0ms (0%)

simplify8.0ms (0.1%)

end0.0ms (0%)

sample5.4s (45.3%)

Profiling