Details

analyze4.0ms (0.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
62.5%	12.5%	25%	5
62.5%	6.2%	31.3%	6
65.6%	3.1%	31.3%	7
65.6%	1.6%	32.8%	8
66.4%	0.8%	32.8%	9
66.4%	0.4%	33.2%	10
66.6%	0.2%	33.2%	11
66.6%	0.1%	33.3%	12
66.6%	0%	33.4%	13
66.6%	0%	33.4%	14

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample691.0ms (48.4%)

Results

677.0ms	8256×	body	128	valid
0.0ms	3×	body	128	invalid

Compiler

Compiled 22 to 16 computations (27.3% saved)

preprocess45.0ms (3.1%)

Algorithm

2×	egg-herbie

Rules

783×	`fma-neg_binary64`
701×	`fma-def_binary64`
349×	`associate-l_binary64`
313×	`distribute-rgt-neg-in_binary64`
258×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	17	13
2	45	11
3	118	11
4	232	11
5	311	11
6	465	11
7	796	11
8	1677	11
9	2538	11
10	3445	11
11	4626	11
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))

Outputs
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))

Compiler

Compiled 10 to 7 computations (30% saved)

simplify43.0ms (3%)

Algorithm

1×	egg-herbie

Rules

783×	`fma-neg_binary64`
701×	`fma-def_binary64`
349×	`associate-l_binary64`
313×	`distribute-rgt-neg-in_binary64`
258×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	17	13
2	45	11
3	118	11
4	232	11
5	311	11
6	465	11
7	796	11
8	1677	11
9	2538	11
10	3445	11
11	4626	11

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))

Outputs
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))

prune3.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.1b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.2b	(.f64 x (.f64 x (fma.f64 x -2 3)))
	0.2b	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))

Compiler

Compiled 56 to 38 computations (32.1% saved)

localize5.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 x (fma.f64 x -2 3))
✓	0.2b	(.f64 x (.f64 x (fma.f64 x -2 3)))

