Details

analyze658.0ms (7.8%)

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)

sample167.0ms (2%)

Algorithm

1×

intervals

Results

64.0ms	39×	body	8192	exit
46.0ms	123×	body	1024	valid
17.0ms	48×	body	1024	nan
12.0ms	57×	body	512	valid
5.0ms	36×	body	256	valid
4.0ms	19×	body	512	nan
3.0ms	38×	body	128	valid
2.0ms	19×	body	256	nan
1.0ms	2×	body	2048	valid
1.0ms	10×	body	128	nan

Compiler

Compiled 21 to 18 computations (14.3% saved)

simplify203.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (109.0ms)

Iter	Nodes	Cost
0	4785	15
1	4785	15

prune8.0ms (0.1%)

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: 58.9b

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.5b	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
6.1b	(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)))

series55.0ms (0.6%)

Counts

3 → 9

Calls

3 calls:

34.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
14.0ms	(sqrt.f64 (cos.f64 x))
7.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

simplify78.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

prune55.0ms (0.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	48	8	56
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	49	8	57

Merged error: 58.8b

Counts

57 → 8

Compiler

Compiled 961 to 235 computations (75.5% saved)

localize9.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.7b	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
6.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_760`
14×	`add-sqr-sqrt_binary64_782`
10×	`add-cube-cbrt_binary64_795`
9×	`log-prod_binary64_846`
7×	`add-log-exp_binary64_799` `exp-sum_binary64_806` `pow1_binary64_821`
6×	`exp-prod_binary64_812` `cancel-sign-sub-inv_binary64_726` `associate--l+_binary64_697`
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` `rem-exp-log_binary64_800` `difference-of-squares_binary64_729` `sub-neg_binary64_753`
1×	`exp-diff_binary64_808` `rem-log-exp_binary64_801` `flip--_binary64_735` `flip3--_binary64_764`

Counts

4 → 62

Calls

4 calls:

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

series206.0ms (2.4%)

Counts

4 → 12

Calls

4 calls:

97.0ms	(-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x)
79.0ms	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
23.0ms	(exp.f64 (-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x))
6.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

simplify90.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4919	1206
1	4919	1206

prune60.0ms (0.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	72	2	74
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	74	8	82

Merged error: 58.8b

Counts

82 → 8

Compiler

Compiled 1238 to 266 computations (78.5% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

3.7b	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
6.1b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
6.1b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
6.1b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite6.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`*-un-lft-identity_binary64_760` `add-exp-log_binary64_798` `add-cube-cbrt_binary64_795` `pow1_binary64_821` `add-sqr-sqrt_binary64_782`
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)))

series94.0ms (1.1%)

Counts

4 → 12

Calls

4 calls:

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

simplify81.0ms (1%)

Algorithm

1×	egg-herbie

Counts

45 → 45

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4822	620
1	4822	620

prune59.0ms (0.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	44	1	45
Fresh	0	7	7
Picked	1	0	1
Done	0	0	0
Total	45	8	53

Merged error: 58.8b

Counts

53 → 8

Compiler

Compiled 1824 to 262 computations (85.6% saved)

localize24.0ms (0.3%)

Local error

Found 4 expressions with local error:

6.1b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
6.1b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
6.1b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
6.1b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite6.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`*-un-lft-identity_binary64_760` `add-exp-log_binary64_798` `add-cube-cbrt_binary64_795` `add-log-exp_binary64_799` `add-cbrt-cube_binary64_796` `pow1_binary64_821` `add-sqr-sqrt_binary64_782`

Counts

4 → 28

Calls

4 calls:

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

series23.0ms (0.3%)

Counts

4 → 12

Calls

4 calls:

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

simplify144.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 0 (134.0ms)

Iter	Nodes	Cost
0	4717	516
1	4717	516

prune61.0ms (0.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	40	0	40
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	40	8	48

Merged error: 58.8b

Counts

48 → 8

Compiler

Compiled 2228 to 214 computations (90.4% saved)

regimes73.0ms (0.9%)

Compiler: Compiled 846 to 404 computations (52.2% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	17
1	19	17

end0.0ms (0%)

sample6.2s (73.7%)

Algorithm

1×

intervals

Results

2.6s	1516×	body	8192	exit
1.5s	3928×	body	1024	valid
461.0ms	1991×	body	512	valid
402.0ms	1456×	body	1024	nan
158.0ms	1001×	body	256	valid
143.0ms	765×	body	512	nan
107.0ms	182×	body	2048	valid
78.0ms	898×	body	128	valid
49.0ms	384×	body	256	nan
29.0ms	396×	body	128	nan

Compiler

Compiled 433 to 211 computations (51.3% saved)

Details

analyze658.0ms (7.8%)

sample167.0ms (2%)

simplify203.0ms (2.4%)

prune8.0ms (0.1%)

localize8.0ms (0.1%)

rewrite9.0ms (0.1%)

series55.0ms (0.6%)

simplify78.0ms (0.9%)

prune55.0ms (0.7%)

localize9.0ms (0.1%)

rewrite18.0ms (0.2%)

series206.0ms (2.4%)

simplify90.0ms (1.1%)

prune60.0ms (0.7%)

localize14.0ms (0.2%)

rewrite6.0ms (0.1%)

series94.0ms (1.1%)

simplify81.0ms (1%)

prune59.0ms (0.7%)

localize24.0ms (0.3%)

rewrite6.0ms (0.1%)

series23.0ms (0.3%)

simplify144.0ms (1.7%)

prune61.0ms (0.7%)

regimes73.0ms (0.9%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample6.2s (73.7%)

Profiling