Details

analyze847.0ms (6.7%)

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)

sample236.0ms (1.9%)

Algorithm

1×

intervals

Results

97.0ms	46×	body	8192	exit
55.0ms	114×	body	1024	valid
28.0ms	67×	body	512	valid
17.0ms	50×	body	1024	nan
6.0ms	26×	body	512	nan
5.0ms	32×	body	256	valid
4.0ms	40×	body	128	valid
2.0ms	12×	body	256	nan
2.0ms	20×	body	128	nan
1.0ms	3×	body	2048	valid

Compiler

Compiled 21 to 18 computations (14.3% saved)

simplify224.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (115.0ms)

Iter	Nodes	Cost
0	4785	15
1	4785	15

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

58.5b

Counts

2 → 1

Compiler

Compiled 18 to 12 computations (33.3% saved)

localize14.0ms (0.1%)

Local error

Found 6 expressions with local error:

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

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

series124.0ms (1%)

Counts

3 → 15

Calls

3 calls:

65.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
40.0ms	(sqrt.f64 (cos.f64 x))
19.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 280 to 178 computations (36.4% saved)

simplify101.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5248	1052

prune95.0ms (0.7%)

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

58.5b

Counts

63 → 4

Compiler

Compiled 952 to 235 computations (75.3% saved)

localize10.0ms (0.1%)

Local error

Found 8 expressions with local error:

6.2b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
2.8b	(log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))
0.0b	(sqrt.f64 (cos.f64 x))
0.0b	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
0.0b	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
0.0b	(sqrt.f64 (cos.f64 x))
2.8b	(log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))
6.2b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 72

Calls

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

series278.0ms (2.2%)

Counts

4 → 21

Calls

4 calls:

176.0ms	(log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))
62.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
27.0ms	(sqrt.f64 (cos.f64 x))
14.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 466 to 306 computations (34.3% saved)

simplify97.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	5512	1662

prune111.0ms (0.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	91	2	93
Fresh	1	2	3
Picked	0	1	1
Done	0	0	0
Total	92	5	97

Error

58.5b

Counts

97 → 5

Compiler

Compiled 1638 to 396 computations (75.8% saved)

localize9.0ms (0.1%)

Local error

Found 8 expressions with local error:

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

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64_100`
23×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
21×	`times-frac_binary64_84`
20×	`log-pow_binary64_167`
15×	`exp-prod_binary64_130`
10×	`pow1_binary64_139`
7×	`associate-/l*_binary64_23`
6×	`add-cbrt-cube_binary64_114`
5×	`add-exp-log_binary64_116`
4×	`add-log-exp_binary64_117`
3×	`sqrt-prod_binary64_94` `log-prod_binary64_164` `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` `rem-log-exp_binary64_119` `clear-num_binary64_77` `pow1/2_binary64_158`

Counts

4 → 78

Calls

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

series335.0ms (2.6%)

Counts

4 → 18

Calls

4 calls:

167.0ms	(/.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
126.0ms	(log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))
23.0ms	(sqrt.f64 (cos.f64 x))
18.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 402 to 270 computations (32.8% saved)

simplify98.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	5420	1793

prune80.0ms (0.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	96	0	96
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	96	5	101

Error

58.5b

Counts

101 → 5

Compiler

Compiled 1611 to 339 computations (79% saved)

localize27.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.0b	(sqrt.f64 (cos.f64 x))
0.0b	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
0.0b	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
0.0b	(+.f64 (*.f64 (log.f64 (cbrt.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))) 2) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))))
2.8b	(log.f64 (cbrt.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x)))))
2.8b	(log.f64 (cbrt.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x)))))
6.2b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
6.2b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite27.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`log-prod_binary64_164`
8×	`add-sqr-sqrt_binary64_100` `add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
6×	`add-exp-log_binary64_116` `cbrt-prod_binary64_109` `pow1_binary64_139`
4×	`add-cbrt-cube_binary64_114` `add-log-exp_binary64_117` `log-pow_binary64_167`
2×	`pow1/3_binary64_160` `rem-log-exp_binary64_119`

Counts

4 → 46

Calls

8 calls:

7.0ms	(log.f64 (cbrt.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x)))))
7.0ms	(log.f64 (cbrt.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.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)))
0.0ms	(+.f64 (*.f64 (log.f64 (cbrt.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))) 2) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))))

series822.0ms (6.5%)

Counts

4 → 18

Calls

4 calls:

411.0ms	(log.f64 (cbrt.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x)))))
374.0ms	(log.f64 (cbrt.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x)))))
19.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
17.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 892 to 452 computations (49.3% saved)

simplify56.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5008	1362

prune133.0ms (1%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	63	1	64
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	63	6	69

Error

58.5b

Counts

69 → 6

Compiler

Compiled 2044 to 451 computations (77.9% saved)

simplify13.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	93	532
1	93	532

regimes109.0ms (0.9%)

Accuracy

Total 1.2b remaining (5.1%)

Threshold costs 0b (0%)

Compiler

Compiled 658 to 396 computations (39.8% saved)

bsearch2.0ms (0%)

Compiler: Compiled 10 to 8 computations (20% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	24
1	21	24

end0.0ms (0%)

sample8.8s (69.3%)

Algorithm

1×

intervals

Results

3.2s	1515×	body	8192	exit
1.9s	4023×	body	1024	valid
569.0ms	1969×	body	512	valid
548.0ms	1558×	body	1024	nan
197.0ms	816×	body	512	nan
186.0ms	972×	body	256	valid
119.0ms	177×	body	2048	valid
83.0ms	859×	body	128	valid
63.0ms	422×	body	256	nan
34.0ms	398×	body	128	nan

Compiler

Compiled 995 to 603 computations (39.4% saved)

Pareto

-0.8348199723616386

Details

analyze847.0ms (6.7%)

sample236.0ms (1.9%)

simplify224.0ms (1.8%)

prune9.0ms (0.1%)

localize14.0ms (0.1%)

rewrite9.0ms (0.1%)

series124.0ms (1%)

simplify101.0ms (0.8%)

prune95.0ms (0.7%)

localize10.0ms (0.1%)

rewrite17.0ms (0.1%)

series278.0ms (2.2%)

simplify97.0ms (0.8%)

prune111.0ms (0.9%)

localize9.0ms (0.1%)

rewrite17.0ms (0.1%)

series335.0ms (2.6%)

simplify98.0ms (0.8%)

prune80.0ms (0.6%)

localize27.0ms (0.2%)

rewrite27.0ms (0.2%)

series822.0ms (6.5%)

simplify56.0ms (0.4%)

prune133.0ms (1%)

simplify13.0ms (0.1%)

regimes109.0ms (0.9%)

bsearch2.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample8.8s (69.3%)

Profiling