series4.0ms (0.3%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(.f64 x (.f64 x (fma.f64 x -2 3)))
1.0ms	x	@	0	(.f64 x (.f64 x (fma.f64 x -2 3)))
1.0ms	x	@	inf	(.f64 x (.f64 x (fma.f64 x -2 3)))
0.0ms	x	@	-inf	(*.f64 x (fma.f64 x -2 3))
0.0ms	x	@	0	(*.f64 x (fma.f64 x -2 3))

rewrite37.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

647×	`pow1_binary64`
601×	`add-log-exp_binary64`
600×	`log1p-expm1-u_binary64`
600×	`expm1-log1p-u_binary64`
69×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	143	19
2	1612	19

Stop Event

1×	node limit

Counts

2 → 32

Calls

Call 1

Inputs
(.f64 x (.f64 x (fma.f64 x -2 3)))
(*.f64 x (fma.f64 x -2 3))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 x -2) (.f64 x x)) (.f64 3 (.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 x x) (.f64 x -2)) (.f64 (.f64 x x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (sqrt.f64 (fma.f64 x -2 3))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (pow.f64 (exp.f64 x) (fma.f64 x -2 3)) x))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 x 3) (pow.f64 (.f64 x (fma.f64 x -2 3)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (.f64 x (fma.f64 x -2 3)) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (fma.f64 x -2 3) (*.f64 x x))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 x -2) x) (.f64 3 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x (.f64 x -2)) (.f64 x 3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 x (fma.f64 x -2 3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (fma.f64 x -2 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 x (fma.f64 x -2 3)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 x (fma.f64 x -2 3))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 x (fma.f64 x -2 3))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 x (fma.f64 x -2 3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (fma.f64 x -2 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 x (fma.f64 x -2 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 x (fma.f64 x -2 3)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 x 3) (pow.f64 (fma.f64 x -2 3) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (fma.f64 x -2 3) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 x (fma.f64 x -2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 x (fma.f64 x -2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (fma.f64 x -2 3))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x -2) (*.f64 x x)) (*.f64 3 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x x) (*.f64 x -2)) (*.f64 (*.f64 x x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (fma.f64 x -2 3) (*.f64 x x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (fma.f64 x -2 3) (*.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (fma.f64 x -2 3) (*.f64 x x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (fma.f64 x -2 3) (*.f64 x x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (fma.f64 x -2 3) (*.f64 x x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (pow.f64 (exp.f64 x) (fma.f64 x -2 3)) x))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (fma.f64 x -2 3) (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (fma.f64 x -2 3) (*.f64 x x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (*.f64 x (fma.f64 x -2 3)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (*.f64 x (fma.f64 x -2 3)) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (fma.f64 x -2 3) (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (fma.f64 x -2 3) (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (fma.f64 x -2 3) (*.f64 x x))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x -2) x) (*.f64 3 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 x -2)) (*.f64 x 3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 x (fma.f64 x -2 3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (fma.f64 x -2 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (fma.f64 x -2 3)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (fma.f64 x -2 3))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (fma.f64 x -2 3))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (fma.f64 x -2 3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (fma.f64 x -2 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 x (fma.f64 x -2 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (fma.f64 x -2 3)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (fma.f64 x -2 3) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (fma.f64 x -2 3) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (fma.f64 x -2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (fma.f64 x -2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (fma.f64 x -2 3))))))))

simplify33.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

683×	`fma-def_binary64`
495×	`distribute-rgt-neg-in_binary64`
487×	`fma-neg_binary64`
428×	`distribute-lft-neg-in_binary64`
340×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	15	300
1	42	264
2	102	246
3	318	210
4	1031	210
5	2232	210
6	3763	210

Stop Event

1×	node limit

Counts

56 → 43

Calls

Call 1

Inputs
(*.f64 3 (pow.f64 x 2))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(*.f64 3 x)
(-.f64 (.f64 3 x) (.f64 2 (pow.f64 x 2)))
(-.f64 (.f64 3 x) (.f64 2 (pow.f64 x 2)))
(-.f64 (.f64 3 x) (.f64 2 (pow.f64 x 2)))
(*.f64 -2 (pow.f64 x 2))
(-.f64 (.f64 3 x) (.f64 2 (pow.f64 x 2)))
(-.f64 (.f64 3 x) (.f64 2 (pow.f64 x 2)))
(-.f64 (.f64 3 x) (.f64 2 (pow.f64 x 2)))
(*.f64 -2 (pow.f64 x 2))
(-.f64 (.f64 3 x) (.f64 2 (pow.f64 x 2)))
(-.f64 (.f64 3 x) (.f64 2 (pow.f64 x 2)))
(-.f64 (.f64 3 x) (.f64 2 (pow.f64 x 2)))

Outputs
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 3 (.f64 x x)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 3 (.f64 x x)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 3 (.f64 x x)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(*.f64 -2 (pow.f64 x 3))
(*.f64 (pow.f64 x 3) -2)
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 3 (.f64 x x)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 3 (.f64 x x)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 3 (.f64 x x)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(*.f64 -2 (pow.f64 x 3))
(*.f64 (pow.f64 x 3) -2)
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 3 (.f64 x x)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 3 (.f64 x x)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 3 (.f64 x x)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(*.f64 3 x)
(-.f64 (.f64 3 x) (.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (*.f64 x x) -2))
(fma.f64 3 x (.f64 x (.f64 x -2)))
(.f64 x (-.f64 3 (.f64 x 2)))
(*.f64 x (fma.f64 x -2 3))
(-.f64 (.f64 3 x) (.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (*.f64 x x) -2))
(fma.f64 3 x (.f64 x (.f64 x -2)))
(.f64 x (-.f64 3 (.f64 x 2)))
(*.f64 x (fma.f64 x -2 3))
(-.f64 (.f64 3 x) (.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (*.f64 x x) -2))
(fma.f64 3 x (.f64 x (.f64 x -2)))
(.f64 x (-.f64 3 (.f64 x 2)))
(*.f64 x (fma.f64 x -2 3))
(*.f64 -2 (pow.f64 x 2))
(.f64 (.f64 x x) -2)
(.f64 x (.f64 x -2))
(-.f64 (.f64 3 x) (.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (*.f64 x x) -2))
(fma.f64 3 x (.f64 x (.f64 x -2)))
(.f64 x (-.f64 3 (.f64 x 2)))
(*.f64 x (fma.f64 x -2 3))
(-.f64 (.f64 3 x) (.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (*.f64 x x) -2))
(fma.f64 3 x (.f64 x (.f64 x -2)))
(.f64 x (-.f64 3 (.f64 x 2)))
(*.f64 x (fma.f64 x -2 3))
(-.f64 (.f64 3 x) (.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (*.f64 x x) -2))
(fma.f64 3 x (.f64 x (.f64 x -2)))
(.f64 x (-.f64 3 (.f64 x 2)))
(*.f64 x (fma.f64 x -2 3))
(*.f64 -2 (pow.f64 x 2))
(.f64 (.f64 x x) -2)
(.f64 x (.f64 x -2))
(-.f64 (.f64 3 x) (.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (*.f64 x x) -2))
(fma.f64 3 x (.f64 x (.f64 x -2)))
(.f64 x (-.f64 3 (.f64 x 2)))
(*.f64 x (fma.f64 x -2 3))
(-.f64 (.f64 3 x) (.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (*.f64 x x) -2))
(fma.f64 3 x (.f64 x (.f64 x -2)))
(.f64 x (-.f64 3 (.f64 x 2)))
(*.f64 x (fma.f64 x -2 3))
(-.f64 (.f64 3 x) (.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (*.f64 x x) -2))
(fma.f64 3 x (.f64 x (.f64 x -2)))
(.f64 x (-.f64 3 (.f64 x 2)))
(*.f64 x (fma.f64 x -2 3))

prune31.0ms (2.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	39	4	43
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	40	5	45

Error

0.0b

Counts

45 → 5

Alt Table

Status	Error	Program
▶	0.1b	(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
✓	0.2b	(.f64 x (.f64 x (fma.f64 x -2 3)))
	13.7b	(.f64 x (cbrt.f64 (pow.f64 (.f64 x (fma.f64 x -2 3)) 3)))
	23.8b	(cbrt.f64 (pow.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)) 3))
	8.8b	(pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 2)

Compiler

Compiled 537 to 375 computations (30.2% saved)

localize6.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 2 (pow.f64 x 3))
✓	0.0b	(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
✓	0.2b	(*.f64 3 (pow.f64 x 2))

series6.0ms (0.4%)

Counts

3 → 3

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	x	@	inf	(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
1.0ms	x	@	-inf	(*.f64 2 (pow.f64 x 3))
1.0ms	x	@	0	(*.f64 3 (pow.f64 x 2))
1.0ms	x	@	inf	(*.f64 3 (pow.f64 x 2))
0.0ms	x	@	0	(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))

rewrite48.0ms (3.4%)

Algorithm

1×	batch-egg-rewrite

Rules

888×	`log1p-expm1-u_binary64`
888×	`expm1-log1p-u_binary64`
99×	`add-sqr-sqrt_binary64`
95×	`add-log-exp_binary64`
95×	`pow1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	30
1	214	28
2	2569	28

Stop Event

1×	node limit

Counts

3 → 76

Calls

Call 1

Inputs
(*.f64 3 (pow.f64 x 2))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(*.f64 2 (pow.f64 x 3))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 3 (.f64 x x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 3 (.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 3 (.f64 x x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (sqrt.f64 3)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 x 6) 27) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 (pow.f64 x 4) 9))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (.f64 x x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 3 (.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 x 6) 27))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 3 (.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 3 (.f64 x x))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 3 (.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 3 (.f64 x x))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 3 (.f64 x x)) (.f64 (pow.f64 x 3) -2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 3 (.f64 x x)) (.f64 (.f64 (pow.f64 x 3) -2) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 3 (.f64 x x)) (+.f64 (.f64 (pow.f64 x 3) -2) (+.f64 (.f64 (pow.f64 x 3) -2) (.f64 2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2)) (+.f64 (.f64 (pow.f64 x 3) -2) (.f64 2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2)) (fma.f64 -2 (pow.f64 x 3) (.f64 2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2)) (fma.f64 (.f64 (pow.f64 x 3) -2) 1 (.f64 2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2)) (fma.f64 (neg.f64 (.f64 x (cbrt.f64 2))) (cbrt.f64 (.f64 (pow.f64 x 6) 4)) (.f64 2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2)) (fma.f64 (neg.f64 (.f64 (sqrt.f64 2) (pow.f64 x 3/2))) (.f64 (sqrt.f64 2) (pow.f64 x 3/2)) (.f64 2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2)) (.f64 (+.f64 (.f64 (pow.f64 x 3) -2) (.f64 2 (pow.f64 x 3))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2)) (+.f64 (+.f64 (.f64 (pow.f64 x 3) -2) (.f64 2 (pow.f64 x 3))) (+.f64 (.f64 (pow.f64 x 3) -2) (.f64 2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 (pow.f64 x 3) -2) (.f64 2 (pow.f64 x 3))) (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 x 3) -2) (.f64 3 (.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))) (pow.f64 (cbrt.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))) 2) (cbrt.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))) (sqrt.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 (pow.f64 x 6) 27) (.f64 (pow.f64 (pow.f64 x 3) 3) 8)) (/.f64 1 (+.f64 (.f64 (pow.f64 x 4) 9) (.f64 (.f64 2 (pow.f64 x 3)) (fma.f64 3 (.f64 x x) (.f64 2 (pow.f64 x 3)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 (pow.f64 x 4) 9) (.f64 (pow.f64 x 6) 4)) (/.f64 1 (fma.f64 3 (.f64 x x) (.f64 2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 x (sqrt.f64 3)) (.f64 (sqrt.f64 2) (pow.f64 x 3/2))) (-.f64 (.f64 x (sqrt.f64 3)) (.f64 (sqrt.f64 2) (pow.f64 x 3/2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (.f64 (pow.f64 x 4) 9) (.f64 (.f64 2 (pow.f64 x 3)) (fma.f64 3 (.f64 x x) (.f64 2 (pow.f64 x 3))))) (-.f64 (.f64 (pow.f64 x 6) 27) (.f64 (pow.f64 (pow.f64 x 3) 3) 8))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 3 (.f64 x x) (.f64 2 (pow.f64 x 3))) (-.f64 (.f64 (pow.f64 x 4) 9) (.f64 (pow.f64 x 6) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (pow.f64 x 6) 27) (.f64 (pow.f64 (pow.f64 x 3) 3) 8)) (+.f64 (.f64 (pow.f64 x 4) 9) (.f64 (.f64 2 (pow.f64 x 3)) (fma.f64 3 (.f64 x x) (.f64 2 (pow.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (pow.f64 x 4) 9) (.f64 (pow.f64 x 6) 4)) (fma.f64 3 (.f64 x x) (.f64 2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (.f64 (pow.f64 x 6) 27) (.f64 (pow.f64 (pow.f64 x 3) 3) 8))) (neg.f64 (+.f64 (.f64 (pow.f64 x 4) 9) (.f64 (.f64 2 (pow.f64 x 3)) (fma.f64 3 (.f64 x x) (.f64 2 (pow.f64 x 3)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (.f64 (pow.f64 x 4) 9) (.f64 (pow.f64 x 6) 4))) (neg.f64 (fma.f64 3 (.f64 x x) (.f64 2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 (pow.f64 x 6) 27) (pow.f64 (.f64 (pow.f64 x 3) -2) 3)) (+.f64 (.f64 (pow.f64 x 4) 9) (-.f64 (.f64 (.f64 (pow.f64 x 3) -2) (.f64 (pow.f64 x 3) -2)) (.f64 (.f64 3 (.f64 x x)) (.f64 (pow.f64 x 3) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2)) 3) (pow.f64 (+.f64 (.f64 (pow.f64 x 3) -2) (.f64 2 (pow.f64 x 3))) 3)) (+.f64 (pow.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2)) 2) (-.f64 (.f64 (+.f64 (.f64 (pow.f64 x 3) -2) (.f64 2 (pow.f64 x 3))) (+.f64 (.f64 (pow.f64 x 3) -2) (.f64 2 (pow.f64 x 3)))) (.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2)) (+.f64 (.f64 (pow.f64 x 3) -2) (.f64 2 (pow.f64 x 3)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (pow.f64 x 4) 9) (.f64 (.f64 (pow.f64 x 3) -2) (.f64 (pow.f64 x 3) -2))) (-.f64 (.f64 3 (.f64 x x)) (.f64 (pow.f64 x 3) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2)) 2) (.f64 (+.f64 (.f64 (pow.f64 x 3) -2) (.f64 2 (pow.f64 x 3))) (+.f64 (.f64 (pow.f64 x 3) -2) (.f64 2 (pow.f64 x 3))))) (-.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2)) (+.f64 (.f64 (pow.f64 x 3) -2) (.f64 2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x x) 3 (.f64 (pow.f64 x 3) -2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 3 (.f64 x x)) (.f64 (pow.f64 x 3) -2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2)) (+.f64 (.f64 (pow.f64 x 3) -2) (.f64 2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))) 2) (cbrt.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))) (+.f64 (.f64 (pow.f64 x 3) -2) (.f64 2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 (pow.f64 x 4) 9)) (cbrt.f64 (.f64 3 (.f64 x x))) (.f64 (pow.f64 x 3) -2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))) (sqrt.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))) (+.f64 (.f64 (pow.f64 x 3) -2) (.f64 2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x (sqrt.f64 3)) (.f64 x (sqrt.f64 3)) (.f64 (pow.f64 x 3) -2))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 2 (pow.f64 x 3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 2 (pow.f64 x 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (cbrt.f64 2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (sqrt.f64 2) (pow.f64 x 3/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 (pow.f64 x 3) 3) 8) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 (pow.f64 x 6) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (pow.f64 x 3) 3) 8))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 2 (pow.f64 x 3))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 2 (pow.f64 x 3))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 3 (*.f64 x x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 3 (*.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 3 (*.f64 x x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (sqrt.f64 3)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 x 6) 27) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 x 4) 9))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (*.f64 x x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 3 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 x 6) 27))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 3 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 3 (*.f64 x x))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 3 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 3 (*.f64 x x))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 3 (*.f64 x x)) (*.f64 (pow.f64 x 3) -2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 3 (*.f64 x x)) (*.f64 (*.f64 (pow.f64 x 3) -2) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 3 (*.f64 x x)) (+.f64 (*.f64 (pow.f64 x 3) -2) (+.f64 (*.f64 (pow.f64 x 3) -2) (*.f64 2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)) (+.f64 (*.f64 (pow.f64 x 3) -2) (*.f64 2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)) (fma.f64 -2 (pow.f64 x 3) (*.f64 2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)) (fma.f64 (*.f64 (pow.f64 x 3) -2) 1 (*.f64 2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)) (fma.f64 (neg.f64 (*.f64 x (cbrt.f64 2))) (cbrt.f64 (*.f64 (pow.f64 x 6) 4)) (*.f64 2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)) (fma.f64 (neg.f64 (*.f64 (sqrt.f64 2) (pow.f64 x 3/2))) (*.f64 (sqrt.f64 2) (pow.f64 x 3/2)) (*.f64 2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)) (*.f64 (+.f64 (*.f64 (pow.f64 x 3) -2) (*.f64 2 (pow.f64 x 3))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)) (+.f64 (+.f64 (*.f64 (pow.f64 x 3) -2) (*.f64 2 (pow.f64 x 3))) (+.f64 (*.f64 (pow.f64 x 3) -2) (*.f64 2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (pow.f64 x 3) -2) (*.f64 2 (pow.f64 x 3))) (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 3) -2) (*.f64 3 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))) (pow.f64 (cbrt.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))) 2) (cbrt.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))) (sqrt.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 (pow.f64 x 6) 27) (*.f64 (pow.f64 (pow.f64 x 3) 3) 8)) (/.f64 1 (+.f64 (*.f64 (pow.f64 x 4) 9) (*.f64 (*.f64 2 (pow.f64 x 3)) (fma.f64 3 (*.f64 x x) (*.f64 2 (pow.f64 x 3)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 (pow.f64 x 4) 9) (*.f64 (pow.f64 x 6) 4)) (/.f64 1 (fma.f64 3 (*.f64 x x) (*.f64 2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 x (sqrt.f64 3)) (*.f64 (sqrt.f64 2) (pow.f64 x 3/2))) (-.f64 (*.f64 x (sqrt.f64 3)) (*.f64 (sqrt.f64 2) (pow.f64 x 3/2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (*.f64 (pow.f64 x 4) 9) (*.f64 (*.f64 2 (pow.f64 x 3)) (fma.f64 3 (*.f64 x x) (*.f64 2 (pow.f64 x 3))))) (-.f64 (*.f64 (pow.f64 x 6) 27) (*.f64 (pow.f64 (pow.f64 x 3) 3) 8))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 3 (*.f64 x x) (*.f64 2 (pow.f64 x 3))) (-.f64 (*.f64 (pow.f64 x 4) 9) (*.f64 (pow.f64 x 6) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (pow.f64 x 6) 27) (*.f64 (pow.f64 (pow.f64 x 3) 3) 8)) (+.f64 (*.f64 (pow.f64 x 4) 9) (*.f64 (*.f64 2 (pow.f64 x 3)) (fma.f64 3 (*.f64 x x) (*.f64 2 (pow.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (pow.f64 x 4) 9) (*.f64 (pow.f64 x 6) 4)) (fma.f64 3 (*.f64 x x) (*.f64 2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (*.f64 (pow.f64 x 6) 27) (*.f64 (pow.f64 (pow.f64 x 3) 3) 8))) (neg.f64 (+.f64 (*.f64 (pow.f64 x 4) 9) (*.f64 (*.f64 2 (pow.f64 x 3)) (fma.f64 3 (*.f64 x x) (*.f64 2 (pow.f64 x 3)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (*.f64 (pow.f64 x 4) 9) (*.f64 (pow.f64 x 6) 4))) (neg.f64 (fma.f64 3 (*.f64 x x) (*.f64 2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (pow.f64 x 6) 27) (pow.f64 (*.f64 (pow.f64 x 3) -2) 3)) (+.f64 (*.f64 (pow.f64 x 4) 9) (-.f64 (*.f64 (*.f64 (pow.f64 x 3) -2) (*.f64 (pow.f64 x 3) -2)) (*.f64 (*.f64 3 (*.f64 x x)) (*.f64 (pow.f64 x 3) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)) 3) (pow.f64 (+.f64 (*.f64 (pow.f64 x 3) -2) (*.f64 2 (pow.f64 x 3))) 3)) (+.f64 (pow.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)) 2) (-.f64 (*.f64 (+.f64 (*.f64 (pow.f64 x 3) -2) (*.f64 2 (pow.f64 x 3))) (+.f64 (*.f64 (pow.f64 x 3) -2) (*.f64 2 (pow.f64 x 3)))) (*.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)) (+.f64 (*.f64 (pow.f64 x 3) -2) (*.f64 2 (pow.f64 x 3)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (pow.f64 x 4) 9) (*.f64 (*.f64 (pow.f64 x 3) -2) (*.f64 (pow.f64 x 3) -2))) (-.f64 (*.f64 3 (*.f64 x x)) (*.f64 (pow.f64 x 3) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)) 2) (*.f64 (+.f64 (*.f64 (pow.f64 x 3) -2) (*.f64 2 (pow.f64 x 3))) (+.f64 (*.f64 (pow.f64 x 3) -2) (*.f64 2 (pow.f64 x 3))))) (-.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)) (+.f64 (*.f64 (pow.f64 x 3) -2) (*.f64 2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x x) 3 (*.f64 (pow.f64 x 3) -2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 3 (*.f64 x x)) (*.f64 (pow.f64 x 3) -2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)) (+.f64 (*.f64 (pow.f64 x 3) -2) (*.f64 2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))) 2) (cbrt.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))) (+.f64 (*.f64 (pow.f64 x 3) -2) (*.f64 2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (pow.f64 x 4) 9)) (cbrt.f64 (*.f64 3 (*.f64 x x))) (*.f64 (pow.f64 x 3) -2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))) (sqrt.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))) (+.f64 (*.f64 (pow.f64 x 3) -2) (*.f64 2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (sqrt.f64 3)) (*.f64 x (sqrt.f64 3)) (*.f64 (pow.f64 x 3) -2))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 2 (pow.f64 x 3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 2 (pow.f64 x 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (cbrt.f64 2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 2) (pow.f64 x 3/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 (pow.f64 x 3) 3) 8) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 x 6) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (pow.f64 x 3) 3) 8))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 2 (pow.f64 x 3))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 2 (pow.f64 x 3))))))))

simplify61.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

674×	`sqr-pow_binary64`
536×	`unswap-sqr_binary64`
419×	`associate-l_binary64`
387×	`*-commutative_binary64`
279×	`pow-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	21
1	23	21
2	52	21
3	114	21
4	311	21
5	1272	21
6	2442	21
7	2608	21
8	2858	21
9	3145	21
10	3524	21
11	4023	21
12	4628	21

Stop Event

1×	node limit

Counts

79 → 79

Calls

Call 1

Inputs
(*.f64 3 (pow.f64 x 2))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))

Outputs
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))

prune63.0ms (4.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	78	1	79
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	79	5	84

Error

Counts

84 → 5

Alt Table

Status	Error	Program
✓	0.2b	(.f64 x (.f64 x (fma.f64 x -2 3)))
	13.7b	(.f64 x (cbrt.f64 (pow.f64 (.f64 x (fma.f64 x -2 3)) 3)))
▶	0.1b	(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
	23.8b	(cbrt.f64 (pow.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)) 3))
	8.8b	(pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 2)

Compiler

Compiled 1619 to 1214 computations (25% saved)

localize6.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (pow.f64 x 3) -2)
✓	0.1b	(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))

series2.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
0.0ms	x	@	0	(*.f64 (pow.f64 x 3) -2)
0.0ms	x	@	inf	(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
0.0ms	x	@	-inf	(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
0.0ms	x	@	inf	(*.f64 (pow.f64 x 3) -2)

rewrite37.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

674×	`pow1_binary64`
630×	`add-log-exp_binary64`
629×	`log1p-expm1-u_binary64`
629×	`expm1-log1p-u_binary64`
78×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	21
1	169	21
2	1799	21

Stop Event

1×	node limit

Counts

2 → 34

Calls

Call 1

Inputs
(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
(*.f64 (pow.f64 x 3) -2)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 3) -2) (*.f64 3 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 3 (*.f64 x x)) (*.f64 (pow.f64 x 3) -2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 3 (*.f64 x x)) 1) (*.f64 (pow.f64 x 3) -2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))) (pow.f64 (cbrt.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))) 2) (cbrt.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))) (sqrt.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 3 (*.f64 x x)) 3) (pow.f64 (*.f64 (pow.f64 x 3) -2) 3)) (+.f64 (*.f64 (*.f64 3 (*.f64 x x)) (*.f64 3 (*.f64 x x))) (-.f64 (*.f64 4 (pow.f64 x 6)) (*.f64 (*.f64 3 (*.f64 x x)) (*.f64 (pow.f64 x 3) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 3 (*.f64 x x)) (*.f64 3 (*.f64 x x))) (*.f64 4 (pow.f64 x 6))) (-.f64 (*.f64 3 (*.f64 x x)) (*.f64 (pow.f64 x 3) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 3 (*.f64 x x) (*.f64 (pow.f64 x 3) -2))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (pow.f64 x 3) -2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 x 3) -2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (pow.f64 x 3) -2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (cbrt.f64 -2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 -2) (pow.f64 x 3/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 4 (pow.f64 x 6)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (pow.f64 x 3) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (pow.f64 x 3) -2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (pow.f64 x 3) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (pow.f64 x 3) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (pow.f64 x 3) -2)))))))

