Details

analyze656.0ms (5.9%)

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)

sample278.0ms (2.5%)

Algorithm

1×

intervals

Results

168.0ms	62×	body	8192	exit
49.0ms	117×	body	1024	valid
17.0ms	71×	body	512	valid
13.0ms	45×	body	1024	nan
7.0ms	42×	body	256	valid
4.0ms	20×	body	512	nan
3.0ms	6×	body	2048	valid
2.0ms	14×	body	256	nan
2.0ms	20×	body	128	valid
1.0ms	15×	body	128	nan

Compiler

Compiled 21 to 18 computations (14.3% saved)

simplify253.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4667	15
1	4667	15

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

Merged error: 59.7b

Counts

2 → 1

Compiler

Compiled 37 to 26 computations (29.7% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite10.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64_789`
12×	`*-un-lft-identity_binary64_767` `add-cube-cbrt_binary64_802`
9×	`times-frac_binary64_773`
5×	`add-cbrt-cube_binary64_803`
4×	`add-exp-log_binary64_805` `pow1_binary64_828`
3×	`associate-/r_binary64_711` `add-log-exp_binary64_806` `associate-/l_binary64_712` `sqrt-prod_binary64_783`
1×	`frac-2neg_binary64_778` `rem-sqrt-square_binary64_780` `cbrt-undiv_binary64_801` `pow1/2_binary64_847` `div-exp_binary64_818` `sqrt-pow1_binary64_785` `clear-num_binary64_766` `div-inv_binary64_764`

Counts

3 → 47

Calls

3 calls:

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

series99.0ms (0.9%)

Counts

3 → 9

Calls

3 calls:

60.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
27.0ms	(sqrt.f64 (cos.f64 x))
12.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

simplify67.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4787	953
1	4787	953

prune81.0ms (0.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	51	5	56
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	52	5	57

Merged error: 59.7b

Counts

57 → 5

Compiler

Compiled 1312 to 471 computations (64.1% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(exp.f64 (-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x))
1.2b	(-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x)
1.3b	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
3.1b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite18.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`*-un-lft-identity_binary64_767`
14×	`add-sqr-sqrt_binary64_789`
10×	`add-cube-cbrt_binary64_802`
9×	`log-prod_binary64_853`
7×	`pow1_binary64_828` `add-log-exp_binary64_806` `exp-sum_binary64_813`
6×	`exp-prod_binary64_819` `cancel-sign-sub-inv_binary64_733` `associate--l+_binary64_704`
5×	`add-exp-log_binary64_805`
4×	`distribute-lft-out--_binary64_719` `add-cbrt-cube_binary64_803`
3×	`log-pow_binary64_856`
2×	`sub-neg_binary64_760` `diff-log_binary64_859` `rem-exp-log_binary64_807` `difference-of-squares_binary64_736`
1×	`exp-diff_binary64_815` `rem-log-exp_binary64_808` `flip--_binary64_742` `flip3--_binary64_771`

Counts

4 → 62

Calls

4 calls:

6.0ms	(exp.f64 (-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x))
5.0ms	(-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x)
1.0ms	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
1.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series337.0ms (3%)

Counts

4 → 12

Calls

4 calls:

160.0ms	(-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x)
130.0ms	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
35.0ms	(exp.f64 (-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x))
11.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

simplify73.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5005	1206

prune57.0ms (0.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	73	1	74
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	73	6	79

Merged error: 59.7b

Counts

79 → 6

Compiler

Compiled 1254 to 290 computations (76.9% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (cos.f64 x))
0.1b	(log.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
0.3b	(/.f64 (fmod.f64 (exp.f64 x) (log.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
3.1b	(fmod.f64 (exp.f64 x) (log.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))

rewrite14.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-sqr-sqrt_binary64_789`
16×	`*-un-lft-identity_binary64_767` `add-cube-cbrt_binary64_802`
9×	`times-frac_binary64_773`
7×	`log-pow_binary64_856`
6×	`exp-prod_binary64_819` `pow1_binary64_828` `sqrt-prod_binary64_783` `add-cbrt-cube_binary64_803`
5×	`add-exp-log_binary64_805`
4×	`add-log-exp_binary64_806`
3×	`associate-/r_binary64_711` `associate-/l_binary64_712` `log-prod_binary64_853`
1×	`frac-2neg_binary64_778` `rem-sqrt-square_binary64_780` `cbrt-undiv_binary64_801` `pow1/2_binary64_847` `rem-log-exp_binary64_808` `div-exp_binary64_818` `sqrt-pow1_binary64_785` `clear-num_binary64_766` `div-inv_binary64_764`

Counts

4 → 65

Calls

4 calls:

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

series243.0ms (2.2%)

Counts

4 → 12

Calls

4 calls:

145.0ms	(log.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
62.0ms	(/.f64 (fmod.f64 (exp.f64 x) (log.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
22.0ms	(sqrt.f64 (cos.f64 x))
13.0ms	(fmod.f64 (exp.f64 x) (log.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))

simplify101.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	4799	1140
1	4799	1140

prune96.0ms (0.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	75	2	77
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	76	7	83

Merged error: 40.4b

Counts

83 → 7

Compiler

Compiled 1721 to 590 computations (65.7% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 (fmod.f64 (exp.f64 x) (+.f64 (*.f64 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))) 2) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
1.3b	(cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
1.3b	(cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
47.2b	(fmod.f64 (exp.f64 x) (+.f64 (*.f64 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))) 2) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))))

rewrite16.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_789` `*-un-lft-identity_binary64_767` `add-cube-cbrt_binary64_802`
9×	`times-frac_binary64_773`
6×	`cbrt-prod_binary64_798` `add-cbrt-cube_binary64_803`
5×	`add-exp-log_binary64_805`
4×	`pow1_binary64_828` `add-log-exp_binary64_806`
3×	`associate-/r_binary64_711` `associate-/l_binary64_712`
2×	`pow1/3_binary64_849`
1×	`frac-2neg_binary64_778` `cbrt-undiv_binary64_801` `div-exp_binary64_818` `clear-num_binary64_766` `div-inv_binary64_764`

Counts

4 → 56

Calls

4 calls:

4.0ms	(/.f64 (fmod.f64 (exp.f64 x) (+.f64 (*.f64 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))) 2) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
3.0ms	(cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
3.0ms	(cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
1.0ms	(fmod.f64 (exp.f64 x) (+.f64 (*.f64 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))) 2) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))))

series588.0ms (5.3%)

Counts

4 → 12

Calls

4 calls:

247.0ms	(cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
243.0ms	(cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
78.0ms	(/.f64 (fmod.f64 (exp.f64 x) (+.f64 (*.f64 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))) 2) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
19.0ms	(fmod.f64 (exp.f64 x) (+.f64 (*.f64 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))) 2) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))))

simplify72.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4790	1194
1	4790	1194

prune56.0ms (0.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	68	0	68
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	68	7	75

Merged error: 40.4b

Counts

75 → 7

Compiler

Compiled 1434 to 366 computations (74.5% saved)

regimes19.0ms (0.2%)

Compiler: Compiled 117 to 71 computations (39.3% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	37
1	15	37

end0.0ms (0%)

sample7.9s (71.4%)

Algorithm

1×

intervals

Results

4.3s	1581×	body	8192	exit
1.7s	3998×	body	1024	valid
510.0ms	2028×	body	512	valid
482.0ms	1525×	body	1024	nan
165.0ms	823×	body	512	nan
154.0ms	965×	body	256	valid
98.0ms	165×	body	2048	valid
77.0ms	844×	body	128	valid
56.0ms	427×	body	256	nan
34.0ms	433×	body	128	nan

Compiler

Compiled 147 to 91 computations (38.1% saved)

Details

analyze656.0ms (5.9%)

sample278.0ms (2.5%)

simplify253.0ms (2.3%)

prune5.0ms (0%)

localize7.0ms (0.1%)

rewrite10.0ms (0.1%)

series99.0ms (0.9%)

simplify67.0ms (0.6%)

prune81.0ms (0.7%)

localize9.0ms (0.1%)

rewrite18.0ms (0.2%)

series337.0ms (3%)

simplify73.0ms (0.7%)

prune57.0ms (0.5%)

localize13.0ms (0.1%)

rewrite14.0ms (0.1%)

series243.0ms (2.2%)

simplify101.0ms (0.9%)

prune96.0ms (0.9%)

localize18.0ms (0.2%)

rewrite16.0ms (0.1%)

series588.0ms (5.3%)

simplify72.0ms (0.6%)

prune56.0ms (0.5%)

regimes19.0ms (0.2%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample7.9s (71.4%)

Profiling