Details

analyze2.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
100%	0%	0%	2

Compiler

Compiled 9 to 8 computations (11.1% saved)

sample13.0ms (0.4%)

Algorithm

1×

intervals

Results

8.0ms

256×

body

128

valid

Compiler

Compiled 17 to 16 computations (5.9% saved)

simplify299.0ms (9.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (142.0ms)

Iter	Nodes	Cost
0	4936	13
1	4936	13

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 0.0b

Counts

2 → 1

Compiler

Compiled 16 to 14 computations (12.5% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

rewrite10.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`*-un-lft-identity_binary64_414`
15×	`times-frac_binary64_420`
11×	`add-cube-cbrt_binary64_446` `add-sqr-sqrt_binary64_435`
5×	`associate-/r*_binary64_360`
4×	`cosh-undef_binary64_605` `distribute-lft-out_binary64_367`
3×	`add-exp-log_binary64_449` `add-cbrt-cube_binary64_447` `associate-/l*_binary64_361`
2×	`associate-/r/_binary64_362`
1×	`clear-num_binary64_413` `pow1_binary64_472` `flip3-+_binary64_417` `div-inv_binary64_411` `cbrt-undiv_binary64_445` `add-log-exp_binary64_450` `flip-+_binary64_388` `frac-2neg_binary64_425` `div-exp_binary64_462`

Counts

1 → 37

Calls

1 calls:

8.0ms

(/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

series92.0ms (3%)

Counts

1 → 3

Calls

1 calls:

91.0ms

(/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

simplify73.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4854	739
1	4854	739

prune34.0ms (1.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	37	3	40
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	38	3	41

Merged error: 0b

Counts

41 → 3

Compiler

Compiled 609 to 269 computations (55.8% saved)

localize8.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b

(*.f64 (sqrt.f64 (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (sqrt.f64 (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))

0.0b

(/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

0.0b

(/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

rewrite75.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Rules

125×	`*-un-lft-identity_binary64_414`
110×	`sqrt-prod_binary64_429`
108×	`times-frac_binary64_420`
95×	`add-sqr-sqrt_binary64_435`
67×	`add-cube-cbrt_binary64_446`
32×	`swap-sqr_binary64_381`
26×	`distribute-lft-out_binary64_367`
24×	`associate-l_binary64_357` `associate-r_binary64_356`
20×	`cosh-undef_binary64_605`
18×	`pow1_binary64_472`
12×	`associate-/r/_binary64_362`
10×	`associate-/r*_binary64_360`
9×	`add-exp-log_binary64_449` `add-cbrt-cube_binary64_447` `unswap-sqr_binary64_382`
8×	`sqrt-pow1_binary64_431` `pow1/2_binary64_491`
6×	`flip3-+_binary64_417` `div-inv_binary64_411` `flip-+_binary64_388` `associate-/l*_binary64_361`
5×	`pow-prod-up_binary64_481`
4×	`sqrt-div_binary64_430`
3×	`pow-prod-down_binary64_482` `pow-sqr_binary64_387` `add-log-exp_binary64_450`
2×	`clear-num_binary64_413` `cbrt-undiv_binary64_445` `frac-2neg_binary64_425` `div-exp_binary64_462`
1×	`pow-plus_binary64_474` `associate-l/_binary64_359` `-commutative_binary64_347` `prod-exp_binary64_460` `sqrt-unprod_binary64_433` `rem-square-sqrt_binary64_426` `cbrt-unprod_binary64_444` `frac-times_binary64_424` `pow2_binary64_492` `associate-*r/_binary64_358`

Counts

3 → 191

Calls

3 calls:

31.0ms

(*.f64 (sqrt.f64 (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (sqrt.f64 (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))

10.0ms

(/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

8.0ms

(/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

series311.0ms (10.1%)

Counts

3 → 9

Calls

3 calls:

146.0ms

(*.f64 (sqrt.f64 (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (sqrt.f64 (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))

88.0ms

(/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

77.0ms

(/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

simplify107.0ms (3.5%)

Algorithm

1×	egg-herbie

Counts

200 → 200

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4916	4239
1	4916	4239

prune200.0ms (6.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	199	1	200
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	200	3	203

Merged error: 0b

Counts

203 → 3

Compiler

Compiled 4456 to 1954 computations (56.1% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(pow.f64 (cosh.f64 x) 3)
0.0b	(/.f64 1 (pow.f64 (cosh.f64 x) 3))
0.2b	(cbrt.f64 (/.f64 1 (pow.f64 (cosh.f64 x) 3)))

rewrite28.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

72×	`times-frac_binary64_420`
53×	`add-cube-cbrt_binary64_446` `*-un-lft-identity_binary64_414` `add-sqr-sqrt_binary64_435`
41×	`cbrt-prod_binary64_442`
24×	`cube-prod_binary64_439` `unpow-prod-down_binary64_490`
13×	`add-exp-log_binary64_449`
12×	`associate-/r*_binary64_360`
8×	`cube-mult_binary64_441` `sqr-pow_binary64_386` `unpow3_binary64_477`
6×	`add-cbrt-cube_binary64_447` `div-exp_binary64_462`
4×	`pow1_binary64_472` `pow-exp_binary64_479` `pow-to-exp_binary64_480`
3×	`1-exp_binary64_455` `pow-unpow_binary64_488` `rec-exp_binary64_461` `add-log-exp_binary64_450` `associate-/l*_binary64_361` `cube-div_binary64_440` `cosh-def_binary64_597`
2×	`associate-/r/_binary64_362` `div-inv_binary64_411`
1×	`clear-num_binary64_413` `inv-pow_binary64_496` `cbrt-div_binary64_443` `pow-flip_binary64_485` `cbrt-undiv_binary64_445` `pow-pow_binary64_483` `frac-2neg_binary64_425` `pow1/3_binary64_493` `rem-cube-cbrt_binary64_436`

Counts

3 → 148

Calls

3 calls:

7.0ms	(cbrt.f64 (/.f64 1 (pow.f64 (cosh.f64 x) 3)))
6.0ms	(/.f64 1 (pow.f64 (cosh.f64 x) 3))
3.0ms	(pow.f64 (cosh.f64 x) 3)

series522.0ms (17%)

Counts

3 → 9

Calls

3 calls:

271.0ms	(/.f64 1 (pow.f64 (cosh.f64 x) 3))
134.0ms	(pow.f64 (cosh.f64 x) 3)
116.0ms	(cbrt.f64 (/.f64 1 (pow.f64 (cosh.f64 x) 3)))

simplify81.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

157 → 157

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5407	2305

prune124.0ms (4.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	157	0	157
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	157	3	160

Merged error: 0b

Counts

160 → 3

Compiler

Compiled 1927 to 1403 computations (27.2% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (sqrt.f64 2) (cosh.f64 x))
0.5b	(*.f64 (/.f64 (sqrt.f64 2) 2) (/.f64 (sqrt.f64 2) (cosh.f64 x)))

rewrite36.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

73×	`add-sqr-sqrt_binary64_435`
66×	`times-frac_binary64_420`
43×	`add-cube-cbrt_binary64_446` `*-un-lft-identity_binary64_414`
36×	`sqrt-prod_binary64_429`
23×	`associate-r_binary64_356`
22×	`associate-l_binary64_357`
16×	`add-exp-log_binary64_449` `add-cbrt-cube_binary64_447`
9×	`unswap-sqr_binary64_382`
6×	`associate-/l*_binary64_361`
5×	`cbrt-undiv_binary64_445` `div-exp_binary64_462`
4×	`pow1_binary64_472` `prod-exp_binary64_460` `cbrt-unprod_binary64_444`
3×	`div-inv_binary64_411` `associate-/r*_binary64_360`
2×	`associate-/r/_binary64_362` `add-log-exp_binary64_450` `cosh-def_binary64_597`
1×	`clear-num_binary64_413` `associate-l/_binary64_359` `-commutative_binary64_347` `pow-prod-down_binary64_482` `frac-2neg_binary64_425` `frac-times_binary64_424` `associate-*r/_binary64_358`

Counts

2 → 114

Calls

2 calls:

21.0ms	(*.f64 (/.f64 (sqrt.f64 2) 2) (/.f64 (sqrt.f64 2) (cosh.f64 x)))
5.0ms	(/.f64 (sqrt.f64 2) (cosh.f64 x))

series372.0ms (12.1%)

Counts

2 → 6

Calls

2 calls:

223.0ms	(*.f64 (/.f64 (sqrt.f64 2) 2) (/.f64 (sqrt.f64 2) (cosh.f64 x)))
149.0ms	(/.f64 (sqrt.f64 2) (cosh.f64 x))

simplify75.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4902	1789
1	4902	1789

prune107.0ms (3.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	120	3	123

Merged error: 0b

Counts

123 → 3

Compiler

Compiled 1789 to 1335 computations (25.4% saved)

regimes27.0ms (0.9%)

Compiler: Compiled 138 to 113 computations (18.1% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	32
1	18	32

end0.0ms (0%)

sample448.0ms (14.6%)

Algorithm

1×

intervals

Results

253.0ms

8000×

body

128

valid

Compiler

Compiled 64 to 50 computations (21.9% saved)

Details

analyze2.0ms (0.1%)

sample13.0ms (0.4%)

simplify299.0ms (9.7%)

prune2.0ms (0.1%)

localize6.0ms (0.2%)

rewrite10.0ms (0.3%)

series92.0ms (3%)

simplify73.0ms (2.4%)

prune34.0ms (1.1%)

localize8.0ms (0.3%)

rewrite75.0ms (2.4%)

series311.0ms (10.1%)

simplify107.0ms (3.5%)

prune200.0ms (6.5%)

localize6.0ms (0.2%)

rewrite28.0ms (0.9%)

series522.0ms (17%)

simplify81.0ms (2.7%)

prune124.0ms (4.1%)

localize6.0ms (0.2%)

rewrite36.0ms (1.2%)

series372.0ms (12.1%)

simplify75.0ms (2.4%)

prune107.0ms (3.5%)

regimes27.0ms (0.9%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample448.0ms (14.6%)

Profiling