simplify31.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

850×	`fma-def_binary64`
501×	`distribute-rgt-neg-in_binary64`
431×	`distribute-lft-neg-in_binary64`
385×	`fma-neg_binary64`
336×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	11	249
1	31	231
2	83	222
3	283	204
4	876	204
5	1948	204
6	3341	204

Stop Event

1×	node limit

Counts

58 → 40

Calls

Call 1

Inputs
(*.f64 3 (pow.f64 x 2))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))

Outputs
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 3 (.f64 x x)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 3 (.f64 x x)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 3 (.f64 x x)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(*.f64 -2 (pow.f64 x 3))
(*.f64 (pow.f64 x 3) -2)
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 3 (.f64 x x)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 3 (.f64 x x)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 3 (.f64 x x)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(*.f64 -2 (pow.f64 x 3))
(*.f64 (pow.f64 x 3) -2)
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 3 (.f64 x x)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 3 (.f64 x x)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 3 (.f64 x x)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(*.f64 -2 (pow.f64 x 3))
(*.f64 (pow.f64 x 3) -2)
(*.f64 -2 (pow.f64 x 3))
(*.f64 (pow.f64 x 3) -2)
(*.f64 -2 (pow.f64 x 3))
(*.f64 (pow.f64 x 3) -2)
(*.f64 -2 (pow.f64 x 3))
(*.f64 (pow.f64 x 3) -2)
(*.f64 -2 (pow.f64 x 3))
(*.f64 (pow.f64 x 3) -2)
(*.f64 -2 (pow.f64 x 3))
(*.f64 (pow.f64 x 3) -2)
(*.f64 -2 (pow.f64 x 3))
(*.f64 (pow.f64 x 3) -2)
(*.f64 -2 (pow.f64 x 3))
(*.f64 (pow.f64 x 3) -2)
(*.f64 -2 (pow.f64 x 3))
(*.f64 (pow.f64 x 3) -2)
(*.f64 -2 (pow.f64 x 3))
(*.f64 (pow.f64 x 3) -2)
(*.f64 -2 (pow.f64 x 3))
(*.f64 (pow.f64 x 3) -2)
(*.f64 -2 (pow.f64 x 3))
(*.f64 (pow.f64 x 3) -2)

