Details

analyze173.0ms (0.8%)

Algorithm

1×

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
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
25%	74.9%	0.1%	6
34.3%	40.6%	25.1%	7
35.9%	39%	25.1%	8
42.1%	32.8%	25.1%	9
42.9%	19.5%	37.6%	10
43.3%	19.1%	37.6%	11
45%	17.5%	37.6%	12
45.1%	10.3%	44.6%	13
45.2%	10.2%	44.6%	14

Compiler

Compiled 11 to 11 computations (0% saved)

sample21.0ms (0.1%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
2.0ms	42×	body	128	nan
0.0ms	11×	body	128	invalid

Compiler

Compiled 21 to 24 computations (-14.3% saved)

simplify100.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	29	12
1	29	12

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

0.1b

Counts

2 → 2

Compiler

Compiled 8 to 8 computations (0% saved)

localize11.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.2b	(*.f64 y (sqrt.f64 z))
0.2b	(*.f64 y (sqrt.f64 z))

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64_5215`
6×	`associate-r_binary64_5133`
4×	`add-cube-cbrt_binary64_5228` `*-un-lft-identity_binary64_5193` `sqrt-prod_binary64_5209`
3×	`add-cbrt-cube_binary64_5229` `associate-l_binary64_5134` `add-exp-log_binary64_5231` `pow1_binary64_5254`
2×	`unswap-sqr_binary64_5161`
1×	`pow-prod-down_binary64_5264` `add-log-exp_binary64_5232` `*-commutative_binary64_5124` `prod-exp_binary64_5242` `cbrt-unprod_binary64_5226`

Counts

1 → 22

Calls

2 calls:

5.0ms	(*.f64 y (sqrt.f64 z))
0.0ms	(*.f64 y (sqrt.f64 z))

series51.0ms (0.2%)

Counts

1 → 6

Calls

1 calls:

51.0ms

(*.f64 y (sqrt.f64 z))

Compiler

Compiled 144 to 139 computations (3.5% saved)

simplify54.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

28 → 28

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4980	229
1	4980	229

localize7.0ms (0%)

Local error

Found 2 expressions with local error:

0.2b	(*.f64 y (sqrt.f64 z))
0.2b	(*.f64 y (sqrt.f64 z))

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64_5215`
6×	`associate-r_binary64_5133`
4×	`add-cube-cbrt_binary64_5228` `*-un-lft-identity_binary64_5193` `sqrt-prod_binary64_5209`
3×	`add-cbrt-cube_binary64_5229` `associate-l_binary64_5134` `add-exp-log_binary64_5231` `pow1_binary64_5254`
2×	`unswap-sqr_binary64_5161`
1×	`pow-prod-down_binary64_5264` `add-log-exp_binary64_5232` `*-commutative_binary64_5124` `prod-exp_binary64_5242` `cbrt-unprod_binary64_5226`

Counts

1 → 22

Calls

2 calls:

5.0ms	(*.f64 y (sqrt.f64 z))
0.0ms	(*.f64 y (sqrt.f64 z))

series51.0ms (0.2%)

Counts

1 → 6

Calls

1 calls:

51.0ms

(*.f64 y (sqrt.f64 z))

Compiler

Compiled 120 to 115 computations (4.2% saved)

simplify54.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

28 → 28

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4980	229
1	4980	229

prune121.0ms (0.5%)

Pruning

27 alts after pruning (25 fresh and 2 done)

	Pruned	Kept	Total
New	31	25	56
Fresh	0	0	0
Picked	0	0	0
Done	0	2	2
Total	31	27	58

Error

0.0b

Counts

58 → 27

Compiler

Compiled 774 to 446 computations (42.4% saved)

localize8.0ms (0%)

Local error

Found 2 expressions with local error:

0.2b	(*.f64 y (sqrt.f64 z))
0.2b	(*.f64 y (sqrt.f64 z))

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64_5215`
6×	`associate-r_binary64_5133`
4×	`add-cube-cbrt_binary64_5228` `*-un-lft-identity_binary64_5193` `sqrt-prod_binary64_5209`
3×	`add-cbrt-cube_binary64_5229` `associate-l_binary64_5134` `add-exp-log_binary64_5231` `pow1_binary64_5254`
2×	`unswap-sqr_binary64_5161`
1×	`pow-prod-down_binary64_5264` `add-log-exp_binary64_5232` `*-commutative_binary64_5124` `prod-exp_binary64_5242` `cbrt-unprod_binary64_5226`

Counts

1 → 22

Calls

2 calls:

5.0ms	(*.f64 y (sqrt.f64 z))
0.0ms	(*.f64 y (sqrt.f64 z))

series54.0ms (0.2%)

Counts

1 → 6

Calls

1 calls:

54.0ms

(*.f64 y (sqrt.f64 z))

Compiler

Compiled 144 to 139 computations (3.5% saved)

simplify54.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

28 → 28

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4980	229
1	4980	229

localize12.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.2b	(*.f64 y (sqrt.f64 z))
0.2b	(*.f64 y (sqrt.f64 z))

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64_5215`
6×	`associate-r_binary64_5133`
4×	`add-cube-cbrt_binary64_5228` `*-un-lft-identity_binary64_5193` `sqrt-prod_binary64_5209`
3×	`add-cbrt-cube_binary64_5229` `associate-l_binary64_5134` `add-exp-log_binary64_5231` `pow1_binary64_5254`
2×	`unswap-sqr_binary64_5161`
1×	`pow-prod-down_binary64_5264` `add-log-exp_binary64_5232` `*-commutative_binary64_5124` `prod-exp_binary64_5242` `cbrt-unprod_binary64_5226`

Counts

1 → 22

Calls

2 calls:

5.0ms	(*.f64 y (sqrt.f64 z))
0.0ms	(*.f64 y (sqrt.f64 z))

series50.0ms (0.2%)

Counts

1 → 6

Calls

1 calls:

50.0ms

(*.f64 y (sqrt.f64 z))

Compiler

Compiled 168 to 163 computations (3% saved)

simplify55.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

28 → 28

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4980	229
1	4980	229

localize10.0ms (0%)

Local error

Found 6 expressions with local error:

4.5b	(log.f64 (exp.f64 (*.f64 y (sqrt.f64 z))))
0.2b	(*.f64 y (sqrt.f64 z))
0.0b	(exp.f64 (*.f64 y (sqrt.f64 z)))
0.0b	(exp.f64 (*.f64 y (sqrt.f64 z)))
0.2b	(*.f64 y (sqrt.f64 z))
4.5b	(log.f64 (exp.f64 (*.f64 y (sqrt.f64 z))))

rewrite12.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64_5215`
7×	`add-cube-cbrt_binary64_5228` `*-un-lft-identity_binary64_5193`
6×	`add-log-exp_binary64_5232` `associate-r_binary64_5133` `pow1_binary64_5254`
5×	`add-cbrt-cube_binary64_5229` `add-exp-log_binary64_5231`
4×	`sqrt-prod_binary64_5209`
3×	`associate-l_binary64_5134` `log-prod_binary64_5279` `log-pow_binary64_5282`
2×	`exp-prod_binary64_5245` `exp-to-pow_binary64_5255` `unswap-sqr_binary64_5161`
1×	`pow-prod-down_binary64_5264` `*-commutative_binary64_5124` `rem-exp-log_binary64_5233` `rem-log-exp_binary64_5234` `prod-exp_binary64_5242` `cbrt-unprod_binary64_5226`

Counts

3 → 46

Calls

6 calls:

5.0ms	(*.f64 y (sqrt.f64 z))
2.0ms	(log.f64 (exp.f64 (*.f64 y (sqrt.f64 z))))
2.0ms	(exp.f64 (*.f64 y (sqrt.f64 z)))
0.0ms	(exp.f64 (*.f64 y (sqrt.f64 z)))
0.0ms	(log.f64 (exp.f64 (*.f64 y (sqrt.f64 z))))

series207.0ms (0.9%)

Counts

3 → 21

Calls

3 calls:

116.0ms	(log.f64 (exp.f64 (*.f64 y (sqrt.f64 z))))
53.0ms	(*.f64 y (sqrt.f64 z))
38.0ms	(exp.f64 (*.f64 y (sqrt.f64 z)))

Compiler

Compiled 542 to 520 computations (4.1% saved)

simplify80.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	5137	567

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

0.6b	(cbrt.f64 y)
0.5b	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
0.4b	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (sqrt.f64 z) (cbrt.f64 y)))
0.4b	(*.f64 (sqrt.f64 z) (cbrt.f64 y))
0.5b	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)

rewrite15.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_5224`
23×	`add-sqr-sqrt_binary64_5215`
15×	`add-cube-cbrt_binary64_5228` `*-un-lft-identity_binary64_5193`
11×	`pow1_binary64_5254`
9×	`pow1/3_binary64_5275`
6×	`associate-l_binary64_5134` `add-exp-log_binary64_5231` `swap-sqr_binary64_5160` `associate-r_binary64_5133`
4×	`add-cbrt-cube_binary64_5229` `add-log-exp_binary64_5232` `unswap-sqr_binary64_5161`
2×	`pow-prod-down_binary64_5264` `pow-prod-up_binary64_5263` `pow-sqr_binary64_5166`
1×	`pow-plus_binary64_5256` `pow2_binary64_5274` `*-commutative_binary64_5124` `prod-exp_binary64_5242` `cbrt-unprod_binary64_5226`

Counts

4 → 73

Calls

8 calls:

6.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)
0.0ms	(*.f64 (sqrt.f64 z) (cbrt.f64 y))

