Details

analyze1.0s (8.1%)

Algorithm

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%)

Algorithm

1×

intervals

Results

113.0ms	46×	body	8192	exit
68.0ms	122×	body	1024	valid
22.0ms	71×	body	512	valid
15.0ms	45×	body	1024	nan
7.0ms	26×	body	512	nan
6.0ms	32×	body	256	valid
3.0ms	29×	body	128	valid
2.0ms	10×	body	256	nan
2.0ms	16×	body	128	nan
2.0ms	2×	body	2048	valid

Compiler

Compiled 21 to 18 computations (14.3% saved)

simplify263.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (166.0ms)

Iter	Nodes	Cost
0	4785	15
1	4785	15

prune8.0ms (0.1%)

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.2b

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

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64_100`
12×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
9×	`times-frac_binary64_84`
5×	`add-cbrt-cube_binary64_114`
4×	`add-exp-log_binary64_116` `pow1_binary64_139`
3×	`sqrt-prod_binary64_94` `add-log-exp_binary64_117` `associate-/l_binary64_23` `associate-/r_binary64_22`
1×	`sqrt-pow1_binary64_96` `cbrt-undiv_binary64_112` `div-exp_binary64_129` `rem-sqrt-square_binary64_91` `frac-2neg_binary64_89` `div-inv_binary64_75` `clear-num_binary64_77` `pow1/2_binary64_158`

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

series79.0ms (0.6%)

Counts

3 → 9

Calls

3 calls:

51.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
21.0ms	(sqrt.f64 (cos.f64 x))
7.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

simplify83.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4909	953
1	4909	953

prune69.0ms (0.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	53	3	56
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	54	3	57

Error

59.2b

Counts

57 → 3

Compiler

Compiled 867 to 190 computations (78.1% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(cbrt.f64 (exp.f64 x))
0.0b	(sqrt.f64 (cos.f64 x))
0.0b	(*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x)))
4.1b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite19.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64_100`
19×	`cbrt-prod_binary64_109`
14×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
12×	`pow1_binary64_139`
7×	`pow1/3_binary64_160`
6×	`associate-l_binary64_19` `swap-sqr_binary64_45` `associate-r_binary64_18` `add-exp-log_binary64_116`
4×	`add-cbrt-cube_binary64_114` `add-log-exp_binary64_117` `unswap-sqr_binary64_46`
3×	`sqrt-prod_binary64_94`
2×	`pow-sqr_binary64_51` `pow-prod-up_binary64_148` `pow-prod-down_binary64_149`
1×	`pow2_binary64_159` `*-commutative_binary64_9` `sqrt-pow1_binary64_96` `cbrt-unprod_binary64_111` `prod-exp_binary64_127` `rem-sqrt-square_binary64_91` `pow-plus_binary64_141` `pow1/2_binary64_158`

Counts

4 → 71

Calls

4 calls:

7.0ms	(*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x)))
2.0ms	(cbrt.f64 (exp.f64 x))
1.0ms	(sqrt.f64 (cos.f64 x))
1.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series193.0ms (1.5%)

Counts

4 → 12

Calls

4 calls:

100.0ms	(*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x)))
72.0ms	(cbrt.f64 (exp.f64 x))
14.0ms	(sqrt.f64 (cos.f64 x))
8.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

simplify68.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5221	777

