Details

analyze4.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
62.5%	12.5%	25%	5
68.7%	6.2%	25%	6
71.8%	3.1%	25%	7
73.4%	1.6%	25%	8
74.2%	0.8%	25%	9
74.6%	0.4%	25%	10
74.8%	0.2%	25%	11
74.9%	0.1%	25%	12
74.9%	0%	25.1%	13
74.9%	0%	25.1%	14

Compiler

Compiled 6 to 5 computations (16.7% saved)

sample8.0ms (0.1%)

Algorithm

1×

intervals

Results

4.0ms

256×

body

128

valid

Compiler

Compiled 11 to 10 computations (9.1% saved)

simplify90.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	10	7
1	10	7

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.2b

Counts

2 → 1

Compiler

Compiled 5 to 4 computations (20% saved)

localize3.0ms (0%)

Local error

Found 2 expressions with local error:

0.2b	(.f64 (.f64 x 3) x)
0.2b	(.f64 (.f64 x 3) x)

rewrite7.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`pow1_binary64_4572` `add-cbrt-cube_binary64_4547` `add-exp-log_binary64_4549`
3×	`prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `associate-r_binary64_4451` `pow-prod-down_binary64_4582`
2×	`*-un-lft-identity_binary64_4511` `add-sqr-sqrt_binary64_4533` `add-cube-cbrt_binary64_4546`
1×	`add-log-exp_binary64_4550` `associate-l_binary64_4452` `*-commutative_binary64_4442`

Counts

1 → 18

Calls

2 calls:

6.0ms	(.f64 (.f64 x 3) x)
0.0ms	(.f64 (.f64 x 3) x)

series28.0ms (0.2%)

Counts

1 → 3

Calls

1 calls:

28.0ms

(*.f64 (*.f64 x 3) x)

Compiler

Compiled 30 to 30 computations (0% saved)

simplify65.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4931	168
1	4931	168

prune31.0ms (0.2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	12	9	21
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	12	10	22

Error

0.1b

Counts

22 → 10

Compiler

Compiled 191 to 141 computations (26.2% saved)

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

0.2b	(.f64 x (.f64 x 3))
0.2b	(.f64 x (.f64 x 3))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`pow1_binary64_4572` `add-cbrt-cube_binary64_4547` `add-exp-log_binary64_4549`
3×	`associate-l_binary64_4452` `prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `pow-prod-down_binary64_4582`
2×	`*-un-lft-identity_binary64_4511` `add-sqr-sqrt_binary64_4533` `add-cube-cbrt_binary64_4546`
1×	`add-log-exp_binary64_4550` `associate-r_binary64_4451` `*-commutative_binary64_4442`

Counts

1 → 18

Calls

2 calls:

8.0ms	(.f64 x (.f64 x 3))
0.0ms	(.f64 x (.f64 x 3))

series25.0ms (0.2%)

Counts

1 → 3

Calls

1 calls:

25.0ms

(*.f64 x (*.f64 x 3))

Compiler

Compiled 42 to 42 computations (0% saved)

