Details

analyze685.0ms (6.3%)

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)

sample269.0ms (2.5%)

Algorithm

1×

intervals

Results

147.0ms	54×	body	8192	exit
63.0ms	135×	body	1024	valid
17.0ms	57×	body	1024	nan
15.0ms	62×	body	512	valid
4.0ms	28×	body	256	valid
4.0ms	22×	body	512	nan
3.0ms	5×	body	2048	valid
2.0ms	26×	body	128	valid
1.0ms	10×	body	256	nan
1.0ms	13×	body	128	nan

Compiler

Compiled 21 to 18 computations (14.3% saved)

simplify244.0ms (2.3%)

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

rewrite11.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:

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

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

simplify94.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4794	953
1	4794	953

prune45.0ms (0.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	52	4	56
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	53	4	57

Merged error: 59.1b

Counts

57 → 4

Compiler

Compiled 869 to 196 computations (77.4% 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.2b	(-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x)
3.6b	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
4.7b	(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)))

series362.0ms (3.4%)

Counts

4 → 12

Calls

4 calls:

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

simplify110.0ms (1%)

Algorithm

1×	egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	4820	1152
1	4820	1152

prune52.0ms (0.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	67	1	68
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	68	4	72

Merged error: 59.1b

Counts

72 → 4

Compiler

Compiled 1094 to 228 computations (79.2% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))
0.2b	(pow.f64 (sqrt.f64 (cos.f64 x)) 3)
0.5b	(/.f64 (fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))) (exp.f64 x))
4.7b	(fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3)))

rewrite22.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-cube-cbrt_binary64_783` `*-un-lft-identity_binary64_751` `add-sqr-sqrt_binary64_772`
18×	`cbrt-prod_binary64_779`
12×	`unpow-prod-down_binary64_827` `sqrt-prod_binary64_766` `cube-prod_binary64_776`
9×	`times-frac_binary64_757`
7×	`add-cbrt-cube_binary64_784`
6×	`pow1_binary64_809` `add-exp-log_binary64_786`
4×	`add-log-exp_binary64_787`
3×	`associate-/r_binary64_697` `pow-pow_binary64_820` `associate-/l_binary64_698` `pow-unpow_binary64_825`
2×	`cube-mult_binary64_778` `sqr-pow_binary64_723` `unpow3_binary64_814`
1×	`rem-cbrt-cube_binary64_774` `pow1/3_binary64_830` `pow-to-exp_binary64_817` `pow-exp_binary64_816` `pow1/2_binary64_828` `rem-cube-cbrt_binary64_773` `div-inv_binary64_748` `cbrt-undiv_binary64_782` `frac-2neg_binary64_762` `clear-num_binary64_750` `sqrt-pow1_binary64_768` `sqrt-pow2_binary64_769` `div-exp_binary64_799`

Counts

4 → 93

Calls

4 calls:

5.0ms	(/.f64 (fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))) (exp.f64 x))
4.0ms	(pow.f64 (sqrt.f64 (cos.f64 x)) 3)
4.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))
1.0ms	(fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3)))

series164.0ms (1.5%)

Counts

4 → 12

Calls

4 calls:

65.0ms	(/.f64 (fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))) (exp.f64 x))
63.0ms	(pow.f64 (sqrt.f64 (cos.f64 x)) 3)
24.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))
12.0ms	(fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3)))

simplify78.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5012	1449

prune78.0ms (0.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	105	0	105
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	105	4	109

Merged error: 59.1b

Counts

109 → 4

Compiler

Compiled 1628 to 488 computations (70% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

3.6b	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
4.7b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
4.7b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
4.7b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite7.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-cube-cbrt_binary64_783` `pow1_binary64_809` `*-un-lft-identity_binary64_751` `add-exp-log_binary64_786` `add-sqr-sqrt_binary64_772`
4×	`add-log-exp_binary64_787` `add-cbrt-cube_binary64_784`
3×	`log-prod_binary64_834`
1×	`rem-log-exp_binary64_789` `log-pow_binary64_837`

Counts

4 → 33

Calls

4 calls:

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

series157.0ms (1.5%)

Counts

4 → 12

Calls

4 calls:

132.0ms	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
9.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
8.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
8.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

simplify78.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

45 → 45

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4822	620
1	4822	620

prune51.0ms (0.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	44	1	45
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	45	4	49

Merged error: 59.1b

Counts

49 → 4

Compiler

Compiled 1481 to 205 computations (86.2% saved)

regimes13.0ms (0.1%)

Compiler: Compiled 84 to 40 computations (52.4% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	20
1	10	20

end0.0ms (0%)

sample8.1s (75.2%)

Algorithm

1×

intervals

Results

4.4s	1624×	body	8192	exit
1.7s	4023×	body	1024	valid
519.0ms	1576×	body	1024	nan
516.0ms	1988×	body	512	valid
166.0ms	828×	body	512	nan
159.0ms	940×	body	256	valid
116.0ms	198×	body	2048	valid
75.0ms	851×	body	128	valid
56.0ms	413×	body	256	nan
32.0ms	399×	body	128	nan

Compiler

Compiled 105 to 57 computations (45.7% saved)

Details

analyze685.0ms (6.3%)

sample269.0ms (2.5%)

simplify244.0ms (2.3%)

prune3.0ms (0%)

localize7.0ms (0.1%)

rewrite11.0ms (0.1%)

series98.0ms (0.9%)

simplify94.0ms (0.9%)

prune45.0ms (0.4%)

localize9.0ms (0.1%)

rewrite18.0ms (0.2%)

series362.0ms (3.4%)

simplify110.0ms (1%)

prune52.0ms (0.5%)

localize10.0ms (0.1%)

rewrite22.0ms (0.2%)

series164.0ms (1.5%)

simplify78.0ms (0.7%)

prune78.0ms (0.7%)

localize14.0ms (0.1%)

rewrite7.0ms (0.1%)

series157.0ms (1.5%)

simplify78.0ms (0.7%)

prune51.0ms (0.5%)

regimes13.0ms (0.1%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample8.1s (75.2%)

Profiling