Details

analyze856.0ms (8.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)

sample212.0ms (2.2%)

Algorithm

1×

intervals

Results

98.0ms	61×	body	8192	exit
51.0ms	133×	body	1024	valid
18.0ms	59×	body	512	valid
13.0ms	51×	body	1024	nan
5.0ms	28×	body	512	nan
5.0ms	32×	body	256	valid
2.0ms	3×	body	2048	valid
2.0ms	29×	body	128	valid
1.0ms	9×	body	256	nan
1.0ms	9×	body	128	nan

Compiler

Compiled 21 to 18 computations (14.3% saved)

simplify118.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (112.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.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.5b	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
4.3b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite48.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

59.8b

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:

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

Compiler

Compiled 798 to 161 computations (79.8% saved)

series96.0ms (1%)

Error

59.8b

Counts

3 → 15

Calls

3 calls:

52.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
21.0ms	(sqrt.f64 (cos.f64 x))
12.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 497 to 248 computations (50.1% saved)

simplify72.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5248	1052

prune49.0ms (0.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	58	4	62
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	59	4	63

Error

59.8b

Counts

63 → 4

Compiler

Compiled 967 to 234 computations (75.8% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(exp.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))
0.5b	(/.f64 (exp.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
3.1b	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
4.3b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite75.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

59.8b

Rules

25×	`*-un-lft-identity_binary64_760`
22×	`add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
18×	`log-prod_binary64_846` `times-frac_binary64_766`
15×	`exp-sum_binary64_806`
8×	`exp-prod_binary64_812`
7×	`pow1_binary64_821`
6×	`add-cbrt-cube_binary64_796` `associate-/l*_binary64_705`
5×	`add-exp-log_binary64_798`
4×	`add-log-exp_binary64_799`
3×	`log-pow_binary64_849` `associate-/r*_binary64_704`
2×	`pow-div_binary64_835`
1×	`rem-log-exp_binary64_801` `div-exp_binary64_811` `cbrt-undiv_binary64_794` `frac-2neg_binary64_771` `clear-num_binary64_759` `div-inv_binary64_757` `rem-exp-log_binary64_800`

Counts

4 → 75

Calls

4 calls:

6.0ms	(/.f64 (exp.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
2.0ms	(exp.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 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)))

Compiler

Compiled 1575 to 260 computations (83.5% saved)

series320.0ms (3.3%)

Error

59.8b

Counts

4 → 15

Calls

4 calls:

114.0ms	(/.f64 (exp.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
92.0ms	(exp.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))
91.0ms	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
14.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 583 to 258 computations (55.7% saved)

simplify85.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4919	1693
1	4919	1693

prune63.0ms (0.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	87	3	90
Fresh	2	1	3
Picked	0	1	1
Done	0	0	0
Total	89	5	94

Error

59.8b

Counts

94 → 5

Compiler

Compiled 1503 to 290 computations (80.7% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(/.f64 (exp.f64 (log.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
1.8b	(log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))
2.6b	(log.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))
4.3b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite112.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

59.8b

Rules

38×	`log-prod_binary64_846`
34×	`*-un-lft-identity_binary64_760`
31×	`add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
30×	`times-frac_binary64_766`
28×	`exp-sum_binary64_806`
26×	`log-pow_binary64_849`
22×	`exp-prod_binary64_812`
12×	`pow1_binary64_821`
10×	`associate-/l*_binary64_705`
6×	`add-cbrt-cube_binary64_796`
5×	`add-exp-log_binary64_798`
4×	`add-log-exp_binary64_799`
3×	`associate-/r*_binary64_704`
2×	`rem-log-exp_binary64_801` `pow-div_binary64_835`
1×	`div-exp_binary64_811` `cbrt-undiv_binary64_794` `frac-2neg_binary64_771` `clear-num_binary64_759` `div-inv_binary64_757`

Counts

4 → 95

Calls

4 calls:

7.0ms	(/.f64 (exp.f64 (log.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
4.0ms	(log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))
2.0ms	(log.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))
1.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 2310 to 414 computations (82.1% saved)

series513.0ms (5.3%)

Error

59.8b

Counts

4 → 15

Calls

4 calls:

207.0ms	(/.f64 (exp.f64 (log.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
179.0ms	(log.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))
103.0ms	(log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))
13.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 689 to 312 computations (54.7% saved)

simplify73.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4933	2219
1	4933	2219

prune78.0ms (0.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	109	1	110
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	110	5	115

Error

59.8b

Counts

115 → 5

Compiler

Compiled 1939 to 387 computations (80% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(/.f64 (exp.f64 (log.f64 (*.f64 (pow.f64 (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) 2) (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
3.1b	(log.f64 (*.f64 (pow.f64 (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) 2) (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))
4.3b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
4.3b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite104.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

59.8b

Rules

16×	`*-un-lft-identity_binary64_760`
13×	`add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
12×	`times-frac_binary64_766`
10×	`add-exp-log_binary64_798`
7×	`pow1_binary64_821`
6×	`add-cbrt-cube_binary64_796`
5×	`log-pow_binary64_849` `log-prod_binary64_846`
4×	`add-log-exp_binary64_799` `rem-log-exp_binary64_801` `exp-prod_binary64_812` `exp-sum_binary64_806` `associate-/l*_binary64_705`
3×	`prod-exp_binary64_809` `associate-/r*_binary64_704`
2×	`pow-div_binary64_835`
1×	`unpow2_binary64_825` `pow3_binary64_843` `pow-prod-up_binary64_830` `pow-plus_binary64_823` `pow-to-exp_binary64_829` `pow-exp_binary64_828` `div-exp_binary64_811` `cbrt-undiv_binary64_794` `frac-2neg_binary64_771` `clear-num_binary64_759` `div-inv_binary64_757`

Counts

4 → 63

Calls

4 calls:

13.0ms	(/.f64 (exp.f64 (log.f64 (*.f64 (pow.f64 (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) 2) (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
5.0ms	(log.f64 (*.f64 (pow.f64 (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) 2) (cbrt.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)))

Compiler

Compiled 2118 to 648 computations (69.4% saved)

series252.0ms (2.6%)

Error

59.8b

Counts

4 → 15

Calls

4 calls:

115.0ms	(/.f64 (exp.f64 (log.f64 (*.f64 (pow.f64 (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) 2) (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
94.0ms	(log.f64 (*.f64 (pow.f64 (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) 2) (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))
15.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
15.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 781 to 343 computations (56.1% saved)

simplify71.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4944	1364
1	4944	1364

prune59.0ms (0.6%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	78	0	78
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	78	5	83

Error

59.8b

Counts

83 → 5

Compiler

Compiled 1562 to 397 computations (74.6% saved)

regimes80.0ms (0.8%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Compiler

Compiled 1034 to 474 computations (54.2% 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.3s (65.2%)

Algorithm

1×

intervals

Results

2.6s	1550×	body	8192	exit
1.5s	3929×	body	1024	valid
446.0ms	2015×	body	512	valid
404.0ms	1578×	body	1024	nan
150.0ms	794×	body	512	nan
145.0ms	999×	body	256	valid
106.0ms	174×	body	2048	valid
67.0ms	883×	body	128	valid
53.0ms	404×	body	256	nan
27.0ms	390×	body	128	nan

Compiler

Compiled 527 to 246 computations (53.3% saved)

Details

analyze856.0ms (8.8%)

sample212.0ms (2.2%)

simplify118.0ms (1.2%)

prune3.0ms (0%)

localize7.0ms (0.1%)

rewrite48.0ms (0.5%)

series96.0ms (1%)

simplify72.0ms (0.7%)

prune49.0ms (0.5%)

localize9.0ms (0.1%)

rewrite75.0ms (0.8%)

series320.0ms (3.3%)

simplify85.0ms (0.9%)

prune63.0ms (0.6%)

localize11.0ms (0.1%)

rewrite112.0ms (1.2%)

series513.0ms (5.3%)

simplify73.0ms (0.8%)

prune78.0ms (0.8%)

localize13.0ms (0.1%)

rewrite104.0ms (1.1%)

series252.0ms (2.6%)

simplify71.0ms (0.7%)

prune59.0ms (0.6%)

regimes80.0ms (0.8%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample6.3s (65.2%)

Profiling