Details

analyze673.0ms (2.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.9s (8.3%)

Results

1.5s	8256×	body	128	valid
362.0ms	2065×	body	128	invalid

Compiler

Compiled 83 to 62 computations (25.3% saved)

simplify76.0ms (0.3%)

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

1 alts after pruning (1 fresh and 0 done)

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

Error

3.8b

Counts

3 → 1

Alt Table

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

Status

Error

Program

▶

3.8b

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

Compiler

Compiled 96 to 67 computations (30.2% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series74.0ms (0.3%)

Counts

4 → 84

Calls

4 calls:

47.0ms	(/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)
10.0ms	(-.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000) x)
9.0ms	(fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000)
9.0ms	(fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)

rewrite11.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`*-un-lft-identity_binary64`
22×	`add-sqr-sqrt_binary64`
20×	`add-cube-cbrt_binary64`
9×	`prod-diff_binary64`
9×	`times-frac_binary64`

Counts

4 → 80

Calls

4 calls:

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

simplify169.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

646×	`times-frac_binary64`
501×	`fma-neg_binary64`
456×	`distribute-rgt-in_binary64`
422×	`distribute-lft-in_binary64`
375×	`cancel-sign-sub-inv_binary64`

Counts

164 → 176

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	200	3470
1	445	3008
2	1616	2849
3	4650	2833
4	4993	2833
5	4990	2833
6	4904	2833

prune312.0ms (1.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	166	10	176
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	167	10	177

Error

0.0b

Counts

177 → 10

Alt Table

Status	Error	Program
	3.9b	(+.f64 (fma.f64 (sqrt.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000)) (sqrt.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000)) (neg.f64 x)) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	4.2b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000)) (cbrt.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000))) (cbrt.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000))) x) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	4.5b	(+.f64 (.f64 -1 (.f64 (+.f64 1 (log.f64 (/.f64 1 x))) x)) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	3.8b	(+.f64 (-.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000) x) (*.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) (/.f64 1 x)))
	21.9b	(+.f64 (-.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000) x) (fma.f64 z (/.f64 (.f64 z (+.f64 7936500793651/10000000000000000 y)) x) (.f64 (/.f64 z x) -13888888888889/5000000000000000)))
	3.9b	(+.f64 (-.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000) x) (/.f64 1 (/.f64 x (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000))))
	4.0b	(+.f64 (*.f64 (sqrt.f64 (-.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000) x)) (sqrt.f64 (-.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000) x))) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	10.6b	(+.f64 (-.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000) x) (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) (/.f64 x (sqrt.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)))))
	27.5b	(+.f64 (-.f64 (cbrt.f64 (pow.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000) 3)) x) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
▶	0.9b	(+.f64 (-.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000) x) (+.f64 (+.f64 (/.f64 83333333333333/1000000000000000 x) (.f64 (.f64 z (/.f64 z x)) (+.f64 7936500793651/10000000000000000 y))) (*.f64 (/.f64 z x) -13888888888889/5000000000000000)))

Compiler

