Details

analyze662.0ms (7.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	4
50%	50%	0%	5
50%	50%	0%	6
50%	50%	0%	7
50%	50%	0%	8
50%	50%	0%	9
50%	50%	0%	10
50%	50%	0%	11
50%	50%	0%	12
50%	50%	0%	13
50%	49.9%	0.1%	14

Compiler

Compiled 11 to 9 computations (18.2% saved)

sample202.0ms (2.4%)

Algorithm

1×

intervals

Results

87.0ms	52×	body	8192	exit
56.0ms	127×	body	1024	valid
17.0ms	64×	body	1024	nan
15.0ms	65×	body	512	valid
5.0ms	32×	body	256	valid
4.0ms	23×	body	512	nan
3.0ms	24×	body	256	nan
2.0ms	30×	body	128	valid
1.0ms	17×	body	128	nan
1.0ms	2×	body	2048	valid

Compiler

Compiled 21 to 18 computations (14.3% saved)

simplify208.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (114.0ms)

Iter	Nodes	Cost
0	4785	15
1	4785	15

prune7.0ms (0.1%)

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

58.8b

Counts

2 → 2

Compiler

Compiled 28 to 20 computations (28.6% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
0.0b	(sqrt.f64 (cos.f64 x))
3.2b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64_782`
12×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
9×	`times-frac_binary64_766`
5×	`add-cbrt-cube_binary64_796`
4×	`add-exp-log_binary64_798` `pow1_binary64_821`
3×	`sqrt-prod_binary64_776` `associate-/r_binary64_704` `add-log-exp_binary64_799` `associate-/l_binary64_705`
1×	`rem-sqrt-square_binary64_773` `frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `sqrt-pow1_binary64_778` `div-inv_binary64_757` `pow1/2_binary64_840` `div-exp_binary64_811` `clear-num_binary64_759`

Counts

3 → 47

Calls

3 calls:

4.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
1.0ms	(sqrt.f64 (cos.f64 x))
1.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series56.0ms (0.7%)

Counts

3 → 9

Calls

3 calls:

35.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
13.0ms	(sqrt.f64 (cos.f64 x))
7.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

simplify79.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4909	953
1	4909	953

prune45.0ms (0.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	53	3	56
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	55	3	58

Error

58.8b

Counts

58 → 3

Compiler

Compiled 865 to 187 computations (78.4% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
0.0b	(sqrt.f64 (cos.f64 x))
1.4b	(log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))
3.2b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite16.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64_782`
23×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
21×	`times-frac_binary64_766`
20×	`log-pow_binary64_849`
15×	`exp-prod_binary64_812`
10×	`pow1_binary64_821`
7×	`associate-/l*_binary64_705`
6×	`add-cbrt-cube_binary64_796`
5×	`add-exp-log_binary64_798`
4×	`add-log-exp_binary64_799`
3×	`sqrt-prod_binary64_776` `associate-/r*_binary64_704` `log-prod_binary64_846`
1×	`rem-sqrt-square_binary64_773` `frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `sqrt-pow1_binary64_778` `div-inv_binary64_757` `rem-log-exp_binary64_801` `pow1/2_binary64_840` `div-exp_binary64_811` `clear-num_binary64_759`

Counts

4 → 78

Calls

4 calls:

6.0ms	(/.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
2.0ms	(log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))
1.0ms	(sqrt.f64 (cos.f64 x))
1.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series237.0ms (2.8%)

Counts

4 → 12

Calls

4 calls:

111.0ms	(/.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
105.0ms	(log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))
14.0ms	(sqrt.f64 (cos.f64 x))
7.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

simplify77.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5711	1688

prune58.0ms (0.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

58.8b

Counts

93 → 3

Compiler

Compiled 1499 to 284 computations (81.1% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (cos.f64 x))
0.0b	(sqrt.f64 (cos.f64 x))
3.2b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
3.2b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite7.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64_782`
6×	`*-un-lft-identity_binary64_760` `sqrt-prod_binary64_776` `add-cube-cbrt_binary64_795` `pow1_binary64_821`
4×	`add-exp-log_binary64_798` `add-log-exp_binary64_799` `add-cbrt-cube_binary64_796`
2×	`rem-sqrt-square_binary64_773` `sqrt-pow1_binary64_778` `pow1/2_binary64_840`

Counts

4 → 40

Calls

4 calls:

1.0ms	(sqrt.f64 (cos.f64 x))
1.0ms	(sqrt.f64 (cos.f64 x))
1.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
0.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series41.0ms (0.5%)

Counts

4 → 12

Calls

4 calls:

15.0ms	(sqrt.f64 (cos.f64 x))
13.0ms	(sqrt.f64 (cos.f64 x))
7.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
6.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

simplify78.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	5070	504

prune49.0ms (0.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	50	2	52
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	51	4	55

Error

58.8b

Counts

55 → 4

Compiler

Compiled 1180 to 232 computations (80.3% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(exp.f64 (sqrt.f64 (cos.f64 x)))
0.1b	(log.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
3.2b	(fmod.f64 (exp.f64 x) (log.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))
3.2b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite10.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`exp-prod_binary64_812`
9×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
7×	`log-pow_binary64_849`
6×	`sqrt-prod_binary64_776`
5×	`add-log-exp_binary64_799` `pow1_binary64_821`
4×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
3×	`log-prod_binary64_846`
1×	`rem-exp-log_binary64_800` `rem-log-exp_binary64_801`

Counts

4 → 46

Calls

4 calls:

3.0ms	(log.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
2.0ms	(exp.f64 (sqrt.f64 (cos.f64 x)))
1.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
0.0ms	(fmod.f64 (exp.f64 x) (log.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))

series123.0ms (1.4%)

Counts

4 → 12

Calls

4 calls:

77.0ms	(log.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
32.0ms	(exp.f64 (sqrt.f64 (cos.f64 x)))
8.0ms	(fmod.f64 (exp.f64 x) (log.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))
7.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

simplify110.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 0 (99.0ms)

Iter	Nodes	Cost
0	4847	596
1	4847	596

prune51.0ms (0.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	56	2	58
Fresh	1	1	2
Picked	1	0	1
Done	0	1	1
Total	58	4	62

Error

58.7b

Counts

62 → 4

Compiler

Compiled 1347 to 234 computations (82.6% saved)

regimes57.0ms (0.7%)

Accuracy

Total 0.0b remaining (0.1%)

Threshold costs 0.0b (0.1%)

Compiler

Compiled 562 to 324 computations (42.3% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	17	40
1	17	40

end0.0ms (0%)

sample6.3s (74%)

Algorithm

1×

intervals

Results

2.8s	1621×	body	8192	exit
1.5s	3948×	body	1024	valid
450.0ms	1941×	body	512	valid
426.0ms	1531×	body	1024	nan
162.0ms	1031×	body	256	valid
146.0ms	780×	body	512	nan
92.0ms	149×	body	2048	valid
86.0ms	931×	body	128	valid
53.0ms	417×	body	256	nan
33.0ms	400×	body	128	nan

Compiler

Compiled 304 to 178 computations (41.4% saved)

Details

analyze662.0ms (7.7%)

sample202.0ms (2.4%)

simplify208.0ms (2.4%)

prune7.0ms (0.1%)

localize8.0ms (0.1%)

rewrite9.0ms (0.1%)

series56.0ms (0.7%)

simplify79.0ms (0.9%)

prune45.0ms (0.5%)

localize10.0ms (0.1%)

rewrite16.0ms (0.2%)

series237.0ms (2.8%)

simplify77.0ms (0.9%)

prune58.0ms (0.7%)

localize11.0ms (0.1%)

rewrite7.0ms (0.1%)

series41.0ms (0.5%)

simplify78.0ms (0.9%)

prune49.0ms (0.6%)

localize16.0ms (0.2%)

rewrite10.0ms (0.1%)

series123.0ms (1.4%)

simplify110.0ms (1.3%)

prune51.0ms (0.6%)

regimes57.0ms (0.7%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample6.3s (74%)

Profiling