Details

analyze1.2s (10.5%)

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)

sample251.0ms (2.1%)

Algorithm

1×

intervals

Results

118.0ms	53×	body	8192	exit
65.0ms	140×	body	1024	valid
16.0ms	56×	body	1024	nan
14.0ms	50×	body	512	valid
5.0ms	23×	body	512	nan
5.0ms	31×	body	256	valid
4.0ms	5×	body	2048	valid
3.0ms	30×	body	128	valid
2.0ms	12×	body	256	nan
1.0ms	13×	body	128	nan

Compiler

Compiled 21 to 18 computations (14.3% saved)

simplify146.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (141.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.5b

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

rewrite53.0ms (0.5%)

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` `sqrt-prod_binary64_776` `associate-/l_binary64_705` `associate-/r_binary64_704`
1×	`pow1/2_binary64_840` `sqrt-pow1_binary64_778` `rem-sqrt-square_binary64_773` `div-exp_binary64_811` `cbrt-undiv_binary64_794` `frac-2neg_binary64_771` `clear-num_binary64_759` `div-inv_binary64_757`

Counts

3 → 47

Calls

3 calls:

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

series134.0ms (1.1%)

Error

59.5b

Counts

3 → 15

Calls

3 calls:

64.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
33.0ms	(sqrt.f64 (cos.f64 x))
26.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 497 to 248 computations (50.1% saved)

simplify73.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5248	1052

prune59.0ms (0.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	59	3	62
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	60	3	63

Error

59.4b

Counts

63 → 3

Compiler

Compiled 937 to 224 computations (76.1% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (cos.f64 x))
0.1b	(cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))
0.1b	(pow.f64 (sqrt.f64 (cos.f64 x)) 3)
4.6b	(fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3)))

rewrite99.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

59.4b

Rules

18×	`cbrt-prod_binary64_791`
16×	`add-sqr-sqrt_binary64_782`
15×	`add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760` `sqrt-prod_binary64_776`
12×	`unpow-prod-down_binary64_839` `cube-prod_binary64_788`
7×	`pow1_binary64_821`
5×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
4×	`add-log-exp_binary64_799`
3×	`pow-unpow_binary64_837` `pow-pow_binary64_832`
2×	`pow1/2_binary64_840` `sqrt-pow1_binary64_778` `unpow3_binary64_826` `cube-mult_binary64_790` `sqr-pow_binary64_732`
1×	`pow-to-exp_binary64_829` `pow-exp_binary64_828` `rem-cube-cbrt_binary64_783` `sqrt-pow2_binary64_779` `pow1/3_binary64_842` `rem-cbrt-cube_binary64_784` `rem-sqrt-square_binary64_773`

Counts

4 → 79

Calls

4 calls:

3.0ms	(pow.f64 (sqrt.f64 (cos.f64 x)) 3)
3.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))
1.0ms	(sqrt.f64 (cos.f64 x))
0.0ms	(fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3)))

Compiler

Compiled 1478 to 673 computations (54.5% saved)

series135.0ms (1.1%)

Error

59.4b

Counts

4 → 21

Calls

4 calls:

51.0ms	(pow.f64 (sqrt.f64 (cos.f64 x)) 3)
25.0ms	(sqrt.f64 (cos.f64 x))
22.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))
15.0ms	(fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3)))

Compiler

Compiled 695 to 468 computations (32.7% saved)

simplify92.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

100 → 100

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4909	983
1	4909	983

prune84.0ms (0.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	100	0	100
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	100	3	103

Error

59.4b

Counts

103 → 3

Compiler

Compiled 1468 to 562 computations (61.7% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
0.0b	(sqrt.f64 (cos.f64 x))
2.7b	(log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))
4.6b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite102.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

59.4b

Rules

24×	`add-sqr-sqrt_binary64_782`
23×	`add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760`
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×	`log-prod_binary64_846` `sqrt-prod_binary64_776` `associate-/r*_binary64_704`
1×	`rem-log-exp_binary64_801` `pow1/2_binary64_840` `sqrt-pow1_binary64_778` `rem-sqrt-square_binary64_773` `div-exp_binary64_811` `cbrt-undiv_binary64_794` `frac-2neg_binary64_771` `clear-num_binary64_759` `div-inv_binary64_757`

Counts

4 → 78

Calls

4 calls:

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

Compiler

Compiled 1576 to 310 computations (80.3% saved)

series368.0ms (3.1%)

Error

59.4b

Counts

4 → 18

Calls

4 calls:

162.0ms	(/.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
125.0ms	(log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))
34.0ms	(sqrt.f64 (cos.f64 x))
22.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 694 to 350 computations (49.6% saved)

simplify104.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	5420	1793

prune69.0ms (0.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	94	2	96
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	95	4	99

Error

59.4b

Counts

99 → 4

Compiler

Compiled 1612 to 338 computations (79% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))
0.1b	(pow.f64 (sqrt.f64 (cos.f64 x)) 3)
2.7b	(log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3)))))
4.6b	(fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3)))

rewrite112.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

59.4b

Rules

18×	`cbrt-prod_binary64_791`
16×	`add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782` `*-un-lft-identity_binary64_760`
12×	`unpow-prod-down_binary64_839` `sqrt-prod_binary64_776` `cube-prod_binary64_788`
7×	`pow1_binary64_821`
5×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
4×	`add-log-exp_binary64_799` `log-pow_binary64_849`
3×	`exp-prod_binary64_812` `log-prod_binary64_846` `pow-unpow_binary64_837` `pow-pow_binary64_832`
2×	`unpow3_binary64_826` `cube-mult_binary64_790` `sqr-pow_binary64_732`
1×	`rem-log-exp_binary64_801` `pow1/2_binary64_840` `sqrt-pow1_binary64_778` `pow-to-exp_binary64_829` `pow-exp_binary64_828` `rem-cube-cbrt_binary64_783` `sqrt-pow2_binary64_779` `pow1/3_binary64_842` `rem-cbrt-cube_binary64_784`

Counts

4 → 81

Calls

4 calls:

4.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))
4.0ms	(pow.f64 (sqrt.f64 (cos.f64 x)) 3)
2.0ms	(log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (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)))

Compiler

Compiled 1760 to 922 computations (47.6% saved)

series233.0ms (2%)

Error

59.4b

Counts

4 → 18

Calls

4 calls:

115.0ms	(log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3)))))
65.0ms	(pow.f64 (sqrt.f64 (cos.f64 x)) 3)
26.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))
13.0ms	(fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3)))

Compiler

Compiled 644 to 420 computations (34.8% saved)

simplify110.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	4961	1090
1	4961	1090

prune101.0ms (0.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	99	0	99
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	99	4	103

Error

59.4b

Counts

103 → 4

Compiler

Compiled 1600 to 605 computations (62.2% saved)

regimes101.0ms (0.9%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Compiler

Compiled 666 to 426 computations (36% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	18
1	9	18

end0.0ms (0%)

sample8.1s (68.5%)

Algorithm

1×

intervals

Results

3.3s	1581×	body	8192	exit
1.9s	4037×	body	1024	valid
561.0ms	1928×	body	512	valid
529.0ms	1606×	body	1024	nan
202.0ms	1008×	body	256	valid
182.0ms	807×	body	512	nan
118.0ms	169×	body	2048	valid
82.0ms	858×	body	128	valid
65.0ms	418×	body	256	nan
36.0ms	427×	body	128	nan

Compiler

Compiled 344 to 222 computations (35.5% saved)

Details

analyze1.2s (10.5%)

sample251.0ms (2.1%)

simplify146.0ms (1.2%)

prune3.0ms (0%)

localize7.0ms (0.1%)

rewrite53.0ms (0.5%)

series134.0ms (1.1%)

simplify73.0ms (0.6%)

prune59.0ms (0.5%)

localize10.0ms (0.1%)

rewrite99.0ms (0.8%)

series135.0ms (1.1%)

simplify92.0ms (0.8%)

prune84.0ms (0.7%)

localize15.0ms (0.1%)

rewrite102.0ms (0.9%)

series368.0ms (3.1%)

simplify104.0ms (0.9%)

prune69.0ms (0.6%)

localize11.0ms (0.1%)

rewrite112.0ms (1%)

series233.0ms (2%)

simplify110.0ms (0.9%)

prune101.0ms (0.9%)

regimes101.0ms (0.9%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample8.1s (68.5%)

Profiling