simplify64.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4830	166
1	4830	166

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.2b	(.f64 (.f64 x 3) x)
0.2b	(.f64 (.f64 x 3) x)

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`pow1_binary64_4572` `add-cbrt-cube_binary64_4547` `add-exp-log_binary64_4549`
3×	`prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `associate-r_binary64_4451` `pow-prod-down_binary64_4582`
2×	`*-un-lft-identity_binary64_4511` `add-sqr-sqrt_binary64_4533` `add-cube-cbrt_binary64_4546`
1×	`add-log-exp_binary64_4550` `associate-l_binary64_4452` `*-commutative_binary64_4442`

Counts

1 → 18

Calls

2 calls:

5.0ms	(.f64 (.f64 x 3) x)
0.0ms	(.f64 (.f64 x 3) x)

series24.0ms (0.2%)

Counts

1 → 3

Calls

1 calls:

24.0ms

(*.f64 (*.f64 x 3) x)

Compiler

Compiled 42 to 42 computations (0% saved)

simplify66.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4931	168
1	4931	168

localize7.0ms (0.1%)

Local error

Found 6 expressions with local error:

15.1b	(log.f64 (.f64 x (.f64 x 3)))
4.3b	(exp.f64 (log.f64 (.f64 x (.f64 x 3))))
0.2b	(.f64 x (.f64 x 3))
0.2b	(.f64 x (.f64 x 3))
4.3b	(exp.f64 (log.f64 (.f64 x (.f64 x 3))))
15.1b	(log.f64 (.f64 x (.f64 x 3)))

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`pow1_binary64_4572`
14×	`add-exp-log_binary64_4549`
9×	`pow-prod-down_binary64_4582`
8×	`add-cbrt-cube_binary64_4547`
6×	`exp-prod_binary64_4563` `prod-exp_binary64_4560` `log-pow_binary64_4600`
5×	`*-un-lft-identity_binary64_4511` `add-sqr-sqrt_binary64_4533` `add-cube-cbrt_binary64_4546`
3×	`add-log-exp_binary64_4550` `associate-l_binary64_4452` `cbrt-unprod_binary64_4544` `rem-log-exp_binary64_4552`
2×	`log-prod_binary64_4597`
1×	`rem-exp-log_binary64_4551` `associate-r_binary64_4451` `*-commutative_binary64_4442` `exp-sum_binary64_4557`

Counts

3 → 47

Calls

6 calls:

5.0ms	(.f64 x (.f64 x 3))
5.0ms	(exp.f64 (log.f64 (.f64 x (.f64 x 3))))
4.0ms	(log.f64 (.f64 x (.f64 x 3)))
0.0ms	(.f64 x (.f64 x 3))
0.0ms	(exp.f64 (log.f64 (.f64 x (.f64 x 3))))

series161.0ms (1.2%)

Counts

3 → 9

Calls

3 calls:

77.0ms	(exp.f64 (log.f64 (.f64 x (.f64 x 3))))
59.0ms	(log.f64 (.f64 x (.f64 x 3)))
24.0ms	(.f64 x (.f64 x 3))

Compiler

Compiled 154 to 154 computations (0% saved)

simplify94.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4874	461
1	4874	461

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 3 (pow.f64 x 3/2))
0.1b	(.f64 (.f64 3 (pow.f64 x 3/2)) (sqrt.f64 x))
0.1b	(.f64 (.f64 3 (pow.f64 x 3/2)) (sqrt.f64 x))
0.1b	(*.f64 3 (pow.f64 x 3/2))

rewrite16.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-exp-log_binary64_4549`
13×	`associate-r_binary64_4451`
12×	`add-sqr-sqrt_binary64_4533`
10×	`prod-exp_binary64_4560`
9×	`add-cbrt-cube_binary64_4547`
7×	`*-un-lft-identity_binary64_4511` `add-cube-cbrt_binary64_4546`
4×	`pow1_binary64_4572` `associate-l_binary64_4452` `unpow-prod-down_binary64_4590` `cbrt-unprod_binary64_4544`
3×	`unswap-sqr_binary64_4479` `sqrt-prod_binary64_4527`
2×	`pow-exp_binary64_4579` `add-log-exp_binary64_4550` `sqr-pow_binary64_4483` `pow-to-exp_binary64_4580` `*-commutative_binary64_4442`
1×	`pow-prod-down_binary64_4582`

Counts

2 → 47

Calls

4 calls:

7.0ms	(.f64 (.f64 3 (pow.f64 x 3/2)) (sqrt.f64 x))
5.0ms	(*.f64 3 (pow.f64 x 3/2))
0.0ms	(.f64 (.f64 3 (pow.f64 x 3/2)) (sqrt.f64 x))
0.0ms	(*.f64 3 (pow.f64 x 3/2))

series45.0ms (0.3%)

Counts

2 → 6

Calls

2 calls:

27.0ms	(.f64 (.f64 3 (pow.f64 x 3/2)) (sqrt.f64 x))
18.0ms	(*.f64 3 (pow.f64 x 3/2))

Compiler

Compiled 114 to 103 computations (9.6% saved)

simplify76.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4930	506
1	4930	506