prune28.0ms (2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	40	0	40
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	40	5	45

Error

Counts

45 → 5

Alt Table

Status	Error	Program
✓	0.2b	(.f64 x (.f64 x (fma.f64 x -2 3)))
	13.7b	(.f64 x (cbrt.f64 (pow.f64 (.f64 x (fma.f64 x -2 3)) 3)))
✓	0.1b	(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
	23.8b	(cbrt.f64 (pow.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)) 3))
▶	8.8b	(pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 2)

Compiler

Compiled 638 to 440 computations (31% saved)

localize6.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (fma.f64 x -2 3))
✓	0.3b	(pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 2)
✓	0.3b	(*.f64 x (sqrt.f64 (fma.f64 x -2 3)))

series13.0ms (0.9%)

Counts

3 → 12

Calls

9 calls:

Time	Variable		Point	Expression
6.0ms	x	@	0	(pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 2)
1.0ms	x	@	inf	(*.f64 x (sqrt.f64 (fma.f64 x -2 3)))
1.0ms	x	@	0	(*.f64 x (sqrt.f64 (fma.f64 x -2 3)))
1.0ms	x	@	inf	(pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 2)
1.0ms	x	@	-inf	(pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 2)

rewrite43.0ms (3%)

Algorithm

1×	batch-egg-rewrite

