Details

analyze1.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample1.3s (18%)

Results

546.0ms	2053×	body	1024	valid
373.0ms	4438×	body	128	valid
210.0ms	1038×	body	512	valid
77.0ms	238×	body	2048	valid
68.0ms	489×	body	256	valid

Compiler

Compiled 26 to 20 computations (23.1% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

39×	`fma-def_binary64`
32×	`fma-neg_binary64`
14×	`cancel-sign-sub-inv_binary64`
12×	`sub-neg_binary64`
10×	`distribute-rgt-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	23	11
4	30	11
5	47	11
6	72	11
7	92	11
8	109	11
9	119	11
10	123	11
11	125	11
12	111	11

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

29.8b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	29.8b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

Compiler

Compiled 24 to 18 computations (25% saved)

localize5.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(cbrt.f64 (+.f64 x 1))
✓	0.5b	(cbrt.f64 x)
✓	2.2b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

series49.0ms (0.7%)

Counts

3 → 36

Calls

3 calls:

33.0ms	(cbrt.f64 x)
11.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
4.0ms	(cbrt.f64 (+.f64 x 1))

rewrite19.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

67×	`cbrt-prod_binary64`
58×	`*-un-lft-identity_binary64`
43×	`add-sqr-sqrt_binary64`
42×	`prod-diff_binary64`
35×	`add-cube-cbrt_binary64`

Counts

3 → 104

Calls

3 calls:

8.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
2.0ms	(cbrt.f64 (+.f64 x 1))
1.0ms	(cbrt.f64 x)

simplify118.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

959×	`fma-neg_binary64`
417×	`associate-/r*_binary64`
348×	`times-frac_binary64`
258×	`cancel-sign-sub-inv_binary64`
133×	`associate--l+_binary64`

Counts

140 → 181

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	200	3526
1	455	2550
2	1336	2116
3	3957	2052
4	4888	2052
5	4814	2052

prune173.0ms (2.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	172	9	181
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	173	9	182

Error

7.3b

Counts

182 → 9

Alt Table

Status	Error	Program
▶	29.8b	(/.f64 (-.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	31.0b	(+.f64 (fma.f64 (sqrt.f64 (cbrt.f64 (+.f64 x 1))) (sqrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))))
	30.0b	(-.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 x))
	30.0b	(fma.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (cbrt.f64 x)))
	29.8b	(-.f64 (cbrt.f64 (+.f64 x 1)) (.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))
	30.0b	(+.f64 (fma.f64 (cbrt.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 x))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (.f64 (cbrt.f64 (cbrt.f64 x)) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))))))
	34.9b	(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
	46.5b	(fma.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))) (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 11))) -10/243 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9))))
	30.1b	(fma.f64 (cbrt.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (cbrt.f64 x)))

Compiler

Compiled 4156 to 2407 computations (42.1% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))
✓	0.5b	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
	0.5b	(cbrt.f64 x)
✓	2.2b	(-.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (.f64 (cbrt.f64 x) (cbrt.f64 x)))

series54.0ms (0.7%)

Counts

3 → 36

Calls

3 calls:

35.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
13.0ms	(-.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (.f64 (cbrt.f64 x) (cbrt.f64 x)))
6.0ms	(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))

rewrite26.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`cbrt-prod_binary64`
35×	`add-sqr-sqrt_binary64`
33×	`*-un-lft-identity_binary64`
19×	`add-cube-cbrt_binary64`
17×	`pow1_binary64`

Counts

3 → 114

Calls

3 calls:

8.0ms	(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))
8.0ms	(-.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (.f64 (cbrt.f64 x) (cbrt.f64 x)))
4.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))

simplify130.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

1036×	`fma-neg_binary64`
622×	`fma-def_binary64`
424×	`difference-of-squares_binary64`
293×	`cancel-sign-sub-inv_binary64`
253×	`sub-neg_binary64`

Counts

150 → 192

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	188	2576
1	439	2224
2	1212	2006
3	3362	1961
4	4314	1720
5	4904	1720
6	4821	1720

prune242.0ms (3.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	244	2	246
Fresh	5	3	8
Picked	0	1	1
Done	0	0	0
Total	249	6	255

Error

0.3b

Counts

255 → 6

Alt Table

Status	Error	Program
✓	29.8b	(/.f64 (-.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	31.0b	(+.f64 (fma.f64 (sqrt.f64 (cbrt.f64 (+.f64 x 1))) (sqrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))))
	31.8b	(/.f64 (*.f64 2/3 (cbrt.f64 (/.f64 1 x))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	34.9b	(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
	46.5b	(fma.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))) (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 11))) -10/243 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9))))
▶	7.2b	(/.f64 (/.f64 (+.f64 x (+.f64 1 x)) (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))

Compiler

Compiled 7332 to 4577 computations (37.6% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f64 (cbrt.f64 (+.f64 1 x)) 2)
✓	0.4b	(pow.f64 (cbrt.f64 (+.f64 1 x)) 4)
	0.5b	(cbrt.f64 x)
✓	6.9b	(/.f64 (+.f64 x (+.f64 1 x)) (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)))

series187.0ms (2.6%)

Counts

3 → 36

Calls

3 calls:

167.0ms

(/.f64 (+.f64 x (+.f64 1 x)) (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)))

12.0ms

(pow.f64 (cbrt.f64 (+.f64 1 x)) 4)

8.0ms

(pow.f64 (cbrt.f64 (+.f64 1 x)) 2)

rewrite19.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

43×	`*-un-lft-identity_binary64`
19×	`add-sqr-sqrt_binary64`
19×	`add-cube-cbrt_binary64`
15×	`times-frac_binary64`
14×	`unpow-prod-down_binary64`

Counts

3 → 88

Calls

3 calls:

7.0ms

(/.f64 (+.f64 x (+.f64 1 x)) (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)))

3.0ms

(pow.f64 (cbrt.f64 (+.f64 1 x)) 2)

3.0ms

(pow.f64 (cbrt.f64 (+.f64 1 x)) 4)

simplify153.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

391×	`fma-def_binary64`
272×	`associate-+r+_binary64`
226×	`+-commutative_binary64`
223×	`associate-r_binary64`
215×	`*-commutative_binary64`

Counts

124 → 167

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	449	5758
1	1313	5456
2	4537	5394
3	4968	5394

prune547.0ms (7.5%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	209	12	221
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	211	16	227

Error

0.2b

Counts

227 → 16

Alt Table

Status	Error	Program
✓	29.8b	(/.f64 (-.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	31.0b	(+.f64 (fma.f64 (sqrt.f64 (cbrt.f64 (+.f64 x 1))) (sqrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))))
	20.4b	(/.f64 (.f64 (/.f64 (sqrt.f64 (+.f64 x (+.f64 1 x))) (.f64 (cbrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))) (cbrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))) (/.f64 (sqrt.f64 (+.f64 x (+.f64 1 x))) (cbrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	38.4b	(/.f64 (/.f64 (+.f64 x (+.f64 1 x)) (fma.f64 (cbrt.f64 x) (fma.f64 (pow.f64 x 1/3) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	38.0b	(/.f64 (/.f64 (+.f64 x (+.f64 1 x)) (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))) (+.f64 (cbrt.f64 (+.f64 x 1)) (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))))
	20.4b	(/.f64 (/.f64 (+.f64 x (+.f64 1 x)) (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) 4) (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) 4)))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	7.4b	(/.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 x (+.f64 1 x))) (cbrt.f64 (+.f64 x (+.f64 1 x)))) (*.f64 (cbrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))) (cbrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))) (/.f64 (cbrt.f64 (+.f64 x (+.f64 1 x))) (cbrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	7.4b	(/.f64 (/.f64 (+.f64 x (+.f64 1 x)) (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (.f64 (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))) (cbrt.f64 (cbrt.f64 (+.f64 1 x)))) 4) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))) 4)))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	23.7b	(/.f64 (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (+.f64 1 x) 3)) (.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)) (fma.f64 x x (.f64 (+.f64 1 x) (-.f64 (+.f64 1 x) x))))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	7.3b	(/.f64 (/.f64 (+.f64 x (+.f64 1 x)) (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	31.8b	(/.f64 (*.f64 2/3 (cbrt.f64 (/.f64 1 x))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	7.3b	(/.f64 (/.f64 (+.f64 x (+.f64 1 x)) (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))) (+.f64 (cbrt.f64 (+.f64 x 1)) (.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x)))))
	46.5b	(fma.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))) (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 11))) -10/243 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9))))
▶	7.3b	(/.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 x (+.f64 1 x))) (cbrt.f64 (+.f64 x (+.f64 1 x)))) (sqrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)))) (/.f64 (cbrt.f64 (+.f64 x (+.f64 1 x))) (sqrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	7.4b	(/.f64 (/.f64 (/.f64 (+.f64 x (+.f64 1 x)) (*.f64 (cbrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))) (cbrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))) (cbrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	20.3b	(/.f64 (/.f64 (sqrt.f64 (+.f64 x (+.f64 1 x))) (/.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)) (sqrt.f64 (+.f64 x (+.f64 1 x))))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))

Compiler

Compiled 12911 to 9095 computations (29.6% saved)

localize24.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(pow.f64 (cbrt.f64 (+.f64 1 x)) 2)
	0.4b	(pow.f64 (cbrt.f64 (+.f64 1 x)) 4)
	0.5b	(cbrt.f64 x)
✓	6.7b	(sqrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)))

series189.0ms (2.6%)

Counts

1 → 4

Calls

1 calls:

189.0ms

(sqrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)))

rewrite2.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`sqrt-prod_binary64`
3×	`add-sqr-sqrt_binary64`
2×	`*-un-lft-identity_binary64`
2×	`add-cube-cbrt_binary64`
2×	`pow1_binary64`

Counts

1 → 15

Calls

1 calls:

1.0ms

(sqrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)))

simplify77.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

758×	`sub-neg_binary64`
392×	`+-commutative_binary64`
389×	`associate-l_binary64`
364×	`associate-r_binary64`
328×	`associate--r+_binary64`

Counts

19 → 24

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	160	1450
1	454	1414
2	1486	1290
3	4161	1290
4	5001	1290

prune1.4s (19.7%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	344	6	350
Fresh	4	10	14
Picked	1	0	1
Done	0	1	1
Total	349	17	366

Error

0.2b

Counts

366 → 17

Alt Table

Status	Error	Program
	33.4b	(/.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 x (+.f64 1 x))) (cbrt.f64 (+.f64 x (+.f64 1 x)))) (sqrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)))) (/.f64 (cbrt.f64 (+.f64 x (+.f64 1 x))) (sqrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (.f64 (pow.f64 (.f64 -1 x) 1/3) (cbrt.f64 -1)) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
✓	29.8b	(/.f64 (-.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	31.0b	(+.f64 (fma.f64 (sqrt.f64 (cbrt.f64 (+.f64 x 1))) (sqrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))))
	31.8b	(/.f64 (*.f64 2/3 (cbrt.f64 (/.f64 1 x))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	38.2b	(/.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 x (+.f64 1 x))) (cbrt.f64 (+.f64 x (+.f64 1 x)))) (sqrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (*.f64 (cbrt.f64 (pow.f64 x 2/3)) (cbrt.f64 (cbrt.f64 x))) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)))) (/.f64 (cbrt.f64 (+.f64 x (+.f64 1 x))) (sqrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	7.3b	(/.f64 (/.f64 (+.f64 x (+.f64 1 x)) (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))) (+.f64 (cbrt.f64 (+.f64 x 1)) (.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x)))))
	38.2b	(/.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 x (+.f64 1 x))) (cbrt.f64 (+.f64 x (+.f64 1 x)))) (sqrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (exp.f64 (log.f64 (cbrt.f64 x))) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)))) (/.f64 (cbrt.f64 (+.f64 x (+.f64 1 x))) (sqrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	20.4b	(/.f64 (.f64 (/.f64 (sqrt.f64 (+.f64 x (+.f64 1 x))) (.f64 (cbrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))) (cbrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))) (/.f64 (sqrt.f64 (+.f64 x (+.f64 1 x))) (cbrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	38.0b	(/.f64 (/.f64 (+.f64 x (+.f64 1 x)) (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))) (+.f64 (cbrt.f64 (+.f64 x 1)) (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))))
	7.4b	(/.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 x (+.f64 1 x))) (cbrt.f64 (+.f64 x (+.f64 1 x)))) (*.f64 (cbrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))) (cbrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))) (/.f64 (cbrt.f64 (+.f64 x (+.f64 1 x))) (cbrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	7.4b	(/.f64 (/.f64 (+.f64 x (+.f64 1 x)) (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (.f64 (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))) (cbrt.f64 (cbrt.f64 (+.f64 1 x)))) 4) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))) 4)))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	23.7b	(/.f64 (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (+.f64 1 x) 3)) (.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)) (fma.f64 x x (.f64 (+.f64 1 x) (-.f64 (+.f64 1 x) x))))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	7.3b	(/.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 x (+.f64 1 x))) (cbrt.f64 (+.f64 x (+.f64 1 x)))) (*.f64 (sqrt.f64 (sqrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)))) (sqrt.f64 (sqrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)))))) (/.f64 (cbrt.f64 (+.f64 x (+.f64 1 x))) (sqrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	46.5b	(fma.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))) (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 11))) -10/243 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9))))
	20.3b	(/.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 x (+.f64 1 x))) (cbrt.f64 (+.f64 x (+.f64 1 x)))) (sqrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) 4) (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) 4))))) (/.f64 (cbrt.f64 (+.f64 x (+.f64 1 x))) (sqrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	7.4b	(/.f64 (/.f64 (/.f64 (+.f64 x (+.f64 1 x)) (*.f64 (cbrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))) (cbrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))) (cbrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	7.4b	(/.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 x (+.f64 1 x))) (cbrt.f64 (+.f64 x (+.f64 1 x)))) (sqrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)))) (/.f64 (cbrt.f64 (+.f64 x (+.f64 1 x))) (.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)))) (cbrt.f64 (sqrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))) (cbrt.f64 (sqrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))

Compiler

Compiled 30503 to 21179 computations (30.6% saved)

regimes1.7s (24.1%)

Accuracy

Total 0.4b remaining (58.9%)

Threshold costs 0.4b (58.9%)

Counts

376 → 3

Compiler

Compiled 34179 to 23846 computations (30.2% saved)

bsearch61.0ms (0.8%)

Steps

Iters	Range		Point
1	8.662789723248305e+32	3.1364027648569314e+42	5.23150834671369e+37
8	-4.6044730620011156e+67	-2.2312916506181994e+62	-9.53569078558344e+65

Compiler

Compiled 2 to 1 computations (50% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
2×	`*-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	110
1	36	110
2	35	110

end660.0ms (9.1%)

Compiler: Compiled 1213 to 837 computations (31% saved)

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	23	11
4	30	11
5	47	11
6	72	11
7	92	11
8	109	11
9	119	11
10	123	11
11	125	11
12	111	11

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	23	11
4	30	11
5	47	11
6	72	11
7	92	11
8	109	11
9	119	11
10	123	11
11	125	11
12	111	11

Details

analyze1.0ms (0%)

sample1.3s (18%)

simplify10.0ms (0.1%)

prune2.0ms (0%)

localize5.0ms (0.1%)

series49.0ms (0.7%)

rewrite19.0ms (0.3%)

simplify118.0ms (1.6%)

prune173.0ms (2.4%)

localize9.0ms (0.1%)

series54.0ms (0.7%)

rewrite26.0ms (0.4%)

simplify130.0ms (1.8%)

prune242.0ms (3.3%)

localize18.0ms (0.2%)

series187.0ms (2.6%)

rewrite19.0ms (0.3%)

simplify153.0ms (2.1%)

prune547.0ms (7.5%)

localize24.0ms (0.3%)

series189.0ms (2.6%)

rewrite2.0ms (0%)

simplify77.0ms (1.1%)

prune1.4s (19.7%)

regimes1.7s (24.1%)

bsearch61.0ms (0.8%)

simplify3.0ms (0%)

end660.0ms (9.1%)

Profiling

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	23	11
4	30	11
5	47	11
6	72	11
7	92	11
8	109	11
9	119	11
10	123	11
11	125	11
12	111	11