Details

analyze1.1s (12.1%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4785	15
1	4785	15
0	1	1
1	1	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)

sample227.0ms (2.5%)

Algorithm

1×

intervals

Results

116.0ms	65×	body	8192	exit
47.0ms	120×	body	1024	valid
15.0ms	53×	body	1024	nan
15.0ms	62×	body	512	valid
6.0ms	38×	body	256	valid
4.0ms	18×	body	512	nan
3.0ms	31×	body	128	valid
3.0ms	5×	body	2048	valid
2.0ms	11×	body	256	nan
1.0ms	14×	body	128	nan

Compiler

Compiled 21 to 18 computations (14.3% saved)

simplify119.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (114.0ms)

Iter	Nodes	Cost
0	4785	15
1	4785	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

Error

60.1b

Counts

2 → 1

Compiler

Compiled 18 to 12 computations (33.3% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite47.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

60.1b

Rules

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

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

Compiler

Compiled 798 to 161 computations (79.8% saved)

series91.0ms (1%)

Error

60.1b

Counts

3 → 13

Calls

3 calls:

48.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
17.0ms	(sqrt.f64 (cos.f64 x))
16.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 428 to 197 computations (54% saved)

simplify75.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5246	1002

prune43.0ms (0.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	57	3	60
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	58	3	61

Error

60.1b

Counts

61 → 3

Compiler

Compiled 918 to 201 computations (78.1% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(exp.f64 (-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x))
2.4b	(-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x)
3.3b	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
5.3b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite61.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

60.1b

Rules

16×	`*-un-lft-identity_binary64_760`
14×	`add-sqr-sqrt_binary64_782`
10×	`add-cube-cbrt_binary64_795`
9×	`log-prod_binary64_846`
7×	`pow1_binary64_821` `add-log-exp_binary64_799` `exp-sum_binary64_806`
6×	`cancel-sign-sub-inv_binary64_726` `associate--l+_binary64_697` `exp-prod_binary64_812`
5×	`add-exp-log_binary64_798`
4×	`add-cbrt-cube_binary64_796` `distribute-lft-out--_binary64_712`
3×	`log-pow_binary64_849`
2×	`diff-log_binary64_852` `sub-neg_binary64_753` `difference-of-squares_binary64_729` `rem-exp-log_binary64_800`
1×	`rem-log-exp_binary64_801` `flip3--_binary64_764` `flip--_binary64_735` `exp-diff_binary64_808`

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

Compiler

Compiled 1120 to 218 computations (80.5% saved)

series266.0ms (2.9%)

Error

25.8b

Counts

4 → 18

Calls

4 calls:

115.0ms	(-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x)
85.0ms	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
40.0ms	(exp.f64 (-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x))
13.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 582 to 280 computations (51.9% saved)

simplify96.0ms (1%)

Algorithm

1×	egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4981	1281
1	4981	1281

prune54.0ms (0.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	78	2	80
Fresh	1	1	2
Picked	1	0	1
Done	0	0	0
Total	80	3	83

Error

25.8b

Counts

83 → 3

Compiler

Compiled 1191 to 227 computations (80.9% saved)

localize3.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

25.8b

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error: 25.8b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

prune3.0ms (0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

25.8b

Counts

3 → 3

Compiler

Compiled 44 to 19 computations (56.8% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

3.3b	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
5.3b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
5.3b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
5.3b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite45.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

25.8b

Rules

5×	`pow1_binary64_821` `add-exp-log_binary64_798` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782` `*-un-lft-identity_binary64_760`
4×	`add-log-exp_binary64_799` `add-cbrt-cube_binary64_796`
3×	`log-prod_binary64_846`
1×	`log-pow_binary64_849` `rem-log-exp_binary64_801`

Counts

4 → 33

Calls

4 calls:

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)))
1.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
1.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 1323 to 170 computations (87.2% saved)

series135.0ms (1.5%)

Error

25.8b

Counts

4 → 12

Calls

4 calls:

80.0ms	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
16.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
15.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
14.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 1188 to 275 computations (76.9% saved)

simplify82.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

45 → 45

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4822	620
1	4822	620

prune48.0ms (0.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	45	0	45
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	45	3	48

Error

25.8b

Counts

48 → 3

Compiler

Compiled 1661 to 183 computations (89% saved)

regimes44.0ms (0.5%)

Accuracy

Total 1.6b remaining (6.4%)

Threshold costs 0b (0%)

Compiler

Compiled 432 to 222 computations (48.6% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	5
1	11	5

end0.0ms (0%)

sample6.7s (71.9%)

Algorithm

1×

intervals

Results

2.8s	1561×	body	8192	exit
1.6s	3905×	body	1024	valid
511.0ms	2035×	body	512	valid
486.0ms	1662×	body	1024	nan
170.0ms	1038×	body	256	valid
165.0ms	793×	body	512	nan
95.0ms	162×	body	2048	valid
87.0ms	860×	body	128	valid
52.0ms	375×	body	256	nan
35.0ms	393×	body	128	nan

Compiler

Compiled 219 to 115 computations (47.5% saved)

Details

analyze1.1s (12.1%)

sample227.0ms (2.5%)

simplify119.0ms (1.3%)

prune3.0ms (0%)

localize7.0ms (0.1%)

rewrite47.0ms (0.5%)

series91.0ms (1%)

simplify75.0ms (0.8%)

prune43.0ms (0.5%)

localize11.0ms (0.1%)

rewrite61.0ms (0.7%)

series266.0ms (2.9%)

simplify96.0ms (1%)

prune54.0ms (0.6%)

localize3.0ms (0%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify6.0ms (0.1%)

prune3.0ms (0%)

localize14.0ms (0.2%)

rewrite45.0ms (0.5%)

series135.0ms (1.5%)

simplify82.0ms (0.9%)

prune48.0ms (0.5%)

regimes44.0ms (0.5%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample6.7s (71.9%)

Profiling