Rules

731×	`pow1_binary64`
679×	`log1p-expm1-u_binary64`
679×	`expm1-log1p-u_binary64`
88×	`add-sqr-sqrt_binary64`
83×	`add-log-exp_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	30
1	188	28
2	1986	28

Stop Event

1×	node limit

Counts

3 → 64

Calls

Call 1

Inputs
(*.f64 x (sqrt.f64 (fma.f64 x -2 3)))
(pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 2)
(sqrt.f64 (fma.f64 x -2 3))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (fma.f64 x -2 3) (*.f64 x x)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (fma.f64 x -2 3) (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (sqrt.f64 (fma.f64 x -2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (fma.f64 x -2 3) 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (fma.f64 x -2 3) 3/2) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3)))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (fma.f64 x -2 3) (*.f64 x x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (*.f64 (sqrt.f64 (fma.f64 x -2 3)) (*.f64 x (sqrt.f64 (fma.f64 x -2 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 x -2 3) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 x -2 3)) (*.f64 x (*.f64 x (sqrt.f64 (fma.f64 x -2 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) (*.f64 x (sqrt.f64 (fma.f64 x -2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (fma.f64 x -2 3) (*.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (fma.f64 x -2 3) (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (fma.f64 x -2 3) (*.f64 x x))) (cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (fma.f64 x -2 3) (*.f64 x x))) (*.f64 (cbrt.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3)))) (*.f64 x (sqrt.f64 (fma.f64 x -2 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 4)) (cbrt.f64 (*.f64 (fma.f64 x -2 3) (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3)))) (*.f64 (sqrt.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3)))) (*.f64 x (sqrt.f64 (fma.f64 x -2 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x x) (fma.f64 x -2 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) (sqrt.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))))) (sqrt.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) x) (sqrt.f64 (fma.f64 x -2 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) (sqrt.f64 (fma.f64 x -2 3))) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) (cbrt.f64 (*.f64 (fma.f64 x -2 3) (*.f64 x x)))) (cbrt.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (*.f64 x x)) (fma.f64 x -2 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (fma.f64 x -2 3) (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (fma.f64 x -2 3) (*.f64 x x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (fma.f64 x -2 3) (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (fma.f64 x -2 3) (*.f64 x x))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (fma.f64 x -2 3) (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (fma.f64 x -2 3) (*.f64 x x))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (sqrt.f64 (fma.f64 x -2 3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 x -2 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (fma.f64 x -2 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 x -2 3)) (cbrt.f64 (sqrt.f64 (fma.f64 x -2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x -2 3))) (cbrt.f64 (fma.f64 x -2 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (fma.f64 x -2 3) 1/4) (pow.f64 (fma.f64 x -2 3) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x -2 3)) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 x -2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/2) (sqrt.f64 (fma.f64 x -2 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 x -2 3)) 2) 1/2) (pow.f64 (cbrt.f64 (fma.f64 x -2 3)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 x -2 3) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 x -2 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 x -2 3) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x -2 3))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 x -2 3) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (sqrt.f64 (fma.f64 x -2 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (fma.f64 x -2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (fma.f64 x -2 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 x -2 3) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sqrt.f64 (fma.f64 x -2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 x -2 3)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 x -2 3))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (fma.f64 x -2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (fma.f64 x -2 3))))))))

simplify27.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

813×	`associate-/l*_binary64`
633×	`cancel-sign-sub-inv_binary64`
613×	`fma-def_binary64`
324×	`fma-neg_binary64`
227×	`distribute-neg-frac_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	40	263
1	120	228
2	396	217
3	1712	192

