Details

analyze2.1s (15.5%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	161	184
1	161	184
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
9.4%	90.5%	0.1%	7
14%	85.8%	0.1%	8
16.4%	83.5%	0.1%	9
24.6%	75.3%	0.1%	10
28.7%	71.2%	0.1%	11
30.7%	69.1%	0.1%	12
35.8%	64%	0.1%	13
38.4%	61.5%	0.1%	14

Compiler

Compiled 29 to 18 computations (37.9% saved)

sample123.0ms (0.9%)

Algorithm

1×

intervals

Results

59.0ms	61×	body	1024	valid
27.0ms	149×	body	128	valid
16.0ms	30×	body	512	valid
6.0ms	16×	body	256	valid

Compiler

Compiled 57 to 38 computations (33.3% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	44	46
1	44	46

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 56 to 34 computations (39.3% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))
1.8b	(/.f64 (/.f64 eh ew) (tan.f64 t))
1.8b	(/.f64 (/.f64 eh ew) (tan.f64 t))
36.8b	(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))

rewrite235.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

150×	`times-frac_binary64_1448`
89×	`add-cube-cbrt_binary64_1477` `add-sqr-sqrt_binary64_1464` `*-un-lft-identity_binary64_1442`
26×	`associate-/l*_binary64_1387`
19×	`add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478`
10×	`div-inv_binary64_1439`
9×	`pow1_binary64_1503`
6×	`div-exp_binary64_1493` `cbrt-undiv_binary64_1476` `associate-/r*_binary64_1386`
4×	`add-log-exp_binary64_1481`
3×	`cos-atan_binary64_1621` `pow-prod-down_binary64_1513` `prod-exp_binary64_1491` `cbrt-unprod_binary64_1475` `associate-r_binary64_1382`
2×	`frac-2neg_binary64_1453` `clear-num_binary64_1441` `associate-/l/_binary64_1389` `tan-quot_binary64_1601` `associate-/r/_binary64_1388`
1×	`un-div-inv_binary64_1440` `associate-r/_binary64_1384` `associate-l_binary64_1383` `-commutative_binary64_1373`

Counts

4 → 170

Calls

4 calls:

7.0ms	(/.f64 (/.f64 eh ew) (tan.f64 t))
7.0ms	(/.f64 (/.f64 eh ew) (tan.f64 t))
6.0ms	(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))
2.0ms	(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))

Compiler

Compiled 6464 to 1262 computations (80.5% saved)

series1.2s (8.6%)

Error

0.1b

Counts

4 → 40

Calls

4 calls:

332.0ms	(/.f64 (/.f64 eh ew) (tan.f64 t))
331.0ms	(/.f64 (/.f64 eh ew) (tan.f64 t))
317.0ms	(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))
155.0ms	(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))

Compiler

Compiled 3596 to 1710 computations (52.4% saved)

simplify104.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

210 → 210

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4993	4053
1	4993	4053

prune228.0ms (1.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	206	4	210
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	206	5	211

Error

0.1b

Counts

211 → 5

Compiler

Compiled 7548 to 1232 computations (83.7% saved)

localize35.0ms (0.3%)

Local error

Found 4 expressions with local error:

11.5b	(cbrt.f64 (.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 ew (tan.f64 t))))) (*.f64 ew (sin.f64 t))))
36.8b	(cos.f64 (atan.f64 (/.f64 eh (*.f64 ew (tan.f64 t)))))
36.8b	(cos.f64 (atan.f64 (/.f64 eh (*.f64 ew (tan.f64 t)))))
36.8b	(cos.f64 (atan.f64 (/.f64 eh (*.f64 ew (tan.f64 t)))))

rewrite67.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

4×	`cos-atan_binary64_1621` `pow1_binary64_1503` `add-log-exp_binary64_1481` `add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478` `add-cube-cbrt_binary64_1477` `add-sqr-sqrt_binary64_1464` `*-un-lft-identity_binary64_1442`
1×	`pow1/3_binary64_1524` `associate-*l/_binary64_1385` `cbrt-div_binary64_1474` `cbrt-prod_binary64_1473`

Counts

4 → 34

Calls

4 calls:

5.0ms	(cbrt.f64 (.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 ew (tan.f64 t))))) (*.f64 ew (sin.f64 t))))
2.0ms	(cos.f64 (atan.f64 (/.f64 eh (*.f64 ew (tan.f64 t)))))
2.0ms	(cos.f64 (atan.f64 (/.f64 eh (*.f64 ew (tan.f64 t)))))
2.0ms	(cos.f64 (atan.f64 (/.f64 eh (*.f64 ew (tan.f64 t)))))

Compiler

Compiled 2315 to 233 computations (89.9% saved)

series1.2s (9.1%)

Error

0.1b

Counts

4 → 36

Calls

4 calls:

681.0ms	(cbrt.f64 (.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 ew (tan.f64 t))))) (*.f64 ew (sin.f64 t))))
173.0ms	(cos.f64 (atan.f64 (/.f64 eh (*.f64 ew (tan.f64 t)))))
171.0ms	(cos.f64 (atan.f64 (/.f64 eh (*.f64 ew (tan.f64 t)))))
160.0ms	(cos.f64 (atan.f64 (/.f64 eh (*.f64 ew (tan.f64 t)))))

Compiler

Compiled 6477 to 1867 computations (71.2% saved)

simplify107.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (90.0ms)

Iter	Nodes	Cost
0	4837	1264
1	4837	1264

prune109.0ms (0.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	69	1	70
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	69	6	75

Error

0.1b

Counts

75 → 6

Compiler

Compiled 4543 to 353 computations (92.2% saved)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.8b	(/.f64 (/.f64 eh ew) (tan.f64 t))
1.9b	(/.f64 eh (*.f64 ew (tan.f64 t)))
32.3b	(cbrt.f64 (pow.f64 (.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 ew (tan.f64 t))))) (*.f64 ew (sin.f64 t))) 3))
36.8b	(cos.f64 (atan.f64 (/.f64 eh (*.f64 ew (tan.f64 t)))))

rewrite197.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

78×	`times-frac_binary64_1448`
49×	`add-cube-cbrt_binary64_1477` `add-sqr-sqrt_binary64_1464` `*-un-lft-identity_binary64_1442`
16×	`associate-/l*_binary64_1387`
14×	`add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478`
8×	`cbrt-prod_binary64_1473`
6×	`div-inv_binary64_1439`
5×	`div-exp_binary64_1493` `cbrt-undiv_binary64_1476`
4×	`pow1_binary64_1503` `add-log-exp_binary64_1481` `associate-/r*_binary64_1386`
2×	`cos-atan_binary64_1621` `frac-2neg_binary64_1453` `clear-num_binary64_1441` `tan-quot_binary64_1601` `associate-/r/_binary64_1388`
1×	`pow1/3_binary64_1524` `associate-l/_binary64_1385` `cube-div_binary64_1471` `cbrt-div_binary64_1474` `unpow-prod-down_binary64_1521` `unpow3_binary64_1508` `cube-mult_binary64_1472` `cube-prod_binary64_1470` `sqr-pow_binary64_1414` `rem-cbrt-cube_binary64_1466` `prod-exp_binary64_1491` `cbrt-unprod_binary64_1475` `associate-r/_binary64_1384` `associate-/l/_binary64_1389`

Counts

4 → 119

Calls

4 calls:

7.0ms	(/.f64 (/.f64 eh ew) (tan.f64 t))
5.0ms	(/.f64 eh (*.f64 ew (tan.f64 t)))
3.0ms	(cbrt.f64 (pow.f64 (.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 ew (tan.f64 t))))) (*.f64 ew (sin.f64 t))) 3))
2.0ms	(cos.f64 (atan.f64 (/.f64 eh (*.f64 ew (tan.f64 t)))))

Compiler

Compiled 4843 to 1334 computations (72.5% saved)

series1.2s (9.1%)

Error

0.1b

Counts

4 → 41

Calls

4 calls:

359.0ms	(/.f64 eh (*.f64 ew (tan.f64 t)))
347.0ms	(/.f64 (/.f64 eh ew) (tan.f64 t))
324.0ms	(cbrt.f64 (pow.f64 (.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 ew (tan.f64 t))))) (*.f64 ew (sin.f64 t))) 3))
166.0ms	(cos.f64 (atan.f64 (/.f64 eh (*.f64 ew (tan.f64 t)))))

Compiler

Compiled 3972 to 2085 computations (47.5% saved)

simplify116.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

160 → 160

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4920	3098
1	4920	3098

