Details

analyze183.0ms (1.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
49.9%	49.9%	0.1%	2
49.9%	49.9%	0.1%	3
49.9%	49.9%	0.1%	4
49.9%	25%	25.1%	5
49.9%	25%	25.1%	6
49.9%	25%	25.1%	7
49.9%	12.5%	37.6%	8
49.9%	12.5%	37.6%	9
49.9%	12.5%	37.6%	10
49.9%	6.2%	43.8%	11
49.9%	6.2%	43.8%	12
49.9%	6.2%	43.8%	13
49.9%	3.1%	47%	14

Compiler

Compiled 28 to 21 computations (25% saved)

sample2.2s (18.5%)

Results

1.9s	8256×	body	128	valid
101.0ms	510×	body	128	invalid

Compiler

Compiled 83 to 62 computations (25.3% saved)

simplify126.0ms (1.1%)

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

prune7.0ms (0.1%)

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

4.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	4.0b	(+.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

▶

4.0b

(+.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)

localize38.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series238.0ms (2%)

Counts

4 → 72

Calls

4 calls:

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

rewrite55.0ms (0.5%)

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:

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

simplify261.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

654×	`fma-neg_binary64`
646×	`times-frac_binary64`
406×	`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	3766
1	654	3445
2	2312	3267
3	4222	3261
4	4970	3261
5	4899	3261

prune873.0ms (7.5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	224	13	237
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	225	13	238

Error

1.5b

Counts

238 → 13

Alt Table

Status	Error	Program
	4.0b	(+.f64 (+.f64 (-.f64 (+.f64 (.f64 (+.f64 x -1/2) (.f64 2 (log.f64 (cbrt.f64 x)))) (.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x)))) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	12.6b	(+.f64 (+.f64 (-.f64 (.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (.f64 (sqrt.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)) (sqrt.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))))
	15.9b	(+.f64 (+.f64 (-.f64 (.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (.f64 (/.f64 (*.f64 z z) x) (+.f64 7936500793651/10000000000000000 y)))
	12.5b	(+.f64 (+.f64 (-.f64 (.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (fma.f64 7936500793651/10000000000000000 (/.f64 (.f64 z z) x) (+.f64 (/.f64 83333333333333/1000000000000000 x) (fma.f64 z (/.f64 (.f64 z y) x) (.f64 z (/.f64 -13888888888889/5000000000000000 x))))))
	12.5b	(+.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)))
▶	3.9b	(+.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))
	22.5b	(+.f64 (+.f64 (-.f64 (.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (-.f64 (/.f64 83333333333333/1000000000000000 x) (.f64 13888888888889/5000000000000000 (/.f64 z x))))
	4.0b	(+.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))
	4.1b	(+.f64 (+.f64 (-.f64 (.f64 (sqrt.f64 (.f64 (-.f64 x 1/2) (log.f64 x))) (sqrt.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))
	4.0b	(+.f64 (+.f64 (-.f64 (.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (neg.f64 (/.f64 (-.f64 (.f64 z 13888888888889/5000000000000000) (fma.f64 (*.f64 z z) (+.f64 7936500793651/10000000000000000 y) 83333333333333/1000000000000000)) x)))
	4.1b	(+.f64 (fma.f64 (sqrt.f64 (-.f64 (.f64 (-.f64 x 1/2) (log.f64 x)) x)) (sqrt.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))
	12.5b	(+.f64 (+.f64 (-.f64 (.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (/.f64 (sqrt.f64 (+.f64 (.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000)) (/.f64 x (sqrt.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000)))))
	4.0b	(+.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) (/.f64 1 x)))

Compiler

Compiled 8505 to 5612 computations (34% saved)

localize33.0ms (0.3%)

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))
	3.9b	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)

series33.0ms (0.3%)

Counts

3 → 60

Calls

3 calls:

18.0ms

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

9.0ms

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

5.0ms

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

rewrite25.0ms (0.2%)

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:

17.0ms

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

5.0ms

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

1.0ms

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

simplify163.0ms (1.4%)

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

prune689.0ms (5.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	182	7	189
Fresh	7	5	12
Picked	1	0	1
Done	0	0	0
Total	190	12	202

Error

1.5b

Counts

202 → 12

Alt Table

Status	Error	Program
	4.0b	(+.f64 (+.f64 (-.f64 (+.f64 (.f64 (+.f64 x -1/2) (.f64 2 (log.f64 (cbrt.f64 x)))) (.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x)))) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	4.1b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (/.f64 (+.f64 (*.f64 (+.f64 7936500793651/10000000000000000 y) (pow.f64 z 2)) 83333333333333/1000000000000000) x))
	15.9b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (.f64 (/.f64 (.f64 z z) x) (+.f64 7936500793651/10000000000000000 y)))
▶	4.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) (/.f64 1 x)))
	4.1b	(+.f64 (+.f64 (-.f64 (.f64 (sqrt.f64 (.f64 (-.f64 x 1/2) (log.f64 x))) (sqrt.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))
	12.5b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (/.f64 (sqrt.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000)) (/.f64 x (sqrt.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000)))))
	22.5b	(+.f64 (+.f64 (-.f64 (.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (-.f64 (/.f64 83333333333333/1000000000000000 x) (.f64 13888888888889/5000000000000000 (/.f64 z x))))
	4.0b	(+.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))
	4.1b	(+.f64 (fma.f64 (sqrt.f64 (-.f64 (.f64 (-.f64 x 1/2) (log.f64 x)) x)) (sqrt.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))
	12.6b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (*.f64 (sqrt.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)) (sqrt.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))))
	12.5b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (fma.f64 7936500793651/10000000000000000 (/.f64 (.f64 z z) x) (+.f64 (/.f64 83333333333333/1000000000000000 x) (fma.f64 z (/.f64 (.f64 z y) x) (*.f64 z (/.f64 -13888888888889/5000000000000000 x))))))
	4.0b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (*.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) (sqrt.f64 x))))

Compiler

Compiled 6479 to 4329 computations (33.2% saved)

localize20.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.0b	(.f64 (+.f64 (.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) (/.f64 1 x))

series69.0ms (0.6%)

Counts

1 → 36

Calls

1 calls:

69.0ms

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

rewrite31.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64`
13×	`associate-r_binary64`
11×	`times-frac_binary64`
10×	`*-un-lft-identity_binary64`
10×	`add-exp-log_binary64`

Counts

1 → 42

Calls

1 calls:

25.0ms

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

simplify161.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

436×	`distribute-rgt-in_binary64`
424×	`distribute-lft-in_binary64`
383×	`fma-neg_binary64`
340×	`associate-l_binary64`
278×	`fma-def_binary64`

Counts

78 → 83

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	117	1901
1	304	1690
2	878	1609
3	3552	1592
4	4832	1592
5	4975	1592

prune759.0ms (6.5%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	201	0	201
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	201	12	213

Error

1.5b

Counts

213 → 12

Alt Table

Status	Error	Program
	4.0b	(+.f64 (+.f64 (-.f64 (+.f64 (.f64 (+.f64 x -1/2) (.f64 2 (log.f64 (cbrt.f64 x)))) (.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x)))) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	4.1b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (/.f64 (+.f64 (*.f64 (+.f64 7936500793651/10000000000000000 y) (pow.f64 z 2)) 83333333333333/1000000000000000) x))
	15.9b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (.f64 (/.f64 (.f64 z z) x) (+.f64 7936500793651/10000000000000000 y)))
✓	4.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) (/.f64 1 x)))
	4.1b	(+.f64 (+.f64 (-.f64 (.f64 (sqrt.f64 (.f64 (-.f64 x 1/2) (log.f64 x))) (sqrt.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))
	12.5b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (/.f64 (sqrt.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000)) (/.f64 x (sqrt.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000)))))
	22.5b	(+.f64 (+.f64 (-.f64 (.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (-.f64 (/.f64 83333333333333/1000000000000000 x) (.f64 13888888888889/5000000000000000 (/.f64 z x))))
▶	4.0b	(+.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))
	4.1b	(+.f64 (fma.f64 (sqrt.f64 (-.f64 (.f64 (-.f64 x 1/2) (log.f64 x)) x)) (sqrt.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))
	12.6b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (*.f64 (sqrt.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)) (sqrt.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))))
	12.5b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (fma.f64 7936500793651/10000000000000000 (/.f64 (.f64 z z) x) (+.f64 (/.f64 83333333333333/1000000000000000 x) (fma.f64 z (/.f64 (.f64 z y) x) (*.f64 z (/.f64 -13888888888889/5000000000000000 x))))))
	4.0b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (*.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) (sqrt.f64 x))))