series331.0ms (1.5%)

Counts

4 → 12

Calls

4 calls:

95.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
82.0ms	(cbrt.f64 y)
78.0ms	(cbrt.f64 y)
75.0ms	(cbrt.f64 y)

Compiler

Compiled 418 to 358 computations (14.4% saved)

simplify80.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4873	548
1	4873	548

localize13.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.6b	(cbrt.f64 (sqrt.f64 z))
0.5b	(*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))
0.3b	(.f64 (.f64 y (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))) (cbrt.f64 (sqrt.f64 z)))
0.2b	(.f64 y (.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z))))
0.5b	(*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))
0.6b	(cbrt.f64 (sqrt.f64 z))
0.6b	(cbrt.f64 (sqrt.f64 z))
0.6b	(cbrt.f64 (sqrt.f64 z))

rewrite25.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

58×	`cbrt-prod_binary64_5224`
44×	`add-sqr-sqrt_binary64_5215`
29×	`sqrt-prod_binary64_5209`
22×	`add-cube-cbrt_binary64_5228` `*-un-lft-identity_binary64_5193`
11×	`swap-sqr_binary64_5160` `pow1_binary64_5254`
9×	`associate-l_binary64_5134` `associate-r_binary64_5133` `pow1/3_binary64_5275` `unswap-sqr_binary64_5161`
6×	`add-exp-log_binary64_5231`
4×	`add-cbrt-cube_binary64_5229` `add-log-exp_binary64_5232`
2×	`pow-prod-down_binary64_5264` `pow-prod-up_binary64_5263` `pow-sqr_binary64_5166`
1×	`pow-plus_binary64_5256` `pow2_binary64_5274` `*-commutative_binary64_5124` `prod-exp_binary64_5242` `cbrt-unprod_binary64_5226`

