Details

analyze651.0ms (6.9%)

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%	74.9%	25.1%	5
0%	74.9%	25.1%	6
0%	74.9%	25.1%	7
6.2%	56.2%	37.6%	8
7.8%	53%	39.2%	9
10.9%	45.6%	43.4%	10
18.3%	31.4%	50.3%	11
19.1%	29.5%	51.3%	12
21.4%	24.8%	53.8%	13
25.8%	16.7%	57.5%	14

Compiler

Compiled 28 to 21 computations (25% saved)

sample1.8s (18.9%)

Results

1.4s	8256×	body	128	valid
306.0ms	2000×	body	128	invalid

Compiler

Compiled 83 to 62 computations (25.3% saved)

simplify79.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

703×	`fma-def_binary64`
691×	`associate-/l*_binary64`
673×	`sub-neg_binary64`
568×	`fma-neg_binary64`
439×	`div-sub_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	21	32
1	43	32
2	99	31
3	223	30
4	529	30
5	1016	30
6	1917	30
7	3001	30
8	3396	30
9	4830	30
10	5110	30

prune4.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

5.1b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	5.1b	(+.f64 (+.f64 (-.f64 (.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))

Status

Error

Program

▶

5.1b

(+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))

Compiler

Compiled 102 to 73 computations (28.4% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (-.f64 x 1/2) (log.f64 x))
✓	0.2b	(-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x)
✓	0.2b	(+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000)
✓	4.7b	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)

series166.0ms (1.8%)

Counts

4 → 72

Calls

4 calls:

95.0ms	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)
28.0ms	(+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000)
26.0ms	(-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x)
16.0ms	(*.f64 (-.f64 x 1/2) (log.f64 x))

rewrite84.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`*-un-lft-identity_binary64`
29×	`add-sqr-sqrt_binary64`
25×	`add-cube-cbrt_binary64`
18×	`log-prod_binary64`
13×	`associate-+l+_binary64`

Counts

4 → 120

Calls

4 calls:

20.0ms	(+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000)
19.0ms	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)
12.0ms	(-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x)
11.0ms	(*.f64 (-.f64 x 1/2) (log.f64 x))

simplify236.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

654×	`fma-neg_binary64`
646×	`times-frac_binary64`
421×	`cancel-sign-sub-inv_binary64`
197×	`exp-prod_binary64`
171×	`associate-l_binary64`

Counts

192 → 237

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	284	3791
1	654	3460
2	2312	3267
3	4223	3261
4	4971	3261
5	4899	3261

prune384.0ms (4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	227	10	237
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	228	10	238

Error

1.1b

Counts

238 → 10

Alt Table

Status	Error	Program
	5.6b	(+.f64 (+.f64 (-.f64 (.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (.f64 (*.f64 (cbrt.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)) (cbrt.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))) (cbrt.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))))
	35.0b	(+.f64 (+.f64 (-.f64 (.f64 (.f64 (-.f64 x 1/2) (sqrt.f64 (log.f64 x))) (sqrt.f64 (log.f64 x))) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	28.0b	(+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x) 3)))
	26.7b	(+.f64 (+.f64 (-.f64 (.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (.f64 (/.f64 (*.f64 z z) x) (+.f64 7936500793651/10000000000000000 y)))
	5.1b	(+.f64 (+.f64 (.f64 (log.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (-.f64 x 1/2)) (fma.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x)) (-.f64 91893853320467/100000000000000 x))) (/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	5.7b	(+.f64 (+.f64 (-.f64 (.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (.f64 (/.f64 1 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) (cbrt.f64 x))))
	10.4b	(+.f64 (+.f64 (-.f64 (.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (-.f64 (.f64 83333333333333/1000000000000000 (/.f64 1 x)) (*.f64 13888888888889/5000000000000000 (/.f64 z x))))
	9.1b	(+.f64 (+.f64 (-.f64 (.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (.f64 (sqrt.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000)) (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000)) x)))
▶	5.0b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	5.5b	(+.f64 (+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 x 1/2) (log.f64 x))) (cbrt.f64 (.f64 (-.f64 x 1/2) (log.f64 x)))) (cbrt.f64 (.f64 (-.f64 x 1/2) (log.f64 x)))) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))

Compiler

Compiled 8319 to 5457 computations (34.4% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (+.f64 y 7936500793651/10000000000000000) z)
✓	0.1b	(.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z)
✓	0.3b	(fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x))
	4.7b	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)

series23.0ms (0.2%)

Counts

3 → 60

Calls

3 calls:

10.0ms

(*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z)

8.0ms

(fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x))

4.0ms

(*.f64 (+.f64 y 7936500793651/10000000000000000) z)

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64`
9×	`*-un-lft-identity_binary64`
7×	`associate-l_binary64`
7×	`add-cube-cbrt_binary64`
7×	`add-cbrt-cube_binary64`

