Details

analyze1.6s (10.4%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5083	96
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
18.7%	81.1%	0.1%	8
26.5%	72.9%	0.5%	9
38.2%	60.7%	1.1%	10
41.7%	54.9%	3.4%	11
47.6%	47.4%	5%	12
53.4%	39.4%	7.2%	13
54.9%	34.5%	10.6%	14

Symmetry

(sort c s)

Compiler

Compiled 17 to 15 computations (11.8% saved)

sample94.0ms (0.6%)

Algorithm

1×

intervals

Results

19.0ms	188×	body	128	valid
13.0ms	31×	body	1024	valid
8.0ms	24×	body	512	valid
8.0ms	67×	body	128	invalid
3.0ms	8×	body	512	invalid
3.0ms	13×	body	256	valid
3.0ms	7×	body	1024	invalid
1.0ms	6×	body	256	invalid

Compiler

Compiled 33 to 32 computations (3% saved)

simplify271.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (264.0ms)

Iter	Nodes	Cost
0	7278	24

prune5.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

28.8b

Counts

2 → 1

Compiler

Compiled 32 to 26 computations (18.8% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.9b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
3.0b	(.f64 (.f64 x (pow.f64 s 2)) x)
7.9b	(*.f64 x (pow.f64 s 2))
19.8b	(.f64 (pow.f64 c 2) (.f64 (*.f64 x (pow.f64 s 2)) x))

rewrite321.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

13.9b

Rules

122×	`add-exp-log_binary64_457`
82×	`prod-exp_binary64_468`
34×	`add-cbrt-cube_binary64_455`
18×	`pow-to-exp_binary64_488` `pow-exp_binary64_487` `add-sqr-sqrt_binary64_441`
16×	`cbrt-unprod_binary64_452` `div-exp_binary64_470`
12×	`add-cube-cbrt_binary64_454` `-un-lft-identity_binary64_419` `associate-l_binary64_360` `associate-r*_binary64_359`
7×	`unpow-prod-down_binary64_498`
6×	`pow1_binary64_480`
4×	`add-log-exp_binary64_458` `unswap-sqr_binary64_387` `cbrt-undiv_binary64_453`
3×	`unpow2_binary64_484` `sqr-pow_binary64_391` `-commutative_binary64_350` `times-frac_binary64_425` `associate-/l_binary64_364`
1×	`pow-prod-down_binary64_490` `frac-2neg_binary64_430` `cos-2_binary64_561` `div-sub_binary64_424` `clear-num_binary64_418` `div-inv_binary64_416` `associate-/r*_binary64_363`

Counts

4 → 119

Calls

4 calls:

29.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
10.0ms	(.f64 (pow.f64 c 2) (.f64 (*.f64 x (pow.f64 s 2)) x))
8.0ms	(.f64 (.f64 x (pow.f64 s 2)) x)
6.0ms	(*.f64 x (pow.f64 s 2))

Compiler

Compiled 2836 to 1920 computations (32.3% saved)

series838.0ms (5.3%)

Error

28.2b

Counts

4 → 33

Calls

4 calls:

434.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
199.0ms	(.f64 (pow.f64 c 2) (.f64 (*.f64 x (pow.f64 s 2)) x))
95.0ms	(.f64 (.f64 x (pow.f64 s 2)) x)
63.0ms	(*.f64 x (pow.f64 s 2))

Compiler

Compiled 1652 to 1421 computations (14% saved)

simplify110.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	5011	2688

prune199.0ms (1.3%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	140	12	152
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	141	12	153

Error

12.9b

Counts

153 → 12

Compiler

Compiled 3163 to 1510 computations (52.3% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.2b

(*.f64 (fabs.f64 (*.f64 s x)) (fabs.f64 (*.f64 s x)))

0.9b

(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (fabs.f64 (*.f64 s x)) (fabs.f64 (*.f64 s x)))))

19.8b

(*.f64 (pow.f64 c 2) (*.f64 (fabs.f64 (*.f64 s x)) (fabs.f64 (*.f64 s x))))

rewrite343.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

2.1b

Rules

39×	`add-exp-log_binary64_457`
19×	`prod-exp_binary64_468` `add-cbrt-cube_binary64_455`
15×	`add-sqr-sqrt_binary64_441`
11×	`add-cube-cbrt_binary64_454` `-un-lft-identity_binary64_419` `associate-l*_binary64_360`
10×	`pow1_binary64_480`
7×	`cbrt-unprod_binary64_452` `div-exp_binary64_470`
5×	`unswap-sqr_binary64_387`
4×	`pow-to-exp_binary64_488` `pow-exp_binary64_487` `unpow-prod-down_binary64_498` `associate-r_binary64_359`
3×	`add-log-exp_binary64_458` `cbrt-undiv_binary64_453` `times-frac_binary64_425` `associate-/l*_binary64_364` `swap-sqr_binary64_386`
2×	`pow2_binary64_500` `pow-prod-down_binary64_490` `unpow2_binary64_484` `sqr-pow_binary64_391` `*-commutative_binary64_350`
1×	`frac-2neg_binary64_430` `cos-2_binary64_561` `div-sub_binary64_424` `clear-num_binary64_418` `div-inv_binary64_416` `associate-/r*_binary64_363` `pow-prod-up_binary64_489` `pow-plus_binary64_482` `sqr-abs_binary64_434` `pow-sqr_binary64_392`

Counts

3 → 84

Calls

3 calls:

9.0ms

(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (fabs.f64 (*.f64 s x)) (fabs.f64 (*.f64 s x)))))

