Details

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

sample662.0ms (42.3%)

Results

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

Compiler

Compiled 22 to 16 computations (27.3% saved)

preprocess51.0ms (3.2%)

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)

simplify37.0ms (2.4%)

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

prune8.0ms (0.5%)

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)

localize4.0ms (0.3%)

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.2%)

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	@	0	(*.f64 x (fma.f64 x -2 3))
0.0ms	x	@	-inf	(*.f64 x (fma.f64 x -2 3))

rewrite39.0ms (2.5%)

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 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 exp.f64 (log.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 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))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.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 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 exp.f64 (log.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 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))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (fma.f64 x -2 3))))))))

simplify35.0ms (2.2%)

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

prune50.0ms (3.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	37	6	43
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	39	6	45

Error

0.0b

Counts

45 → 6

Alt Table

Status	Error	Program
	26.8b	(cbrt.f64 (pow.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)) 3))
	9.8b	(pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 2)
	0.8b	(pow.f64 (cbrt.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))) 3)
	0.2b	(.f64 x (-.f64 (.f64 3 x) (*.f64 2 (pow.f64 x 2))))
▶	0.1b	(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
	42.1b	(.f64 x (pow.f64 (sqrt.f64 (.f64 x (fma.f64 x -2 3))) 2))

Compiler

Compiled 576 to 405 computations (29.7% 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))

series5.0ms (0.3%)

Counts

3 → 3

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(*.f64 2 (pow.f64 x 3))
1.0ms	x	@	inf	(-.f64 (.f64 3 (pow.f64 x 2)) (.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)))

rewrite56.0ms (3.6%)

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

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

simplify62.0ms (4%)

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

prune80.0ms (5.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	77	2	79
Fresh	2	3	5
Picked	0	1	1
Done	0	0	0
Total	79	6	85

Error

0.0b

Counts

85 → 6

Alt Table

Status	Error	Program
▶	0.2b	(.f64 x (-.f64 (.f64 3 x) (*.f64 2 (pow.f64 x 2))))
	9.8b	(pow.f64 (sqrt.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))) 2)
	9.8b	(pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 2)
	15.8b	(-.f64 (sqrt.f64 (.f64 (pow.f64 x 4) 9)) (.f64 2 (pow.f64 x 3)))
