Details

analyze950.0ms (7.2%)

Algorithm

1×

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

Compiler

Compiled 17 to 15 computations (11.8% saved)

sample56.0ms (0.4%)

Algorithm

1×

intervals

Results

18.0ms	195×	body	128	valid
9.0ms	26×	body	1024	valid
5.0ms	20×	body	512	valid
5.0ms	54×	body	128	invalid
3.0ms	15×	body	256	valid
2.0ms	6×	body	1024	invalid
1.0ms	4×	body	512	invalid
1.0ms	4×	body	256	invalid

Compiler

Compiled 33 to 32 computations (3% saved)

simplify263.0ms (2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (171.0ms)

Iter	Nodes	Cost
0	7278	24

prune5.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

26.2b

Counts

2 → 1

Compiler

Compiled 32 to 24 computations (25% saved)

localize12.0ms (0.1%)

Local error

Found 8 expressions with local error:

17.1b	(.f64 (.f64 c c) (.f64 x (.f64 x (*.f64 s s))))
7.3b	(.f64 x (.f64 s s))
3.5b	(.f64 x (.f64 x (*.f64 s s)))
0.8b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 c c) (.f64 x (.f64 x (.f64 s s)))))
0.8b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 c c) (.f64 x (.f64 x (.f64 s s)))))
3.5b	(.f64 x (.f64 x (*.f64 s s)))
7.3b	(.f64 x (.f64 s s))
17.1b	(.f64 (.f64 c c) (.f64 x (.f64 x (*.f64 s s))))

rewrite55.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

92×	`add-cbrt-cube_binary64_440` `add-exp-log_binary64_442`
57×	`prod-exp_binary64_453` `cbrt-unprod_binary64_437`
50×	`pow1_binary64_465`
33×	`pow-prod-down_binary64_475`
9×	`div-exp_binary64_455` `cbrt-undiv_binary64_438` `add-sqr-sqrt_binary64_426`
8×	`*-un-lft-identity_binary64_404` `add-cube-cbrt_binary64_439`
7×	`associate-l_binary64_345`
4×	`add-log-exp_binary64_443`
3×	`-commutative_binary64_335` `associate-r_binary64_344` `times-frac_binary64_410` `associate-/l_binary64_349`
1×	`frac-2neg_binary64_415` `cos-2_binary64_546` `div-inv_binary64_401` `associate-/r*_binary64_348` `unswap-sqr_binary64_372` `clear-num_binary64_403` `div-sub_binary64_409`

Counts

4 → 110

Calls

8 calls:

16.0ms	(.f64 (.f64 c c) (.f64 x (.f64 x (*.f64 s s))))
15.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 c c) (.f64 x (.f64 x (.f64 s s)))))
7.0ms	(.f64 x (.f64 x (*.f64 s s)))
6.0ms	(.f64 x (.f64 s s))
0.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 c c) (.f64 x (.f64 x (.f64 s s)))))

series664.0ms (5.1%)

Counts

4 → 31

Calls

4 calls:

345.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 c c) (.f64 x (.f64 x (.f64 s s)))))
183.0ms	(.f64 (.f64 c c) (.f64 x (.f64 x (*.f64 s s))))
77.0ms	(.f64 x (.f64 x (*.f64 s s)))
58.0ms	(.f64 x (.f64 s s))

Compiler

Compiled 1005 to 904 computations (10% saved)

simplify77.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

141 → 141

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4979	2408
1	4979	2408

prune185.0ms (1.4%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	129	12	141
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	130	12	142

Error

11.4b

Counts

142 → 12

Compiler

Compiled 2887 to 1241 computations (57% saved)

localize11.0ms (0.1%)

Local error

Found 6 expressions with local error:

17.1b	(.f64 (.f64 c c) (.f64 (fabs.f64 (.f64 x s)) (fabs.f64 (*.f64 x s))))
0.8b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 c c) (.f64 (fabs.f64 (.f64 x s)) (fabs.f64 (.f64 x s)))))
0.2b	(.f64 (fabs.f64 (.f64 x s)) (fabs.f64 (*.f64 x s)))
0.2b	(.f64 (fabs.f64 (.f64 x s)) (fabs.f64 (*.f64 x s)))
0.8b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 c c) (.f64 (fabs.f64 (.f64 x s)) (fabs.f64 (.f64 x s)))))
17.1b	(.f64 (.f64 c c) (.f64 (fabs.f64 (.f64 x s)) (fabs.f64 (*.f64 x s))))

rewrite32.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`pow1_binary64_465`
35×	`add-cbrt-cube_binary64_440` `add-exp-log_binary64_442`
17×	`prod-exp_binary64_453` `cbrt-unprod_binary64_437`
15×	`pow-prod-down_binary64_475`
11×	`add-sqr-sqrt_binary64_426`
9×	`*-un-lft-identity_binary64_404` `add-cube-cbrt_binary64_439`
5×	`div-exp_binary64_455` `pow-prod-up_binary64_474` `pow-plus_binary64_467` `cbrt-undiv_binary64_438`
4×	`associate-l_binary64_345` `associate-r_binary64_344`
3×	`pow-sqr_binary64_377` `times-frac_binary64_410` `add-log-exp_binary64_443` `swap-sqr_binary64_371` `associate-/l*_binary64_349` `pow2_binary64_485`
2×	`*-commutative_binary64_335` `unswap-sqr_binary64_372`
1×	`sqr-abs_binary64_419` `frac-2neg_binary64_415` `cos-2_binary64_546` `div-inv_binary64_401` `associate-/r*_binary64_348` `clear-num_binary64_403` `div-sub_binary64_409`