Counts

4 → 98

Calls

8 calls:

9.0ms	(*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))
3.0ms	(cbrt.f64 (sqrt.f64 z))
3.0ms	(cbrt.f64 (sqrt.f64 z))
2.0ms	(cbrt.f64 (sqrt.f64 z))
0.0ms	(.f64 y (.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z))))

series214.0ms (0.9%)

Counts

4 → 12

Calls

4 calls:

57.0ms	(cbrt.f64 (sqrt.f64 z))
54.0ms	(*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))
52.0ms	(cbrt.f64 (sqrt.f64 z))
50.0ms	(cbrt.f64 (sqrt.f64 z))

Compiler

Compiled 436 to 358 computations (17.9% saved)

simplify71.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5290	1109

prune1.8s (7.8%)

Pruning

126 alts after pruning (120 fresh and 6 done)

	Pruned	Kept	Total
New	216	102	318
Fresh	2	18	20
Picked	0	0	0
Done	1	6	7
Total	219	126	345

Error

0.0b

Counts

345 → 126

Compiler

Compiled 5471 to 2989 computations (45.4% saved)

localize10.0ms (0%)

Local error

Found 2 expressions with local error:

0.2b	(*.f64 y (sqrt.f64 z))
0.2b	(*.f64 y (sqrt.f64 z))

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64_5215`
6×	`associate-r_binary64_5133`
4×	`add-cube-cbrt_binary64_5228` `*-un-lft-identity_binary64_5193` `sqrt-prod_binary64_5209`
3×	`add-cbrt-cube_binary64_5229` `associate-l_binary64_5134` `add-exp-log_binary64_5231` `pow1_binary64_5254`
2×	`unswap-sqr_binary64_5161`
1×	`pow-prod-down_binary64_5264` `add-log-exp_binary64_5232` `*-commutative_binary64_5124` `prod-exp_binary64_5242` `cbrt-unprod_binary64_5226`

Counts

1 → 22

Calls

2 calls:

5.0ms	(*.f64 y (sqrt.f64 z))
0.0ms	(*.f64 y (sqrt.f64 z))

series56.0ms (0.2%)

Counts

1 → 6

Calls

1 calls:

56.0ms

(*.f64 y (sqrt.f64 z))

Compiler

Compiled 192 to 187 computations (2.6% saved)

simplify53.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

28 → 28

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4980	229
1	4980	229

localize10.0ms (0%)

Local error

Found 2 expressions with local error:

0.2b	(*.f64 y (sqrt.f64 z))
0.2b	(*.f64 y (sqrt.f64 z))

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64_5215`
6×	`associate-r_binary64_5133`
4×	`add-cube-cbrt_binary64_5228` `*-un-lft-identity_binary64_5193` `sqrt-prod_binary64_5209`
3×	`add-cbrt-cube_binary64_5229` `associate-l_binary64_5134` `add-exp-log_binary64_5231` `pow1_binary64_5254`
2×	`unswap-sqr_binary64_5161`
1×	`pow-prod-down_binary64_5264` `add-log-exp_binary64_5232` `*-commutative_binary64_5124` `prod-exp_binary64_5242` `cbrt-unprod_binary64_5226`

