Details

analyze654.0ms (5.7%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5058	168
0	4	4
1	4	4

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
49.9%	49.9%	0.2%	2
49.9%	49.9%	0.2%	3
49.9%	49.9%	0.2%	4
49.9%	49.9%	0.2%	5
49.9%	49.9%	0.2%	6
49.9%	49.9%	0.2%	7
53%	46.8%	0.2%	8
57.7%	42.1%	0.2%	9
61.6%	38.2%	0.2%	10
63.5%	30%	6.4%	11
63.5%	30%	6.4%	12
67.6%	25.9%	6.4%	13
68.9%	24.7%	6.4%	14

Compiler

Compiled 16 to 15 computations (6.3% saved)

sample102.0ms (0.9%)

Algorithm

1×

intervals

Results

25.0ms	59×	body	1024	valid
13.0ms	38×	body	512	valid
12.0ms	46×	body	1024	invalid
9.0ms	135×	body	128	valid
7.0ms	34×	body	512	invalid
7.0ms	105×	body	128	invalid
3.0ms	23×	body	256	valid
2.0ms	17×	body	256	invalid
1.0ms	1×	body	2048	valid

Compiler

Compiled 31 to 33 computations (-6.5% saved)

simplify99.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (94.0ms)

Iter	Nodes	Cost
0	4815	24
1	4815	24

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

20.4b

Counts

2 → 1

Compiler

Compiled 30 to 28 computations (6.7% saved)

localize13.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
0.0b	(.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)))
8.7b	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

rewrite93.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

15×	`add-sqr-sqrt_binary64_782`
13×	`*-un-lft-identity_binary64_760`
10×	`pow1_binary64_821` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
9×	`add-cube-cbrt_binary64_795` `cancel-sign-sub-inv_binary64_726` `associate-r_binary64_700`
5×	`add-log-exp_binary64_799`
4×	`pow-prod-down_binary64_831` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `associate-r/_binary64_702` `associate-l*_binary64_701` `distribute-rgt-in_binary64_710` `distribute-lft-in_binary64_709`
3×	`flip3--_binary64_764` `sub-neg_binary64_753` `flip--_binary64_735`
2×	`sinh-undef_binary64_953` `difference-of-squares_binary64_729` `distribute-lft-out--_binary64_712` `associate-l/_binary64_703` `-commutative_binary64_691`
1×	`diff-log_binary64_852` `unswap-sqr_binary64_728`

Counts

3 → 68

Calls

3 calls:

9.0ms	(.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)))
8.0ms	(*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
5.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

Compiler

Compiled 1608 to 602 computations (62.6% saved)

series405.0ms (3.5%)

Error

0.1b

Counts

3 → 27

Calls

3 calls:

245.0ms	(.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)))
98.0ms	(*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
28.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

Compiler

Compiled 1321 to 1031 computations (22% saved)

simplify87.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4932	1651
1	4932	1651

prune91.0ms (0.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	93	2	95
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	93	3	96

Error

0.0b

Counts

96 → 3

Compiler

Compiled 1890 to 848 computations (55.1% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 J (+.f64 (.f64 1/3 (pow.f64 l 3)) (+.f64 (+.f64 l l) (*.f64 1/60 (pow.f64 l 5)))))
0.1b	(*.f64 1/60 (pow.f64 l 5))
0.1b	(.f64 (.f64 J (+.f64 (.f64 1/3 (pow.f64 l 3)) (+.f64 (+.f64 l l) (.f64 1/60 (pow.f64 l 5))))) (cos.f64 (/.f64 K 2)))
0.1b	(*.f64 1/3 (pow.f64 l 3))

rewrite228.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

28×	`add-sqr-sqrt_binary64_782`
25×	`associate-r_binary64_700`
21×	`add-exp-log_binary64_798`
15×	`add-cbrt-cube_binary64_796`
14×	`add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760`
11×	`pow1_binary64_821`
10×	`prod-exp_binary64_809` `associate-l_binary64_701`
8×	`unpow-prod-down_binary64_839` `unswap-sqr_binary64_728`
6×	`cbrt-unprod_binary64_793`
4×	`add-log-exp_binary64_799` `cube-prod_binary64_788` `sqr-pow_binary64_732` `-commutative_binary64_691` `pow-prod-down_binary64_831` `associate-r/_binary64_702`
2×	`pow-to-exp_binary64_829` `pow-exp_binary64_828` `flip3-+_binary64_763` `associate-*l/_binary64_703` `flip-+_binary64_734`
1×	`unpow3_binary64_826` `cube-mult_binary64_790` `distribute-rgt-in_binary64_710` `distribute-lft-in_binary64_709`

Counts

4 → 98

Calls

4 calls:

15.0ms	(.f64 (.f64 J (+.f64 (.f64 1/3 (pow.f64 l 3)) (+.f64 (+.f64 l l) (.f64 1/60 (pow.f64 l 5))))) (cos.f64 (/.f64 K 2)))
14.0ms	(.f64 J (+.f64 (.f64 1/3 (pow.f64 l 3)) (+.f64 (+.f64 l l) (*.f64 1/60 (pow.f64 l 5)))))
7.0ms	(*.f64 1/3 (pow.f64 l 3))
6.0ms	(*.f64 1/60 (pow.f64 l 5))

Compiler

Compiled 3363 to 2325 computations (30.9% saved)

series1.1s (9.2%)

Error

0.0b

Counts

4 → 36

Calls

4 calls:

620.0ms	(.f64 (.f64 J (+.f64 (.f64 1/3 (pow.f64 l 3)) (+.f64 (+.f64 l l) (.f64 1/60 (pow.f64 l 5))))) (cos.f64 (/.f64 K 2)))
306.0ms	(.f64 J (+.f64 (.f64 1/3 (pow.f64 l 3)) (+.f64 (+.f64 l l) (*.f64 1/60 (pow.f64 l 5)))))
40.0ms	(*.f64 1/60 (pow.f64 l 5))
36.0ms	(*.f64 1/3 (pow.f64 l 3))

Compiler

Compiled 2662 to 2137 computations (19.7% saved)

simplify61.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5076	2896

prune230.0ms (2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	129	5	134
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	130	7	137

Error

Counts

137 → 7

Compiler

Compiled 4166 to 2866 computations (31.2% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 1/60 (pow.f64 l 5))
0.1b	(.f64 (+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) J)) (.f64 J (+.f64 (*.f64 1/60 (pow.f64 l 5)) (+.f64 l l)))) (cos.f64 (/.f64 K 2)))
0.2b	(.f64 1/3 (.f64 (pow.f64 l 3) J))
4.7b	(*.f64 (pow.f64 l 3) J)