Compiled 5765 to 3677 computations (36.2% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series39.0ms (0.2%)

Counts

3 → 60

Calls

3 calls:

31.0ms	(.f64 (.f64 z (/.f64 z x)) (+.f64 7936500793651/10000000000000000 y))
7.0ms	(*.f64 (/.f64 z x) -13888888888889/5000000000000000)
2.0ms	(/.f64 83333333333333/1000000000000000 x)

rewrite21.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64`
22×	`*-un-lft-identity_binary64`
20×	`add-cube-cbrt_binary64`
19×	`times-frac_binary64`
19×	`add-cbrt-cube_binary64`

Counts

3 → 93

Calls

3 calls:

8.0ms	(.f64 (.f64 z (/.f64 z x)) (+.f64 7936500793651/10000000000000000 y))
5.0ms	(*.f64 (/.f64 z x) -13888888888889/5000000000000000)
2.0ms	(/.f64 83333333333333/1000000000000000 x)

simplify91.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

701×	`fma-def_binary64`
596×	`associate-*l/_binary64`
452×	`associate-*r/_binary64`
331×	`distribute-rgt-in_binary64`
326×	`distribute-lft-in_binary64`

Counts

153 → 140

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	191	1847
1	449	1683
2	1343	1683
3	4491	1683
4	4985	1683

prune258.0ms (1.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	165	3	168
Fresh	4	5	9
Picked	1	0	1
Done	0	0	0
Total	170	8	178

Error

0.0b

Counts

178 → 8

Alt Table

Status	Error	Program
	27.5b	(+.f64 (-.f64 (cbrt.f64 (pow.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000) 3)) x) (+.f64 (+.f64 (/.f64 83333333333333/1000000000000000 x) (.f64 (.f64 z (/.f64 z x)) (+.f64 7936500793651/10000000000000000 y))) (*.f64 (/.f64 z x) -13888888888889/5000000000000000)))
	4.0b	(+.f64 (*.f64 (sqrt.f64 (-.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000) x)) (sqrt.f64 (-.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000) x))) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
▶	1.2b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000)) (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000))) (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000))) x) (+.f64 (+.f64 (/.f64 83333333333333/1000000000000000 x) (.f64 (.f64 z (/.f64 z x)) (+.f64 7936500793651/10000000000000000 y))) (*.f64 (/.f64 z x) -13888888888889/5000000000000000)))
	3.9b	(+.f64 (fma.f64 (sqrt.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000)) (sqrt.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000)) (neg.f64 x)) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	4.5b	(+.f64 (.f64 -1 (.f64 (+.f64 1 (log.f64 (/.f64 1 x))) x)) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	3.8b	(+.f64 (-.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000) x) (*.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) (/.f64 1 x)))
	10.6b	(+.f64 (-.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000) x) (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) (/.f64 x (sqrt.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)))))
	1.4b	(+.f64 (-.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000) x) (+.f64 (+.f64 (/.f64 83333333333333/1000000000000000 x) (.f64 z (.f64 (/.f64 z x) (+.f64 7936500793651/10000000000000000 y)))) (*.f64 (/.f64 z x) -13888888888889/5000000000000000)))

Compiler

Compiled 6436 to 3574 computations (44.5% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (.f64 (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000)) (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000))) (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000)))
✓	0.5b	(cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000))
✓	0.5b	(*.f64 (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000)) (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000)))
	3.3b	(.f64 (.f64 z (/.f64 z x)) (+.f64 7936500793651/10000000000000000 y))

series394.0ms (1.7%)

Counts

3 → 36

Calls

3 calls:

323.0ms

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

60.0ms

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

10.0ms

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

rewrite19.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`pow1_binary64`
24×	`add-sqr-sqrt_binary64`
23×	`cbrt-prod_binary64`
16×	`pow1/3_binary64`
14×	`*-un-lft-identity_binary64`

Counts

3 → 93

Calls

3 calls:

6.0ms

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

4.0ms

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

1.0ms

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

simplify204.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

808×	`associate-/r*_binary64`
656×	`associate-/l*_binary64`
650×	`fma-def_binary64`
228×	`*-commutative_binary64`
162×	`+-commutative_binary64`

Counts

129 → 162

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	693	12665
1	2410	11764
2	5653	11764

prune937.0ms (4.1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	285	5	290
Fresh	0	7	7
Picked	1	0	1
Done	0	0	0
Total	286	12	298

Error

0.0b

Counts

298 → 12

Alt Table

Status	Error	Program
	27.5b	(+.f64 (-.f64 (cbrt.f64 (pow.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000) 3)) x) (+.f64 (+.f64 (/.f64 83333333333333/1000000000000000 x) (.f64 (.f64 z (/.f64 z x)) (+.f64 7936500793651/10000000000000000 y))) (*.f64 (/.f64 z x) -13888888888889/5000000000000000)))
	4.0b	(+.f64 (*.f64 (sqrt.f64 (-.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000) x)) (sqrt.f64 (-.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000) x))) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	4.5b	(+.f64 (.f64 -1 (.f64 (+.f64 1 (log.f64 (/.f64 1 x))) x)) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	3.8b	(+.f64 (-.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000) x) (*.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) (/.f64 1 x)))
	1.4b	(+.f64 (-.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000) x) (+.f64 (+.f64 (/.f64 83333333333333/1000000000000000 x) (.f64 z (.f64 (/.f64 z x) (+.f64 7936500793651/10000000000000000 y)))) (*.f64 (/.f64 z x) -13888888888889/5000000000000000)))
▶	1.2b	(+.f64 (-.f64 (pow.f64 (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000)) 3) x) (+.f64 (+.f64 (/.f64 83333333333333/1000000000000000 x) (.f64 (.f64 z (/.f64 z x)) (+.f64 7936500793651/10000000000000000 y))) (*.f64 (/.f64 z x) -13888888888889/5000000000000000)))
	1.5b	(+.f64 (-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000))) (cbrt.f64 (sqrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000)))) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000))) (cbrt.f64 (sqrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000))))) (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000))) x) (+.f64 (+.f64 (/.f64 83333333333333/1000000000000000 x) (.f64 (.f64 z (/.f64 z x)) (+.f64 7936500793651/10000000000000000 y))) (*.f64 (/.f64 z x) -13888888888889/5000000000000000)))
	3.9b	(+.f64 (fma.f64 (sqrt.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000)) (sqrt.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000)) (neg.f64 x)) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	10.6b	(+.f64 (-.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000) x) (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) (/.f64 x (sqrt.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)))))
	1.4b	(+.f64 (-.f64 (.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000))) 3)) x) (+.f64 (+.f64 (/.f64 83333333333333/1000000000000000 x) (.f64 (.f64 z (/.f64 z x)) (+.f64 7936500793651/10000000000000000 y))) (.f64 (/.f64 z x) -13888888888889/5000000000000000)))
	1.3b	(+.f64 (-.f64 (.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000)) (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000))) (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000)))) (sqrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000)) (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000))) (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000))))) x) (+.f64 (+.f64 (/.f64 83333333333333/1000000000000000 x) (.f64 (.f64 z (/.f64 z x)) (+.f64 7936500793651/10000000000000000 y))) (.f64 (/.f64 z x) -13888888888889/5000000000000000)))
	1.3b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000))) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000))) (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000)))) (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000))) x) (+.f64 (+.f64 (/.f64 83333333333333/1000000000000000 x) (.f64 (.f64 z (/.f64 z x)) (+.f64 7936500793651/10000000000000000 y))) (.f64 (/.f64 z x) -13888888888889/5000000000000000)))

Compiler

Compiled 34599 to 25338 computations (26.8% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(/.f64 83333333333333/1000000000000000 x)
	0.5b	(cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000))
✓	0.7b	(pow.f64 (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000)) 3)
	3.3b	(.f64 (.f64 z (/.f64 z x)) (+.f64 7936500793651/10000000000000000 y))

series15.3s (66.5%)

Counts

1 → 12

Calls

1 calls:

15.3s

(pow.f64 (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000)) 3)

rewrite4.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`cube-prod_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-sqr-sqrt_binary64`
6×	`cbrt-prod_binary64`
6×	`unpow-prod-down_binary64`

Counts

1 → 32

Calls

1 calls:

2.0ms

(pow.f64 (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000)) 3)

simplify92.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

566×	`associate-/r*_binary64`
288×	`fma-def_binary64`
280×	`fma-neg_binary64`
265×	`associate-*l/_binary64`
238×	`unswap-sqr_binary64`

Counts

44 → 50

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	124	1848
1	328	1646
2	1386	1458
3	4893	1454
4	5043	1454

prune354.0ms (1.5%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	172	1	173
Fresh	1	10	11
Picked	0	1	1
Done	0	0	0
Total	173	12	185

Error

0.0b

Counts

185 → 12

Alt Table

Status	Error	Program
	27.5b	(+.f64 (-.f64 (cbrt.f64 (pow.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000) 3)) x) (+.f64 (+.f64 (/.f64 83333333333333/1000000000000000 x) (.f64 (.f64 z (/.f64 z x)) (+.f64 7936500793651/10000000000000000 y))) (*.f64 (/.f64 z x) -13888888888889/5000000000000000)))
	4.0b	(+.f64 (*.f64 (sqrt.f64 (-.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000) x)) (sqrt.f64 (-.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000) x))) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	4.5b	(+.f64 (.f64 -1 (.f64 (+.f64 1 (log.f64 (/.f64 1 x))) x)) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	3.8b	(+.f64 (-.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000) x) (*.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) (/.f64 1 x)))
	1.4b	(+.f64 (-.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000) x) (+.f64 (+.f64 (/.f64 83333333333333/1000000000000000 x) (.f64 z (.f64 (/.f64 z x) (+.f64 7936500793651/10000000000000000 y)))) (*.f64 (/.f64 z x) -13888888888889/5000000000000000)))
✓	1.2b	(+.f64 (-.f64 (pow.f64 (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000)) 3) x) (+.f64 (+.f64 (/.f64 83333333333333/1000000000000000 x) (.f64 (.f64 z (/.f64 z x)) (+.f64 7936500793651/10000000000000000 y))) (*.f64 (/.f64 z x) -13888888888889/5000000000000000)))
	1.5b	(+.f64 (-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000))) (cbrt.f64 (sqrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000)))) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000))) (cbrt.f64 (sqrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000))))) (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000))) x) (+.f64 (+.f64 (/.f64 83333333333333/1000000000000000 x) (.f64 (.f64 z (/.f64 z x)) (+.f64 7936500793651/10000000000000000 y))) (*.f64 (/.f64 z x) -13888888888889/5000000000000000)))
	3.9b	(+.f64 (fma.f64 (sqrt.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000)) (sqrt.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000)) (neg.f64 x)) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	10.6b	(+.f64 (-.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000) x) (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) (/.f64 x (sqrt.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)))))
	1.4b	(+.f64 (-.f64 (.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000))) 3)) x) (+.f64 (+.f64 (/.f64 83333333333333/1000000000000000 x) (.f64 (.f64 z (/.f64 z x)) (+.f64 7936500793651/10000000000000000 y))) (.f64 (/.f64 z x) -13888888888889/5000000000000000)))
	1.3b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000))) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000))) (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000)))) (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000))) x) (+.f64 (+.f64 (/.f64 83333333333333/1000000000000000 x) (.f64 (.f64 z (/.f64 z x)) (+.f64 7936500793651/10000000000000000 y))) (.f64 (/.f64 z x) -13888888888889/5000000000000000)))
	1.2b	(+.f64 (-.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000)) (/.f64 3 2)) (pow.f64 (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 x 1/2) 91893853320467/100000000000000)) (/.f64 3 2))) x) (+.f64 (+.f64 (/.f64 83333333333333/1000000000000000 x) (.f64 (.f64 z (/.f64 z x)) (+.f64 7936500793651/10000000000000000 y))) (.f64 (/.f64 z x) -13888888888889/5000000000000000)))

Compiler

Compiled 11021 to 7550 computations (31.5% saved)

regimes1.7s (7.4%)

Accuracy

Total 0.4b remaining (85.8%)

Threshold costs 0.4b (85.8%)

Counts

170 → 1

Compiler

Compiled 50663 to 34879 computations (31.2% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`+-commutative_binary64`
5×	`*-commutative_binary64`
3×	`sub-neg_binary64`
1×	`*-lft-identity_binary64`
1×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	43
1	39	43
2	44	43
3	46	43
4	47	43
5	45	43

end307.0ms (1.3%)

Compiler: Compiled 556 to 386 computations (30.6% saved)

Details

analyze673.0ms (2.9%)

sample1.9s (8.3%)

simplify76.0ms (0.3%)

prune4.0ms (0%)

localize16.0ms (0.1%)

series74.0ms (0.3%)

rewrite11.0ms (0%)

simplify169.0ms (0.7%)

prune312.0ms (1.4%)

localize20.0ms (0.1%)

series39.0ms (0.2%)

rewrite21.0ms (0.1%)

simplify91.0ms (0.4%)

prune258.0ms (1.1%)

localize24.0ms (0.1%)

series394.0ms (1.7%)

rewrite19.0ms (0.1%)

simplify204.0ms (0.9%)

prune937.0ms (4.1%)

localize24.0ms (0.1%)

series15.3s (66.5%)

rewrite4.0ms (0%)

simplify92.0ms (0.4%)

prune354.0ms (1.5%)

regimes1.7s (7.4%)

simplify4.0ms (0%)

end307.0ms (1.3%)

Profiling