Stop Event

1×	node limit

Counts

76 → 81

Calls

Call 1

Inputs
(*.f64 (sqrt.f64 3) x)
(-.f64 (*.f64 (sqrt.f64 3) x) (/.f64 (pow.f64 x 2) (sqrt.f64 3)))
(-.f64 (.f64 (sqrt.f64 3) x) (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 3) 3))) (/.f64 (pow.f64 x 2) (sqrt.f64 3))))
(-.f64 (.f64 (sqrt.f64 3) x) (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 3) 3))) (+.f64 (/.f64 (pow.f64 x 2) (sqrt.f64 3)) (*.f64 1/2 (/.f64 (pow.f64 x 4) (pow.f64 (sqrt.f64 3) 5))))))
(*.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2))
(-.f64 (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(-.f64 (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(-.f64 (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(sqrt.f64 3)
(-.f64 (sqrt.f64 3) (/.f64 x (sqrt.f64 3)))
(-.f64 (sqrt.f64 3) (+.f64 (/.f64 x (sqrt.f64 3)) (*.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 3) 3)))))
(-.f64 (sqrt.f64 3) (+.f64 (/.f64 x (sqrt.f64 3)) (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 3) 3))) (.f64 1/2 (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 3) 5))))))

Outputs
(*.f64 (sqrt.f64 3) x)
(-.f64 (*.f64 (sqrt.f64 3) x) (/.f64 (pow.f64 x 2) (sqrt.f64 3)))
(-.f64 (.f64 (sqrt.f64 3) x) (/.f64 (.f64 x x) (sqrt.f64 3)))
(-.f64 (*.f64 (sqrt.f64 3) x) (/.f64 x (/.f64 (sqrt.f64 3) x)))
(-.f64 (.f64 (sqrt.f64 3) x) (.f64 (/.f64 x (sqrt.f64 3)) x))
(*.f64 x (-.f64 (sqrt.f64 3) (/.f64 x (sqrt.f64 3))))
(-.f64 (.f64 (sqrt.f64 3) x) (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 3) 3))) (/.f64 (pow.f64 x 2) (sqrt.f64 3))))
(-.f64 (.f64 (sqrt.f64 3) x) (fma.f64 1/2 (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 3) 3)) (/.f64 (.f64 x x) (sqrt.f64 3))))
(-.f64 (.f64 (sqrt.f64 3) x) (+.f64 (/.f64 x (/.f64 (sqrt.f64 3) x)) (.f64 1/6 (/.f64 (pow.f64 x 3) (sqrt.f64 3)))))
(-.f64 (fma.f64 (sqrt.f64 3) x (.f64 -1/6 (/.f64 (pow.f64 x 3) (sqrt.f64 3)))) (.f64 (/.f64 x (sqrt.f64 3)) x))
(fma.f64 (sqrt.f64 3) x (.f64 (.f64 (/.f64 x (sqrt.f64 3)) x) (-.f64 -1 (/.f64 x 6))))
(-.f64 (.f64 (sqrt.f64 3) x) (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 3) 3))) (+.f64 (/.f64 (pow.f64 x 2) (sqrt.f64 3)) (*.f64 1/2 (/.f64 (pow.f64 x 4) (pow.f64 (sqrt.f64 3) 5))))))
(-.f64 (.f64 (sqrt.f64 3) x) (+.f64 (fma.f64 1/2 (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 3) 3)) (/.f64 (.f64 x x) (sqrt.f64 3))) (*.f64 1/2 (/.f64 (pow.f64 x 4) (pow.f64 (sqrt.f64 3) 5)))))
(-.f64 (-.f64 (.f64 (sqrt.f64 3) x) (.f64 1/6 (/.f64 (pow.f64 x 3) (sqrt.f64 3)))) (fma.f64 1/2 (/.f64 (pow.f64 x 4) (pow.f64 (sqrt.f64 3) 5)) (/.f64 x (/.f64 (sqrt.f64 3) x))))
(-.f64 (.f64 (sqrt.f64 3) x) (fma.f64 1/2 (/.f64 (pow.f64 x 4) (pow.f64 (sqrt.f64 3) 5)) (fma.f64 1/6 (/.f64 (pow.f64 x 3) (sqrt.f64 3)) (.f64 (/.f64 x (sqrt.f64 3)) x))))
(fma.f64 (sqrt.f64 3) x (fma.f64 (/.f64 (pow.f64 x 4) (pow.f64 (sqrt.f64 3) 5)) -1/2 (.f64 (.f64 (/.f64 x (sqrt.f64 3)) x) (-.f64 -1 (/.f64 x 6)))))
(*.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2))
(.f64 (.f64 x x) (pow.f64 (sqrt.f64 3) 2))
(.f64 x (.f64 x 3))
(-.f64 (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 (.f64 x x) (pow.f64 (sqrt.f64 3) 2)) (*.f64 -2 (pow.f64 x 3)))
(fma.f64 (.f64 x x) 3 (.f64 (pow.f64 x 3) -2))
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(-.f64 (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 (.f64 x x) (pow.f64 (sqrt.f64 3) 2)) (*.f64 -2 (pow.f64 x 3)))
(fma.f64 (.f64 x x) 3 (.f64 (pow.f64 x 3) -2))
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(-.f64 (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 (.f64 x x) (pow.f64 (sqrt.f64 3) 2)) (*.f64 -2 (pow.f64 x 3)))
(fma.f64 (.f64 x x) 3 (.f64 (pow.f64 x 3) -2))
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(sqrt.f64 3)
(-.f64 (sqrt.f64 3) (/.f64 x (sqrt.f64 3)))
(-.f64 (sqrt.f64 3) (+.f64 (/.f64 x (sqrt.f64 3)) (*.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 3) 3)))))
(-.f64 (-.f64 (sqrt.f64 3) (/.f64 x (sqrt.f64 3))) (.f64 1/2 (/.f64 (.f64 x x) (pow.f64 (sqrt.f64 3) 3))))
(-.f64 (-.f64 (sqrt.f64 3) (/.f64 x (sqrt.f64 3))) (*.f64 1/6 (/.f64 x (/.f64 (sqrt.f64 3) x))))
(-.f64 (sqrt.f64 3) (fma.f64 1/6 (*.f64 (/.f64 x (sqrt.f64 3)) x) (/.f64 x (sqrt.f64 3))))
(+.f64 (sqrt.f64 3) (*.f64 (/.f64 x (sqrt.f64 3)) (-.f64 -1 (/.f64 x 6))))
(-.f64 (sqrt.f64 3) (+.f64 (/.f64 x (sqrt.f64 3)) (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 3) 3))) (.f64 1/2 (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 3) 5))))))
(-.f64 (sqrt.f64 3) (+.f64 (/.f64 x (sqrt.f64 3)) (.f64 1/2 (+.f64 (/.f64 (.f64 x x) (pow.f64 (sqrt.f64 3) 3)) (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 3) 5))))))
(-.f64 (sqrt.f64 3) (fma.f64 1/2 (+.f64 (*.f64 (/.f64 x (sqrt.f64 3)) (/.f64 x 3)) (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 3) 5))) (/.f64 x (sqrt.f64 3))))
(-.f64 (sqrt.f64 3) (fma.f64 1/2 (fma.f64 (/.f64 x (sqrt.f64 3)) (/.f64 x 3) (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 3) 5))) (/.f64 x (sqrt.f64 3))))
(+.f64 (sqrt.f64 3) (fma.f64 (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 3) 5)) -1/2 (*.f64 (/.f64 x (sqrt.f64 3)) (-.f64 -1 (/.f64 x 6)))))