rewrite203.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

28×	`add-sqr-sqrt_binary64_782`
26×	`add-exp-log_binary64_798`
21×	`associate-l_binary64_701`
15×	`add-cbrt-cube_binary64_796`
14×	`prod-exp_binary64_809` `add-cube-cbrt_binary64_795` `-un-lft-identity_binary64_760` `associate-r*_binary64_700`
8×	`pow1_binary64_821` `unpow-prod-down_binary64_839` `unswap-sqr_binary64_728`
6×	`cbrt-unprod_binary64_793`
4×	`add-log-exp_binary64_799` `cube-prod_binary64_788` `sqr-pow_binary64_732` `*-commutative_binary64_691`
3×	`pow-to-exp_binary64_829` `pow-exp_binary64_828`
2×	`pow-prod-down_binary64_831` `associate-*l/_binary64_703`
1×	`unpow3_binary64_826` `cube-mult_binary64_790` `flip3-+_binary64_763` `flip-+_binary64_734`

Counts

4 → 95

Calls

4 calls:

10.0ms	(.f64 (+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) J)) (.f64 J (+.f64 (*.f64 1/60 (pow.f64 l 5)) (+.f64 l l)))) (cos.f64 (/.f64 K 2)))
6.0ms	(*.f64 (pow.f64 l 3) J)
6.0ms	(.f64 1/3 (.f64 (pow.f64 l 3) J))
6.0ms	(*.f64 1/60 (pow.f64 l 5))

Compiler

Compiled 3352 to 2260 computations (32.6% saved)

series900.0ms (7.9%)

Error

Counts

4 → 33

Calls

4 calls:

641.0ms	(.f64 (+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) J)) (.f64 J (+.f64 (*.f64 1/60 (pow.f64 l 5)) (+.f64 l l)))) (cos.f64 (/.f64 K 2)))
92.0ms	(.f64 1/3 (.f64 (pow.f64 l 3) J))
79.0ms	(*.f64 (pow.f64 l 3) J)
38.0ms	(*.f64 1/60 (pow.f64 l 5))

Compiler

Compiled 2756 to 2160 computations (21.6% saved)

simplify72.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4999	2396
1	4999	2396