Compiler

Compiled 7117 to 4887 computations (31.3% saved)

localize50.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(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)
	3.9b	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)

series385.0ms (3.3%)

Counts

3 → 36

Calls

3 calls:

247.0ms	(fma.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x)) (-.f64 91893853320467/100000000000000 x))
71.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
66.0ms	(cbrt.f64 x)

rewrite9.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:

5.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))

simplify197.0ms (1.7%)

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

prune817.0ms (7%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	215	1	216
Fresh	1	9	10
Picked	1	0	1
Done	0	1	1
Total	217	11	228

Error

1.5b

Counts

228 → 11

Alt Table

Status	Error	Program
	22.5b	(+.f64 (+.f64 (-.f64 (.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (-.f64 (/.f64 83333333333333/1000000000000000 x) (.f64 13888888888889/5000000000000000 (/.f64 z x))))
	25.7b	(+.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))) (fma.f64 7936500793651/10000000000000000 (/.f64 (.f64 z z) x) (fma.f64 z (/.f64 (.f64 z y) x) (*.f64 z (/.f64 -13888888888889/5000000000000000 x)))))
	4.0b	(+.f64 (+.f64 (-.f64 (+.f64 (.f64 (+.f64 x -1/2) (.f64 2 (log.f64 (cbrt.f64 x)))) (.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x)))) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	4.1b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (/.f64 (+.f64 (*.f64 (+.f64 7936500793651/10000000000000000 y) (pow.f64 z 2)) 83333333333333/1000000000000000) x))
	15.9b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (.f64 (/.f64 (.f64 z z) x) (+.f64 7936500793651/10000000000000000 y)))