Counts

1 → 22

Calls

2 calls:

5.0ms	(*.f64 y (sqrt.f64 z))
0.0ms	(*.f64 y (sqrt.f64 z))

series49.0ms (0.2%)

Counts

1 → 6

Calls

1 calls:

49.0ms

(*.f64 y (sqrt.f64 z))

Compiler

Compiled 192 to 187 computations (2.6% saved)

simplify53.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

28 → 28

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4980	229
1	4980	229

localize16.0ms (0.1%)

Local error

Found 8 expressions with local error:

5.0b	(pow.f64 (sqrt.f64 z) 2/3)
0.6b	(cbrt.f64 (sqrt.f64 z))
0.3b	(.f64 (.f64 y (pow.f64 (sqrt.f64 z) 2/3)) (cbrt.f64 (sqrt.f64 z)))
0.2b	(*.f64 y (pow.f64 (sqrt.f64 z) 2/3))
0.2b	(*.f64 y (pow.f64 (sqrt.f64 z) 2/3))
0.3b	(.f64 (.f64 y (pow.f64 (sqrt.f64 z) 2/3)) (cbrt.f64 (sqrt.f64 z)))
0.6b	(cbrt.f64 (sqrt.f64 z))
5.0b	(pow.f64 (sqrt.f64 z) 2/3)