localize8.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.6b	(cbrt.f64 x)
0.5b	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
0.3b	(.f64 (.f64 x 3) (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
0.2b	(.f64 (.f64 (.f64 x 3) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x))
0.5b	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)

rewrite20.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_4542`
23×	`add-sqr-sqrt_binary64_4533`
15×	`*-un-lft-identity_binary64_4511` `add-cube-cbrt_binary64_4546`
11×	`pow1_binary64_4572`
9×	`pow1/3_binary64_4593`
6×	`add-exp-log_binary64_4549` `associate-l_binary64_4452` `associate-r_binary64_4451` `swap-sqr_binary64_4478`
4×	`add-cbrt-cube_binary64_4547` `unswap-sqr_binary64_4479` `add-log-exp_binary64_4550`
2×	`pow-prod-up_binary64_4581` `pow-sqr_binary64_4484` `pow-prod-down_binary64_4582`
1×	`pow-plus_binary64_4574` `pow2_binary64_4592` `prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `*-commutative_binary64_4442`

Counts

4 → 73

Calls

8 calls:

10.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
1.0ms	(.f64 (.f64 (.f64 x 3) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x))

series308.0ms (2.3%)

Counts

4 → 12

Calls

4 calls:

88.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
84.0ms	(cbrt.f64 x)
69.0ms	(cbrt.f64 x)
67.0ms	(cbrt.f64 x)

Compiler

Compiled 346 to 262 computations (24.3% saved)

simplify80.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4873	548
1	4873	548

prune1.2s (9.3%)

Pruning

84 alts after pruning (78 fresh and 6 done)

	Pruned	Kept	Total
New	159	77	236
Fresh	3	1	4
Picked	0	0	0
Done	0	6	6
Total	162	84	246

Error

0.0b

Counts

246 → 84

Compiler

Compiled 2897 to 1883 computations (35% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

0.2b	(.f64 (.f64 x 3) x)
0.2b	(.f64 (.f64 x 3) x)

rewrite7.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`pow1_binary64_4572` `add-cbrt-cube_binary64_4547` `add-exp-log_binary64_4549`
3×	`prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `associate-r_binary64_4451` `pow-prod-down_binary64_4582`
2×	`*-un-lft-identity_binary64_4511` `add-sqr-sqrt_binary64_4533` `add-cube-cbrt_binary64_4546`
1×	`add-log-exp_binary64_4550` `associate-l_binary64_4452` `*-commutative_binary64_4442`

Counts

1 → 18

Calls

2 calls:

5.0ms	(.f64 (.f64 x 3) x)
0.0ms	(.f64 (.f64 x 3) x)

series26.0ms (0.2%)

Counts

1 → 3

Calls

1 calls:

26.0ms

(*.f64 (*.f64 x 3) x)

Compiler

Compiled 54 to 54 computations (0% saved)

simplify65.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4931	168
1	4931	168

localize3.0ms (0%)

Local error

Found 2 expressions with local error:

0.2b	(.f64 3 (.f64 x x))
0.2b	(.f64 3 (.f64 x x))

rewrite7.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`pow1_binary64_4572` `add-cbrt-cube_binary64_4547` `add-exp-log_binary64_4549`
3×	`associate-l_binary64_4452` `prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `pow-prod-down_binary64_4582` `add-sqr-sqrt_binary64_4533`
2×	`*-un-lft-identity_binary64_4511` `add-cube-cbrt_binary64_4546`
1×	`unswap-sqr_binary64_4479` `add-log-exp_binary64_4550` `associate-r_binary64_4451` `*-commutative_binary64_4442`

Counts

1 → 19

Calls

2 calls:

5.0ms	(.f64 3 (.f64 x x))
0.0ms	(.f64 3 (.f64 x x))

series24.0ms (0.2%)

Counts

1 → 3

Calls

1 calls:

24.0ms

(*.f64 3 (*.f64 x x))

Compiler

Compiled 30 to 30 computations (0% saved)

simplify61.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

22 → 22

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4886	180
1	4886	180

localize8.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.6b	(cbrt.f64 x)
0.5b	(pow.f64 (cbrt.f64 x) 2)
0.3b	(.f64 (.f64 x 3) (pow.f64 (cbrt.f64 x) 2))
0.2b	(.f64 (.f64 (*.f64 x 3) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))
0.3b	(.f64 (.f64 x 3) (pow.f64 (cbrt.f64 x) 2))
0.5b	(pow.f64 (cbrt.f64 x) 2)
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-exp-log_binary64_4549`
12×	`unpow-prod-down_binary64_4590` `*-un-lft-identity_binary64_4511` `add-sqr-sqrt_binary64_4533` `add-cube-cbrt_binary64_4546` `cbrt-prod_binary64_4542`
11×	`associate-r_binary64_4451`
9×	`add-cbrt-cube_binary64_4547` `prod-exp_binary64_4560`
5×	`pow1_binary64_4572`
4×	`add-log-exp_binary64_4550`
3×	`pow1/3_binary64_4593` `pow-exp_binary64_4579` `cbrt-unprod_binary64_4544` `pow-to-exp_binary64_4580` `pow-unpow_binary64_4588`
2×	`unpow2_binary64_4576` `sqr-pow_binary64_4483` `pow-pow_binary64_4583`
1×	`associate-l_binary64_4452` `*-commutative_binary64_4442`

Counts

4 → 72

Calls

8 calls:

8.0ms	(.f64 (.f64 x 3) (pow.f64 (cbrt.f64 x) 2))
3.0ms	(pow.f64 (cbrt.f64 x) 2)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
0.0ms	(.f64 (.f64 (*.f64 x 3) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))

series358.0ms (2.7%)

Counts

4 → 12

Calls

4 calls:

116.0ms	(.f64 (.f64 x 3) (pow.f64 (cbrt.f64 x) 2))
87.0ms	(pow.f64 (cbrt.f64 x) 2)
78.0ms	(cbrt.f64 x)
77.0ms	(cbrt.f64 x)

Compiler

Compiled 320 to 278 computations (13.1% saved)

simplify59.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4921	632
1	4921	632

localize11.0ms (0.1%)

Local error

Found 8 expressions with local error:

4.3b	(exp.f64 (log.f64 (.f64 (sqrt.f64 (.f64 x (.f64 x 3))) (sqrt.f64 (.f64 x (*.f64 x 3))))))
0.3b	(.f64 (sqrt.f64 (.f64 x (.f64 x 3))) (sqrt.f64 (.f64 x (*.f64 x 3))))
0.2b	(.f64 x (.f64 x 3))
0.2b	(.f64 x (.f64 x 3))
4.3b	(exp.f64 (log.f64 (.f64 (sqrt.f64 (.f64 x (.f64 x 3))) (sqrt.f64 (.f64 x (*.f64 x 3))))))
14.7b	(sqrt.f64 (.f64 x (.f64 x 3)))
14.7b	(sqrt.f64 (.f64 x (.f64 x 3)))
15.1b	(log.f64 (.f64 (sqrt.f64 (.f64 x (.f64 x 3))) (sqrt.f64 (.f64 x (*.f64 x 3)))))

rewrite53.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

272×	`pow1_binary64_4572`
148×	`pow-prod-down_binary64_4582`
126×	`sqrt-pow1_binary64_4529`
84×	`log-pow_binary64_4600`
45×	`exp-prod_binary64_4563`
34×	`pow-prod-up_binary64_4581`
26×	`pow1/2_binary64_4591`
22×	`pow-sqr_binary64_4484`
7×	`add-exp-log_binary64_4549`
5×	`*-un-lft-identity_binary64_4511` `add-sqr-sqrt_binary64_4533` `add-cube-cbrt_binary64_4546`
4×	`add-cbrt-cube_binary64_4547` `add-log-exp_binary64_4550`
2×	`pow-plus_binary64_4574` `pow2_binary64_4592` `log-prod_binary64_4597` `rem-log-exp_binary64_4552` `sqrt-prod_binary64_4527`
1×	`rem-exp-log_binary64_4551` `prod-exp_binary64_4560` `exp-sum_binary64_4557`

Counts

4 → 130

Calls

8 calls:

17.0ms	(exp.f64 (log.f64 (.f64 (sqrt.f64 (.f64 x (.f64 x 3))) (sqrt.f64 (.f64 x (*.f64 x 3))))))
13.0ms	(log.f64 (.f64 (sqrt.f64 (.f64 x (.f64 x 3))) (sqrt.f64 (.f64 x (*.f64 x 3)))))
4.0ms	(sqrt.f64 (.f64 x (.f64 x 3)))
4.0ms	(sqrt.f64 (.f64 x (.f64 x 3)))
0.0ms	(.f64 x (.f64 x 3))

series285.0ms (2.2%)

Counts

4 → 12

Calls

4 calls:

117.0ms	(exp.f64 (log.f64 (.f64 (sqrt.f64 (.f64 x (.f64 x 3))) (sqrt.f64 (.f64 x (*.f64 x 3))))))
112.0ms	(log.f64 (.f64 (sqrt.f64 (.f64 x (.f64 x 3))) (sqrt.f64 (.f64 x (*.f64 x 3)))))
29.0ms	(sqrt.f64 (.f64 x (.f64 x 3)))
27.0ms	(sqrt.f64 (.f64 x (.f64 x 3)))

Compiler

Compiled 312 to 288 computations (7.7% saved)

simplify80.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4857	992
1	4857	992

localize13.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (.f64 x 3) (*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 x)) 3) (sqrt.f64 (cbrt.f64 x))))
0.1b	(.f64 (.f64 (.f64 x 3) (.f64 (pow.f64 (sqrt.f64 (cbrt.f64 x)) 3) (sqrt.f64 (cbrt.f64 x)))) (cbrt.f64 x))
0.1b	(sqrt.f64 (cbrt.f64 x))
0.1b	(sqrt.f64 (cbrt.f64 x))
0.4b	(pow.f64 (sqrt.f64 (cbrt.f64 x)) 3)
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)

rewrite14.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`cbrt-prod_binary64_4542`
14×	`*-un-lft-identity_binary64_4511` `add-sqr-sqrt_binary64_4533` `add-cube-cbrt_binary64_4546`
12×	`sqrt-prod_binary64_4527`
9×	`cube-prod_binary64_4539` `unpow-prod-down_binary64_4590`
6×	`pow1_binary64_4572`
5×	`add-cbrt-cube_binary64_4547` `add-exp-log_binary64_4549`
4×	`pow1/3_binary64_4593` `add-log-exp_binary64_4550` `pow-pow_binary64_4583`
3×	`pow-unpow_binary64_4588`
2×	`sqrt-pow1_binary64_4529`
1×	`sqrt-pow2_binary64_4530` `unpow3_binary64_4577` `pow-exp_binary64_4579` `sqr-pow_binary64_4483` `rem-cube-cbrt_binary64_4534` `pow-to-exp_binary64_4580` `cube-mult_binary64_4541` `pow1/2_binary64_4591`

Counts

4 → 72

Calls

8 calls:

4.0ms	(pow.f64 (sqrt.f64 (cbrt.f64 x)) 3)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
0.0ms	(sqrt.f64 (cbrt.f64 x))

series336.0ms (2.6%)

Counts

4 → 12

Calls

4 calls:

120.0ms	(pow.f64 (sqrt.f64 (cbrt.f64 x)) 3)
75.0ms	(cbrt.f64 x)
71.0ms	(cbrt.f64 x)
69.0ms	(cbrt.f64 x)

Compiler

Compiled 428 to 326 computations (23.8% saved)

simplify66.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5244	638

prune2.6s (19.7%)

Pruning

163 alts after pruning (152 fresh and 11 done)

	Pruned	Kept	Total
New	264	89	353
Fresh	10	63	73
Picked	0	0	0
Done	0	11	11
Total	274	163	437

Error

0.0b

Counts

437 → 163

Compiler

Compiled 5321 to 3616 computations (32% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.2b	(.f64 (.f64 x 3) x)
0.2b	(.f64 (.f64 x 3) x)

rewrite7.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`pow1_binary64_4572` `add-cbrt-cube_binary64_4547` `add-exp-log_binary64_4549`
3×	`prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `associate-r_binary64_4451` `pow-prod-down_binary64_4582`
2×	`*-un-lft-identity_binary64_4511` `add-sqr-sqrt_binary64_4533` `add-cube-cbrt_binary64_4546`
1×	`add-log-exp_binary64_4550` `associate-l_binary64_4452` `*-commutative_binary64_4442`

Counts

1 → 18

Calls

2 calls:

5.0ms	(.f64 (.f64 x 3) x)
0.0ms	(.f64 (.f64 x 3) x)

series23.0ms (0.2%)

Counts

1 → 3

Calls

1 calls:

23.0ms

(*.f64 (*.f64 x 3) x)

Compiler

Compiled 66 to 66 computations (0% saved)

simplify64.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4931	168
1	4931	168

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.2b	(.f64 3 (.f64 x x))
0.2b	(.f64 3 (.f64 x x))

rewrite7.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`pow1_binary64_4572` `add-cbrt-cube_binary64_4547` `add-exp-log_binary64_4549`
3×	`associate-l_binary64_4452` `prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `pow-prod-down_binary64_4582` `add-sqr-sqrt_binary64_4533`
2×	`*-un-lft-identity_binary64_4511` `add-cube-cbrt_binary64_4546`
1×	`unswap-sqr_binary64_4479` `add-log-exp_binary64_4550` `associate-r_binary64_4451` `*-commutative_binary64_4442`

Counts

1 → 19

Calls

2 calls:

6.0ms	(.f64 3 (.f64 x x))
0.0ms	(.f64 3 (.f64 x x))

series23.0ms (0.2%)

Counts

1 → 3

Calls

1 calls:

23.0ms

(*.f64 3 (*.f64 x x))

Compiler

Compiled 42 to 42 computations (0% saved)

simplify62.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

22 → 22

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4886	180
1	4886	180

localize8.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.3b	(.f64 (.f64 (cbrt.f64 (.f64 x (.f64 x 3))) (cbrt.f64 (.f64 x (.f64 x 3)))) (cbrt.f64 (.f64 x (.f64 x 3))))
0.2b	(.f64 x (.f64 x 3))
0.2b	(.f64 x (.f64 x 3))
0.2b	(.f64 x (.f64 x 3))
0.5b	(.f64 (cbrt.f64 (.f64 x (.f64 x 3))) (cbrt.f64 (.f64 x (*.f64 x 3))))
15.4b	(cbrt.f64 (.f64 x (.f64 x 3)))
15.4b	(cbrt.f64 (.f64 x (.f64 x 3)))
15.4b	(cbrt.f64 (.f64 x (.f64 x 3)))

rewrite21.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`pow1_binary64_4572`
10×	`add-sqr-sqrt_binary64_4533`
9×	`pow1/3_binary64_4593`
8×	`*-un-lft-identity_binary64_4511` `add-cube-cbrt_binary64_4546`
7×	`cbrt-prod_binary64_4542`
6×	`add-exp-log_binary64_4549`
4×	`add-cbrt-cube_binary64_4547` `add-log-exp_binary64_4550` `associate-l_binary64_4452` `associate-r_binary64_4451` `swap-sqr_binary64_4478`
2×	`pow-prod-up_binary64_4581` `pow-sqr_binary64_4484` `pow-prod-down_binary64_4582`
1×	`pow-plus_binary64_4574` `unswap-sqr_binary64_4479` `pow2_binary64_4592` `prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `*-commutative_binary64_4442`

Counts

4 → 58

Calls

8 calls:

6.0ms	(.f64 (cbrt.f64 (.f64 x (.f64 x 3))) (cbrt.f64 (.f64 x (*.f64 x 3))))
4.0ms	(cbrt.f64 (.f64 x (.f64 x 3)))
4.0ms	(cbrt.f64 (.f64 x (.f64 x 3)))
3.0ms	(cbrt.f64 (.f64 x (.f64 x 3)))
0.0ms	(.f64 x (.f64 x 3))

series425.0ms (3.2%)

Counts

4 → 12

Calls

4 calls:

124.0ms	(.f64 (cbrt.f64 (.f64 x (.f64 x 3))) (cbrt.f64 (.f64 x (*.f64 x 3))))
103.0ms	(cbrt.f64 (.f64 x (.f64 x 3)))
100.0ms	(cbrt.f64 (.f64 x (.f64 x 3)))
98.0ms	(cbrt.f64 (.f64 x (.f64 x 3)))

Compiler

Compiled 498 to 414 computations (16.9% saved)

simplify66.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5130	733

localize12.0ms (0.1%)

Local error

Found 8 expressions with local error:

31.0b	(cbrt.f64 (neg.f64 (pow.f64 x 5)))
0.6b	(cbrt.f64 x)
0.2b	(.f64 (.f64 -3 (*.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 (neg.f64 (pow.f64 x 5))))) (cbrt.f64 x))
0.2b	(.f64 -3 (.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 (neg.f64 (pow.f64 x 5)))))
0.2b	(.f64 -3 (.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 (neg.f64 (pow.f64 x 5)))))
0.2b	(.f64 (.f64 -3 (*.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 (neg.f64 (pow.f64 x 5))))) (cbrt.f64 x))
0.6b	(cbrt.f64 x)
31.0b	(cbrt.f64 (neg.f64 (pow.f64 x 5)))

