Details

analyze501.0ms (6.5%)

Algorithm

1×	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%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
12.5%	87.4%	0.1%	4
18.7%	81.1%	0.1%	5
18.7%	81.1%	0.1%	6
21.8%	78%	0.1%	7
27.3%	61.6%	11.1%	8
28.5%	60.5%	11.1%	9
32.6%	53.4%	14%	10
40.2%	38.1%	21.7%	11
41.8%	35.8%	22.4%	12
44.5%	29.2%	26.3%	13
47.1%	21.3%	31.6%	14

Compiler

Compiled 9 to 8 computations (11.1% saved)

sample34.0ms (0.4%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
7.0ms	230×	body	128	invalid

Compiler

Compiled 17 to 18 computations (-5.9% saved)

simplify106.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (101.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

11.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))
10.6b	(/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z)

rewrite71.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

17×	`add-sqr-sqrt_binary64_14081`
16×	`add-exp-log_binary64_14097` `add-cbrt-cube_binary64_14095`
13×	`times-frac_binary64_14065` `associate-r_binary64_13999`
12×	`add-cube-cbrt_binary64_14094` `*-un-lft-identity_binary64_14059`
5×	`div-exp_binary64_14110` `cbrt-undiv_binary64_14093`
4×	`pow1_binary64_14120` `prod-exp_binary64_14108` `cbrt-unprod_binary64_14092` `cosh-def_binary64_14245`
3×	`associate-/l/_binary64_14006` `associate-/r_binary64_14003` `associate-l*_binary64_14000`
2×	`add-log-exp_binary64_14098` `div-inv_binary64_14056` `frac-times_binary64_14069` `associate-l/_binary64_14002` `associate-r/_binary64_14001` `unswap-sqr_binary64_14027`
1×	`frac-2neg_binary64_14070` `clear-num_binary64_14058` `associate-/l_binary64_14004` `pow-prod-down_binary64_14130` `-commutative_binary64_13990`

Counts

2 → 60

Calls

2 calls:

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

Compiler

Compiled 891 to 238 computations (73.3% saved)

series483.0ms (6.2%)

Error

0.1b

Counts

2 → 21

Calls

2 calls:

303.0ms	(/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z)
156.0ms	(*.f64 (cosh.f64 x) (/.f64 y x))

Compiler

Compiled 908 to 617 computations (32% saved)

simplify81.0ms (1%)

Algorithm

1×	egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4991	1223
1	4991	1223