prune203.0ms (1.5%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	159	1	160
Fresh	1	2	3
Picked	0	1	1
Done	0	2	2
Total	160	6	166

Error

0.1b

Counts

166 → 6

Compiler

Compiled 6107 to 1440 computations (76.4% saved)

localize33.0ms (0.2%)

Local error

Found 4 expressions with local error:

10.9b	(sqrt.f64 (.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 ew (tan.f64 t))))) (*.f64 ew (sin.f64 t))))
10.9b	(sqrt.f64 (.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 ew (tan.f64 t))))) (*.f64 ew (sin.f64 t))))
36.8b	(cos.f64 (atan.f64 (/.f64 eh (*.f64 ew (tan.f64 t)))))
36.8b	(cos.f64 (atan.f64 (/.f64 eh (*.f64 ew (tan.f64 t)))))

rewrite80.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

16×	`pow1_binary64_1503`
6×	`pow-prod-down_binary64_1513` `sqrt-pow1_binary64_1460`
4×	`cos-atan_binary64_1621` `add-log-exp_binary64_1481` `add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478` `add-cube-cbrt_binary64_1477` `add-sqr-sqrt_binary64_1464` `*-un-lft-identity_binary64_1442`
2×	`pow1/2_binary64_1522` `associate-*l/_binary64_1385` `sqrt-div_binary64_1459` `sqrt-prod_binary64_1458`

Counts

4 → 42

Calls

4 calls:

5.0ms	(sqrt.f64 (.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 ew (tan.f64 t))))) (*.f64 ew (sin.f64 t))))
4.0ms	(sqrt.f64 (.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 ew (tan.f64 t))))) (*.f64 ew (sin.f64 t))))
2.0ms	(cos.f64 (atan.f64 (/.f64 eh (*.f64 ew (tan.f64 t)))))
2.0ms	(cos.f64 (atan.f64 (/.f64 eh (*.f64 ew (tan.f64 t)))))

Compiler

Compiled 2208 to 264 computations (88% saved)

series951.0ms (7%)

Error

0.1b

Counts

4 → 36

Calls

4 calls:

302.0ms	(sqrt.f64 (.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 ew (tan.f64 t))))) (*.f64 ew (sin.f64 t))))
289.0ms	(sqrt.f64 (.f64 (cos.f64 (atan.f64 (/.f64 eh (.f64 ew (tan.f64 t))))) (*.f64 ew (sin.f64 t))))
168.0ms	(cos.f64 (atan.f64 (/.f64 eh (*.f64 ew (tan.f64 t)))))
154.0ms	(cos.f64 (atan.f64 (/.f64 eh (*.f64 ew (tan.f64 t)))))

Compiler

Compiled 4928 to 1843 computations (62.6% saved)

simplify89.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4830	1472
1	4830	1472

prune93.0ms (0.7%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	78	0	78
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	78	6	84

Error

0.1b

Counts

84 → 6

Compiler

Compiled 3686 to 290 computations (92.1% saved)

regimes345.0ms (2.5%)

Accuracy

Total 0.0b remaining (21.6%)

Threshold costs 0.0b (21.6%)

Compiler

Compiled 4741 to 2594 computations (45.3% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	27	46
1	27	46

end0.0ms (0%)

sample4.7s (34.4%)

Algorithm

1×

intervals

Results

1.8s	1958×	body	1024	valid
1.0s	4505×	body	128	valid
589.0ms	1015×	body	512	valid
203.0ms	513×	body	256	valid
14.0ms	9×	body	2048	valid

Compiler

Compiled 982 to 543 computations (44.7% saved)

Details

analyze2.1s (15.5%)

sample123.0ms (0.9%)

simplify8.0ms (0.1%)

prune4.0ms (0%)

localize21.0ms (0.2%)

rewrite235.0ms (1.7%)

series1.2s (8.6%)

simplify104.0ms (0.8%)

prune228.0ms (1.7%)

localize35.0ms (0.3%)

rewrite67.0ms (0.5%)

series1.2s (9.1%)

simplify107.0ms (0.8%)

prune109.0ms (0.8%)

localize28.0ms (0.2%)

rewrite197.0ms (1.5%)

series1.2s (9.1%)

simplify116.0ms (0.8%)

prune203.0ms (1.5%)

localize33.0ms (0.2%)

rewrite80.0ms (0.6%)

series951.0ms (7%)

simplify89.0ms (0.7%)

prune93.0ms (0.7%)

regimes345.0ms (2.5%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample4.7s (34.4%)

Profiling