rewrite35.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`add-exp-log_binary64_4549`
24×	`cbrt-prod_binary64_4542`
19×	`prod-exp_binary64_4560`
13×	`add-cbrt-cube_binary64_4547` `*-un-lft-identity_binary64_4511` `add-sqr-sqrt_binary64_4533` `add-cube-cbrt_binary64_4546`
11×	`pow1_binary64_4572`
9×	`cbrt-unprod_binary64_4544`
7×	`distribute-rgt-neg-in_binary64_4469` `distribute-lft-neg-in_binary64_4468` `associate-r_binary64_4451`
6×	`unpow-prod-down_binary64_4590`
4×	`add-log-exp_binary64_4550` `associate-l_binary64_4452` `pow-prod-down_binary64_4582`
2×	`pow1/3_binary64_4593` `pow-exp_binary64_4579` `sqr-pow_binary64_4483` `pow-to-exp_binary64_4580` `*-commutative_binary64_4442`
1×	`neg-mul-1_binary64_4507`

Counts

4 → 81

Calls

8 calls:

13.0ms	(.f64 (.f64 -3 (*.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 (neg.f64 (pow.f64 x 5))))) (cbrt.f64 x))
10.0ms	(.f64 -3 (.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 (neg.f64 (pow.f64 x 5)))))
3.0ms	(cbrt.f64 (neg.f64 (pow.f64 x 5)))
1.0ms	(cbrt.f64 x)
0.0ms	(.f64 -3 (.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 (neg.f64 (pow.f64 x 5)))))