Counts

3 → 83

Calls

6 calls:

10.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 c c) (.f64 (fabs.f64 (.f64 x s)) (fabs.f64 (.f64 x s)))))
10.0ms	(.f64 (.f64 c c) (.f64 (fabs.f64 (.f64 x s)) (fabs.f64 (*.f64 x s))))
4.0ms	(.f64 (fabs.f64 (.f64 x s)) (fabs.f64 (*.f64 x s)))
0.0ms	(.f64 (fabs.f64 (.f64 x s)) (fabs.f64 (*.f64 x s)))
0.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 c c) (.f64 (fabs.f64 (.f64 x s)) (fabs.f64 (.f64 x s)))))

series626.0ms (4.8%)

Counts

3 → 25

Calls

3 calls:

418.0ms

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

157.0ms

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

51.0ms

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

Compiler

Compiled 777 to 701 computations (9.8% saved)

simplify71.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4974	1801
1	4974	1801

prune152.0ms (1.2%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	98	10	108
Fresh	7	4	11
Picked	1	0	1
Done	0	0	0
Total	106	14	120

Error

2.4b

Counts

120 → 14

Compiler

Compiled 2269 to 1148 computations (49.4% saved)

localize10.0ms (0.1%)

Local error

Found 6 expressions with local error:

4.2b	(.f64 c (fabs.f64 (.f64 x s)))
0.8b	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 c (fabs.f64 (*.f64 x s))) 2))
0.3b	(pow.f64 (.f64 c (fabs.f64 (.f64 x s))) 2)
0.3b	(pow.f64 (.f64 c (fabs.f64 (.f64 x s))) 2)
0.8b	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 c (fabs.f64 (*.f64 x s))) 2))
4.2b	(.f64 c (fabs.f64 (.f64 x s)))