7.0ms

(*.f64 (pow.f64 c 2) (*.f64 (fabs.f64 (*.f64 s x)) (fabs.f64 (*.f64 s x))))

4.0ms

(*.f64 (fabs.f64 (*.f64 s x)) (fabs.f64 (*.f64 s x)))

Compiler

Compiled 2247 to 934 computations (58.4% saved)

series757.0ms (4.8%)

Error

12.9b

Counts

3 → 27

Calls

3 calls:

488.0ms

(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (fabs.f64 (*.f64 s x)) (fabs.f64 (*.f64 s x)))))

174.0ms

(*.f64 (pow.f64 c 2) (*.f64 (fabs.f64 (*.f64 s x)) (fabs.f64 (*.f64 s x))))

66.0ms

(*.f64 (fabs.f64 (*.f64 s x)) (fabs.f64 (*.f64 s x)))

Compiler

Compiled 1335 to 1064 computations (20.3% saved)

simplify85.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4976	2016
1	4976	2016

prune154.0ms (1%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	102	9	111
Fresh	6	5	11
Picked	1	0	1
Done	0	0	0
Total	109	14	123

Error

2.1b

Counts

123 → 14

Compiler

Compiled 2378 to 1281 computations (46.1% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.3b	(pow.f64 (.f64 (fabs.f64 (.f64 s x)) c) 2)
0.9b	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 (fabs.f64 (*.f64 s x)) c) 2))
5.0b	(.f64 (fabs.f64 (.f64 s x)) c)

rewrite139.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

1.9b

Rules

19×	`add-sqr-sqrt_binary64_441`
18×	`times-frac_binary64_425`
17×	`add-cube-cbrt_binary64_454` `*-un-lft-identity_binary64_419`
16×	`add-exp-log_binary64_457`
8×	`pow1_binary64_480`
7×	`add-cbrt-cube_binary64_455`
6×	`associate-/r*_binary64_363`
5×	`unpow-prod-down_binary64_498` `unpow2_binary64_484` `sqr-pow_binary64_391`
4×	`div-exp_binary64_470` `pow-exp_binary64_487`
3×	`prod-exp_binary64_468` `add-log-exp_binary64_458` `associate-l_binary64_360` `associate-r_binary64_359` `associate-/l*_binary64_364` `pow-unpow_binary64_496`
2×	`pow-prod-down_binary64_490` `pow-to-exp_binary64_488` `pow-pow_binary64_491`
1×	`cbrt-unprod_binary64_452` `unswap-sqr_binary64_387` `*-commutative_binary64_350` `cbrt-undiv_binary64_453` `frac-2neg_binary64_430` `cos-2_binary64_561` `div-sub_binary64_424` `clear-num_binary64_418` `div-inv_binary64_416`

Counts

3 → 79

Calls

3 calls:

9.0ms	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 (fabs.f64 (*.f64 s x)) c) 2))
4.0ms	(.f64 (fabs.f64 (.f64 s x)) c)
3.0ms	(pow.f64 (.f64 (fabs.f64 (.f64 s x)) c) 2)

Compiler

Compiled 1763 to 904 computations (48.7% saved)

series763.0ms (4.8%)

Error

2.1b

Counts

3 → 30

Calls

3 calls:

506.0ms	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 (fabs.f64 (*.f64 s x)) c) 2))
133.0ms	(pow.f64 (.f64 (fabs.f64 (.f64 s x)) c) 2)
75.0ms	(.f64 (fabs.f64 (.f64 s x)) c)

Compiler

Compiled 1416 to 1113 computations (21.4% saved)

simplify61.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5786	2254