✓	0.1b	(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
	42.1b	(.f64 x (pow.f64 (sqrt.f64 (.f64 x (fma.f64 x -2 3))) 2))

Compiler

Compiled 1654 to 1246 computations (24.7% saved)

localize6.0ms (0.4%)

Local error

Found 2 expressions with local error:

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

series2.0ms (0.1%)

Counts

2 → 15

Calls

6 calls:

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

rewrite48.0ms (3%)

Algorithm

1×	batch-egg-rewrite

Rules

917×	`log1p-expm1-u_binary64`
917×	`expm1-log1p-u_binary64`
100×	`add-sqr-sqrt_binary64`
96×	`pow1_binary64`
95×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	29
1	207	25
2	2591	25

Stop Event

1×	node limit

Counts

2 → 73

Calls

Call 1

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

Outputs

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

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

simplify31.0ms (2%)

Algorithm

1×	egg-herbie

Rules

876×	`fma-def_binary64`
509×	`distribute-rgt-neg-in_binary64`
381×	`fma-neg_binary64`
326×	`cancel-sign-sub-inv_binary64`
243×	`unswap-sqr_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	13	183
1	35	165
2	85	156
3	279	138
4	898	138
5	1984	138
6	3421	138

Stop Event

1×	node limit

Counts

88 → 82

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 -2 (pow.f64 x 2))
(*.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 (.f64 x 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 (.f64 x 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 (.f64 x 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 (.f64 x 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 (.f64 x 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 (.f64 x 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 (.f64 x 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 (.f64 x 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 (.f64 x 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 -2 (pow.f64 x 2))
(.f64 (.f64 x x) -2)
(.f64 x (.f64 x -2))
(*.f64 -2 (pow.f64 x 2))
(.f64 (.f64 x x) -2)
(.f64 x (.f64 x -2))

prune62.0ms (4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	82	0	82
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	82	6	88

Error

0.0b

Counts

88 → 6

Alt Table

Status	Error	Program
✓	0.2b	(.f64 x (-.f64 (.f64 3 x) (*.f64 2 (pow.f64 x 2))))
▶	9.8b	(pow.f64 (sqrt.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))) 2)
	9.8b	(pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 2)
	15.8b	(-.f64 (sqrt.f64 (.f64 (pow.f64 x 4) 9)) (.f64 2 (pow.f64 x 3)))
✓	0.1b	(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
	42.1b	(.f64 x (pow.f64 (sqrt.f64 (.f64 x (fma.f64 x -2 3))) 2))

Compiler

Compiled 1705 to 1063 computations (37.7% saved)

localize10.0ms (0.7%)

Local error

Found 4 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))
✓	0.2b	(pow.f64 (sqrt.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))) 2)
✓	23.0b	(sqrt.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2)))

series11.0ms (0.7%)

Counts

4 → 32

Calls

12 calls:

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

rewrite56.0ms (3.6%)

Algorithm

1×	batch-egg-rewrite

Rules

792×	`pow1_binary64`
738×	`log1p-expm1-u_binary64`
738×	`expm1-log1p-u_binary64`
96×	`add-sqr-sqrt_binary64`
91×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	51
1	232	51
2	2187	51

Stop Event

1×	node limit

Counts

4 → 88

Calls

Call 1

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

simplify28.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

870×	`times-frac_binary64`
581×	`associate-/l*_binary64`
376×	`cancel-sign-sub-inv_binary64`
366×	`fma-def_binary64`
253×	`fma-neg_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	33	478
1	96	380
2	289	364
3	1232	327

Stop Event

1×	node limit

Counts

120 → 80

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)))
(*.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 (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 (.f64 (sqrt.f64 3) x) (/.f64 x (/.f64 (sqrt.f64 3) x))) (.f64 1/6 (/.f64 (pow.f64 x 3) (sqrt.f64 3))))
(-.f64 (.f64 (sqrt.f64 3) x) (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 (*.f64 (/.f64 x (/.f64 (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 (*.f64 1/2 (pow.f64 x 4)) (pow.f64 (sqrt.f64 3) 5))))
(-.f64 (-.f64 (.f64 (sqrt.f64 3) x) (fma.f64 1/2 (/.f64 (pow.f64 x 4) (pow.f64 (sqrt.f64 3) 5)) (/.f64 x (/.f64 (sqrt.f64 3) x)))) (.f64 1/6 (/.f64 (pow.f64 x 3) (sqrt.f64 3))))
(-.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 x (/.f64 (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 3 (.f64 x x))
(.f64 x (.f64 3 x))
(-.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 (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 (.f64 x 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 (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 (.f64 x 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 (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 (.f64 x x) (fma.f64 x -2 3))
(*.f64 3 (pow.f64 x 2))
(.f64 (.f64 x x) (pow.f64 (sqrt.f64 3) 2))
(.f64 3 (.f64 x x))
(.f64 x (.f64 3 x))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 (.f64 x x) (pow.f64 (sqrt.f64 3) 2)) (*.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 (.f64 x x) (fma.f64 x -2 3))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 (.f64 x x) (pow.f64 (sqrt.f64 3) 2)) (*.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 (.f64 x x) (fma.f64 x -2 3))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 (.f64 x x) (pow.f64 (sqrt.f64 3) 2)) (*.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 (.f64 x 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 (.f64 x x) (pow.f64 (sqrt.f64 3) 2)) (*.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 (.f64 x x) (fma.f64 x -2 3))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 (.f64 x x) (pow.f64 (sqrt.f64 3) 2)) (*.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 (.f64 x x) (fma.f64 x -2 3))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 (.f64 x x) (pow.f64 (sqrt.f64 3) 2)) (*.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 (.f64 x 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 (.f64 x x) (pow.f64 (sqrt.f64 3) 2)) (*.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 (.f64 x x) (fma.f64 x -2 3))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 (.f64 x x) (pow.f64 (sqrt.f64 3) 2)) (*.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 (.f64 x x) (fma.f64 x -2 3))
(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
(+.f64 (.f64 (.f64 x x) (pow.f64 (sqrt.f64 3) 2)) (*.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 (.f64 x 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)

prune76.0ms (4.9%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	80	6	86

Error

0.0b

Counts

86 → 6

Alt Table

Status	Error	Program
✓	0.2b	(.f64 x (-.f64 (.f64 3 x) (*.f64 2 (pow.f64 x 2))))
✓	9.8b	(pow.f64 (sqrt.f64 (fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))) 2)
	9.8b	(pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 2)
	15.8b	(-.f64 (sqrt.f64 (.f64 (pow.f64 x 4) 9)) (.f64 2 (pow.f64 x 3)))
✓	0.1b	(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
	42.1b	(.f64 x (pow.f64 (sqrt.f64 (.f64 x (fma.f64 x -2 3))) 2))

Compiler

Compiled 1463 to 1072 computations (26.7% saved)

regimes41.0ms (2.6%)

Accuracy

Total 0.1b remaining (87.8%)

Threshold costs 0.1b (87.8%)

Counts

33 → 1

Compiler

Compiled 317 to 218 computations (31.2% saved)

simplify2.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
3×	`+-commutative_binary64`
3×	`sub-neg_binary64`
2×	`distribute-lft-neg-in_binary64`
2×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	17	16
2	27	16
3	31	16
4	34	16
5	35	16

Stop Event

1×

saturated

Calls

Call 1

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

Outputs
(-.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 (pow.f64 x 3) -2))

end91.0ms (5.8%)

Stop Event

1×

fuel

Compiler

Compiled 97 to 78 computations (19.6% saved)

Details

analyze3.0ms (0.2%)

sample662.0ms (42.3%)

preprocess51.0ms (3.2%)

simplify37.0ms (2.4%)

prune8.0ms (0.5%)

localize4.0ms (0.3%)

series4.0ms (0.2%)

rewrite39.0ms (2.5%)

simplify35.0ms (2.2%)

prune50.0ms (3.2%)

localize6.0ms (0.4%)

series5.0ms (0.3%)

rewrite56.0ms (3.6%)

simplify62.0ms (4%)

prune80.0ms (5.1%)

localize6.0ms (0.4%)

series2.0ms (0.1%)

rewrite48.0ms (3%)

simplify31.0ms (2%)

prune62.0ms (4%)

localize10.0ms (0.7%)

series11.0ms (0.7%)

rewrite56.0ms (3.6%)

simplify28.0ms (1.8%)

prune76.0ms (4.9%)

regimes41.0ms (2.6%)

simplify2.0ms (0.2%)

end91.0ms (5.8%)

Profiling