Counts

3 → 55

Calls

3 calls:

7.0ms

(*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z)

4.0ms

(*.f64 (+.f64 y 7936500793651/10000000000000000) z)

0.0ms

(fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x))

simplify105.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

741×	`fma-neg_binary64`
435×	`distribute-rgt-in_binary64`
416×	`distribute-lft-in_binary64`
401×	`associate-l_binary64`
310×	`associate-r_binary64`

Counts

115 → 118

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	148	1524
1	342	1339
2	984	1311
3	3165	1297
4	4583	1297
5	4926	1297

prune333.0ms (3.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	183	6	189
Fresh	6	3	9
Picked	1	0	1
Done	0	0	0
Total	190	9	199

Error

1.1b

Counts

199 → 9

Alt Table

Status	Error	Program
	26.6b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (.f64 (/.f64 (.f64 z z) x) (+.f64 7936500793651/10000000000000000 y)))
	9.0b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (*.f64 (sqrt.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000)) (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000)) x)))
	35.0b	(+.f64 (+.f64 (-.f64 (.f64 (.f64 (-.f64 x 1/2) (sqrt.f64 (log.f64 x))) (sqrt.f64 (log.f64 x))) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	10.3b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (-.f64 (.f64 83333333333333/1000000000000000 (/.f64 1 x)) (.f64 13888888888889/5000000000000000 (/.f64 z x))))
	27.9b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x) 3)))
	5.6b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (.f64 (/.f64 1 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) (cbrt.f64 x))))
▶	5.1b	(+.f64 (+.f64 (.f64 (log.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (-.f64 x 1/2)) (fma.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x)) (-.f64 91893853320467/100000000000000 x))) (/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	5.1b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (/.f64 (+.f64 (.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (+.f64 y 7936500793651/10000000000000000)) (cbrt.f64 (+.f64 y 7936500793651/10000000000000000))) (.f64 (cbrt.f64 (+.f64 y 7936500793651/10000000000000000)) z)) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	5.5b	(+.f64 (+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 x 1/2) (log.f64 x))) (cbrt.f64 (.f64 (-.f64 x 1/2) (log.f64 x)))) (cbrt.f64 (.f64 (-.f64 x 1/2) (log.f64 x)))) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))

Compiler

Compiled 6289 to 4195 computations (33.3% saved)

localize58.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(fma.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x)) (-.f64 91893853320467/100000000000000 x))
✓	0.5b	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
✓	0.6b	(cbrt.f64 x)
	4.7b	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)

series225.0ms (2.4%)

Counts

3 → 36

Calls

3 calls:

146.0ms	(fma.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x)) (-.f64 91893853320467/100000000000000 x))
42.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
37.0ms	(cbrt.f64 x)

