Details

analyze893.0ms (1.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)

sample1.3s (2.8%)

Algorithm

1×

intervals

Results

89.0ms	48×	body	8192	exit
48.0ms	121×	body	1024	valid
17.0ms	52×	body	1024	nan
15.0ms	67×	body	512	valid
8.0ms	27×	body	512	nan
5.0ms	34×	body	256	valid
3.0ms	13×	body	128	nan
3.0ms	31×	body	128	valid
2.0ms	3×	body	2048	valid
1.0ms	8×	body	256	nan

Compiler

Compiled 4465 to 4058 computations (9.1% saved)

simplify113.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

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

59.4b

Counts

2 → 1

Compiler

Compiled 18 to 12 computations (33.3% saved)

localize7.0ms (0%)

Local error

Found 3 expressions with local error:

0.0b	(sqrt.f64 (cos.f64 x))
0.3b	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
4.1b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite54.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Error

59.4b

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)

series129.0ms (0.3%)

Error

59.4b

Counts

3 → 14

Calls

3 calls:

70.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
29.0ms	(sqrt.f64 (cos.f64 x))
18.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 472 to 230 computations (51.3% saved)

simplify74.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

61 → 61

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5319	1024

prune58.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	58	3	61
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	59	3	62

Error

59.4b

Counts

62 → 3

Compiler

Compiled 911 to 207 computations (77.3% saved)

localize9.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (cos.f64 x))
0.3b	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
1.9b	(log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))
4.1b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite90.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

59.4b

Rules

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

Counts

4 → 72

Calls

4 calls:

5.0ms	(log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))
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 1455 to 331 computations (77.3% saved)

series387.0ms (0.8%)

Error

59.4b

Counts

4 → 20

Calls

4 calls:

245.0ms	(log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))
69.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
35.0ms	(sqrt.f64 (cos.f64 x))
19.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 806 to 395 computations (51% saved)

simplify90.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	5606	1634

prune84.0ms (0.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	92	3	95

Error

59.4b

Counts

95 → 3

Compiler

Compiled 1568 to 354 computations (77.4% saved)

localize10.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(exp.f64 (sqrt.f64 (cos.f64 x)))
0.1b	(log.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
0.3b	(/.f64 (fmod.f64 (exp.f64 x) (log.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
4.1b	(fmod.f64 (exp.f64 x) (log.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))

rewrite87.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

34.5b

Rules

17×	`add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782` `*-un-lft-identity_binary64_760`
12×	`exp-prod_binary64_812`
9×	`times-frac_binary64_766`
7×	`log-pow_binary64_849`
6×	`add-cbrt-cube_binary64_796` `sqrt-prod_binary64_776`
5×	`pow1_binary64_821` `add-log-exp_binary64_799` `add-exp-log_binary64_798`
3×	`associate-/l_binary64_705` `associate-/r_binary64_704` `log-prod_binary64_846`
1×	`div-exp_binary64_811` `cbrt-undiv_binary64_794` `frac-2neg_binary64_771` `clear-num_binary64_759` `div-inv_binary64_757` `rem-log-exp_binary64_801` `rem-exp-log_binary64_800`

Counts

4 → 66

Calls

4 calls:

4.0ms	(/.f64 (fmod.f64 (exp.f64 x) (log.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
3.0ms	(log.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
2.0ms	(exp.f64 (sqrt.f64 (cos.f64 x)))
0.0ms	(fmod.f64 (exp.f64 x) (log.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))

Compiler

Compiled 1275 to 250 computations (80.4% saved)

series309.0ms (0.7%)

Error

59.4b

Counts

4 → 19

Calls

4 calls:

133.0ms	(log.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
94.0ms	(/.f64 (fmod.f64 (exp.f64 x) (log.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
41.0ms	(exp.f64 (sqrt.f64 (cos.f64 x)))
23.0ms	(fmod.f64 (exp.f64 x) (log.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))

Compiler

Compiled 748 to 388 computations (48.1% saved)

simplify75.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5012	1267

prune80.0ms (0.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	83	2	85
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	84	4	88

Error

34.5b

Counts

88 → 4

Compiler

Compiled 1333 to 307 computations (77% saved)

localize16.0ms (0%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 (fmod.f64 (exp.f64 x) (+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
1.4b	(cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
1.4b	(cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
47.2b	(fmod.f64 (exp.f64 x) (+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))))

rewrite108.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

34.5b

Rules

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

Counts

4 → 56

Calls

4 calls:

4.0ms	(/.f64 (fmod.f64 (exp.f64 x) (+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
2.0ms	(cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
2.0ms	(cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
1.0ms	(fmod.f64 (exp.f64 x) (+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))))

Compiler

Compiled 1921 to 547 computations (71.5% saved)

series480.0ms (1%)

Error

34.5b

Counts

4 → 17

Calls

4 calls:

162.0ms	(cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
160.0ms	(cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
102.0ms	(/.f64 (fmod.f64 (exp.f64 x) (+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
34.0ms	(fmod.f64 (exp.f64 x) (+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))))

Compiler

Compiled 1041 to 688 computations (33.9% saved)

simplify74.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4931	1242
1	4931	1242

prune81.0ms (0.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	72	1	73
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	73	4	77

Error

34.5b

Counts

77 → 4

Compiler

Compiled 1496 to 386 computations (74.2% saved)

regimes105.0ms (0.2%)

Accuracy

Total 0.5b remaining (1.3%)

Threshold costs 0.5b (1.3%)

Compiler

Compiled 1000 to 560 computations (44% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	27	39
1	27	39

end0.0ms (0%)

sample41.8s (89.8%)

Algorithm

1×

intervals

Results

2.8s	1570×	body	8192	exit
1.5s	4046×	body	1024	valid
617.0ms	1640×	body	1024	nan
436.0ms	1919×	body	512	valid
239.0ms	802×	body	512	nan
151.0ms	1038×	body	256	valid
110.0ms	439×	body	256	nan
85.0ms	146×	body	2048	valid
77.0ms	428×	body	128	nan
67.0ms	851×	body	128	valid
0.0ms	1×	body	2048	nan

Compiler

Compiled 142202 to 129095 computations (9.2% saved)

Details

analyze893.0ms (1.9%)

sample1.3s (2.8%)

simplify113.0ms (0.2%)

prune3.0ms (0%)

localize7.0ms (0%)

rewrite54.0ms (0.1%)

series129.0ms (0.3%)

simplify74.0ms (0.2%)

prune58.0ms (0.1%)

localize9.0ms (0%)

rewrite90.0ms (0.2%)

series387.0ms (0.8%)

simplify90.0ms (0.2%)

prune84.0ms (0.2%)

localize10.0ms (0%)

rewrite87.0ms (0.2%)

series309.0ms (0.7%)

simplify75.0ms (0.2%)

prune80.0ms (0.2%)

localize16.0ms (0%)

rewrite108.0ms (0.2%)

series480.0ms (1%)

simplify74.0ms (0.2%)

prune81.0ms (0.2%)

regimes105.0ms (0.2%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample41.8s (89.8%)

Profiling