Details

analyze850.0ms (6%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	40
1	24	40
0	2	2
1	2	2

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
18.7%	81.2%	0.1%	7
32.8%	67.1%	0.1%	8
38.2%	61.7%	0.1%	9
41%	58.9%	0.1%	10
43.9%	56%	0.1%	11
45.4%	54.5%	0.1%	12
46.9%	53%	0.1%	13
47.6%	52.3%	0.1%	14

Compiler

Compiled 14 to 12 computations (14.3% saved)

sample198.0ms (1.4%)

Algorithm

1×

intervals

Results

15.0ms	26×	body	2048	valid
13.0ms	42×	body	1024	valid
10.0ms	142×	body	128	valid
6.0ms	28×	body	512	valid
3.0ms	18×	body	256	valid

Compiler

Compiled 3611 to 3609 computations (0.1% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	14	20
1	14	20

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

37.4b

Counts

2 → 1

Compiler

Compiled 26 to 22 computations (15.4% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

9.0b	(/.f64 (tan.f64 (/.f64 x (.f64 y 2))) (sin.f64 (/.f64 x (.f64 y 2))))
28.2b	(sin.f64 (/.f64 x (*.f64 y 2)))
28.3b	(tan.f64 (/.f64 x (*.f64 y 2)))

rewrite93.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

37.4b

Rules

11×	`add-cube-cbrt_binary64_21255` `add-sqr-sqrt_binary64_21242` `*-un-lft-identity_binary64_21220`
9×	`times-frac_binary64_21226`
5×	`add-exp-log_binary64_21258` `add-cbrt-cube_binary64_21256`
3×	`pow1_binary64_21281` `add-log-exp_binary64_21259` `associate-/l_binary64_21165` `associate-/r_binary64_21164`
2×	`tan-quot_binary64_21379`
1×	`div-exp_binary64_21271` `cbrt-undiv_binary64_21254` `frac-2neg_binary64_21231` `clear-num_binary64_21219` `div-inv_binary64_21217` `associate-/l/_binary64_21167`

Counts

3 → 43

Calls

3 calls:

5.0ms	(/.f64 (tan.f64 (/.f64 x (.f64 y 2))) (sin.f64 (/.f64 x (.f64 y 2))))
2.0ms	(tan.f64 (/.f64 x (*.f64 y 2)))
2.0ms	(sin.f64 (/.f64 x (*.f64 y 2)))

Compiler

Compiled 1017 to 747 computations (26.5% saved)

series365.0ms (2.6%)

Error

26.1b

Counts

3 → 21

Calls

3 calls:

161.0ms	(/.f64 (tan.f64 (/.f64 x (.f64 y 2))) (sin.f64 (/.f64 x (.f64 y 2))))
112.0ms	(tan.f64 (/.f64 x (*.f64 y 2)))
65.0ms	(sin.f64 (/.f64 x (*.f64 y 2)))

Compiler

Compiled 846 to 660 computations (22% saved)

simplify54.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5006	1282

prune116.0ms (0.8%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	49	15	64
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	50	15	65

Error

26.1b

Counts

65 → 15

Compiler

Compiled 1569 to 1149 computations (26.8% saved)

localize6.0ms (0%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 1/2 (/.f64 x y))
0.1b	(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
27.9b	(cos.f64 (*.f64 1/2 (/.f64 x y)))

rewrite114.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

24.6b

Rules

24×	`add-sqr-sqrt_binary64_21242`
19×	`add-cube-cbrt_binary64_21255` `*-un-lft-identity_binary64_21220` `times-frac_binary64_21226`
13×	`associate-r_binary64_21160`
12×	`add-exp-log_binary64_21258`
10×	`add-cbrt-cube_binary64_21256`
6×	`pow1_binary64_21281`
3×	`add-log-exp_binary64_21259` `div-exp_binary64_21271` `associate-/l_binary64_21165` `associate-/r_binary64_21164` `associate-l_binary64_21161`
2×	`cbrt-undiv_binary64_21254` `div-inv_binary64_21217` `prod-exp_binary64_21269` `cbrt-unprod_binary64_21253` `unswap-sqr_binary64_21188`
1×	`inv-pow_binary64_21305` `pow-flip_binary64_21294` `1-exp_binary64_21264` `rec-exp_binary64_21270` `frac-2neg_binary64_21231` `clear-num_binary64_21219` `pow-prod-down_binary64_21291` `associate-r/_binary64_21162` `-commutative_binary64_21151`

Counts

3 → 70

Calls

3 calls:

7.0ms	(*.f64 1/2 (/.f64 x y))
3.0ms	(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
2.0ms	(cos.f64 (*.f64 1/2 (/.f64 x y)))

Compiler

Compiled 1077 to 712 computations (33.9% saved)

series239.0ms (1.7%)

Error

26.0b

Counts

3 → 21

Calls

3 calls:

90.0ms	(*.f64 1/2 (/.f64 x y))
80.0ms	(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
57.0ms	(cos.f64 (*.f64 1/2 (/.f64 x y)))

Compiler

Compiled 492 to 459 computations (6.7% saved)

simplify51.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5014	1125

prune133.0ms (0.9%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	74	17	91
Fresh	8	6	14
Picked	1	0	1
Done	0	0	0
Total	83	23	106

Error

24.7b

Counts

106 → 23

Compiler

Compiled 1538 to 1058 computations (31.2% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
28.2b	(cos.f64 (.f64 (.f64 1/2 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (/.f64 (cbrt.f64 x) (cbrt.f64 y))))

rewrite69.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

24.4b

Rules

9×	`cbrt-prod_binary64_21251`
7×	`add-cube-cbrt_binary64_21255` `add-sqr-sqrt_binary64_21242` `*-un-lft-identity_binary64_21220`
4×	`pow1_binary64_21281` `add-log-exp_binary64_21259` `add-exp-log_binary64_21258` `add-cbrt-cube_binary64_21256`
3×	`pow1/3_binary64_21302`

Counts

4 → 40

Calls

4 calls:

3.0ms	(cos.f64 (.f64 (.f64 1/2 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (/.f64 (cbrt.f64 x) (cbrt.f64 y))))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

Compiler

Compiled 1137 to 385 computations (66.1% saved)

series458.0ms (3.2%)

Error

24.5b

Counts

4 → 18

Calls

4 calls:

123.0ms	(cbrt.f64 x)
109.0ms	(cbrt.f64 x)
105.0ms	(cbrt.f64 x)
100.0ms	(cos.f64 (.f64 (.f64 1/2 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (/.f64 (cbrt.f64 x) (cbrt.f64 y))))

Compiler

Compiled 938 to 687 computations (26.8% saved)

simplify47.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5417	412

prune121.0ms (0.9%)

Pruning

29 alts after pruning (29 fresh and 0 done)

	Pruned	Kept	Total
New	48	10	58
Fresh	3	19	22
Picked	1	0	1
Done	0	0	0
Total	52	29	81

Error

24.4b

Counts

81 → 29

Compiler

Compiled 1862 to 945 computations (49.2% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (cbrt.f64 x))
0.6b	(cbrt.f64 (cbrt.f64 x))
0.6b	(cbrt.f64 (cbrt.f64 x))
28.0b	(cos.f64 (.f64 (.f64 1/2 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (/.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 y))))

rewrite98.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

24.3b

Rules

27×	`cbrt-prod_binary64_21251`
10×	`add-cube-cbrt_binary64_21255` `add-sqr-sqrt_binary64_21242` `*-un-lft-identity_binary64_21220`
4×	`pow1_binary64_21281` `add-log-exp_binary64_21259` `add-exp-log_binary64_21258` `add-cbrt-cube_binary64_21256`
3×	`pow1/3_binary64_21302`

Counts

4 → 49

Calls

4 calls:

3.0ms	(cos.f64 (.f64 (.f64 1/2 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (/.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 y))))
2.0ms	(cbrt.f64 (cbrt.f64 x))
2.0ms	(cbrt.f64 (cbrt.f64 x))
2.0ms	(cbrt.f64 (cbrt.f64 x))

Compiler

Compiled 1902 to 517 computations (72.8% saved)

series575.0ms (4.1%)

Error

24.4b

Counts

4 → 18

Calls

4 calls:

149.0ms	(cbrt.f64 (cbrt.f64 x))
149.0ms	(cbrt.f64 (cbrt.f64 x))
142.0ms	(cbrt.f64 (cbrt.f64 x))
114.0ms	(cos.f64 (.f64 (.f64 1/2 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (/.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 y))))

Compiler

Compiled 1172 to 769 computations (34.4% saved)

simplify77.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4919	634
1	4919	634

prune103.0ms (0.7%)

Pruning

33 alts after pruning (32 fresh and 1 done)

	Pruned	Kept	Total
New	60	7	67
Fresh	3	25	28
Picked	0	1	1
Done	0	0	0
Total	63	33	96

Error

24.3b

Counts

96 → 33

Compiler

Compiled 1990 to 666 computations (66.5% saved)

regimes1.5s (10.9%)

Accuracy

Total 4.2b remaining (14.4%)

Threshold costs 0b (0%)

Compiler

Compiled 16803 to 11922 computations (29% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	22	50
1	22	50

end0.0ms (0%)

sample8.8s (62.2%)

Algorithm

1×

intervals

Results

537.0ms	1134×	body	2048	valid
405.0ms	1306×	body	1024	valid
315.0ms	4227×	body	128	valid
190.0ms	855×	body	512	valid
78.0ms	477×	body	256	valid
1.0ms	1×	body	4096	valid

Compiler

Compiled 115054 to 114128 computations (0.8% saved)

Details

analyze850.0ms (6%)

sample198.0ms (1.4%)

simplify7.0ms (0%)

prune3.0ms (0%)

localize8.0ms (0.1%)

rewrite93.0ms (0.7%)

series365.0ms (2.6%)

simplify54.0ms (0.4%)

prune116.0ms (0.8%)

localize6.0ms (0%)

rewrite114.0ms (0.8%)

series239.0ms (1.7%)

simplify51.0ms (0.4%)

prune133.0ms (0.9%)

localize17.0ms (0.1%)

rewrite69.0ms (0.5%)

series458.0ms (3.2%)

simplify47.0ms (0.3%)

prune121.0ms (0.9%)

localize20.0ms (0.1%)

rewrite98.0ms (0.7%)

series575.0ms (4.1%)

simplify77.0ms (0.5%)

prune103.0ms (0.7%)

regimes1.5s (10.9%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample8.8s (62.2%)

Profiling