rewrite10.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64`
19×	`cbrt-prod_binary64`
12×	`*-un-lft-identity_binary64`
12×	`add-cube-cbrt_binary64`
10×	`pow1_binary64`

Counts

3 → 65

Calls

3 calls:

4.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
1.0ms	(cbrt.f64 x)
0.0ms	(fma.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x)) (-.f64 91893853320467/100000000000000 x))

simplify82.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

406×	`cancel-sign-sub-inv_binary64`
341×	`exp-prod_binary64`
324×	`fma-neg_binary64`
304×	`log-prod_binary64`
297×	`unswap-sqr_binary64`

Counts

101 → 107

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	101	1177
1	205	1039
2	659	927
3	1766	901
4	4144	889
5	4983	889

prune313.0ms (3.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	215	1	216
Fresh	0	8	8
Picked	1	0	1
Done	0	0	0
Total	216	9	225

Error

1.1b

Counts

225 → 9

Alt Table

Status	Error	Program
	26.6b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (.f64 (/.f64 (.f64 z z) x) (+.f64 7936500793651/10000000000000000 y)))
	9.0b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (*.f64 (sqrt.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000)) (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000)) x)))
	35.0b	(+.f64 (+.f64 (-.f64 (.f64 (.f64 (-.f64 x 1/2) (sqrt.f64 (log.f64 x))) (sqrt.f64 (log.f64 x))) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
▶	5.1b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (/.f64 (+.f64 (.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (+.f64 y 7936500793651/10000000000000000)) (cbrt.f64 (+.f64 y 7936500793651/10000000000000000))) (.f64 (cbrt.f64 (+.f64 y 7936500793651/10000000000000000)) z)) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	10.4b	(+.f64 (+.f64 (.f64 (log.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (-.f64 x 1/2)) (fma.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x)) (-.f64 91893853320467/100000000000000 x))) (/.f64 83333333333333/1000000000000000 x))
	10.3b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (-.f64 (.f64 83333333333333/1000000000000000 (/.f64 1 x)) (.f64 13888888888889/5000000000000000 (/.f64 z x))))
	27.9b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x) 3)))
	5.6b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (.f64 (/.f64 1 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) (cbrt.f64 x))))
	5.5b	(+.f64 (+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 x 1/2) (log.f64 x))) (cbrt.f64 (.f64 (-.f64 x 1/2) (log.f64 x)))) (cbrt.f64 (.f64 (-.f64 x 1/2) (log.f64 x)))) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))

Compiler

Compiled 9484 to 5546 computations (41.5% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x))
✓	0.3b	(.f64 (.f64 (cbrt.f64 (+.f64 y 7936500793651/10000000000000000)) (cbrt.f64 (+.f64 y 7936500793651/10000000000000000))) (*.f64 (cbrt.f64 (+.f64 y 7936500793651/10000000000000000)) z))
✓	0.3b	(*.f64 (cbrt.f64 (+.f64 y 7936500793651/10000000000000000)) z)
✓	4.7b	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (+.f64 y 7936500793651/10000000000000000)) (cbrt.f64 (+.f64 y 7936500793651/10000000000000000))) (.f64 (cbrt.f64 (+.f64 y 7936500793651/10000000000000000)) z)) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)

series344.0ms (3.6%)

Counts

3 → 84

Calls

3 calls:

283.0ms

(*.f64 (cbrt.f64 (+.f64 y 7936500793651/10000000000000000)) z)

56.0ms

(/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 y 7936500793651/10000000000000000)) (cbrt.f64 (+.f64 y 7936500793651/10000000000000000))) (*.f64 (cbrt.f64 (+.f64 y 7936500793651/10000000000000000)) z)) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)

5.0ms

(*.f64 (*.f64 (cbrt.f64 (+.f64 y 7936500793651/10000000000000000)) (cbrt.f64 (+.f64 y 7936500793651/10000000000000000))) (*.f64 (cbrt.f64 (+.f64 y 7936500793651/10000000000000000)) z))

rewrite55.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

56×	`cbrt-div_binary64`
34×	`associate-*l/_binary64`
29×	`flip-+_binary64`
29×	`flip3-+_binary64`
28×	`frac-times_binary64`

Counts

3 → 108

Calls

3 calls:

22.0ms

(/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 y 7936500793651/10000000000000000)) (cbrt.f64 (+.f64 y 7936500793651/10000000000000000))) (*.f64 (cbrt.f64 (+.f64 y 7936500793651/10000000000000000)) z)) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)

17.0ms

(*.f64 (*.f64 (cbrt.f64 (+.f64 y 7936500793651/10000000000000000)) (cbrt.f64 (+.f64 y 7936500793651/10000000000000000))) (*.f64 (cbrt.f64 (+.f64 y 7936500793651/10000000000000000)) z))

5.0ms

(*.f64 (cbrt.f64 (+.f64 y 7936500793651/10000000000000000)) z)

simplify159.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

675×	`fma-def_binary64`
488×	`distribute-rgt-in_binary64`
317×	`associate-l_binary64`
297×	`associate-r_binary64`
221×	`fma-neg_binary64`

Counts

192 → 215

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	293	4361
1	761	3914
2	2143	3675
3	4905	3667
4	4926	3667

prune428.0ms (4.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	241	2	243
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	242	10	252

Error

1.1b

Counts

252 → 10

Alt Table

Status	Error	Program
	26.6b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (.f64 (/.f64 (.f64 z z) x) (+.f64 7936500793651/10000000000000000 y)))
	9.0b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (*.f64 (sqrt.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000)) (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000)) x)))
	35.0b	(+.f64 (+.f64 (-.f64 (.f64 (.f64 (-.f64 x 1/2) (sqrt.f64 (log.f64 x))) (sqrt.f64 (log.f64 x))) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
✓	5.1b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (/.f64 (+.f64 (.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (+.f64 y 7936500793651/10000000000000000)) (cbrt.f64 (+.f64 y 7936500793651/10000000000000000))) (.f64 (cbrt.f64 (+.f64 y 7936500793651/10000000000000000)) z)) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	10.4b	(+.f64 (+.f64 (.f64 (log.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (-.f64 x 1/2)) (fma.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x)) (-.f64 91893853320467/100000000000000 x))) (/.f64 83333333333333/1000000000000000 x))
	5.0b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (-.f64 (+.f64 (.f64 7936500793651/10000000000000000 (/.f64 (pow.f64 z 2) x)) (+.f64 (/.f64 (.f64 y (pow.f64 z 2)) x) (.f64 83333333333333/1000000000000000 (/.f64 1 x)))) (.f64 13888888888889/5000000000000000 (/.f64 z x))))
	5.5b	(+.f64 (+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 x 1/2) (log.f64 x))) (cbrt.f64 (.f64 (-.f64 x 1/2) (log.f64 x)))) (cbrt.f64 (.f64 (-.f64 x 1/2) (log.f64 x)))) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	5.6b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (.f64 (/.f64 1 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) (cbrt.f64 x))))
	32.0b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (/.f64 (+.f64 (.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (+.f64 y 7936500793651/10000000000000000)) (cbrt.f64 (+.f64 y 7936500793651/10000000000000000))) (.f64 z (cbrt.f64 (*.f64 1 (exp.f64 (log.f64 y)))))) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	27.9b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x) 3)))

Compiler

Compiled 10970 to 7765 computations (29.2% saved)

regimes3.5s (37%)

Accuracy

Total 2.4b remaining (53.9%)

Threshold costs 0b (0%)

Counts

236 → 2

Compiler

Compiled 63422 to 45754 computations (27.9% saved)

bsearch17.0ms (0.2%)

Steps

Iters	Range		Point
1	7.537102218437478e-23	8.215045174112242e-23	7.87607369627486e-23

Compiler

Compiled 4 to 3 computations (25% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

13×	`+-commutative_binary64`
9×	`*-commutative_binary64`
8×	`sub-neg_binary64`
4×	`neg-sub0_binary64`
4×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	109
1	68	109
2	79	109
3	87	109
4	93	109
5	96	109
6	97	109
7	94	109

end358.0ms (3.8%)

Compiler: Compiled 492 to 340 computations (30.9% saved)

Details

analyze651.0ms (6.9%)

sample1.8s (18.9%)

simplify79.0ms (0.8%)

prune4.0ms (0%)

localize16.0ms (0.2%)

series166.0ms (1.8%)

rewrite84.0ms (0.9%)

simplify236.0ms (2.5%)

prune384.0ms (4%)

localize17.0ms (0.2%)

series23.0ms (0.2%)

rewrite13.0ms (0.1%)

simplify105.0ms (1.1%)

prune333.0ms (3.5%)

localize58.0ms (0.6%)

series225.0ms (2.4%)

rewrite10.0ms (0.1%)

simplify82.0ms (0.9%)

prune313.0ms (3.3%)

localize19.0ms (0.2%)

series344.0ms (3.6%)

rewrite55.0ms (0.6%)

simplify159.0ms (1.7%)

prune428.0ms (4.5%)

regimes3.5s (37%)

bsearch17.0ms (0.2%)

simplify6.0ms (0.1%)

end358.0ms (3.8%)

Profiling