prune209.0ms (1.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	128	0	128
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	128	7	135

Error

Counts

135 → 7

Compiler

Compiled 4174 to 2811 computations (32.7% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 1/60 (pow.f64 l 5))
0.1b	(.f64 J (.f64 (+.f64 (.f64 1/3 (pow.f64 l 3)) (+.f64 (.f64 1/60 (pow.f64 l 5)) (+.f64 l l))) (cos.f64 (*.f64 1/2 K))))
0.1b	(.f64 (+.f64 (.f64 1/3 (pow.f64 l 3)) (+.f64 (.f64 1/60 (pow.f64 l 5)) (+.f64 l l))) (cos.f64 (.f64 1/2 K)))
0.1b	(*.f64 1/3 (pow.f64 l 3))

rewrite215.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

28×	`add-sqr-sqrt_binary64_782`
23×	`associate-r_binary64_700`
21×	`add-exp-log_binary64_798`
15×	`add-cbrt-cube_binary64_796`
14×	`add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760`
12×	`associate-l_binary64_701`
11×	`pow1_binary64_821`
10×	`prod-exp_binary64_809`
8×	`unpow-prod-down_binary64_839` `unswap-sqr_binary64_728`
6×	`cbrt-unprod_binary64_793`
4×	`add-log-exp_binary64_799` `cube-prod_binary64_788` `sqr-pow_binary64_732` `-commutative_binary64_691` `pow-prod-down_binary64_831` `associate-l/_binary64_703`
2×	`pow-to-exp_binary64_829` `pow-exp_binary64_828` `flip3-+_binary64_763` `flip-+_binary64_734` `associate-*r/_binary64_702`
1×	`unpow3_binary64_826` `cube-mult_binary64_790`

Counts

4 → 96

Calls

4 calls:

16.0ms	(.f64 J (.f64 (+.f64 (.f64 1/3 (pow.f64 l 3)) (+.f64 (.f64 1/60 (pow.f64 l 5)) (+.f64 l l))) (cos.f64 (*.f64 1/2 K))))
15.0ms	(.f64 (+.f64 (.f64 1/3 (pow.f64 l 3)) (+.f64 (.f64 1/60 (pow.f64 l 5)) (+.f64 l l))) (cos.f64 (.f64 1/2 K)))
7.0ms	(*.f64 1/3 (pow.f64 l 3))
6.0ms	(*.f64 1/60 (pow.f64 l 5))

Compiler

Compiled 3335 to 2317 computations (30.5% saved)

series1.2s (10.1%)

Error

Counts

4 → 39

Calls

4 calls:

618.0ms	(.f64 J (.f64 (+.f64 (.f64 1/3 (pow.f64 l 3)) (+.f64 (.f64 1/60 (pow.f64 l 5)) (+.f64 l l))) (cos.f64 (*.f64 1/2 K))))
397.0ms	(.f64 (+.f64 (.f64 1/3 (pow.f64 l 3)) (+.f64 (.f64 1/60 (pow.f64 l 5)) (+.f64 l l))) (cos.f64 (.f64 1/2 K)))
43.0ms	(*.f64 1/60 (pow.f64 l 5))
33.0ms	(*.f64 1/3 (pow.f64 l 3))

Compiler

Compiled 3150 to 2544 computations (19.2% saved)

simplify61.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5147	3267

prune220.0ms (1.9%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	135	0	135
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	135	7	142

Error

Counts

142 → 7

Compiler

Compiled 4112 to 2809 computations (31.7% saved)

regimes958.0ms (8.4%)

Accuracy

Total 0.1b remaining (78.3%)

Threshold costs 0.1b (78.3%)

Compiler

Compiled 12793 to 10826 computations (15.4% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	17	20
1	17	20

end0.0ms (0%)

sample4.3s (37.3%)

Algorithm

1×

intervals

Results

692.0ms	1650×	body	1024	valid
512.0ms	1874×	body	1024	invalid
310.0ms	4421×	body	128	valid
280.0ms	1191×	body	512	valid
239.0ms	3371×	body	128	invalid
193.0ms	1002×	body	512	invalid
99.0ms	687×	body	256	valid
68.0ms	514×	body	256	invalid
31.0ms	51×	body	2048	valid

Compiler

Compiled 1294 to 1096 computations (15.3% saved)

Details

analyze654.0ms (5.7%)

sample102.0ms (0.9%)

simplify99.0ms (0.9%)

prune3.0ms (0%)

localize13.0ms (0.1%)

rewrite93.0ms (0.8%)

series405.0ms (3.5%)

simplify87.0ms (0.8%)

prune91.0ms (0.8%)

localize22.0ms (0.2%)

rewrite228.0ms (2%)

series1.1s (9.2%)

simplify61.0ms (0.5%)

prune230.0ms (2%)

localize22.0ms (0.2%)

rewrite203.0ms (1.8%)

series900.0ms (7.9%)

simplify72.0ms (0.6%)

prune209.0ms (1.8%)

localize19.0ms (0.2%)

rewrite215.0ms (1.9%)

series1.2s (10.1%)

simplify61.0ms (0.5%)

prune220.0ms (1.9%)

regimes958.0ms (8.4%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample4.3s (37.3%)

Profiling