Details

analyze860.0ms (8.9%)

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)

sample181.0ms (1.9%)

Algorithm

1×

intervals

Results

67.0ms	41×	body	8192	exit
49.0ms	131×	body	1024	valid
18.0ms	61×	body	512	valid
14.0ms	40×	body	1024	nan
5.0ms	25×	body	512	nan
4.0ms	31×	body	256	valid
4.0ms	7×	body	2048	valid
2.0ms	26×	body	128	valid
1.0ms	10×	body	256	nan
1.0ms	15×	body	128	nan

Compiler

Compiled 21 to 18 computations (14.3% saved)

simplify122.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (116.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

58.9b

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

rewrite48.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

58.9b

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)

series87.0ms (0.9%)

Error

58.9b

Counts

3 → 12

Calls

3 calls:

43.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
21.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
14.0ms	(sqrt.f64 (cos.f64 x))

Compiler

Compiled 396 to 174 computations (56.1% saved)

simplify79.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

59 → 59

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	5484	992

prune38.0ms (0.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	57	2	59
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	58	2	60

Error

58.9b

Counts

60 → 2

Compiler

Compiled 862 to 177 computations (79.5% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.2b	(/.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 x))
3.4b	(fmod.f64 (exp.f64 x) 1)

rewrite36.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

58.9b

Rules

10×	`add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782` `*-un-lft-identity_binary64_760`
9×	`times-frac_binary64_766`
4×	`add-cbrt-cube_binary64_796`
3×	`add-exp-log_binary64_798` `associate-/l_binary64_705` `associate-/r_binary64_704`
2×	`pow1_binary64_821` `add-log-exp_binary64_799`
1×	`div-exp_binary64_811` `cbrt-undiv_binary64_794` `frac-2neg_binary64_771` `clear-num_binary64_759` `div-inv_binary64_757`

Counts

2 → 34

Calls

2 calls:

4.0ms	(/.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 x))
1.0ms	(fmod.f64 (exp.f64 x) 1)

Compiler

Compiled 507 to 267 computations (47.3% saved)

series56.0ms (0.6%)

Error

58.9b

Counts

2 → 9

Calls

2 calls:

40.0ms	(/.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 x))
9.0ms	(fmod.f64 (exp.f64 x) 1)

Compiler

Compiled 245 to 163 computations (33.5% saved)

simplify71.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5246	678

prune34.0ms (0.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	41	2	43
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	43	2	45

Error

58.9b

Counts

45 → 2

Compiler

Compiled 556 to 299 computations (46.2% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(pow.f64 (/.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 x)) 3)
0.0b	(cbrt.f64 (pow.f64 (/.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 x)) 3))
0.2b	(/.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 x))
3.4b	(fmod.f64 (exp.f64 x) 1)

rewrite162.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

58.9b

Rules

45×	`times-frac_binary64_766`
42×	`add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782` `*-un-lft-identity_binary64_760`
32×	`cbrt-prod_binary64_791`
26×	`unpow-prod-down_binary64_839` `cube-prod_binary64_788`
9×	`add-cbrt-cube_binary64_796`
7×	`add-exp-log_binary64_798`
5×	`pow1_binary64_821` `div-inv_binary64_757`
4×	`add-log-exp_binary64_799`
3×	`associate-/l_binary64_705` `associate-/r_binary64_704` `pow-unpow_binary64_837`
2×	`div-exp_binary64_811` `cbrt-undiv_binary64_794` `cube-div_binary64_789` `unpow3_binary64_826` `cube-mult_binary64_790` `sqr-pow_binary64_732` `pow-exp_binary64_828` `rem-cube-cbrt_binary64_783`
1×	`frac-2neg_binary64_771` `clear-num_binary64_759` `pow1/3_binary64_842` `cbrt-div_binary64_792` `rem-cbrt-cube_binary64_784` `pow-pow_binary64_832` `pow-to-exp_binary64_829`

Counts

4 → 122

Calls

4 calls:

6.0ms	(pow.f64 (/.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 x)) 3)
5.0ms	(cbrt.f64 (pow.f64 (/.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 x)) 3))
4.0ms	(/.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 x))
1.0ms	(fmod.f64 (exp.f64 x) 1)

Compiler

Compiled 2518 to 1553 computations (38.3% saved)

series220.0ms (2.3%)

Error

58.9b

Counts

4 → 21

Calls

4 calls:

105.0ms	(pow.f64 (/.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 x)) 3)
43.0ms	(/.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 x))
42.0ms	(cbrt.f64 (pow.f64 (/.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 x)) 3))
12.0ms	(fmod.f64 (exp.f64 x) 1)

Compiler

Compiled 768 to 566 computations (26.3% saved)

simplify60.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5162	2704

prune136.0ms (1.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	142	1	143
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	143	2	145

Error

58.9b

Counts

145 → 2

Compiler

Compiled 2238 to 1382 computations (38.2% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(pow.f64 (/.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 x)) (sqrt.f64 3))
0.2b	(pow.f64 (pow.f64 (/.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 x)) (sqrt.f64 3)) (sqrt.f64 3))
0.2b	(/.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 x))
3.4b	(fmod.f64 (exp.f64 x) 1)

rewrite170.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

58.9b

Rules

43×	`unpow-prod-down_binary64_839`
31×	`add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782` `*-un-lft-identity_binary64_760`
27×	`times-frac_binary64_766`
12×	`pow-unpow_binary64_837`
10×	`add-exp-log_binary64_798`
8×	`pow-exp_binary64_828`
6×	`add-cbrt-cube_binary64_796` `sqrt-prod_binary64_776`
5×	`pow1_binary64_821`
4×	`add-log-exp_binary64_799`
3×	`div-exp_binary64_811` `div-inv_binary64_757` `associate-/l_binary64_705` `associate-/r_binary64_704` `sqr-pow_binary64_732` `pow-to-exp_binary64_829`
2×	`pow-pow_binary64_832`
1×	`cbrt-undiv_binary64_794` `frac-2neg_binary64_771` `clear-num_binary64_759`

Counts

4 → 102

Calls

4 calls:

7.0ms	(pow.f64 (pow.f64 (/.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 x)) (sqrt.f64 3)) (sqrt.f64 3))
6.0ms	(pow.f64 (/.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 x)) (sqrt.f64 3))
4.0ms	(/.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 x))
1.0ms	(fmod.f64 (exp.f64 x) 1)

Compiler

Compiled 2441 to 1735 computations (28.9% saved)

series489.0ms (5.1%)

Error

58.9b

Counts

4 → 21

Calls

4 calls:

254.0ms	(pow.f64 (pow.f64 (/.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 x)) (sqrt.f64 3)) (sqrt.f64 3))
147.0ms	(pow.f64 (/.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 x)) (sqrt.f64 3))
44.0ms	(/.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 x))
11.0ms	(fmod.f64 (exp.f64 x) 1)

Compiler

Compiled 1206 to 1004 computations (16.7% saved)

simplify81.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5069	3074

prune161.0ms (1.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	121	2	123
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	123	2	125

Error

58.9b

Counts

125 → 2

Compiler

Compiled 2672 to 1907 computations (28.6% saved)

regimes66.0ms (0.7%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Compiler

Compiled 554 to 416 computations (24.9% saved)

bsearch0.0ms (0%)

simplify3.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.4s (66.9%)

Algorithm

1×

intervals

Results

2.6s	1529×	body	8192	exit
1.6s	4002×	body	1024	valid
473.0ms	1983×	body	512	valid
408.0ms	1550×	body	1024	nan
141.0ms	978×	body	256	valid
138.0ms	721×	body	512	nan
89.0ms	157×	body	2048	valid
69.0ms	880×	body	128	valid
53.0ms	378×	body	256	nan
27.0ms	385×	body	128	nan
0.0ms	1×	body	2048	nan

Compiler

Compiled 287 to 217 computations (24.4% saved)

Details

analyze860.0ms (8.9%)

sample181.0ms (1.9%)

simplify122.0ms (1.3%)

prune3.0ms (0%)

localize7.0ms (0.1%)

rewrite48.0ms (0.5%)

series87.0ms (0.9%)

simplify79.0ms (0.8%)

prune38.0ms (0.4%)

localize5.0ms (0.1%)

rewrite36.0ms (0.4%)

series56.0ms (0.6%)

simplify71.0ms (0.7%)

prune34.0ms (0.4%)

localize7.0ms (0.1%)

rewrite162.0ms (1.7%)

series220.0ms (2.3%)

simplify60.0ms (0.6%)

prune136.0ms (1.4%)

localize10.0ms (0.1%)

rewrite170.0ms (1.8%)

series489.0ms (5.1%)

simplify81.0ms (0.8%)

prune161.0ms (1.7%)

regimes66.0ms (0.7%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample6.4s (66.9%)

Profiling