✓	4.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) (/.f64 1 x)))
	4.1b	(+.f64 (+.f64 (-.f64 (.f64 (sqrt.f64 (.f64 (-.f64 x 1/2) (log.f64 x))) (sqrt.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))
	12.5b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (/.f64 (sqrt.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000)) (/.f64 x (sqrt.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000)))))
	4.1b	(+.f64 (fma.f64 (sqrt.f64 (-.f64 (.f64 (-.f64 x 1/2) (log.f64 x)) x)) (sqrt.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))
	12.6b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (*.f64 (sqrt.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)) (sqrt.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))))
	4.0b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (*.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) (sqrt.f64 x))))

Compiler

Compiled 9276 to 5397 computations (41.8% saved)

regimes3.8s (32.5%)

Accuracy

Total 1.3b remaining (49.4%)

Threshold costs 0b (0%)

Counts

197 → 2

Compiler

Compiled 51121 to 36915 computations (27.8% saved)

bsearch39.0ms (0.3%)

Steps

Iters	Range		Point
4	1.0749511681693053e+24	9.394901802863159e+28	8.96903814435738e+24

Compiler

Compiled 4 to 3 computations (25% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

11×	`+-commutative_binary64`
5×	`*-commutative_binary64`
4×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	77
1	53	77
2	60	77
3	62	77
4	63	77
5	62	77

end407.0ms (3.5%)

Compiler: Compiled 468 to 327 computations (30.1% saved)

Details

analyze183.0ms (1.6%)

sample2.2s (18.5%)

simplify126.0ms (1.1%)

prune7.0ms (0.1%)

localize38.0ms (0.3%)

series238.0ms (2%)

rewrite55.0ms (0.5%)

simplify261.0ms (2.2%)

prune873.0ms (7.5%)

localize33.0ms (0.3%)

series33.0ms (0.3%)

rewrite25.0ms (0.2%)

simplify163.0ms (1.4%)

prune689.0ms (5.9%)

localize20.0ms (0.2%)

series69.0ms (0.6%)

rewrite31.0ms (0.3%)

simplify161.0ms (1.4%)

prune759.0ms (6.5%)

localize50.0ms (0.4%)

series385.0ms (3.3%)

rewrite9.0ms (0.1%)

simplify197.0ms (1.7%)

prune817.0ms (7%)

regimes3.8s (32.5%)

bsearch39.0ms (0.3%)

simplify8.0ms (0.1%)

end407.0ms (3.5%)

Profiling