rewrite22.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64_426`
18×	`times-frac_binary64_410`
17×	`*-un-lft-identity_binary64_404` `add-cube-cbrt_binary64_439`
16×	`add-exp-log_binary64_442`
8×	`pow1_binary64_465`
7×	`add-cbrt-cube_binary64_440`
6×	`associate-/r*_binary64_348`
5×	`unpow2_binary64_469` `sqr-pow_binary64_376` `unpow-prod-down_binary64_483`
4×	`div-exp_binary64_455` `pow-exp_binary64_472`
3×	`associate-l_binary64_345` `associate-r_binary64_344` `add-log-exp_binary64_443` `pow-unpow_binary64_481` `associate-/l*_binary64_349` `prod-exp_binary64_453`
2×	`pow-to-exp_binary64_473` `pow-prod-down_binary64_475` `pow-pow_binary64_476`
1×	`*-commutative_binary64_335` `frac-2neg_binary64_415` `cos-2_binary64_546` `div-inv_binary64_401` `unswap-sqr_binary64_372` `clear-num_binary64_403` `div-sub_binary64_409` `cbrt-undiv_binary64_438` `cbrt-unprod_binary64_437`

Counts

3 → 79

Calls

6 calls:

5.0ms	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 c (fabs.f64 (*.f64 x s))) 2))
4.0ms	(pow.f64 (.f64 c (fabs.f64 (.f64 x s))) 2)
4.0ms	(.f64 c (fabs.f64 (.f64 x s)))
0.0ms	(pow.f64 (.f64 c (fabs.f64 (.f64 x s))) 2)
0.0ms	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 c (fabs.f64 (*.f64 x s))) 2))

series595.0ms (4.5%)

Counts

3 → 28

Calls

3 calls:

400.0ms	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 c (fabs.f64 (*.f64 x s))) 2))
126.0ms	(pow.f64 (.f64 c (fabs.f64 (.f64 x s))) 2)
68.0ms	(.f64 c (fabs.f64 (.f64 x s)))

Compiler

Compiled 831 to 761 computations (8.4% saved)

simplify65.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5147	2125

prune170.0ms (1.3%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	95	12	107
Fresh	8	5	13
Picked	1	0	1
Done	0	0	0
Total	104	17	121

Error

1.9b

Counts

121 → 17

Compiler

Compiled 2349 to 1226 computations (47.8% saved)

localize10.0ms (0.1%)

Local error

Found 8 expressions with local error:

4.2b	(.f64 c (fabs.f64 (.f64 x s)))
4.2b	(.f64 c (fabs.f64 (.f64 x s)))
0.7b	(/.f64 (cos.f64 (.f64 x 2)) (.f64 c (fabs.f64 (*.f64 x s))))
0.2b	(/.f64 (/.f64 (cos.f64 (.f64 x 2)) (.f64 c (fabs.f64 (.f64 x s)))) (.f64 c (fabs.f64 (*.f64 x s))))
0.2b	(/.f64 (/.f64 (cos.f64 (.f64 x 2)) (.f64 c (fabs.f64 (.f64 x s)))) (.f64 c (fabs.f64 (*.f64 x s))))
0.7b	(/.f64 (cos.f64 (.f64 x 2)) (.f64 c (fabs.f64 (*.f64 x s))))
4.2b	(.f64 c (fabs.f64 (.f64 x s)))
4.2b	(.f64 c (fabs.f64 (.f64 x s)))

rewrite30.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

34×	`add-cbrt-cube_binary64_440` `add-exp-log_binary64_442`
18×	`add-sqr-sqrt_binary64_426`
16×	`times-frac_binary64_410`
14×	`*-un-lft-identity_binary64_404` `add-cube-cbrt_binary64_439`
12×	`div-exp_binary64_455` `cbrt-undiv_binary64_438`
10×	`associate-/l*_binary64_349`
8×	`pow1_binary64_465` `prod-exp_binary64_453` `cbrt-unprod_binary64_437`
6×	`associate-l_binary64_345` `associate-r_binary64_344`
4×	`div-inv_binary64_401` `add-log-exp_binary64_443`
2×	`pow-prod-down_binary64_475` `-commutative_binary64_335` `frac-2neg_binary64_415` `associate-/r_binary64_348` `unswap-sqr_binary64_372` `clear-num_binary64_403`
1×	`associate-/l/_binary64_351`

Counts

4 → 95

Calls

8 calls:

10.0ms	(/.f64 (/.f64 (cos.f64 (.f64 x 2)) (.f64 c (fabs.f64 (.f64 x s)))) (.f64 c (fabs.f64 (*.f64 x s))))
5.0ms	(/.f64 (cos.f64 (.f64 x 2)) (.f64 c (fabs.f64 (*.f64 x s))))
3.0ms	(.f64 c (fabs.f64 (.f64 x s)))
3.0ms	(.f64 c (fabs.f64 (.f64 x s)))
0.0ms	(/.f64 (/.f64 (cos.f64 (.f64 x 2)) (.f64 c (fabs.f64 (.f64 x s)))) (.f64 c (fabs.f64 (*.f64 x s))))

series779.0ms (5.9%)

Counts

4 → 40

Calls

4 calls:

402.0ms	(/.f64 (/.f64 (cos.f64 (.f64 x 2)) (.f64 c (fabs.f64 (.f64 x s)))) (.f64 c (fabs.f64 (*.f64 x s))))
237.0ms	(/.f64 (cos.f64 (.f64 x 2)) (.f64 c (fabs.f64 (*.f64 x s))))
70.0ms	(.f64 c (fabs.f64 (.f64 x s)))
69.0ms	(.f64 c (fabs.f64 (.f64 x s)))

Compiler

Compiled 1401 to 1105 computations (21.1% saved)

simplify77.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4985	2498
1	4985	2498

prune164.0ms (1.2%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	127	8	135
Fresh	9	7	16
Picked	1	0	1
Done	0	0	0
Total	137	15	152

Error

1.9b

Counts

152 → 15

Compiler

Compiled 2840 to 1065 computations (62.5% saved)

simplify36.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	443	2630
1	443	2630

regimes701.0ms (5.3%)

Accuracy

Total 0.4b remaining (15.2%)

Threshold costs 0.4b (15.2%)

Compiler

Compiled 8428 to 5915 computations (29.8% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	28
1	16	28

end0.0ms (0%)

sample7.3s (55.6%)

Algorithm

1×

intervals

Results

501.0ms	6152×	body	128	valid
318.0ms	925×	body	1024	valid
170.0ms	1895×	body	128	invalid
148.0ms	576×	body	512	valid
77.0ms	209×	body	1024	invalid
62.0ms	343×	body	256	valid
53.0ms	220×	body	512	invalid
25.0ms	155×	body	256	invalid
2.0ms	4×	body	2048	valid

Compiler

Compiled 5033 to 3501 computations (30.4% saved)

Pareto

0.5901371501633395

Details

analyze950.0ms (7.2%)

sample56.0ms (0.4%)

simplify263.0ms (2%)

prune5.0ms (0%)

localize12.0ms (0.1%)

rewrite55.0ms (0.4%)

series664.0ms (5.1%)

simplify77.0ms (0.6%)

prune185.0ms (1.4%)

localize11.0ms (0.1%)

rewrite32.0ms (0.2%)

series626.0ms (4.8%)

simplify71.0ms (0.5%)

prune152.0ms (1.2%)

localize10.0ms (0.1%)

rewrite22.0ms (0.2%)

series595.0ms (4.5%)

simplify65.0ms (0.5%)

prune170.0ms (1.3%)

localize10.0ms (0.1%)

rewrite30.0ms (0.2%)

series779.0ms (5.9%)

simplify77.0ms (0.6%)

prune164.0ms (1.2%)

simplify36.0ms (0.3%)

regimes701.0ms (5.3%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample7.3s (55.6%)

Profiling