series448.0ms (3.4%)

Counts

4 → 12

Calls

4 calls:

173.0ms	(.f64 -3 (.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 (neg.f64 (pow.f64 x 5)))))
118.0ms	(cbrt.f64 (neg.f64 (pow.f64 x 5)))
81.0ms	(.f64 (.f64 -3 (*.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 (neg.f64 (pow.f64 x 5))))) (cbrt.f64 x))
75.0ms	(cbrt.f64 x)

Compiler

Compiled 366 to 348 computations (4.9% saved)

simplify69.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4922	1137
1	4922	1137

localize15.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.5b	(pow.f64 (cbrt.f64 x) 2)
0.3b	(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (cbrt.f64 x)))
0.3b	(.f64 (.f64 x 3) (pow.f64 (cbrt.f64 x) 2))
0.2b	(.f64 (.f64 (.f64 x 3) (pow.f64 (cbrt.f64 x) 2)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (cbrt.f64 x))))
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 (cbrt.f64 x))
0.6b	(cbrt.f64 (cbrt.f64 x))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`cbrt-prod_binary64_4542`
10×	`*-un-lft-identity_binary64_4511` `add-sqr-sqrt_binary64_4533` `add-cube-cbrt_binary64_4546`
4×	`pow1_binary64_4572` `add-cbrt-cube_binary64_4547` `pow1/3_binary64_4593` `add-exp-log_binary64_4549` `add-log-exp_binary64_4550`