prune57.0ms (4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	81	0	81
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	81	5	86

Error

Counts

86 → 5

Alt Table

Status	Error	Program
✓	0.2b	(.f64 x (.f64 x (fma.f64 x -2 3)))
	13.7b	(.f64 x (cbrt.f64 (pow.f64 (.f64 x (fma.f64 x -2 3)) 3)))
✓	0.1b	(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
	23.8b	(cbrt.f64 (pow.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)) 3))
✓	8.8b	(pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 2)

Compiler

Compiled 1190 to 932 computations (21.7% saved)

regimes27.0ms (1.9%)

Accuracy

Total 0.1b remaining (87%)

Threshold costs 0.1b (87%)

Counts

26 → 1

Compiler

Compiled 248 to 169 computations (31.9% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	12	16

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (.f64 (pow.f64 x 3) -2) (.f64 3 (*.f64 x x)))

Outputs
(+.f64 (.f64 (pow.f64 x 3) -2) (.f64 3 (*.f64 x x)))

end68.0ms (4.8%)

Stop Event

1×

fuel

Compiler

Compiled 78 to 58 computations (25.6% saved)

Details

analyze4.0ms (0.2%)

sample691.0ms (48.4%)

preprocess45.0ms (3.1%)

simplify43.0ms (3%)

prune3.0ms (0.2%)

localize5.0ms (0.4%)

series4.0ms (0.3%)

rewrite37.0ms (2.6%)

simplify33.0ms (2.3%)

prune31.0ms (2.2%)

localize6.0ms (0.4%)

series6.0ms (0.4%)

rewrite48.0ms (3.4%)

simplify61.0ms (4.3%)

prune63.0ms (4.4%)

localize6.0ms (0.4%)

series2.0ms (0.1%)

rewrite37.0ms (2.6%)

simplify31.0ms (2.1%)

prune28.0ms (2%)

localize6.0ms (0.4%)

series13.0ms (0.9%)

rewrite43.0ms (3%)

simplify27.0ms (1.9%)

prune57.0ms (4%)

regimes27.0ms (1.9%)

simplify2.0ms (0.1%)

end68.0ms (4.8%)

Profiling