prune106.0ms (0.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	80	3	83
Fresh	1	1	2
Picked	1	0	1
Done	0	0	0
Total	82	4	86

Error

59.1b

Counts

86 → 4

Compiler

Compiled 1961 to 559 computations (71.5% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x)))
0.2b	(exp.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))
1.9b	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
4.1b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64_100`
16×	`cbrt-prod_binary64_109`
15×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
13×	`pow1_binary64_139`
7×	`add-exp-log_binary64_116`
6×	`associate-l_binary64_19` `swap-sqr_binary64_45` `pow1/3_binary64_160` `associate-r_binary64_18` `log-prod_binary64_164`
4×	`add-cbrt-cube_binary64_114` `add-log-exp_binary64_117` `unswap-sqr_binary64_46` `exp-prod_binary64_130`
3×	`exp-sum_binary64_124`
2×	`pow-sqr_binary64_51` `pow-prod-up_binary64_148` `pow-prod-down_binary64_149` `log-pow_binary64_167`
1×	`pow2_binary64_159` `*-commutative_binary64_9` `cbrt-unprod_binary64_111` `prod-exp_binary64_127` `rem-exp-log_binary64_118` `rem-log-exp_binary64_119` `pow-plus_binary64_141`

Counts

4 → 74

Calls

4 calls:

7.0ms	(*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (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)))

series412.0ms (3.2%)

Counts

4 → 12

Calls

4 calls:

155.0ms	(exp.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))
142.0ms	(*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x)))
108.0ms	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
7.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

simplify84.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	5323	1033

prune122.0ms (1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	84	2	86
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	85	5	90

Error

59.1b

Counts

90 → 5

Compiler

Compiled 2271 to 572 computations (74.8% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite7.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64_100` `add-cube-cbrt_binary64_113` `add-exp-log_binary64_116` `*-un-lft-identity_binary64_78` `pow1_binary64_139`
4×	`add-cbrt-cube_binary64_114` `add-log-exp_binary64_117`
3×	`log-prod_binary64_164`
1×	`rem-log-exp_binary64_119` `log-pow_binary64_167`

Counts

4 → 33

Calls

4 calls:

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)))
1.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
1.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series150.0ms (1.2%)

Counts

4 → 12

Calls

4 calls:

121.0ms	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
11.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
10.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
7.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

simplify145.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

45 → 45

Iterations

Useful iterations: 0 (123.0ms)

Iter	Nodes	Cost
0	4822	620
1	4822	620

prune75.0ms (0.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	44	1	45
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	46	4	50

Error

59.1b

Counts

50 → 4

Compiler

Compiled 2021 to 326 computations (83.9% saved)

regimes158.0ms (1.2%)

Accuracy

Total 0.1b remaining (0.2%)

Threshold costs 0.1b (0.2%)

Compiler

Compiled 1050 to 568 computations (45.9% saved)

bsearch0.0ms (0%)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	23	76
1	23	76

end0.0ms (0%)

sample9.4s (73.3%)

Algorithm

1×

intervals

Results

3.8s	1514×	body	8192	exit
2.3s	3938×	body	1024	valid
733.0ms	2002×	body	512	valid
646.0ms	1566×	body	1024	nan
233.0ms	997×	body	256	valid
230.0ms	804×	body	512	nan
144.0ms	157×	body	2048	valid
107.0ms	906×	body	128	valid
75.0ms	384×	body	256	nan
40.0ms	380×	body	128	nan

Compiler

Compiled 568 to 305 computations (46.3% saved)

Details

analyze1.0s (8.1%)

sample251.0ms (2%)

simplify263.0ms (2.1%)

prune8.0ms (0.1%)

localize7.0ms (0.1%)

rewrite9.0ms (0.1%)

series79.0ms (0.6%)

simplify83.0ms (0.6%)

prune69.0ms (0.5%)

localize21.0ms (0.2%)

rewrite19.0ms (0.1%)

series193.0ms (1.5%)

simplify68.0ms (0.5%)

prune106.0ms (0.8%)

localize18.0ms (0.1%)

rewrite17.0ms (0.1%)

series412.0ms (3.2%)

simplify84.0ms (0.7%)

prune122.0ms (1%)

localize19.0ms (0.2%)

rewrite7.0ms (0.1%)

series150.0ms (1.2%)

simplify145.0ms (1.1%)

prune75.0ms (0.6%)

regimes158.0ms (1.2%)

bsearch0.0ms (0%)

simplify5.0ms (0%)

end0.0ms (0%)

sample9.4s (73.3%)

Profiling