Counts

4 → 50

Calls

8 calls:

2.0ms	(cbrt.f64 (cbrt.f64 x))
2.0ms	(cbrt.f64 (cbrt.f64 x))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
0.0ms	(.f64 (.f64 (.f64 x 3) (pow.f64 (cbrt.f64 x) 2)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (cbrt.f64 x))))

series350.0ms (2.7%)

Counts

4 → 12

Calls

4 calls:

103.0ms	(cbrt.f64 (cbrt.f64 x))
93.0ms	(cbrt.f64 (cbrt.f64 x))
80.0ms	(cbrt.f64 x)
74.0ms	(cbrt.f64 x)

Compiler

Compiled 492 to 396 computations (19.5% saved)

simplify82.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4718	452
1	4718	452

prune3.6s (27.2%)

Pruning

271 alts after pruning (255 fresh and 16 done)

	Pruned	Kept	Total
New	152	116	268
Fresh	8	139	147
Picked	0	0	0
Done	0	16	16
Total	160	271	431

Error

Counts

431 → 271

Compiler

Compiled 3549 to 2421 computations (31.8% saved)

simplify186.0ms (1.4%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	1733	11949
1	1733	11949

regimes594.0ms (4.5%)

Compiler: Compiled 5147 to 3932 computations (23.6% saved)

bsearch0.0ms (0%)

regimes12.0ms (0.1%)

Compiler: Compiled 10 to 12 computations (-20% saved)

bsearch0.0ms (0%)

regimes7.0ms (0.1%)

Compiler: Compiled 5 to 8 computations (-60% saved)

bsearch2.0ms (0%)

Compiler: Compiled 12 to 12 computations (0% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	16
1	12	16

end0.0ms (0%)

sample416.0ms (3.2%)

Algorithm

1×

intervals

Results

123.0ms

8000×

body

128

valid

Compiler

Compiled 5175 to 3960 computations (23.5% saved)