Details

analyze1.7s (9.8%)

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)

sample415.0ms (2.3%)

Algorithm

1×

intervals

Results

194.0ms	58×	body	8192	exit
109.0ms	132×	body	1024	valid
23.0ms	51×	body	512	valid
22.0ms	42×	body	1024	nan
11.0ms	34×	body	256	valid
10.0ms	27×	body	512	nan
6.0ms	34×	body	128	valid
5.0ms	5×	body	2048	valid
5.0ms	17×	body	256	nan
1.0ms	8×	body	128	nan

Compiler

Compiled 21 to 18 computations (14.3% saved)

simplify295.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (281.0ms)

Iter	Nodes	Cost
0	4785	15
1	4785	15

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

59.1b

Counts

2 → 1

Compiler

Compiled 18 to 12 computations (33.3% saved)

localize17.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))
5.3b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

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

10.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
4.0ms	(sqrt.f64 (cos.f64 x))
1.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series182.0ms (1%)

Counts

3 → 13

Calls

3 calls:

113.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
40.0ms	(sqrt.f64 (cos.f64 x))
29.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 255 to 158 computations (38% saved)

simplify169.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 0 (141.0ms)

Iter	Nodes	Cost
0	5246	1002

prune100.0ms (0.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	56	4	60
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	57	4	61

Error

59.1b

Counts

61 → 4

Compiler

Compiled 903 to 203 computations (77.5% saved)

localize19.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(.f64 (.f64 x x) 1/4)
0.5b	(/.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 (.f64 x x) 1/4))) (exp.f64 x))
5.3b	(fmod.f64 (exp.f64 x) (-.f64 1 (.f64 (.f64 x x) 1/4)))

rewrite30.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64_782`
12×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
10×	`add-cbrt-cube_binary64_796`
9×	`add-exp-log_binary64_798` `times-frac_binary64_766`
8×	`pow1_binary64_821`
3×	`prod-exp_binary64_809` `associate-/r_binary64_704` `add-log-exp_binary64_799` `associate-/l_binary64_705` `associate-r_binary64_700` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831`
1×	`unswap-sqr_binary64_728` `frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `div-inv_binary64_757` `associate-l_binary64_701` `div-exp_binary64_811` `clear-num_binary64_759` `*-commutative_binary64_691`

Counts

3 → 53

Calls

3 calls:

13.0ms	(.f64 (.f64 x x) 1/4)
9.0ms	(/.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 (.f64 x x) 1/4))) (exp.f64 x))
1.0ms	(fmod.f64 (exp.f64 x) (-.f64 1 (.f64 (.f64 x x) 1/4)))

series220.0ms (1.2%)

Counts

3 → 12

Calls

3 calls:

127.0ms	(/.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 (.f64 x x) 1/4))) (exp.f64 x))
57.0ms	(.f64 (.f64 x x) 1/4)
34.0ms	(fmod.f64 (exp.f64 x) (-.f64 1 (.f64 (.f64 x x) 1/4)))

Compiler

Compiled 338 to 262 computations (22.5% saved)

simplify193.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 0 (158.0ms)

Iter	Nodes	Cost
0	4872	1331
1	4872	1331

prune141.0ms (0.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	64	1	65
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	65	4	69

Error

59.1b

Counts

69 → 4

Compiler

Compiled 1290 to 690 computations (46.5% saved)

localize27.0ms (0.1%)

Local error

Found 4 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))
2.6b	(log.f64 (exp.f64 (/.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)))

rewrite38.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 72

Calls

4 calls:

12.0ms	(log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))
10.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
3.0ms	(sqrt.f64 (cos.f64 x))
1.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series503.0ms (2.8%)

Counts

4 → 19

Calls

4 calls:

318.0ms	(log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))
108.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
46.0ms	(sqrt.f64 (cos.f64 x))
30.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 439 to 284 computations (35.3% saved)

simplify205.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (159.0ms)

Iter	Nodes	Cost
0	5537	1615

prune121.0ms (0.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	91	4	95

Error

59.1b

Counts

95 → 4

Compiler

Compiled 1561 to 354 computations (77.3% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (cos.f64 x))
0.5b	(/.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
2.4b	(log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))
5.3b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite40.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64_782`
23×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
21×	`times-frac_binary64_766`
20×	`log-pow_binary64_849`
15×	`exp-prod_binary64_812`
10×	`pow1_binary64_821`
7×	`associate-/l*_binary64_705`
6×	`add-cbrt-cube_binary64_796`
5×	`add-exp-log_binary64_798`
4×	`add-log-exp_binary64_799`
3×	`sqrt-prod_binary64_776` `associate-/r*_binary64_704` `log-prod_binary64_846`
1×	`rem-sqrt-square_binary64_773` `frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `sqrt-pow1_binary64_778` `div-inv_binary64_757` `rem-log-exp_binary64_801` `pow1/2_binary64_840` `div-exp_binary64_811` `clear-num_binary64_759`

Counts

4 → 78

Calls

4 calls:

18.0ms	(/.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
5.0ms	(log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))
4.0ms	(sqrt.f64 (cos.f64 x))
1.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series508.0ms (2.9%)

Counts

4 → 16

Calls

4 calls:

236.0ms	(/.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
205.0ms	(log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))
36.0ms	(sqrt.f64 (cos.f64 x))
30.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 375 to 248 computations (33.9% saved)

simplify192.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (147.0ms)

Iter	Nodes	Cost
0	5659	1737

prune108.0ms (0.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	94	0	94
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	94	4	98

Error

59.1b

Counts

98 → 4

Compiler

Compiled 1509 to 281 computations (81.4% saved)

regimes110.0ms (0.6%)

Accuracy

Total 0.1b remaining (0.2%)

Threshold costs 0.1b (0.2%)

Compiler

Compiled 420 to 300 computations (28.6% saved)

bsearch0.0ms (0%)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	49	22
1	49	22

end0.0ms (0%)

sample12.3s (69.4%)

Algorithm

1×

intervals

Results

5.0s	1576×	body	8192	exit
3.0s	4039×	body	1024	valid
875.0ms	1951×	body	512	valid
811.0ms	1524×	body	1024	nan
275.0ms	972×	body	256	valid
267.0ms	716×	body	512	nan
214.0ms	195×	body	2048	valid
132.0ms	843×	body	128	valid
108.0ms	405×	body	256	nan
67.0ms	407×	body	128	nan

Compiler

Compiled 224 to 162 computations (27.7% saved)

Details

analyze1.7s (9.8%)

sample415.0ms (2.3%)

simplify295.0ms (1.7%)

prune8.0ms (0%)

localize17.0ms (0.1%)

rewrite22.0ms (0.1%)

series182.0ms (1%)

simplify169.0ms (0.9%)

prune100.0ms (0.6%)

localize19.0ms (0.1%)

rewrite30.0ms (0.2%)

series220.0ms (1.2%)

simplify193.0ms (1.1%)

prune141.0ms (0.8%)

localize27.0ms (0.1%)

rewrite38.0ms (0.2%)

series503.0ms (2.8%)

simplify205.0ms (1.2%)

prune121.0ms (0.7%)

localize20.0ms (0.1%)

rewrite40.0ms (0.2%)

series508.0ms (2.9%)

simplify192.0ms (1.1%)

prune108.0ms (0.6%)

regimes110.0ms (0.6%)

bsearch0.0ms (0%)

simplify5.0ms (0%)

end0.0ms (0%)

sample12.3s (69.4%)

Profiling