Details

analyze665.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)

sample279.0ms (2.5%)

Algorithm

1×

intervals

Results

169.0ms	62×	body	8192	exit
49.0ms	117×	body	1024	valid
17.0ms	71×	body	512	valid
14.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)

simplify239.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	4667	15
1	4667	15

prune3.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 18 to 12 computations (33.3% saved)

localize8.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_772`
12×	`add-cube-cbrt_binary64_783` `*-un-lft-identity_binary64_751`
9×	`times-frac_binary64_757`
5×	`add-cbrt-cube_binary64_784`
4×	`pow1_binary64_809` `add-exp-log_binary64_786`
3×	`associate-/r_binary64_697` `add-log-exp_binary64_787` `sqrt-prod_binary64_766` `associate-/l_binary64_698`
1×	`rem-sqrt-square_binary64_764` `pow1/2_binary64_828` `div-inv_binary64_748` `cbrt-undiv_binary64_782` `frac-2neg_binary64_762` `clear-num_binary64_750` `sqrt-pow1_binary64_768` `div-exp_binary64_799`

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)))

series97.0ms (0.9%)

Counts

3 → 9

Calls

3 calls:

59.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
26.0ms	(sqrt.f64 (cos.f64 x))
12.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

simplify90.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	4794	953
1	4794	953

prune48.0ms (0.4%)

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 880 to 204 computations (76.8% 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

14×	`*-un-lft-identity_binary64_751`
12×	`add-sqr-sqrt_binary64_772`
9×	`log-prod_binary64_834`
8×	`add-cube-cbrt_binary64_783`
7×	`pow1_binary64_809` `add-log-exp_binary64_787`
6×	`exp-prod_binary64_800` `associate--l+_binary64_690`
5×	`add-exp-log_binary64_786`
4×	`distribute-lft-out--_binary64_705` `add-cbrt-cube_binary64_784` `exp-sum_binary64_794`
3×	`log-pow_binary64_837`
2×	`diff-log_binary64_840` `rem-exp-log_binary64_788` `sub-neg_binary64_744` `difference-of-squares_binary64_720`
1×	`rem-log-exp_binary64_789` `flip--_binary64_726` `exp-diff_binary64_796` `flip3--_binary64_755`

Counts

4 → 56

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)))

series374.0ms (3.3%)

Counts

4 → 12

Calls

4 calls:

190.0ms	(-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x)
138.0ms	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
36.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)))

simplify109.0ms (1%)

Algorithm

1×	egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (93.0ms)

Iter	Nodes	Cost
0	4820	1152
1	4820	1152

prune51.0ms (0.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	67	1	68
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	67	6	73

Merged error: 59.7b

Counts

73 → 6

Compiler

Compiled 1106 to 237 computations (78.6% saved)

localize10.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_772`
16×	`add-cube-cbrt_binary64_783` `*-un-lft-identity_binary64_751`
9×	`times-frac_binary64_757`
7×	`log-pow_binary64_837`
6×	`exp-prod_binary64_800` `pow1_binary64_809` `add-cbrt-cube_binary64_784` `sqrt-prod_binary64_766`
5×	`add-exp-log_binary64_786`
4×	`add-log-exp_binary64_787`
3×	`associate-/r_binary64_697` `log-prod_binary64_834` `associate-/l_binary64_698`
1×	`rem-log-exp_binary64_789` `rem-sqrt-square_binary64_764` `pow1/2_binary64_828` `div-inv_binary64_748` `cbrt-undiv_binary64_782` `frac-2neg_binary64_762` `clear-num_binary64_750` `sqrt-pow1_binary64_768` `div-exp_binary64_799`

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)))))

series239.0ms (2.1%)

Counts

4 → 12

Calls

4 calls:

142.0ms	(log.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
60.0ms	(/.f64 (fmod.f64 (exp.f64 x) (log.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
24.0ms	(sqrt.f64 (cos.f64 x))
12.0ms	(fmod.f64 (exp.f64 x) (log.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))

simplify93.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	4803	1140
1	4803	1140

prune66.0ms (0.6%)

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 1269 to 320 computations (74.8% saved)

localize14.0ms (0.1%)

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)))))))

rewrite18.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-cube-cbrt_binary64_783` `*-un-lft-identity_binary64_751` `add-sqr-sqrt_binary64_772`
9×	`times-frac_binary64_757`
6×	`cbrt-prod_binary64_779` `add-cbrt-cube_binary64_784`
5×	`add-exp-log_binary64_786`
4×	`pow1_binary64_809` `add-log-exp_binary64_787`
3×	`associate-/r_binary64_697` `associate-/l_binary64_698`
2×	`pow1/3_binary64_830`
1×	`div-inv_binary64_748` `cbrt-undiv_binary64_782` `frac-2neg_binary64_762` `clear-num_binary64_750` `div-exp_binary64_799`

Counts

4 → 56

Calls

4 calls:

6.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)))))))

series607.0ms (5.4%)

Counts

4 → 12

Calls

4 calls:

255.0ms	(cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
253.0ms	(cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
79.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)))))))

simplify46.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	4835	1194
1	4835	1194

prune52.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)

regimes57.0ms (0.5%)

Compiler: Compiled 534 to 298 computations (44.2% 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%)

sample8.1s (71.5%)

Algorithm

1×

intervals

Results

4.3s	1581×	body	8192	exit
1.7s	3998×	body	1024	valid
511.0ms	2028×	body	512	valid
490.0ms	1525×	body	1024	nan
179.0ms	823×	body	512	nan
151.0ms	965×	body	256	valid
94.0ms	165×	body	2048	valid
74.0ms	844×	body	128	valid
61.0ms	427×	body	256	nan
39.0ms	433×	body	128	nan

Compiler

Compiled 288 to 162 computations (43.8% saved)

Details

analyze665.0ms (5.9%)

sample279.0ms (2.5%)

simplify239.0ms (2.1%)

prune3.0ms (0%)

localize8.0ms (0.1%)

rewrite10.0ms (0.1%)

series97.0ms (0.9%)

simplify90.0ms (0.8%)

prune48.0ms (0.4%)

localize9.0ms (0.1%)

rewrite18.0ms (0.2%)

series374.0ms (3.3%)

simplify109.0ms (1%)

prune51.0ms (0.4%)

localize10.0ms (0.1%)

rewrite14.0ms (0.1%)

series239.0ms (2.1%)

simplify93.0ms (0.8%)

prune66.0ms (0.6%)

localize14.0ms (0.1%)

rewrite18.0ms (0.2%)

series607.0ms (5.4%)

simplify46.0ms (0.4%)

prune52.0ms (0.5%)

regimes57.0ms (0.5%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample8.1s (71.5%)

Profiling