Details

analyze849.0ms (8.2%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4963	48
1	4963	48
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	3
12.5%	87.4%	0.1%	4
12.5%	87.4%	0.1%	4
18.7%	81.1%	0.1%	5
18.7%	81.1%	0.1%	5
18.7%	81.1%	0.1%	6
18.7%	81.1%	0.1%	6
21.8%	78%	0.1%	7
21.8%	78%	0.1%	7
27.3%	61.6%	11.1%	8
27.3%	61.6%	11.1%	8
28.5%	60.5%	11.1%	9
28.5%	60.5%	11.1%	9
32.6%	53.4%	14%	10
32.6%	53.4%	14%	10
40.2%	38.1%	21.7%	11
40.2%	38.1%	21.7%	11
41.8%	35.8%	22.4%	12
41.8%	35.8%	22.4%	12
44.5%	29.2%	26.3%	13
44.5%	29.2%	26.3%	13
47.1%	21.3%	31.6%	14
47.1%	21.3%	31.6%	14

Compiler

Compiled 18 to 16 computations (11.1% saved)

sample1.8s (17.6%)

Algorithm

2×

intervals

Results

41.0ms	1047×	body	128	invalid
19.0ms	512×	body	128	valid

Compiler

Compiled 7001 to 8554 computations (-22.2% saved)

simplify97.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (92.0ms)

Iter	Nodes	Cost
0	4868	12
1	4868	12

prune2.0ms (0%)

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

Error

7.3b

Counts

2 → 1

Compiler

Compiled 16 to 14 computations (12.5% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 (cosh.f64 x) (/.f64 y x))
6.8b	(/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z)

rewrite75.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

17×	`add-sqr-sqrt_binary64_13058`
16×	`add-exp-log_binary64_13074` `add-cbrt-cube_binary64_13072`
13×	`times-frac_binary64_13042` `associate-r_binary64_12976`
12×	`add-cube-cbrt_binary64_13071` `*-un-lft-identity_binary64_13036`
5×	`div-exp_binary64_13087` `cbrt-undiv_binary64_13070`
4×	`pow1_binary64_13097` `prod-exp_binary64_13085` `cbrt-unprod_binary64_13069` `cosh-def_binary64_13222`
3×	`associate-/l/_binary64_12983` `associate-/r_binary64_12980` `associate-l*_binary64_12977`
2×	`add-log-exp_binary64_13075` `div-inv_binary64_13033` `frac-times_binary64_13046` `associate-l/_binary64_12979` `associate-r/_binary64_12978` `unswap-sqr_binary64_13004`
1×	`frac-2neg_binary64_13047` `clear-num_binary64_13035` `associate-/l_binary64_12981` `pow-prod-down_binary64_13107` `-commutative_binary64_12967`

Counts

2 → 60

Calls

2 calls:

7.0ms	(*.f64 (cosh.f64 x) (/.f64 y x))
6.0ms	(/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z)

Compiler

Compiled 891 to 238 computations (73.3% saved)

series736.0ms (7.1%)

Error

0.1b

Counts

2 → 21

Calls

2 calls:

471.0ms	(/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z)
241.0ms	(*.f64 (cosh.f64 x) (/.f64 y x))

Compiler

Compiled 908 to 617 computations (32% saved)

simplify82.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4991	1223
1	4991	1223

prune80.0ms (0.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	72	9	81
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	73	9	82

Error

0.0b

Counts

82 → 9

Compiler

Compiled 1200 to 368 computations (69.3% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 y (cosh.f64 x))
0.2b	(.f64 (.f64 y (cosh.f64 x)) (/.f64 1 x))
6.8b	(/.f64 (.f64 (.f64 y (cosh.f64 x)) (/.f64 1 x)) z)

rewrite119.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

59×	`add-exp-log_binary64_13074`
35×	`add-cbrt-cube_binary64_13072`
25×	`prod-exp_binary64_13085`
17×	`div-exp_binary64_13087`
16×	`add-sqr-sqrt_binary64_13058` `associate-r_binary64_12976`
14×	`add-cube-cbrt_binary64_13071` `*-un-lft-identity_binary64_13036`
13×	`cbrt-unprod_binary64_13069`
12×	`times-frac_binary64_13042`
10×	`pow1_binary64_13097`
9×	`cbrt-undiv_binary64_13070`
7×	`associate-*r/_binary64_12978`
5×	`cosh-def_binary64_13222`
4×	`1-exp_binary64_13080` `rec-exp_binary64_13086` `associate-/l/_binary64_12983` `pow-prod-down_binary64_13107` `associate-l_binary64_12977`
3×	`add-log-exp_binary64_13075` `associate-/r*_binary64_12980`
2×	`div-inv_binary64_13033` `frac-times_binary64_13046` `un-div-inv_binary64_13034` `associate-l/_binary64_12979` `-commutative_binary64_12967`
1×	`frac-2neg_binary64_13047` `clear-num_binary64_13035` `associate-/l*_binary64_12981` `unswap-sqr_binary64_13004`

Counts

3 → 94

Calls

3 calls:

9.0ms	(/.f64 (.f64 (.f64 y (cosh.f64 x)) (/.f64 1 x)) z)
9.0ms	(.f64 (.f64 y (cosh.f64 x)) (/.f64 1 x))
4.0ms	(*.f64 y (cosh.f64 x))

Compiler

Compiled 1580 to 688 computations (56.5% saved)

series932.0ms (9%)

Error

0.0b

Counts

3 → 30

Calls

3 calls:

464.0ms	(/.f64 (.f64 (.f64 y (cosh.f64 x)) (/.f64 1 x)) z)
259.0ms	(.f64 (.f64 y (cosh.f64 x)) (/.f64 1 x))
182.0ms	(*.f64 y (cosh.f64 x))

Compiler

Compiled 1309 to 918 computations (29.9% saved)

simplify84.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4956	1702
1	4956	1702

prune99.0ms (1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	122	2	124
Fresh	2	6	8
Picked	0	1	1
Done	0	0	0
Total	124	9	133

Error

0.0b

Counts

133 → 9

Compiler

Compiled 1747 to 627 computations (64.1% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 (cosh.f64 x) (/.f64 y x))
6.9b	(.f64 (.f64 (cosh.f64 x) (/.f64 y x)) (/.f64 1 z))

rewrite103.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

46×	`add-exp-log_binary64_13074`
28×	`add-cbrt-cube_binary64_13072`
26×	`associate-r_binary64_12976`
22×	`prod-exp_binary64_13085` `add-sqr-sqrt_binary64_13058`
19×	`times-frac_binary64_13042`
17×	`add-cube-cbrt_binary64_13071` `*-un-lft-identity_binary64_13036`
12×	`cbrt-unprod_binary64_13069`
11×	`div-exp_binary64_13087`
9×	`pow1_binary64_13097`
6×	`cbrt-undiv_binary64_13070` `cosh-def_binary64_13222` `frac-times_binary64_13046` `associate-*l/_binary64_12979`
4×	`pow-prod-down_binary64_13107` `associate-r/_binary64_12978` `associate-l*_binary64_12977`
3×	`1-exp_binary64_13080` `rec-exp_binary64_13086`
2×	`add-log-exp_binary64_13075` `div-inv_binary64_13033` `*-commutative_binary64_12967` `unswap-sqr_binary64_13004`
1×	`un-div-inv_binary64_13034`

Counts

2 → 84

Calls

2 calls:

13.0ms	(.f64 (.f64 (cosh.f64 x) (/.f64 y x)) (/.f64 1 z))
7.0ms	(*.f64 (cosh.f64 x) (/.f64 y x))

Compiler

Compiled 1459 to 557 computations (61.8% saved)

series740.0ms (7.1%)

Error

0.0b

Counts

2 → 21

Calls

2 calls:

474.0ms	(.f64 (.f64 (cosh.f64 x) (/.f64 y x)) (/.f64 1 z))
247.0ms	(*.f64 (cosh.f64 x) (/.f64 y x))

Compiler

Compiled 954 to 663 computations (30.5% saved)

simplify53.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5051	1595

prune88.0ms (0.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	104	1	105
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	104	10	114

Error

Counts

114 → 10

Compiler

Compiled 1563 to 555 computations (64.5% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (*.f64 y (cosh.f64 x)) z)
0.0b	(*.f64 y (cosh.f64 x))
6.7b	(/.f64 (/.f64 (*.f64 y (cosh.f64 x)) z) x)

rewrite94.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

36×	`times-frac_binary64_13042`
25×	`add-sqr-sqrt_binary64_13058`
23×	`add-cube-cbrt_binary64_13071` `*-un-lft-identity_binary64_13036`
19×	`add-exp-log_binary64_13074` `add-cbrt-cube_binary64_13072`
8×	`associate-/l*_binary64_12981`
7×	`div-exp_binary64_13087` `cbrt-undiv_binary64_13070`
6×	`div-inv_binary64_13033` `associate-/r*_binary64_12980`
5×	`pow1_binary64_13097`
3×	`prod-exp_binary64_13085` `add-log-exp_binary64_13075` `cbrt-unprod_binary64_13069` `associate-l_binary64_12977` `associate-r_binary64_12976`
2×	`frac-2neg_binary64_13047` `clear-num_binary64_13035` `associate-/l/_binary64_12983` `cosh-def_binary64_13222` `associate-*r/_binary64_12978`
1×	`pow-prod-down_binary64_13107` `unswap-sqr_binary64_13004` `*-commutative_binary64_12967`

Counts

3 → 89

Calls

3 calls:

9.0ms	(/.f64 (/.f64 (*.f64 y (cosh.f64 x)) z) x)
4.0ms	(/.f64 (*.f64 y (cosh.f64 x)) z)
4.0ms	(*.f64 y (cosh.f64 x))

Compiler

Compiled 1345 to 336 computations (75% saved)

series1.0s (9.8%)

Error

Counts

3 → 33

Calls

3 calls:

467.0ms	(/.f64 (/.f64 (*.f64 y (cosh.f64 x)) z) x)
352.0ms	(/.f64 (*.f64 y (cosh.f64 x)) z)
167.0ms	(*.f64 y (cosh.f64 x))

Compiler

Compiled 1425 to 980 computations (31.2% saved)

simplify86.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4971	2003
1	4971	2003

prune93.0ms (0.9%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	121	1	122
Fresh	2	5	7
Picked	0	1	1
Done	1	1	2
Total	124	8	132

Error

Counts

132 → 8

Compiler

Compiled 1699 to 445 computations (73.8% saved)

regimes729.0ms (7%)

Accuracy

Total 0.3b remaining (87.3%)

Threshold costs 0.3b (87.3%)

Compiler

Compiled 4085 to 2914 computations (28.7% saved)

bsearch42.0ms (0.4%)

Steps

Iters	Range		Point
4	4.974781497165987e-35	7.584347855368998e-35	7.339701009287465e-35
4	-0.04959712687537407	-0.024947703719086934	-0.03702299085401149

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	42	58
1	42	58

end0.0ms (0%)

sample2.3s (22.5%)

Algorithm

1×

intervals

Results

499.0ms	14476×	body	128	invalid
271.0ms	8000×	body	128	valid

Compiler

Compiled 838 to 599 computations (28.5% saved)

Details

analyze849.0ms (8.2%)

sample1.8s (17.6%)

simplify97.0ms (0.9%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite75.0ms (0.7%)

series736.0ms (7.1%)

simplify82.0ms (0.8%)

prune80.0ms (0.8%)

localize7.0ms (0.1%)

rewrite119.0ms (1.1%)

series932.0ms (9%)

simplify84.0ms (0.8%)

prune99.0ms (1%)

localize7.0ms (0.1%)

rewrite103.0ms (1%)

series740.0ms (7.1%)

simplify53.0ms (0.5%)

prune88.0ms (0.9%)

localize6.0ms (0.1%)

rewrite94.0ms (0.9%)

series1.0s (9.8%)

simplify86.0ms (0.8%)

prune93.0ms (0.9%)

regimes729.0ms (7%)

bsearch42.0ms (0.4%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.3s (22.5%)

Profiling