prune149.0ms (0.9%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	99	10	109
Fresh	7	6	13
Picked	1	0	1
Done	0	0	0
Total	107	16	123

Error

1.9b

Counts

123 → 16

Compiler

Compiled 2359 to 1244 computations (47.3% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (/.f64 (cos.f64 (.f64 x 2)) (.f64 (fabs.f64 (.f64 s x)) c)) (.f64 (fabs.f64 (*.f64 s x)) c))
0.9b	(/.f64 (cos.f64 (.f64 x 2)) (.f64 (fabs.f64 (*.f64 s x)) c))
5.0b	(.f64 (fabs.f64 (.f64 s x)) c)
5.0b	(.f64 (fabs.f64 (.f64 s x)) c)

rewrite161.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

1.8b

Rules

34×	`add-exp-log_binary64_457` `add-cbrt-cube_binary64_455`
18×	`add-sqr-sqrt_binary64_441`
16×	`times-frac_binary64_425`
14×	`add-cube-cbrt_binary64_454` `*-un-lft-identity_binary64_419`
12×	`div-exp_binary64_470` `cbrt-undiv_binary64_453`
10×	`associate-/l*_binary64_364`
8×	`pow1_binary64_480` `prod-exp_binary64_468` `cbrt-unprod_binary64_452`
6×	`associate-l_binary64_360` `associate-r_binary64_359`
4×	`add-log-exp_binary64_458` `div-inv_binary64_416`
2×	`pow-prod-down_binary64_490` `unswap-sqr_binary64_387` `-commutative_binary64_350` `frac-2neg_binary64_430` `clear-num_binary64_418` `associate-/r_binary64_363`
1×	`associate-/l/_binary64_366`

Counts

4 → 95

Calls

4 calls:

7.0ms	(/.f64 (/.f64 (cos.f64 (.f64 x 2)) (.f64 (fabs.f64 (.f64 s x)) c)) (.f64 (fabs.f64 (*.f64 s x)) c))
6.0ms	(.f64 (fabs.f64 (.f64 s x)) c)
5.0ms	(/.f64 (cos.f64 (.f64 x 2)) (.f64 (fabs.f64 (*.f64 s x)) c))
4.0ms	(.f64 (fabs.f64 (.f64 s x)) c)

Compiler

Compiled 2631 to 869 computations (67% saved)

series1.1s (6.8%)

Error

1.9b

Counts

4 → 42

Calls

4 calls:

611.0ms	(/.f64 (/.f64 (cos.f64 (.f64 x 2)) (.f64 (fabs.f64 (.f64 s x)) c)) (.f64 (fabs.f64 (*.f64 s x)) c))
281.0ms	(/.f64 (cos.f64 (.f64 x 2)) (.f64 (fabs.f64 (*.f64 s x)) c))
76.0ms	(.f64 (fabs.f64 (.f64 s x)) c)
71.0ms	(.f64 (fabs.f64 (.f64 s x)) c)

Compiler

Compiled 2340 to 1332 computations (43.1% saved)

simplify70.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5170	2756

prune160.0ms (1%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	130	7	137
Fresh	8	7	15
Picked	1	0	1
Done	0	0	0
Total	139	14	153

Error

1.8b

Counts

153 → 14

Compiler

Compiled 3010 to 1132 computations (62.4% saved)

regimes2.3s (14.6%)

Accuracy

Total 0.9b remaining (35.7%)

Threshold costs 0.9b (35.7%)

Compiler

Compiled 24422 to 18036 computations (26.1% saved)

bsearch0.0ms (0%)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	28
1	15	28

Remove

(sort c s)

Compiler

Compiled 36 to 22 computations (38.9% saved)

end0.0ms (0%)

sample6.1s (38.3%)

Algorithm

1×

intervals

Results

586.0ms	6067×	body	128	valid
426.0ms	1021×	body	1024	valid
201.0ms	1850×	body	128	invalid
182.0ms	601×	body	512	valid
77.0ms	190×	body	1024	invalid
68.0ms	308×	body	256	valid
66.0ms	232×	body	512	invalid
34.0ms	175×	body	256	invalid
2.0ms	3×	body	2048	valid

Compiler

Compiled 3734 to 2733 computations (26.8% saved)

Details

analyze1.6s (10.4%)

sample94.0ms (0.6%)

simplify271.0ms (1.7%)

prune5.0ms (0%)

localize13.0ms (0.1%)

rewrite321.0ms (2%)

series838.0ms (5.3%)

simplify110.0ms (0.7%)

prune199.0ms (1.3%)

localize11.0ms (0.1%)

rewrite343.0ms (2.2%)

series757.0ms (4.8%)

simplify85.0ms (0.5%)

prune154.0ms (1%)

localize10.0ms (0.1%)

rewrite139.0ms (0.9%)

series763.0ms (4.8%)

simplify61.0ms (0.4%)

prune149.0ms (0.9%)

localize10.0ms (0.1%)

rewrite161.0ms (1%)

series1.1s (6.8%)

simplify70.0ms (0.4%)

prune160.0ms (1%)

regimes2.3s (14.6%)

bsearch0.0ms (0%)

simplify9.0ms (0.1%)

end0.0ms (0%)

sample6.1s (38.3%)

Profiling