prune71.0ms (0.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	71	10	81
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	72	10	82

Error

0.1b

Counts

82 → 10

Compiler

Compiled 1217 to 378 computations (68.9% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite49.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

16×	`add-exp-log_binary64_14097` `add-cbrt-cube_binary64_14095`
9×	`add-sqr-sqrt_binary64_14081`
7×	`add-cube-cbrt_binary64_14094` `-un-lft-identity_binary64_14059` `associate-r*_binary64_13999`
6×	`times-frac_binary64_14065`
5×	`prod-exp_binary64_14108` `cbrt-unprod_binary64_14092`
4×	`pow1_binary64_14120` `div-exp_binary64_14110` `cbrt-undiv_binary64_14093`
3×	`associate-/l_binary64_14004` `associate-l*_binary64_14000`
2×	`add-log-exp_binary64_14098` `div-inv_binary64_14056` `cosh-def_binary64_14245`
1×	`frac-2neg_binary64_14070` `clear-num_binary64_14058` `associate-/r_binary64_14003` `pow-prod-down_binary64_14130` `frac-times_binary64_14069` `unswap-sqr_binary64_14027` `associate-l/_binary64_14002` `associate-r/_binary64_14001` `-commutative_binary64_13990`

Counts

2 → 50

Calls

2 calls:

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

Compiler

Compiled 720 to 172 computations (76.1% saved)

series428.0ms (5.5%)

Error

0.1b

Counts

2 → 21

Calls

2 calls:

305.0ms	(.f64 (cosh.f64 x) (/.f64 y (.f64 x z)))
111.0ms	(/.f64 y (*.f64 x z))

Compiler

Compiled 757 to 492 computations (35% saved)

simplify51.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	4979	962
1	4979	962

prune53.0ms (0.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	65	6	71
Fresh	6	3	9
Picked	0	1	1
Done	0	0	0
Total	71	10	81

Error

Counts

81 → 10

Compiler

Compiled 997 to 274 computations (72.5% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
3.0b	(/.f64 x (/.f64 (cbrt.f64 y) z))
3.9b	(/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 x (/.f64 (cbrt.f64 y) z)))

rewrite308.0ms (4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

449×	`times-frac_binary64_14065`
205×	`add-cube-cbrt_binary64_14094` `add-sqr-sqrt_binary64_14081` `*-un-lft-identity_binary64_14059`
96×	`cbrt-prod_binary64_14090`
93×	`associate-/r*_binary64_14003`
30×	`add-exp-log_binary64_14097`
21×	`add-cbrt-cube_binary64_14095`
15×	`div-exp_binary64_14110` `cbrt-undiv_binary64_14093`
14×	`div-inv_binary64_14056`
4×	`pow1_binary64_14120` `add-log-exp_binary64_14098` `associate-/r/_binary64_14005` `associate-/l*_binary64_14004`
3×	`prod-exp_binary64_14108` `cbrt-unprod_binary64_14092`
2×	`frac-2neg_binary64_14070` `clear-num_binary64_14058` `pow1/3_binary64_14141`

Counts

4 → 294

Calls

4 calls:

25.0ms	(/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 x (/.f64 (cbrt.f64 y) z)))
9.0ms	(/.f64 x (/.f64 (cbrt.f64 y) z))
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)

Compiler

Compiled 7716 to 1620 computations (79% saved)

series587.0ms (7.6%)

Error

Counts

4 → 24

Calls

4 calls:

303.0ms	(/.f64 x (/.f64 (cbrt.f64 y) z))
123.0ms	(/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 x (/.f64 (cbrt.f64 y) z)))
72.0ms	(cbrt.f64 y)
71.0ms	(cbrt.f64 y)

Compiler

Compiled 1050 to 692 computations (34.1% saved)

simplify133.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

318 → 318

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4971	6665
1	4971	6665

prune253.0ms (3.3%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	318	0	318
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	318	10	328

Error

Counts

328 → 10

Compiler

Compiled 7214 to 1721 computations (76.1% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite589.0ms (7.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

813×	`times-frac_binary64_14065`
404×	`add-sqr-sqrt_binary64_14081`
384×	`*-un-lft-identity_binary64_14059`
381×	`add-cube-cbrt_binary64_14094`
137×	`associate-r_binary64_13999`
61×	`add-exp-log_binary64_14097`
57×	`associate-/r*_binary64_14003`
35×	`div-inv_binary64_14056`
33×	`div-exp_binary64_14110`
31×	`add-cbrt-cube_binary64_14095`
15×	`cbrt-undiv_binary64_14093`
10×	`associate-/r/_binary64_14005` `prod-exp_binary64_14108`
7×	`unswap-sqr_binary64_14027`
6×	`pow1_binary64_14120` `associate-/l*_binary64_14004` `1-exp_binary64_14103` `rec-exp_binary64_14109`
4×	`cbrt-unprod_binary64_14092`
3×	`add-log-exp_binary64_14098` `associate-l_binary64_14000`
2×	`frac-2neg_binary64_14070` `clear-num_binary64_14058` `cosh-def_binary64_14245`
1×	`inv-pow_binary64_14144` `pow-flip_binary64_14133` `pow-prod-down_binary64_14130` `frac-times_binary64_14069` `un-div-inv_binary64_14057` `associate-l/_binary64_14002` `associate-r/_binary64_14001` `*-commutative_binary64_13990`

Counts

3 → 448

Calls

3 calls:

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

Compiler

Compiled 10272 to 3895 computations (62.1% saved)

series510.0ms (6.6%)

Error

Counts

3 → 30

Calls

3 calls:

294.0ms	(*.f64 (cosh.f64 x) (/.f64 1 (/.f64 x (/.f64 y z))))
103.0ms	(/.f64 1 (/.f64 x (/.f64 y z)))
97.0ms	(/.f64 x (/.f64 y z))

Compiler

Compiled 1027 to 682 computations (33.6% saved)

simplify132.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

478 → 478

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4989	9358
1	4989	9358

prune359.0ms (4.6%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	476	2	478
Fresh	2	5	7
Picked	0	1	1
Done	1	1	2
Total	479	9	488

Error

Counts

488 → 9

Compiler

Compiled 9088 to 2463 computations (72.9% saved)

regimes818.0ms (10.6%)

Accuracy

Total 0.5b remaining (95.4%)

Threshold costs 0.5b (95.4%)

Compiler

Compiled 5685 to 3866 computations (32% saved)

bsearch62.0ms (0.8%)

Steps

Iters	Range		Point
6	1.6230980556023046e-21	8.79669839193384e-21	8.670599136611819e-21
9	-2.386083270002405e+44	-6.665832863616659e+38	-1.5319762094625696e+39

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	66	95
1	66	95

end0.0ms (0%)

sample2.0s (26.3%)

Algorithm

1×

intervals

Results

266.0ms	8000×	body	128	valid
261.0ms	7223×	body	128	invalid

Compiler

Compiled 1173 to 802 computations (31.6% saved)

Details

analyze501.0ms (6.5%)

sample34.0ms (0.4%)

simplify106.0ms (1.4%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite71.0ms (0.9%)

series483.0ms (6.2%)

simplify81.0ms (1%)

prune71.0ms (0.9%)

localize6.0ms (0.1%)

rewrite49.0ms (0.6%)

series428.0ms (5.5%)

simplify51.0ms (0.7%)

prune53.0ms (0.7%)

localize10.0ms (0.1%)

rewrite308.0ms (4%)

series587.0ms (7.6%)

simplify133.0ms (1.7%)

prune253.0ms (3.3%)

localize7.0ms (0.1%)

rewrite589.0ms (7.6%)

series510.0ms (6.6%)

simplify132.0ms (1.7%)

prune359.0ms (4.6%)

regimes818.0ms (10.6%)

bsearch62.0ms (0.8%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.0s (26.3%)

Profiling