rewrite27.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64_5215`
20×	`add-exp-log_binary64_5231`
19×	`associate-r_binary64_5133`
16×	`add-cube-cbrt_binary64_5228` `*-un-lft-identity_binary64_5193`
14×	`unpow-prod-down_binary64_5272`
13×	`sqrt-prod_binary64_5209`
12×	`cbrt-prod_binary64_5224`
10×	`prod-exp_binary64_5242`
9×	`add-cbrt-cube_binary64_5229`
8×	`pow1_binary64_5254`
4×	`associate-l_binary64_5134` `add-log-exp_binary64_5232` `unswap-sqr_binary64_5161` `cbrt-unprod_binary64_5226`
3×	`pow-unpow_binary64_5270` `pow-pow_binary64_5265` `pow-to-exp_binary64_5262` `pow-exp_binary64_5261` `sqr-pow_binary64_5165`
2×	`*-commutative_binary64_5124`
1×	`pow-prod-down_binary64_5264` `sqrt-pow2_binary64_5212` `pow1/2_binary64_5273` `sqrt-pow1_binary64_5211` `pow1/3_binary64_5275`

Counts

4 → 91

Calls

8 calls:

9.0ms	(.f64 (.f64 y (pow.f64 (sqrt.f64 z) 2/3)) (cbrt.f64 (sqrt.f64 z)))
7.0ms	(*.f64 y (pow.f64 (sqrt.f64 z) 2/3))
3.0ms	(pow.f64 (sqrt.f64 z) 2/3)
2.0ms	(cbrt.f64 (sqrt.f64 z))
0.0ms	(*.f64 y (pow.f64 (sqrt.f64 z) 2/3))

series284.0ms (1.3%)

Counts

4 → 18

Calls

4 calls:

156.0ms	(*.f64 y (pow.f64 (sqrt.f64 z) 2/3))
54.0ms	(.f64 (.f64 y (pow.f64 (sqrt.f64 z) 2/3)) (cbrt.f64 (sqrt.f64 z)))
48.0ms	(cbrt.f64 (sqrt.f64 z))
26.0ms	(pow.f64 (sqrt.f64 z) 2/3)

Compiler

Compiled 525 to 488 computations (7% saved)

simplify90.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4819	829
1	4819	829

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.7b	(pow.f64 (exp.f64 y) (sqrt.f64 z))
0.7b	(log.f64 (log.f64 (exp.f64 (pow.f64 (exp.f64 y) (sqrt.f64 z)))))
0.7b	(log.f64 (log.f64 (exp.f64 (pow.f64 (exp.f64 y) (sqrt.f64 z)))))
1.7b	(pow.f64 (exp.f64 y) (sqrt.f64 z))

rewrite11.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`log-prod_binary64_5279`
10×	`exp-prod_binary64_5245`
9×	`add-cube-cbrt_binary64_5228` `*-un-lft-identity_binary64_5193` `log-pow_binary64_5282` `add-sqr-sqrt_binary64_5215`
6×	`pow-unpow_binary64_5270` `unpow-prod-down_binary64_5272`
5×	`pow1_binary64_5254`
4×	`pow-pow_binary64_5265`
3×	`add-exp-log_binary64_5231` `sqrt-prod_binary64_5209`
2×	`add-cbrt-cube_binary64_5229` `add-log-exp_binary64_5232` `sqr-pow_binary64_5165`
1×	`rem-log-exp_binary64_5234` `pow-to-exp_binary64_5262` `pow-exp_binary64_5261`

Counts

2 → 43

Calls

4 calls:

4.0ms	(pow.f64 (exp.f64 y) (sqrt.f64 z))
3.0ms	(log.f64 (log.f64 (exp.f64 (pow.f64 (exp.f64 y) (sqrt.f64 z)))))
0.0ms	(log.f64 (log.f64 (exp.f64 (pow.f64 (exp.f64 y) (sqrt.f64 z)))))
0.0ms	(pow.f64 (exp.f64 y) (sqrt.f64 z))

series447.0ms (2%)

Counts

2 → 15

Calls

2 calls:

346.0ms	(log.f64 (log.f64 (exp.f64 (pow.f64 (exp.f64 y) (sqrt.f64 z)))))
101.0ms	(pow.f64 (exp.f64 y) (sqrt.f64 z))

Compiler

Compiled 458 to 415 computations (9.4% saved)

simplify72.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4931	634
1	4931	634

localize15.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.5b	(*.f64 (cbrt.f64 (sqrt.f64 z)) (exp.f64 (log.f64 (cbrt.f64 (sqrt.f64 z)))))
0.3b	(.f64 (.f64 y (*.f64 (cbrt.f64 (sqrt.f64 z)) (exp.f64 (log.f64 (cbrt.f64 (sqrt.f64 z)))))) (cbrt.f64 (sqrt.f64 z)))
0.2b	(.f64 y (.f64 (cbrt.f64 (sqrt.f64 z)) (exp.f64 (log.f64 (cbrt.f64 (sqrt.f64 z))))))
0.0b	(log.f64 (cbrt.f64 (sqrt.f64 z)))
0.6b	(cbrt.f64 (sqrt.f64 z))
0.6b	(cbrt.f64 (sqrt.f64 z))
0.6b	(cbrt.f64 (sqrt.f64 z))
3.4b	(exp.f64 (log.f64 (cbrt.f64 (sqrt.f64 z))))

rewrite14.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`cbrt-prod_binary64_5224`
14×	`add-cube-cbrt_binary64_5228` `*-un-lft-identity_binary64_5193` `add-sqr-sqrt_binary64_5215`
12×	`sqrt-prod_binary64_5209`
9×	`exp-sum_binary64_5239` `log-prod_binary64_5279`
5×	`exp-prod_binary64_5245` `pow1_binary64_5254`
4×	`add-cbrt-cube_binary64_5229` `add-log-exp_binary64_5232` `add-exp-log_binary64_5231` `pow1/3_binary64_5275`
2×	`log-pow_binary64_5282`
1×	`rem-exp-log_binary64_5233`

Counts

4 → 64

Calls

8 calls:

4.0ms	(exp.f64 (log.f64 (cbrt.f64 (sqrt.f64 z))))
2.0ms	(cbrt.f64 (sqrt.f64 z))
2.0ms	(cbrt.f64 (sqrt.f64 z))
2.0ms	(cbrt.f64 (sqrt.f64 z))
0.0ms	(log.f64 (cbrt.f64 (sqrt.f64 z)))

series253.0ms (1.1%)

Counts

4 → 12

Calls

4 calls:

86.0ms	(exp.f64 (log.f64 (cbrt.f64 (sqrt.f64 z))))
58.0ms	(cbrt.f64 (sqrt.f64 z))
58.0ms	(cbrt.f64 (sqrt.f64 z))
52.0ms	(cbrt.f64 (sqrt.f64 z))

Compiler

Compiled 510 to 413 computations (19% saved)

simplify77.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5160	569

prune2.9s (12.9%)

Pruning

222 alts after pruning (211 fresh and 11 done)

	Pruned	Kept	Total
New	194	105	299
Fresh	9	106	115
Picked	0	0	0
Done	0	11	11
Total	203	222	425

Error

Counts

425 → 222

Compiler

Compiled 7452 to 4787 computations (35.8% saved)

localize11.0ms (0%)

Local error

Found 2 expressions with local error:

0.2b	(*.f64 y (sqrt.f64 z))
0.2b	(*.f64 y (sqrt.f64 z))

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64_5215`
6×	`associate-r_binary64_5133`
4×	`add-cube-cbrt_binary64_5228` `*-un-lft-identity_binary64_5193` `sqrt-prod_binary64_5209`
3×	`add-cbrt-cube_binary64_5229` `associate-l_binary64_5134` `add-exp-log_binary64_5231` `pow1_binary64_5254`
2×	`unswap-sqr_binary64_5161`
1×	`pow-prod-down_binary64_5264` `add-log-exp_binary64_5232` `*-commutative_binary64_5124` `prod-exp_binary64_5242` `cbrt-unprod_binary64_5226`

Counts

1 → 22

Calls

2 calls:

6.0ms	(*.f64 y (sqrt.f64 z))
0.0ms	(*.f64 y (sqrt.f64 z))

series50.0ms (0.2%)

Counts

1 → 6

Calls

1 calls:

50.0ms

(*.f64 y (sqrt.f64 z))

Compiler

Compiled 216 to 211 computations (2.3% saved)

simplify58.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

28 → 28

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4980	229
1	4980	229

localize9.0ms (0%)

Local error

Found 2 expressions with local error:

0.2b	(*.f64 y (sqrt.f64 z))
0.2b	(*.f64 y (sqrt.f64 z))

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64_5215`
6×	`associate-r_binary64_5133`
4×	`add-cube-cbrt_binary64_5228` `*-un-lft-identity_binary64_5193` `sqrt-prod_binary64_5209`
3×	`add-cbrt-cube_binary64_5229` `associate-l_binary64_5134` `add-exp-log_binary64_5231` `pow1_binary64_5254`
2×	`unswap-sqr_binary64_5161`
1×	`pow-prod-down_binary64_5264` `add-log-exp_binary64_5232` `*-commutative_binary64_5124` `prod-exp_binary64_5242` `cbrt-unprod_binary64_5226`

Counts

1 → 22

Calls

2 calls:

5.0ms	(*.f64 y (sqrt.f64 z))
0.0ms	(*.f64 y (sqrt.f64 z))

series48.0ms (0.2%)

Counts

1 → 6

Calls

1 calls:

48.0ms

(*.f64 y (sqrt.f64 z))

Compiler

Compiled 168 to 163 computations (3% saved)

simplify56.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

28 → 28

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4980	229
1	4980	229

localize12.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.3b	(.f64 (.f64 y (sqrt.f64 (sqrt.f64 z))) (sqrt.f64 (sqrt.f64 z)))
0.3b	(*.f64 y (sqrt.f64 (sqrt.f64 z)))
0.1b	(sqrt.f64 (sqrt.f64 z))
0.1b	(sqrt.f64 (sqrt.f64 z))
0.1b	(sqrt.f64 (sqrt.f64 z))
0.1b	(sqrt.f64 (sqrt.f64 z))
0.3b	(*.f64 y (sqrt.f64 (sqrt.f64 z)))
0.3b	(.f64 (.f64 y (sqrt.f64 (sqrt.f64 z))) (sqrt.f64 (sqrt.f64 z)))

rewrite30.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

41×	`sqrt-prod_binary64_5209`
25×	`add-sqr-sqrt_binary64_5215`
18×	`associate-r_binary64_5133`
15×	`add-cube-cbrt_binary64_5228` `*-un-lft-identity_binary64_5193` `pow1_binary64_5254`
11×	`add-cbrt-cube_binary64_5229` `add-exp-log_binary64_5231`
8×	`sqrt-pow1_binary64_5211`
4×	`associate-l_binary64_5134` `pow-prod-down_binary64_5264` `add-log-exp_binary64_5232` `pow1/2_binary64_5273` `rem-sqrt-square_binary64_5206` `prod-exp_binary64_5242` `cbrt-unprod_binary64_5226`
3×	`unswap-sqr_binary64_5161`
2×	`*-commutative_binary64_5124`

Counts

4 → 88

Calls

8 calls:

12.0ms	(.f64 (.f64 y (sqrt.f64 (sqrt.f64 z))) (sqrt.f64 (sqrt.f64 z)))
6.0ms	(*.f64 y (sqrt.f64 (sqrt.f64 z)))
2.0ms	(sqrt.f64 (sqrt.f64 z))
2.0ms	(sqrt.f64 (sqrt.f64 z))
0.0ms	(sqrt.f64 (sqrt.f64 z))

series306.0ms (1.4%)

Counts

4 → 18

Calls

4 calls:

150.0ms	(*.f64 y (sqrt.f64 (sqrt.f64 z)))
54.0ms	(sqrt.f64 (sqrt.f64 z))
53.0ms	(.f64 (.f64 y (sqrt.f64 (sqrt.f64 z))) (sqrt.f64 (sqrt.f64 z)))
50.0ms	(sqrt.f64 (sqrt.f64 z))

Compiler

Compiled 603 to 573 computations (5% saved)

simplify86.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	5186	879

localize14.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.6b	(cbrt.f64 (sqrt.f64 z))
0.5b	(*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))
0.3b	(.f64 (.f64 y (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))) (cbrt.f64 (sqrt.f64 z)))
0.2b	(.f64 y (.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z))))
0.5b	(*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))
0.6b	(cbrt.f64 (sqrt.f64 z))
0.6b	(cbrt.f64 (sqrt.f64 z))
0.6b	(cbrt.f64 (sqrt.f64 z))

rewrite23.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

58×	`cbrt-prod_binary64_5224`
44×	`add-sqr-sqrt_binary64_5215`
29×	`sqrt-prod_binary64_5209`
22×	`add-cube-cbrt_binary64_5228` `*-un-lft-identity_binary64_5193`
11×	`swap-sqr_binary64_5160` `pow1_binary64_5254`
9×	`associate-l_binary64_5134` `associate-r_binary64_5133` `pow1/3_binary64_5275` `unswap-sqr_binary64_5161`
6×	`add-exp-log_binary64_5231`
4×	`add-cbrt-cube_binary64_5229` `add-log-exp_binary64_5232`
2×	`pow-prod-down_binary64_5264` `pow-prod-up_binary64_5263` `pow-sqr_binary64_5166`
1×	`pow-plus_binary64_5256` `pow2_binary64_5274` `*-commutative_binary64_5124` `prod-exp_binary64_5242` `cbrt-unprod_binary64_5226`

Counts

4 → 98

Calls

8 calls:

9.0ms	(*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))
2.0ms	(cbrt.f64 (sqrt.f64 z))
2.0ms	(cbrt.f64 (sqrt.f64 z))
2.0ms	(cbrt.f64 (sqrt.f64 z))
0.0ms	(.f64 y (.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z))))

series209.0ms (0.9%)

Counts

4 → 12

Calls

4 calls:

55.0ms	(cbrt.f64 (sqrt.f64 z))
53.0ms	(*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))
51.0ms	(cbrt.f64 (sqrt.f64 z))
50.0ms	(cbrt.f64 (sqrt.f64 z))

Compiler

Compiled 532 to 454 computations (14.7% saved)

simplify71.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5290	1109

localize23.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.5b	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
0.4b	(.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) (pow.f64 (cbrt.f64 (cbrt.f64 y)) 4)) (.f64 (sqrt.f64 z) (cbrt.f64 y)))
0.4b	(*.f64 (sqrt.f64 z) (cbrt.f64 y))
0.3b	(.f64 (cbrt.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) (pow.f64 (cbrt.f64 (cbrt.f64 y)) 4))
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
0.9b	(pow.f64 (cbrt.f64 (cbrt.f64 y)) 4)

rewrite15.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`cbrt-prod_binary64_5224`
11×	`add-cube-cbrt_binary64_5228` `*-un-lft-identity_binary64_5193` `add-sqr-sqrt_binary64_5215`
9×	`unpow-prod-down_binary64_5272`
5×	`add-exp-log_binary64_5231` `pow1_binary64_5254`
4×	`add-cbrt-cube_binary64_5229` `add-log-exp_binary64_5232` `pow1/3_binary64_5275`
3×	`pow-unpow_binary64_5270`
2×	`pow-pow_binary64_5265`
1×	`pow-to-exp_binary64_5262` `pow-exp_binary64_5261` `sqr-pow_binary64_5165`

Counts

4 → 57

Calls

8 calls:

4.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 y)) 4)
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)
0.0ms	(.f64 (cbrt.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) (pow.f64 (cbrt.f64 (cbrt.f64 y)) 4))

series394.0ms (1.7%)

Counts

4 → 12

Calls

4 calls:

150.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 y)) 4)
86.0ms	(cbrt.f64 y)
83.0ms	(cbrt.f64 y)
74.0ms	(cbrt.f64 y)

Compiler

Compiled 590 to 470 computations (20.3% saved)

simplify43.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	4961	535
1	4961	535

prune4.6s (20.6%)

Pruning

323 alts after pruning (307 fresh and 16 done)

	Pruned	Kept	Total
New	227	114	341
Fresh	13	193	206
Picked	0	0	0
Done	0	16	16
Total	240	323	563

Error

Counts

563 → 323

Compiler

Compiled 4403 to 2035 computations (53.8% saved)

simplify239.0ms (1.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	2731	15647
1	2731	15647

regimes2.1s (9.2%)

Compiler: Compiled 21742 to 16510 computations (24.1% saved)

bsearch0.0ms (0%)

regimes30.0ms (0.1%)

Compiler: Compiled 33 to 78 computations (-136.4% saved)

bsearch0.0ms (0%)

regimes25.0ms (0.1%)

Compiler: Compiled 15 to 54 computations (-260% saved)

bsearch0.0ms (0%)

regimes23.0ms (0.1%)

Accuracy

Total 0.1b remaining (83.2%)

Threshold costs 0.1b (83.2%)

Compiler

Compiled 12 to 42 computations (-250% saved)

bsearch2.0ms (0%)

Compiler: Compiled 16 to 24 computations (-50% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	23
1	20	23

end0.0ms (0%)

sample5.9s (26%)

Algorithm

1×

intervals

Results

323.0ms	8000×	body	128	valid
41.0ms	1046×	body	128	nan
18.0ms	389×	body	128	invalid

Compiler

Compiled 5492 to 4207 computations (23.4% saved)

Pareto

-0.4555821763651038