Details

analyze3.0ms (0.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
50%	50%	50%	0%	0%	0%	0%	3
75%	75%	25%	0%	0%	0%	0%	4
85.7%	75%	12.5%	0%	12.5%	0%	0%	5
92.3%	75%	6.2%	0%	18.7%	0%	0%	6
96%	75%	3.1%	0%	21.9%	0%	0%	7
98%	75%	1.6%	0%	23.4%	0%	0%	8
99%	75%	0.8%	0%	24.2%	0%	0%	9
99.5%	75%	0.4%	0%	24.6%	0%	0%	10
99.7%	75%	0.2%	0%	24.8%	0%	0%	11
99.9%	75%	0.1%	0%	24.9%	0%	0%	12

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample1.6s (24.9%)

Results

1.6s	8256×	body	256	valid
0.0ms	3×	body	256	infinite

Bogosity

preprocess18.0ms (0.3%)

Algorithm

2×	egg-herbie

Rules

3×	`fma-neg_binary64`
2×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`*-commutative_binary64`
1×	`associate-/l*_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	8
1	15	8
2	21	8
3	24	8
4	26	8
5	27	8
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(/.f64 (-.f64 (*.f64 x x) 3) 6)

Outputs
(/.f64 (-.f64 (*.f64 x x) 3) 6)
(/.f64 (fma.f64 x x -3) 6)

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`fma-neg_binary64`
2×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`*-commutative_binary64`
1×	`associate-/l*_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	8
1	15	8
2	21	8
3	24	8
4	26	8
5	27	8

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(/.f64 (-.f64 (*.f64 x x) 3) 6)

Outputs
(/.f64 (-.f64 (*.f64 x x) 3) 6)
(/.f64 (fma.f64 x x -3) 6)

eval1.0ms (0%)

Compiler: Compiled 14 to 10 computations (28.6% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.3b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.3b	(/.f64 (-.f64 (*.f64 x x) 3) 6)

Compiler

Compiled 8 to 6 computations (25% saved)

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 (-.f64 (*.f64 x x) 3) 6)

Compiler

Compiled 19 to 10 computations (47.4% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite50.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

796×	`pow1_binary64`
756×	`add-log-exp_binary64`
756×	`log1p-expm1-u_binary64`
756×	`expm1-log1p-u_binary64`
744×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	8
1	166	8
2	2033	8

Stop Event

1×	node limit

Counts

1 → 25

Calls

Call 1

Inputs
(/.f64 (-.f64 (*.f64 x x) 3) 6)

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

Outputs

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

simplify167.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
560×	`cube-prod_binary64`
552×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
449×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	87
1	18	87
2	30	87
3	54	87
4	117	87
5	352	87
6	1293	87
7	2189	87
8	2353	87
9	2537	87
10	2745	87
11	3042	87
12	3435	87
13	3918	87
14	4486	87
15	5174	87
16	6009	87
17	6403	87
18	6691	87
19	6965	87
20	7037	87
21	7071	87

Stop Event

1×	node limit

Counts

37 → 30

Calls

Call 1

Inputs
-1/2
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(*.f64 1/6 (pow.f64 x 2))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(*.f64 1/6 (pow.f64 x 2))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)

Outputs
-1/2
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)

eval9.0ms (0.1%)

Compiler: Compiled 262 to 196 computations (25.2% saved)

prune13.0ms (0.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	24	6	30
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	24	7	31

Error

Counts

31 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	43.5b	(pow.f64 (sqrt.f64 (*.f64 (fma.f64 x x -3) 1/6)) 2)
▶	42.4b	(.f64 1/6 (.f64 x x))
▶	0.4b	(pow.f64 (/.f64 6 (fma.f64 x x -3)) -1)
✓	0.3b	(/.f64 (-.f64 (*.f64 x x) 3) 6)
▶	0.1b	(fma.f64 x (*.f64 1/6 x) -1/2)
	21.2b	-1/2
▶	0.1b	(-.f64 (/.f64 x (/.f64 6 x)) 1/2)

Compiler

Compiled 90 to 68 computations (24.4% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (/.f64 x (/.f64 6 x)) 1/2)
✓	0.2b	(/.f64 x (/.f64 6 x))

Compiler

Compiled 19 to 13 computations (31.6% saved)

series2.0ms (0%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(/.f64 x (/.f64 6 x))
1.0ms	x	@	inf	(/.f64 x (/.f64 6 x))
0.0ms	x	@	inf	(-.f64 (/.f64 x (/.f64 6 x)) 1/2)
0.0ms	x	@	0	(-.f64 (/.f64 x (/.f64 6 x)) 1/2)
0.0ms	x	@	-inf	(/.f64 x (/.f64 6 x))

rewrite65.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

887×	`pow1_binary64`
839×	`add-log-exp_binary64`
839×	`log1p-expm1-u_binary64`
839×	`expm1-log1p-u_binary64`
825×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	167	15
2	2248	15

Stop Event

1×	node limit

Counts

2 → 70

Calls

Call 1

Inputs
(/.f64 x (/.f64 6 x))
(-.f64 (/.f64 x (/.f64 6 x)) 1/2)

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

Outputs

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

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

simplify164.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
560×	`fabs-mul_binary64`
560×	`cube-prod_binary64`
523×	`pow-sqr_binary64`
447×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	171
1	18	171
2	30	171
3	54	171
4	117	171
5	351	171
6	1264	171
7	2167	171
8	2331	171
9	2515	171
10	2723	171
11	3023	171
12	3418	171
13	3897	171
14	4465	171
15	5157	171
16	5992	171
17	6386	171
18	6674	171
19	6950	171
20	7026	171
21	7062	171

Stop Event

1×	node limit

Counts

94 → 75

Calls

Call 1

Inputs
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
-1/2
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(*.f64 1/6 (pow.f64 x 2))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(*.f64 1/6 (pow.f64 x 2))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)

Outputs
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
-1/2
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)

localize27.0ms (0.4%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.5b	(.f64 1/6 (.f64 x x))

Compiler

Compiled 11 to 5 computations (54.5% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(.f64 1/6 (.f64 x x))
0.0ms	x	@	inf	(.f64 1/6 (.f64 x x))
0.0ms	x	@	-inf	(.f64 1/6 (.f64 x x))

rewrite40.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

432×	`pow1_binary64`
421×	`add-sqr-sqrt_binary64`
411×	`*-un-lft-identity_binary64`
402×	`add-log-exp_binary64`
402×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	102	7
2	1148	7

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

Inputs
(.f64 1/6 (.f64 x x))

Outputs

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

simplify171.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
554×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
441×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	84
1	12	84
2	23	84
3	44	84
4	105	84
5	331	84
6	1250	84
7	2123	84
8	2287	84
9	2471	84
10	2679	84
11	2976	84
12	3371	84
13	3852	84
14	4418	84
15	5102	84
16	5935	84
17	6327	84
18	6619	84
19	6895	84
20	6969	84
21	7003	84
22	7944	84

Stop Event

1×	node limit

Counts

26 → 16

Calls

Call 1

Inputs
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))

Outputs
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))

localize12.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 x (*.f64 1/6 x) -1/2)
✓	0.4b	(*.f64 1/6 x)

Compiler

Compiled 13 to 9 computations (30.8% saved)

series5.0ms (0.1%)

Counts

2 → 12

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(*.f64 1/6 x)
1.0ms	x	@	-inf	(fma.f64 x (*.f64 1/6 x) -1/2)
1.0ms	x	@	inf	(fma.f64 x (*.f64 1/6 x) -1/2)
1.0ms	x	@	-inf	(*.f64 1/6 x)
1.0ms	x	@	0	(fma.f64 x (*.f64 1/6 x) -1/2)

rewrite63.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

534×	`pow1_binary64`
522×	`add-sqr-sqrt_binary64`
497×	`add-log-exp_binary64`
497×	`log1p-expm1-u_binary64`
497×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	12
1	122	12
2	1327	12

Stop Event

1×	node limit

Counts

2 → 32

Calls

Call 1

Inputs
(*.f64 1/6 x)
(fma.f64 x (*.f64 1/6 x) -1/2)

Outputs

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

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

simplify320.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
560×	`cube-prod_binary64`
552×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
449×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	87
1	18	87
2	30	87
3	54	87
4	117	87
5	352	87
6	1293	87
7	2189	87
8	2353	87
9	2537	87
10	2745	87
11	3042	87
12	3435	87
13	3918	87
14	4486	87
15	5174	87
16	6009	87
17	6403	87
18	6691	87
19	6965	87
20	7037	87
21	7071	87

Stop Event

1×	node limit

Counts

44 → 37

Calls

Call 1

Inputs
-1/2
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(*.f64 1/6 (pow.f64 x 2))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(*.f64 1/6 (pow.f64 x 2))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)

Outputs
-1/2
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)

localize37.0ms (0.6%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(pow.f64 (/.f64 6 (fma.f64 x x -3)) -1)
✓	0.3b	(/.f64 6 (fma.f64 x x -3))

Compiler

Compiled 23 to 16 computations (30.4% saved)

series7.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	x	@	inf	(/.f64 6 (fma.f64 x x -3))
1.0ms	x	@	0	(pow.f64 (/.f64 6 (fma.f64 x x -3)) -1)
1.0ms	x	@	inf	(pow.f64 (/.f64 6 (fma.f64 x x -3)) -1)
1.0ms	x	@	0	(/.f64 6 (fma.f64 x x -3))
1.0ms	x	@	-inf	(pow.f64 (/.f64 6 (fma.f64 x x -3)) -1)

rewrite174.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

728×	`pow1_binary64`
686×	`add-log-exp_binary64`
686×	`log1p-expm1-u_binary64`
686×	`expm1-log1p-u_binary64`
673×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	170	16
2	1908	16

Stop Event

1×	node limit

Counts

2 → 48

Calls

Call 1

Inputs
(/.f64 6 (fma.f64 x x -3))
(pow.f64 (/.f64 6 (fma.f64 x x -3)) -1)

Outputs

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

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

simplify54.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

916×	`fma-def_binary64`
534×	`fma-neg_binary64`
476×	`times-frac_binary64`
453×	`cancel-sign-sub-inv_binary64`
413×	`unswap-sqr_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	46	301
1	108	299
2	236	297
3	613	297
4	2362	297
5	6979	297

Stop Event

1×	node limit

Counts

72 → 68

Calls

Call 1

Inputs
-2
(-.f64 (*.f64 -2/3 (pow.f64 x 2)) 2)
(-.f64 (+.f64 (.f64 -2/9 (pow.f64 x 4)) (.f64 -2/3 (pow.f64 x 2))) 2)
(-.f64 (+.f64 (.f64 -2/9 (pow.f64 x 4)) (+.f64 (.f64 -2/3 (pow.f64 x 2)) (*.f64 -2/27 (pow.f64 x 6)))) 2)
(/.f64 6 (pow.f64 x 2))
(+.f64 (.f64 18 (/.f64 1 (pow.f64 x 4))) (.f64 6 (/.f64 1 (pow.f64 x 2))))
(+.f64 (.f64 54 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 18 (/.f64 1 (pow.f64 x 4))) (*.f64 6 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (.f64 54 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 18 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 162 (/.f64 1 (pow.f64 x 8))) (.f64 6 (/.f64 1 (pow.f64 x 2))))))
(/.f64 6 (pow.f64 x 2))
(+.f64 (.f64 18 (/.f64 1 (pow.f64 x 4))) (.f64 6 (/.f64 1 (pow.f64 x 2))))
(+.f64 (.f64 54 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 18 (/.f64 1 (pow.f64 x 4))) (*.f64 6 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (.f64 54 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 18 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 162 (/.f64 1 (pow.f64 x 8))) (.f64 6 (/.f64 1 (pow.f64 x 2))))))
-1/2
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(*.f64 1/6 (pow.f64 x 2))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(*.f64 1/6 (pow.f64 x 2))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)

Outputs
-2
(-.f64 (*.f64 -2/3 (pow.f64 x 2)) 2)
(fma.f64 -2/3 (*.f64 x x) -2)
(-.f64 (+.f64 (.f64 -2/9 (pow.f64 x 4)) (.f64 -2/3 (pow.f64 x 2))) 2)
(+.f64 (.f64 -2/9 (pow.f64 x 4)) (fma.f64 -2/3 (.f64 x x) -2))
(fma.f64 -2/9 (pow.f64 x 4) (fma.f64 -2/3 (*.f64 x x) -2))
(fma.f64 -2/3 (*.f64 x x) (fma.f64 -2/9 (pow.f64 x 4) -2))
(-.f64 (+.f64 (.f64 -2/9 (pow.f64 x 4)) (+.f64 (.f64 -2/3 (pow.f64 x 2)) (*.f64 -2/27 (pow.f64 x 6)))) 2)
(+.f64 (fma.f64 -2/9 (pow.f64 x 4) (fma.f64 -2/3 (.f64 x x) (.f64 -2/27 (pow.f64 x 6)))) -2)
(fma.f64 -2/9 (pow.f64 x 4) (fma.f64 -2/27 (pow.f64 x 6) (fma.f64 -2/3 (*.f64 x x) -2)))
(fma.f64 -2/3 (*.f64 x x) (fma.f64 -2/9 (pow.f64 x 4) (fma.f64 -2/27 (pow.f64 x 6) -2)))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(+.f64 (.f64 18 (/.f64 1 (pow.f64 x 4))) (.f64 6 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 18 (pow.f64 x 4)) (/.f64 6 (*.f64 x x)))
(+.f64 (.f64 54 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 18 (/.f64 1 (pow.f64 x 4))) (*.f64 6 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (+.f64 (/.f64 18 (pow.f64 x 4)) (/.f64 6 (*.f64 x x))) (/.f64 54 (pow.f64 x 6)))
(+.f64 (/.f64 18 (pow.f64 x 4)) (+.f64 (/.f64 6 (*.f64 x x)) (/.f64 54 (pow.f64 x 6))))
(+.f64 (.f64 54 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 18 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 162 (/.f64 1 (pow.f64 x 8))) (.f64 6 (/.f64 1 (pow.f64 x 2))))))
(+.f64 (/.f64 54 (pow.f64 x 6)) (+.f64 (/.f64 18 (pow.f64 x 4)) (+.f64 (/.f64 6 (*.f64 x x)) (/.f64 162 (pow.f64 x 8)))))
(+.f64 (/.f64 6 (*.f64 x x)) (+.f64 (/.f64 54 (pow.f64 x 6)) (+.f64 (/.f64 18 (pow.f64 x 4)) (/.f64 162 (pow.f64 x 8)))))
(+.f64 (/.f64 18 (pow.f64 x 4)) (+.f64 (/.f64 6 (*.f64 x x)) (+.f64 (/.f64 54 (pow.f64 x 6)) (/.f64 162 (pow.f64 x 8)))))
(+.f64 (/.f64 18 (pow.f64 x 4)) (+.f64 (/.f64 54 (pow.f64 x 6)) (+.f64 (/.f64 6 (*.f64 x x)) (/.f64 162 (pow.f64 x 8)))))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(+.f64 (.f64 18 (/.f64 1 (pow.f64 x 4))) (.f64 6 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 18 (pow.f64 x 4)) (/.f64 6 (*.f64 x x)))
(+.f64 (.f64 54 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 18 (/.f64 1 (pow.f64 x 4))) (*.f64 6 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (+.f64 (/.f64 18 (pow.f64 x 4)) (/.f64 6 (*.f64 x x))) (/.f64 54 (pow.f64 x 6)))
(+.f64 (/.f64 18 (pow.f64 x 4)) (+.f64 (/.f64 6 (*.f64 x x)) (/.f64 54 (pow.f64 x 6))))
(+.f64 (.f64 54 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 18 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 162 (/.f64 1 (pow.f64 x 8))) (.f64 6 (/.f64 1 (pow.f64 x 2))))))
(+.f64 (/.f64 54 (pow.f64 x 6)) (+.f64 (/.f64 18 (pow.f64 x 4)) (+.f64 (/.f64 6 (*.f64 x x)) (/.f64 162 (pow.f64 x 8)))))
(+.f64 (/.f64 6 (*.f64 x x)) (+.f64 (/.f64 54 (pow.f64 x 6)) (+.f64 (/.f64 18 (pow.f64 x 4)) (/.f64 162 (pow.f64 x 8)))))
(+.f64 (/.f64 18 (pow.f64 x 4)) (+.f64 (/.f64 6 (*.f64 x x)) (+.f64 (/.f64 54 (pow.f64 x 6)) (/.f64 162 (pow.f64 x 8)))))
(+.f64 (/.f64 18 (pow.f64 x 4)) (+.f64 (/.f64 54 (pow.f64 x 6)) (+.f64 (/.f64 6 (*.f64 x x)) (/.f64 162 (pow.f64 x 8)))))
-1/2
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(fma.f64 x (*.f64 x 1/6) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(fma.f64 x (*.f64 x 1/6) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(fma.f64 x (*.f64 x 1/6) -1/2)
(*.f64 1/6 (pow.f64 x 2))
(.f64 (.f64 x x) 1/6)
(.f64 x (.f64 x 1/6))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(fma.f64 x (*.f64 x 1/6) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(fma.f64 x (*.f64 x 1/6) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(fma.f64 x (*.f64 x 1/6) -1/2)
(*.f64 1/6 (pow.f64 x 2))
(.f64 (.f64 x x) 1/6)
(.f64 x (.f64 x 1/6))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(fma.f64 x (*.f64 x 1/6) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(fma.f64 x (*.f64 x 1/6) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(fma.f64 x (*.f64 x 1/6) -1/2)

localize47.0ms (0.7%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 31 to 22 computations (29% saved)

series7.0ms (0.1%)

Counts

3 → 36

Calls

9 calls:

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

rewrite187.0ms (2.8%)

Algorithm

1×	batch-egg-rewrite

Rules

672×	`pow1_binary64`
630×	`add-log-exp_binary64`
630×	`log1p-expm1-u_binary64`
630×	`expm1-log1p-u_binary64`
618×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	187	26
2	1747	26

Stop Event

1×	node limit

Counts

3 → 63

Calls

Call 1

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

Outputs

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

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

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

simplify50.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

747×	`associate-*l/_binary64`
518×	`associate-*r/_binary64`
439×	`associate-/r/_binary64`
410×	`fma-def_binary64`
402×	`associate-/l/_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	104	499
1	294	497
2	945	483
3	3714	449

Stop Event

1×	node limit

Counts

99 → 89

Calls

Call 1

Inputs
-1/2
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(*.f64 1/6 (pow.f64 x 2))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(*.f64 1/6 (pow.f64 x 2))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(*.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2))
(+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2)) (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)))
(+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2)) (+.f64 (.f64 (+.f64 (.f64 -1/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2))) (.f64 1/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2)))) (pow.f64 x 4)) (*.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))))
(+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2)) (+.f64 (.f64 (+.f64 (.f64 -1/8 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 4))) (.f64 1/8 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 4)))) (pow.f64 x 6)) (+.f64 (.f64 (+.f64 (.f64 -1/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2))) (.f64 1/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2)))) (pow.f64 x 4)) (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)))))
(*.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))
(+.f64 (.f64 -3 (pow.f64 (sqrt.f64 1/6) 2)) (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)))
(+.f64 (.f64 -9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))) (+.f64 (.f64 -3 (pow.f64 (sqrt.f64 1/6) 2)) (+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)) (.f64 9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))))))
(+.f64 (.f64 -27/8 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 4))) (+.f64 (.f64 27/8 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 4))) (+.f64 (.f64 -9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))) (+.f64 (.f64 -3 (pow.f64 (sqrt.f64 1/6) 2)) (+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)) (.f64 9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))))))))
(*.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))
(+.f64 (.f64 -3 (pow.f64 (sqrt.f64 1/6) 2)) (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)))
(+.f64 (.f64 -9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))) (+.f64 (.f64 -3 (pow.f64 (sqrt.f64 1/6) 2)) (+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)) (.f64 9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))))))
(+.f64 (.f64 -27/8 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 4))) (+.f64 (.f64 27/8 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 4))) (+.f64 (.f64 -9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))) (+.f64 (.f64 -3 (pow.f64 (sqrt.f64 1/6) 2)) (+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)) (.f64 9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))))))))
(*.f64 (sqrt.f64 1/6) (sqrt.f64 -3))
(+.f64 (.f64 1/2 (/.f64 (.f64 (sqrt.f64 1/6) (pow.f64 x 2)) (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/6) (sqrt.f64 -3)))
(+.f64 (.f64 -1/8 (/.f64 (.f64 (sqrt.f64 1/6) (pow.f64 x 4)) (pow.f64 (sqrt.f64 -3) 3))) (+.f64 (.f64 1/2 (/.f64 (.f64 (sqrt.f64 1/6) (pow.f64 x 2)) (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/6) (sqrt.f64 -3))))
(+.f64 (.f64 1/16 (/.f64 (.f64 (sqrt.f64 1/6) (pow.f64 x 6)) (pow.f64 (sqrt.f64 -3) 5))) (+.f64 (.f64 -1/8 (/.f64 (.f64 (sqrt.f64 1/6) (pow.f64 x 4)) (pow.f64 (sqrt.f64 -3) 3))) (+.f64 (.f64 1/2 (/.f64 (.f64 (sqrt.f64 1/6) (pow.f64 x 2)) (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/6) (sqrt.f64 -3)))))
(*.f64 (sqrt.f64 1/6) x)
(+.f64 (.f64 (sqrt.f64 1/6) x) (.f64 -3/2 (/.f64 (sqrt.f64 1/6) x)))
(+.f64 (.f64 (sqrt.f64 1/6) x) (+.f64 (.f64 -3/2 (/.f64 (sqrt.f64 1/6) x)) (*.f64 -9/8 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3)))))
(+.f64 (.f64 -27/16 (/.f64 (sqrt.f64 1/6) (pow.f64 x 5))) (+.f64 (.f64 (sqrt.f64 1/6) x) (+.f64 (.f64 -3/2 (/.f64 (sqrt.f64 1/6) x)) (.f64 -9/8 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3))))))
(.f64 -1 (.f64 (sqrt.f64 1/6) x))
(+.f64 (.f64 3/2 (/.f64 (sqrt.f64 1/6) x)) (.f64 -1 (*.f64 (sqrt.f64 1/6) x)))
(+.f64 (.f64 9/8 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3))) (+.f64 (.f64 3/2 (/.f64 (sqrt.f64 1/6) x)) (.f64 -1 (.f64 (sqrt.f64 1/6) x))))
(+.f64 (.f64 9/8 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3))) (+.f64 (.f64 3/2 (/.f64 (sqrt.f64 1/6) x)) (+.f64 (.f64 27/16 (/.f64 (sqrt.f64 1/6) (pow.f64 x 5))) (.f64 -1 (*.f64 (sqrt.f64 1/6) x)))))

Outputs
-1/2
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(*.f64 1/6 (fma.f64 x x -3))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(*.f64 1/6 (fma.f64 x x -3))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(*.f64 1/6 (fma.f64 x x -3))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 x 1/6))
(.f64 (.f64 x x) 1/6)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(*.f64 1/6 (fma.f64 x x -3))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(*.f64 1/6 (fma.f64 x x -3))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(*.f64 1/6 (fma.f64 x x -3))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 x 1/6))
(.f64 (.f64 x x) 1/6)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(*.f64 1/6 (fma.f64 x x -3))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(*.f64 1/6 (fma.f64 x x -3))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(*.f64 1/6 (fma.f64 x x -3))
(*.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2))
-1/2
(+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2)) (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)))
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(*.f64 1/6 (fma.f64 x x -3))
(+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2)) (+.f64 (.f64 (+.f64 (.f64 -1/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2))) (.f64 1/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2)))) (pow.f64 x 4)) (*.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))))
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(*.f64 1/6 (fma.f64 x x -3))
(+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2)) (+.f64 (.f64 (+.f64 (.f64 -1/8 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 4))) (.f64 1/8 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 4)))) (pow.f64 x 6)) (+.f64 (.f64 (+.f64 (.f64 -1/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2))) (.f64 1/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2)))) (pow.f64 x 4)) (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)))))
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(*.f64 1/6 (fma.f64 x x -3))
(*.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 x 1/6))
(.f64 (.f64 x x) 1/6)
(+.f64 (.f64 -3 (pow.f64 (sqrt.f64 1/6) 2)) (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)))
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(*.f64 1/6 (fma.f64 x x -3))
(+.f64 (.f64 -9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))) (+.f64 (.f64 -3 (pow.f64 (sqrt.f64 1/6) 2)) (+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)) (.f64 9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))))))
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(*.f64 1/6 (fma.f64 x x -3))
(+.f64 (.f64 -27/8 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 4))) (+.f64 (.f64 27/8 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 4))) (+.f64 (.f64 -9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))) (+.f64 (.f64 -3 (pow.f64 (sqrt.f64 1/6) 2)) (+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)) (.f64 9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))))))))
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(*.f64 1/6 (fma.f64 x x -3))
(*.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 x 1/6))
(.f64 (.f64 x x) 1/6)
(+.f64 (.f64 -3 (pow.f64 (sqrt.f64 1/6) 2)) (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)))
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(*.f64 1/6 (fma.f64 x x -3))
(+.f64 (.f64 -9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))) (+.f64 (.f64 -3 (pow.f64 (sqrt.f64 1/6) 2)) (+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)) (.f64 9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))))))
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(*.f64 1/6 (fma.f64 x x -3))
(+.f64 (.f64 -27/8 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 4))) (+.f64 (.f64 27/8 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 4))) (+.f64 (.f64 -9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))) (+.f64 (.f64 -3 (pow.f64 (sqrt.f64 1/6) 2)) (+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)) (.f64 9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))))))))
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 (*.f64 x x) 1/6 -1/2)
(*.f64 1/6 (fma.f64 x x -3))
(*.f64 (sqrt.f64 1/6) (sqrt.f64 -3))
(+.f64 (.f64 1/2 (/.f64 (.f64 (sqrt.f64 1/6) (pow.f64 x 2)) (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/6) (sqrt.f64 -3)))
(fma.f64 1/2 (/.f64 (sqrt.f64 1/6) (/.f64 (sqrt.f64 -3) (.f64 x x))) (.f64 (sqrt.f64 1/6) (sqrt.f64 -3)))
(fma.f64 1/2 (.f64 (/.f64 (sqrt.f64 1/6) (sqrt.f64 -3)) (.f64 x x)) (*.f64 (sqrt.f64 1/6) (sqrt.f64 -3)))
(fma.f64 1/2 (.f64 (.f64 x x) (/.f64 (sqrt.f64 1/6) (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/6) (sqrt.f64 -3)))
(+.f64 (.f64 -1/8 (/.f64 (.f64 (sqrt.f64 1/6) (pow.f64 x 4)) (pow.f64 (sqrt.f64 -3) 3))) (+.f64 (.f64 1/2 (/.f64 (.f64 (sqrt.f64 1/6) (pow.f64 x 2)) (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/6) (sqrt.f64 -3))))
(fma.f64 -1/8 (/.f64 (sqrt.f64 1/6) (/.f64 (pow.f64 (sqrt.f64 -3) 3) (pow.f64 x 4))) (fma.f64 1/2 (/.f64 (sqrt.f64 1/6) (/.f64 (sqrt.f64 -3) (.f64 x x))) (.f64 (sqrt.f64 1/6) (sqrt.f64 -3))))
(+.f64 (fma.f64 1/2 (.f64 (/.f64 (sqrt.f64 1/6) (sqrt.f64 -3)) (.f64 x x)) (.f64 (sqrt.f64 1/6) (sqrt.f64 -3))) (.f64 1/24 (/.f64 (*.f64 (sqrt.f64 1/6) (pow.f64 x 4)) (sqrt.f64 -3))))
(fma.f64 1/2 (.f64 (.f64 x x) (/.f64 (sqrt.f64 1/6) (sqrt.f64 -3))) (fma.f64 (sqrt.f64 1/6) (sqrt.f64 -3) (*.f64 1/24 (/.f64 (sqrt.f64 1/6) (/.f64 (sqrt.f64 -3) (pow.f64 x 4))))))
(fma.f64 (sqrt.f64 1/6) (sqrt.f64 -3) (.f64 (.f64 (.f64 x x) (/.f64 (sqrt.f64 1/6) (sqrt.f64 -3))) (+.f64 1/2 (.f64 1/24 (*.f64 x x)))))
(+.f64 (.f64 1/16 (/.f64 (.f64 (sqrt.f64 1/6) (pow.f64 x 6)) (pow.f64 (sqrt.f64 -3) 5))) (+.f64 (.f64 -1/8 (/.f64 (.f64 (sqrt.f64 1/6) (pow.f64 x 4)) (pow.f64 (sqrt.f64 -3) 3))) (+.f64 (.f64 1/2 (/.f64 (.f64 (sqrt.f64 1/6) (pow.f64 x 2)) (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/6) (sqrt.f64 -3)))))
(fma.f64 1/16 (/.f64 (sqrt.f64 1/6) (/.f64 (pow.f64 (sqrt.f64 -3) 5) (pow.f64 x 6))) (fma.f64 -1/8 (/.f64 (sqrt.f64 1/6) (/.f64 (pow.f64 (sqrt.f64 -3) 3) (pow.f64 x 4))) (fma.f64 1/2 (/.f64 (sqrt.f64 1/6) (/.f64 (sqrt.f64 -3) (.f64 x x))) (.f64 (sqrt.f64 1/6) (sqrt.f64 -3)))))
(fma.f64 1/16 (/.f64 (sqrt.f64 1/6) (/.f64 (pow.f64 (sqrt.f64 -3) 5) (pow.f64 x 6))) (+.f64 (fma.f64 1/2 (.f64 (/.f64 (sqrt.f64 1/6) (sqrt.f64 -3)) (.f64 x x)) (.f64 (sqrt.f64 1/6) (sqrt.f64 -3))) (.f64 1/24 (/.f64 (*.f64 (sqrt.f64 1/6) (pow.f64 x 4)) (sqrt.f64 -3)))))
(fma.f64 1/16 (.f64 (pow.f64 x 6) (/.f64 (sqrt.f64 1/6) (pow.f64 (sqrt.f64 -3) 5))) (fma.f64 1/2 (.f64 (.f64 x x) (/.f64 (sqrt.f64 1/6) (sqrt.f64 -3))) (fma.f64 (sqrt.f64 1/6) (sqrt.f64 -3) (.f64 1/24 (/.f64 (sqrt.f64 1/6) (/.f64 (sqrt.f64 -3) (pow.f64 x 4)))))))
(fma.f64 1/16 (.f64 (pow.f64 x 6) (/.f64 (sqrt.f64 1/6) (pow.f64 (sqrt.f64 -3) 5))) (fma.f64 (sqrt.f64 1/6) (sqrt.f64 -3) (.f64 (.f64 (.f64 x x) (/.f64 (sqrt.f64 1/6) (sqrt.f64 -3))) (+.f64 1/2 (.f64 1/24 (.f64 x x))))))
(*.f64 (sqrt.f64 1/6) x)
(*.f64 x (sqrt.f64 1/6))
(+.f64 (.f64 (sqrt.f64 1/6) x) (.f64 -3/2 (/.f64 (sqrt.f64 1/6) x)))
(fma.f64 (sqrt.f64 1/6) x (*.f64 -3/2 (/.f64 (sqrt.f64 1/6) x)))
(fma.f64 x (sqrt.f64 1/6) (*.f64 -3/2 (/.f64 (sqrt.f64 1/6) x)))
(*.f64 (sqrt.f64 1/6) (-.f64 x (/.f64 3/2 x)))
(+.f64 (.f64 (sqrt.f64 1/6) x) (+.f64 (.f64 -3/2 (/.f64 (sqrt.f64 1/6) x)) (*.f64 -9/8 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3)))))
(fma.f64 (sqrt.f64 1/6) x (fma.f64 -3/2 (/.f64 (sqrt.f64 1/6) x) (*.f64 -9/8 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3)))))
(fma.f64 x (sqrt.f64 1/6) (fma.f64 -3/2 (/.f64 (sqrt.f64 1/6) x) (*.f64 -9/8 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3)))))
(fma.f64 x (sqrt.f64 1/6) (*.f64 (/.f64 (sqrt.f64 1/6) x) (+.f64 -3/2 (/.f64 (/.f64 -9/8 x) x))))
(fma.f64 -3/2 (/.f64 (sqrt.f64 1/6) x) (*.f64 (sqrt.f64 1/6) (-.f64 x (/.f64 9/8 (pow.f64 x 3)))))
(+.f64 (.f64 -27/16 (/.f64 (sqrt.f64 1/6) (pow.f64 x 5))) (+.f64 (.f64 (sqrt.f64 1/6) x) (+.f64 (.f64 -3/2 (/.f64 (sqrt.f64 1/6) x)) (.f64 -9/8 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3))))))
(fma.f64 -27/16 (/.f64 (sqrt.f64 1/6) (pow.f64 x 5)) (fma.f64 (sqrt.f64 1/6) x (fma.f64 -3/2 (/.f64 (sqrt.f64 1/6) x) (*.f64 -9/8 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3))))))
(fma.f64 -27/16 (/.f64 (sqrt.f64 1/6) (pow.f64 x 5)) (fma.f64 x (sqrt.f64 1/6) (fma.f64 -3/2 (/.f64 (sqrt.f64 1/6) x) (*.f64 -9/8 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3))))))
(fma.f64 x (sqrt.f64 1/6) (fma.f64 -27/16 (/.f64 (sqrt.f64 1/6) (pow.f64 x 5)) (*.f64 (/.f64 (sqrt.f64 1/6) x) (+.f64 -3/2 (/.f64 (/.f64 -9/8 x) x)))))
(+.f64 (.f64 (sqrt.f64 1/6) (+.f64 (/.f64 -3/2 x) (/.f64 -9/8 (pow.f64 x 3)))) (.f64 (sqrt.f64 1/6) (-.f64 x (/.f64 27/16 (pow.f64 x 5)))))
(.f64 -1 (.f64 (sqrt.f64 1/6) x))
(neg.f64 (*.f64 x (sqrt.f64 1/6)))
(*.f64 (sqrt.f64 1/6) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/6)))
(+.f64 (.f64 3/2 (/.f64 (sqrt.f64 1/6) x)) (.f64 -1 (*.f64 (sqrt.f64 1/6) x)))
(fma.f64 3/2 (/.f64 (sqrt.f64 1/6) x) (neg.f64 (*.f64 x (sqrt.f64 1/6))))
(-.f64 (/.f64 3/2 (/.f64 x (sqrt.f64 1/6))) (*.f64 x (sqrt.f64 1/6)))
(-.f64 (.f64 (/.f64 (sqrt.f64 1/6) x) 3/2) (.f64 x (sqrt.f64 1/6)))
(*.f64 (sqrt.f64 1/6) (-.f64 (/.f64 3/2 x) x))
(+.f64 (.f64 9/8 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3))) (+.f64 (.f64 3/2 (/.f64 (sqrt.f64 1/6) x)) (.f64 -1 (.f64 (sqrt.f64 1/6) x))))
(fma.f64 9/8 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3)) (fma.f64 3/2 (/.f64 (sqrt.f64 1/6) x) (neg.f64 (*.f64 x (sqrt.f64 1/6)))))
(-.f64 (fma.f64 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3)) 9/8 (/.f64 3/2 (/.f64 x (sqrt.f64 1/6)))) (*.f64 x (sqrt.f64 1/6)))
(-.f64 (.f64 (/.f64 (sqrt.f64 1/6) x) (+.f64 (/.f64 9/8 (.f64 x x)) 3/2)) (*.f64 x (sqrt.f64 1/6)))
(fma.f64 (/.f64 (sqrt.f64 1/6) x) 3/2 (*.f64 (sqrt.f64 1/6) (-.f64 (/.f64 9/8 (pow.f64 x 3)) x)))
(+.f64 (.f64 9/8 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3))) (+.f64 (.f64 3/2 (/.f64 (sqrt.f64 1/6) x)) (+.f64 (.f64 27/16 (/.f64 (sqrt.f64 1/6) (pow.f64 x 5))) (.f64 -1 (*.f64 (sqrt.f64 1/6) x)))))
(fma.f64 9/8 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3)) (fma.f64 3/2 (/.f64 (sqrt.f64 1/6) x) (fma.f64 27/16 (/.f64 (sqrt.f64 1/6) (pow.f64 x 5)) (neg.f64 (*.f64 x (sqrt.f64 1/6))))))
(fma.f64 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3)) 9/8 (-.f64 (fma.f64 (/.f64 (sqrt.f64 1/6) x) 3/2 (/.f64 (.f64 (sqrt.f64 1/6) 27/16) (pow.f64 x 5))) (.f64 x (sqrt.f64 1/6))))
(+.f64 (-.f64 (.f64 (/.f64 (sqrt.f64 1/6) x) (+.f64 (/.f64 9/8 (.f64 x x)) 3/2)) (*.f64 x (sqrt.f64 1/6))) (/.f64 (sqrt.f64 1/6) (/.f64 (pow.f64 x 5) 27/16)))
(fma.f64 (/.f64 (sqrt.f64 1/6) x) (+.f64 3/2 (/.f64 9/8 (.f64 x x))) (.f64 (sqrt.f64 1/6) (-.f64 (/.f64 27/16 (pow.f64 x 5)) x)))

eval288.0ms (4.4%)

Compiler: Compiled 3684 to 2906 computations (21.1% saved)

prune46.0ms (0.7%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	279	6	285
Fresh	1	0	1
Picked	1	0	1
Done	2	3	5
Total	283	9	292

Error

Counts

292 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	42.4b	(.f64 1/6 (.f64 x x))
▶	42.4b	(pow.f64 (/.f64 6 (*.f64 x x)) -1)
✓	0.3b	(/.f64 (-.f64 (*.f64 x x) 3) 6)
▶	13.1b	(/.f64 (+.f64 (pow.f64 (.f64 x (.f64 1/6 x)) 3) -1/8) (+.f64 (.f64 (.f64 x (.f64 1/6 x)) (.f64 x (.f64 1/6 x))) (-.f64 1/4 (.f64 (.f64 x (.f64 1/6 x)) -1/2))))
▶	42.2b	(.f64 x (.f64 x 1/6))
	21.2b	-1/2
▶	0.4b	(-.f64 (*.f64 1/6 (/.f64 x (/.f64 1 x))) 1/2)
▶	0.1b	(-.f64 (.f64 (.f64 x 1/6) x) 1/2)
✓	0.1b	(-.f64 (/.f64 x (/.f64 6 x)) 1/2)

Compiler

Compiled 152 to 114 computations (25% saved)

localize10.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 (.f64 x 1/6) x) 1/2)
✓	0.1b	(.f64 (.f64 x 1/6) x)
✓	0.4b	(*.f64 x 1/6)

Compiler

Compiled 19 to 13 computations (31.6% saved)

series2.0ms (0%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(*.f64 x 1/6)
0.0ms	x	@	inf	(*.f64 x 1/6)
0.0ms	x	@	inf	(.f64 (.f64 x 1/6) x)
0.0ms	x	@	inf	(-.f64 (.f64 (.f64 x 1/6) x) 1/2)
0.0ms	x	@	-inf	(.f64 (.f64 x 1/6) x)

rewrite67.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

748×	`pow1_binary64`
700×	`add-log-exp_binary64`
700×	`log1p-expm1-u_binary64`
700×	`expm1-log1p-u_binary64`
689×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	156	19
2	1853	19

Stop Event

1×	node limit

Counts

3 → 54

Calls

Call 1

Inputs
(*.f64 x 1/6)
(.f64 (.f64 x 1/6) x)
(-.f64 (.f64 (.f64 x 1/6) x) 1/2)

Outputs

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

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

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

simplify174.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
560×	`cube-prod_binary64`
551×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
442×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	219
1	20	219
2	30	219
3	51	219
4	118	219
5	347	219
6	1288	219
7	2185	219
8	2349	219
9	2533	219
10	2741	219
11	3036	219
12	3431	219
13	3912	219
14	4480	219
15	5168	219
16	6005	219
17	6395	219
18	6681	219
19	6955	219
20	7025	219
21	7061	219

Stop Event

1×	node limit

Counts

90 → 60

Calls

Call 1

Inputs
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
-1/2
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(*.f64 1/6 (pow.f64 x 2))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(*.f64 1/6 (pow.f64 x 2))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)

Outputs
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
-1/2
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 x (.f64 x 1/6))
	0.4b	(*.f64 x 1/6)

Compiler

Compiled 11 to 7 computations (36.4% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(.f64 x (.f64 x 1/6))
0.0ms	x	@	inf	(.f64 x (.f64 x 1/6))
0.0ms	x	@	-inf	(.f64 x (.f64 x 1/6))

rewrite43.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

448×	`pow1_binary64`
434×	`add-sqr-sqrt_binary64`
425×	`*-un-lft-identity_binary64`
415×	`add-log-exp_binary64`
415×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	101	7
2	1141	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 x (.f64 x 1/6))

Outputs

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

simplify173.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
554×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
441×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	84
1	12	84
2	23	84
3	44	84
4	105	84
5	331	84
6	1250	84
7	2123	84
8	2287	84
9	2471	84
10	2679	84
11	2976	84
12	3371	84
13	3852	84
14	4418	84
15	5102	84
16	5935	84
17	6327	84
18	6619	84
19	6895	84
20	6969	84
21	7003	84
22	7944	84

Stop Event

1×	node limit

Counts

23 → 13

Calls

Call 1

Inputs
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))

Outputs
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))

localize14.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (*.f64 1/6 (/.f64 x (/.f64 1 x))) 1/2)
✓	0.2b	(/.f64 x (/.f64 1 x))
✓	0.5b	(*.f64 1/6 (/.f64 x (/.f64 1 x)))

Compiler

Compiled 29 to 21 computations (27.6% saved)

series3.0ms (0%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(*.f64 1/6 (/.f64 x (/.f64 1 x)))
0.0ms	x	@	inf	(/.f64 x (/.f64 1 x))
0.0ms	x	@	-inf	(*.f64 1/6 (/.f64 x (/.f64 1 x)))
0.0ms	x	@	inf	(*.f64 1/6 (/.f64 x (/.f64 1 x)))
0.0ms	x	@	inf	(-.f64 (*.f64 1/6 (/.f64 x (/.f64 1 x))) 1/2)

rewrite73.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

941×	`pow1_binary64`
883×	`add-log-exp_binary64`
883×	`log1p-expm1-u_binary64`
883×	`expm1-log1p-u_binary64`
98×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	28
1	202	19
2	2516	19

Stop Event

1×	node limit

Counts

3 → 87

Calls

Call 1

Inputs
(*.f64 1/6 (/.f64 x (/.f64 1 x)))
(/.f64 x (/.f64 1 x))
(-.f64 (*.f64 1/6 (/.f64 x (/.f64 1 x))) 1/2)

Outputs

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

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

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

simplify174.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
560×	`fabs-mul_binary64`
560×	`cube-prod_binary64`
523×	`pow-sqr_binary64`
447×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	219
1	18	219
2	30	219
3	54	219
4	117	219
5	351	219
6	1264	219
7	2167	219
8	2331	219
9	2515	219
10	2723	219
11	3023	219
12	3418	219
13	3897	219
14	4465	219
15	5157	219
16	5992	219
17	6386	219
18	6674	219
19	6950	219
20	7026	219
21	7062	219

Stop Event

1×	node limit

Counts

123 → 91

Calls

Call 1

Inputs
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
-1/2
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(*.f64 1/6 (pow.f64 x 2))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(*.f64 1/6 (pow.f64 x 2))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)

Outputs
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(pow.f64 x 2)
(*.f64 x x)
(pow.f64 x 2)
(*.f64 x x)
(pow.f64 x 2)
(*.f64 x x)
(pow.f64 x 2)
(*.f64 x x)
(pow.f64 x 2)
(*.f64 x x)
(pow.f64 x 2)
(*.f64 x x)
(pow.f64 x 2)
(*.f64 x x)
(pow.f64 x 2)
(*.f64 x x)
(pow.f64 x 2)
(*.f64 x x)
(pow.f64 x 2)
(*.f64 x x)
(pow.f64 x 2)
(*.f64 x x)
(pow.f64 x 2)
(*.f64 x x)
-1/2
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.4b	(/.f64 6 (*.f64 x x))
✓	0.8b	(pow.f64 (/.f64 6 (*.f64 x x)) -1)

Compiler

Compiled 19 to 10 computations (47.4% saved)

series3.0ms (0%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(pow.f64 (/.f64 6 (*.f64 x x)) -1)
1.0ms	x	@	inf	(pow.f64 (/.f64 6 (*.f64 x x)) -1)
0.0ms	x	@	0	(/.f64 6 (*.f64 x x))
0.0ms	x	@	-inf	(/.f64 6 (*.f64 x x))
0.0ms	x	@	-inf	(pow.f64 (/.f64 6 (*.f64 x x)) -1)

rewrite50.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

646×	`pow1_binary64`
609×	`add-log-exp_binary64`
609×	`log1p-expm1-u_binary64`
609×	`expm1-log1p-u_binary64`
595×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	150	14
2	1765	14

Stop Event

1×	node limit

Counts

2 → 50

Calls

Call 1

Inputs
(pow.f64 (/.f64 6 (*.f64 x x)) -1)
(/.f64 6 (*.f64 x x))

Outputs

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

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

simplify172.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
560×	`cube-prod_binary64`
554×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
450×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	168
1	14	168
2	27	168
3	52	168
4	126	168
5	397	168
6	1514	168
7	2749	168
8	2915	168
9	3099	168
10	3307	168
11	3610	168
12	4001	168
13	4486	168
14	5054	168
15	5736	168
16	6567	168
17	6959	168
18	7251	168
19	7531	168
20	7605	168
21	7639	168

Stop Event

1×	node limit

Counts

74 → 53

Calls

Call 1

Inputs
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))

Outputs
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))

localize89.0ms (1.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 x (.f64 1/6 x)) (.f64 x (*.f64 1/6 x)))
✓	0.2b	(pow.f64 (.f64 x (.f64 1/6 x)) 3)
	0.4b	(*.f64 1/6 x)
✓	12.3b	(/.f64 (+.f64 (pow.f64 (.f64 x (.f64 1/6 x)) 3) -1/8) (+.f64 (.f64 (.f64 x (.f64 1/6 x)) (.f64 x (.f64 1/6 x))) (-.f64 1/4 (.f64 (.f64 x (.f64 1/6 x)) -1/2))))

Compiler

Compiled 110 to 80 computations (27.3% saved)

series6.0ms (0.1%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	x	@	0	(/.f64 (+.f64 (pow.f64 (.f64 x (.f64 1/6 x)) 3) -1/8) (+.f64 (.f64 (.f64 x (.f64 1/6 x)) (.f64 x (.f64 1/6 x))) (-.f64 1/4 (.f64 (.f64 x (.f64 1/6 x)) -1/2))))
1.0ms	x	@	inf	(/.f64 (+.f64 (pow.f64 (.f64 x (.f64 1/6 x)) 3) -1/8) (+.f64 (.f64 (.f64 x (.f64 1/6 x)) (.f64 x (.f64 1/6 x))) (-.f64 1/4 (.f64 (.f64 x (.f64 1/6 x)) -1/2))))
1.0ms	x	@	inf	(.f64 (.f64 x (.f64 1/6 x)) (.f64 x (*.f64 1/6 x)))
1.0ms	x	@	0	(pow.f64 (.f64 x (.f64 1/6 x)) 3)
0.0ms	x	@	0	(.f64 (.f64 x (.f64 1/6 x)) (.f64 x (*.f64 1/6 x)))

rewrite133.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

884×	`log-prod_binary64`
643×	`fma-def_binary64`
383×	`fma-neg_binary64`
304×	`expm1-udef_binary64`
304×	`log1p-udef_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	60
1	380	57
2	5073	57

Stop Event

1×	node limit

Counts

3 → 90

Calls

Call 1

Inputs

(/.f64 (+.f64 (pow.f64 (*.f64 x (*.f64 1/6 x)) 3) -1/8) (+.f64 (*.f64 (*.f64 x (*.f64 1/6 x)) (*.f64 x (*.f64 1/6 x))) (-.f64 1/4 (*.f64 (*.f64 x (*.f64 1/6 x)) -1/2))))

(pow.f64 (*.f64 x (*.f64 1/6 x)) 3)

(*.f64 (*.f64 x (*.f64 1/6 x)) (*.f64 x (*.f64 1/6 x)))

Outputs

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

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

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

simplify266.0ms (4%)

Algorithm

1×	egg-herbie

Rules

1124×	`sqr-pow_binary64`
862×	`cube-prod_binary64`
653×	`pow-sqr_binary64`
554×	`unpow3_binary64`
548×	`cube-mult_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	255
1	34	255
2	64	255
3	169	255
4	744	255
5	1417	255
6	1552	255
7	1743	255
8	1937	255
9	2188	255
10	2503	255
11	2901	255
12	3339	255
13	3829	255
14	4432	255
15	4688	255
16	4936	255
17	5200	255
18	5472	255
19	5734	255
20	7141	255
21	7626	255

Stop Event

1×	node limit

Counts

126 → 97

Calls

Call 1

Inputs
-1/2
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(*.f64 1/6 (pow.f64 x 2))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(*.f64 1/6 (pow.f64 x 2))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(*.f64 1/216 (pow.f64 x 6))
(*.f64 1/216 (pow.f64 x 6))
(*.f64 1/216 (pow.f64 x 6))
(*.f64 1/216 (pow.f64 x 6))
(*.f64 1/216 (pow.f64 x 6))
(*.f64 1/216 (pow.f64 x 6))
(*.f64 1/216 (pow.f64 x 6))
(*.f64 1/216 (pow.f64 x 6))
(*.f64 1/216 (pow.f64 x 6))
(*.f64 1/216 (pow.f64 x 6))
(*.f64 1/216 (pow.f64 x 6))
(*.f64 1/216 (pow.f64 x 6))
(*.f64 1/36 (pow.f64 x 4))
(*.f64 1/36 (pow.f64 x 4))
(*.f64 1/36 (pow.f64 x 4))
(*.f64 1/36 (pow.f64 x 4))
(*.f64 1/36 (pow.f64 x 4))
(*.f64 1/36 (pow.f64 x 4))
(*.f64 1/36 (pow.f64 x 4))
(*.f64 1/36 (pow.f64 x 4))
(*.f64 1/36 (pow.f64 x 4))
(*.f64 1/36 (pow.f64 x 4))
(*.f64 1/36 (pow.f64 x 4))
(*.f64 1/36 (pow.f64 x 4))

Outputs
-1/2
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(*.f64 1/216 (pow.f64 x 6))
(*.f64 1/216 (pow.f64 x 6))
(*.f64 1/216 (pow.f64 x 6))
(*.f64 1/216 (pow.f64 x 6))
(*.f64 1/216 (pow.f64 x 6))
(*.f64 1/216 (pow.f64 x 6))
(*.f64 1/216 (pow.f64 x 6))
(*.f64 1/216 (pow.f64 x 6))
(*.f64 1/216 (pow.f64 x 6))
(*.f64 1/216 (pow.f64 x 6))
(*.f64 1/216 (pow.f64 x 6))
(*.f64 1/216 (pow.f64 x 6))
(*.f64 1/36 (pow.f64 x 4))
(*.f64 1/36 (pow.f64 x 4))
(*.f64 1/36 (pow.f64 x 4))
(*.f64 1/36 (pow.f64 x 4))
(*.f64 1/36 (pow.f64 x 4))
(*.f64 1/36 (pow.f64 x 4))
(*.f64 1/36 (pow.f64 x 4))
(*.f64 1/36 (pow.f64 x 4))
(*.f64 1/36 (pow.f64 x 4))
(*.f64 1/36 (pow.f64 x 4))
(*.f64 1/36 (pow.f64 x 4))
(*.f64 1/36 (pow.f64 x 4))

eval352.0ms (5.4%)

Compiler: Compiled 7282 to 5493 computations (24.6% saved)

prune45.0ms (0.7%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	365	5	370
Fresh	1	0	1
Picked	1	0	1
Done	5	2	7
Total	372	7	379

Error

Counts

379 → 7

Alt Table

Click to see full alt table

Status	Error	Program
	21.2b	-1/2
▶	42.2b	(pow.f64 (*.f64 (/.f64 6 x) (/.f64 1 x)) -1)
▶	42.4b	(/.f64 1 (/.f64 6 (*.f64 x x)))
✓	42.2b	(.f64 x (.f64 x 1/6))
▶	42.4b	(/.f64 (*.f64 x x) 6)
▶	42.1b	(/.f64 x (/.f64 6 x))
✓	0.1b	(-.f64 (.f64 (.f64 x 1/6) x) 1/2)

Compiler

Compiled 46 to 34 computations (26.1% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.4b	(/.f64 6 (*.f64 x x))
✓	0.8b	(/.f64 1 (/.f64 6 (*.f64 x x)))

Compiler

Compiled 19 to 10 computations (47.4% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(/.f64 1 (/.f64 6 (*.f64 x x)))
0.0ms	x	@	-inf	(/.f64 1 (/.f64 6 (*.f64 x x)))
0.0ms	x	@	inf	(/.f64 1 (/.f64 6 (*.f64 x x)))

rewrite48.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

649×	`pow1_binary64`
612×	`add-log-exp_binary64`
611×	`log1p-expm1-u_binary64`
611×	`expm1-log1p-u_binary64`
599×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	7
1	151	7
2	1807	7

Stop Event

1×	node limit

Counts

1 → 27

Calls

Call 1

Inputs
(/.f64 1 (/.f64 6 (*.f64 x x)))

Outputs

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

simplify169.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
554×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
441×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	84
1	12	84
2	23	84
3	44	84
4	105	84
5	331	84
6	1250	84
7	2123	84
8	2287	84
9	2471	84
10	2679	84
11	2976	84
12	3371	84
13	3852	84
14	4418	84
15	5102	84
16	5935	84
17	6327	84
18	6619	84
19	6895	84
20	6969	84
21	7003	84
22	7944	84

Stop Event

1×	node limit

Counts

39 → 29

Calls

Call 1

Inputs
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))

Outputs
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
	0.2b	(/.f64 x (/.f64 6 x))

Compiler

Compiled 11 to 7 computations (36.4% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.4b	(/.f64 (*.f64 x x) 6)

Compiler

Compiled 11 to 5 computations (54.5% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(/.f64 (*.f64 x x) 6)
0.0ms	x	@	inf	(/.f64 (*.f64 x x) 6)
0.0ms	x	@	-inf	(/.f64 (*.f64 x x) 6)

rewrite49.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

495×	`pow1_binary64`
490×	`add-sqr-sqrt_binary64`
469×	`add-log-exp_binary64`
469×	`log1p-expm1-u_binary64`
469×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	110	7
2	1320	7

Stop Event

1×	node limit

Counts

1 → 25

Calls

Call 1

Inputs
(/.f64 (*.f64 x x) 6)

Outputs

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

simplify172.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
554×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
441×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	84
1	12	84
2	23	84
3	44	84
4	105	84
5	331	84
6	1250	84
7	2123	84
8	2287	84
9	2471	84
10	2679	84
11	2976	84
12	3371	84
13	3852	84
14	4418	84
15	5102	84
16	5935	84
17	6327	84
18	6619	84
19	6895	84
20	6969	84
21	7003	84
22	7944	84

Stop Event

1×	node limit

Counts

37 → 27

Calls

Call 1

Inputs
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))

Outputs
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))

localize13.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (/.f64 6 x) (/.f64 1 x))
✓	0.8b	(pow.f64 (*.f64 (/.f64 6 x) (/.f64 1 x)) -1)

Compiler

Compiled 27 to 20 computations (25.9% saved)

series2.0ms (0%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(pow.f64 (*.f64 (/.f64 6 x) (/.f64 1 x)) -1)
0.0ms	x	@	inf	(pow.f64 (*.f64 (/.f64 6 x) (/.f64 1 x)) -1)
0.0ms	x	@	-inf	(pow.f64 (*.f64 (/.f64 6 x) (/.f64 1 x)) -1)
0.0ms	x	@	0	(*.f64 (/.f64 6 x) (/.f64 1 x))
0.0ms	x	@	inf	(*.f64 (/.f64 6 x) (/.f64 1 x))

rewrite61.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

814×	`pow1_binary64`
764×	`add-log-exp_binary64`
762×	`log1p-expm1-u_binary64`
762×	`expm1-log1p-u_binary64`
747×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	193	14
2	2269	14

Stop Event

1×	node limit

Counts

2 → 60

Calls

Call 1

Inputs
(pow.f64 (*.f64 (/.f64 6 x) (/.f64 1 x)) -1)
(*.f64 (/.f64 6 x) (/.f64 1 x))

Outputs

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

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

simplify174.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
560×	`cube-prod_binary64`
554×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
450×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	168
1	14	168
2	27	168
3	52	168
4	126	168
5	397	168
6	1514	168
7	2749	168
8	2915	168
9	3099	168
10	3307	168
11	3610	168
12	4001	168
13	4486	168
14	5054	168
15	5736	168
16	6567	168
17	6959	168
18	7251	168
19	7531	168
20	7605	168
21	7639	168

Stop Event

1×	node limit

Counts

84 → 62

Calls

Call 1

Inputs
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))

Outputs
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))

eval50.0ms (0.8%)

Compiler: Compiled 1617 to 1161 computations (28.2% saved)

prune27.0ms (0.4%)

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	180	1	181
Fresh	0	1	1
Picked	1	0	1
Done	0	5	5
Total	181	7	188

Error

Counts

188 → 7

Alt Table

Click to see full alt table

Status	Error	Program
	42.2b	(/.f64 1 (*.f64 (/.f64 6 x) (/.f64 1 x)))
✓	42.4b	(/.f64 (*.f64 x x) 6)
	21.2b	-1/2
✓	42.4b	(/.f64 1 (/.f64 6 (*.f64 x x)))
✓	42.2b	(.f64 x (.f64 x 1/6))
✓	42.1b	(/.f64 x (/.f64 6 x))
✓	0.1b	(-.f64 (.f64 (.f64 x 1/6) x) 1/2)

Compiler

Compiled 46 to 34 computations (26.1% saved)

regimes45.0ms (0.7%)

Counts

19 → 1

Calls

Call 1

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

Outputs
(-.f64 (/.f64 x (/.f64 6 x)) 1/2)

Calls

7 calls:

11.0ms	x
7.0ms	(*.f64 x x)
6.0ms	(*.f64 x x)
4.0ms	(/.f64 (-.f64 (*.f64 x x) 3) 6)
3.0ms	(/.f64 (-.f64 (*.f64 x x) 3) 6)

Results

Error	Segments	Branch
0.1b	1	`x`
0.1b	1	`(/.f64 (-.f64 (*.f64 x x) 3) 6)`
0.1b	1	`(/.f64 (-.f64 (*.f64 x x) 3) 6)`
0.1b	1	`(-.f64 (*.f64 x x) 3)`
0.1b	1	`(-.f64 (*.f64 x x) 3)`
0.1b	1	`(*.f64 x x)`
0.1b	1	`(*.f64 x x)`

Compiler

Compiled 178 to 123 computations (30.9% saved)

regimes16.0ms (0.2%)

Counts

9 → 1

Calls

Call 1

Inputs
-1/2
-1/2
-1/2
(/.f64 (*.f64 x x) 6)
(/.f64 x (/.f64 6 x))
(.f64 x (.f64 x 1/6))
(.f64 1/6 (.f64 x x))
(/.f64 1 (/.f64 6 (*.f64 x x)))
(-.f64 (.f64 (.f64 x 1/6) x) 1/2)

Outputs
(-.f64 (.f64 (.f64 x 1/6) x) 1/2)

Calls

3 calls:

5.0ms	x
4.0ms	(*.f64 x x)
4.0ms	(*.f64 x x)

Results

Error	Segments	Branch
0.1b	1	`x`
0.1b	1	`(*.f64 x x)`
0.1b	1	`(*.f64 x x)`

Compiler

Compiled 48 to 29 computations (39.6% saved)

regimes31.0ms (0.5%)

Counts

8 → 3

Calls

Call 1

Inputs
-1/2
-1/2
-1/2
(/.f64 (*.f64 x x) 6)
(/.f64 x (/.f64 6 x))
(.f64 x (.f64 x 1/6))
(.f64 1/6 (.f64 x x))
(/.f64 1 (/.f64 6 (*.f64 x x)))

Outputs
(/.f64 x (/.f64 6 x))
-1/2
(/.f64 (*.f64 x x) 6)

Calls

3 calls:

15.0ms	x
7.0ms	(*.f64 x x)
6.0ms	(*.f64 x x)

Results

Error	Segments	Branch
0.7b	3	`x`
0.7b	2	`(*.f64 x x)`
0.7b	2	`(*.f64 x x)`

Compiler

Compiled 41 to 24 computations (41.5% saved)

bsearch32.0ms (0.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
16.0ms	0.5645384811959887	4390.128249611582
16.0ms	-326855712.47714084	-3.4860170119536496e-6

Compiler

Compiled 12 to 9 computations (25% saved)

regimes17.0ms (0.3%)

Counts

4 → 3

Calls

Call 1

Inputs
-1/2
-1/2
-1/2
(/.f64 (*.f64 x x) 6)

Outputs
(/.f64 (*.f64 x x) 6)
-1/2
(/.f64 (*.f64 x x) 6)

Calls

2 calls:

11.0ms	x
5.0ms	(*.f64 x x)

Results

Error	Segments	Branch
0.9b	3	`x`
0.9b	2	`(*.f64 x x)`

Compiler

Compiled 15 to 10 computations (33.3% saved)

bsearch32.0ms (0.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
15.0ms	0.5645384811959887	4390.128249611582
16.0ms	-326855712.47714084	-3.4860170119536496e-6

Compiler

Compiled 12 to 9 computations (25% saved)

regimes5.0ms (0.1%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0.0b (-0%)

Counts

3 → 1

Calls

Call 1

Inputs
-1/2
-1/2
-1/2

Outputs
-1/2

Calls

1 calls:

4.0ms

Results

Error	Segments	Branch
21.2b	1	`x`

Compiler

Compiled 6 to 5 computations (16.7% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64`
2×	`*-commutative_binary64`
2×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	75
1	27	75
2	29	75

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(-.f64 (/.f64 x (/.f64 6 x)) 1/2)
(-.f64 (.f64 (.f64 x 1/6) x) 1/2)
(if (<=.f64 x -5483728889062887/16777216) (/.f64 x (/.f64 6 x)) (if (<=.f64 x 5084910587101121/9007199254740992) -1/2 (/.f64 (*.f64 x x) 6)))
(if (<=.f64 x -5483728889062887/16777216) (/.f64 (.f64 x x) 6) (if (<=.f64 x 5084910587101121/9007199254740992) -1/2 (/.f64 (.f64 x x) 6)))
-1/2

Outputs
(-.f64 (/.f64 x (/.f64 6 x)) 1/2)
(+.f64 (/.f64 x (/.f64 6 x)) -1/2)
(-.f64 (.f64 (.f64 x 1/6) x) 1/2)
(+.f64 (.f64 x (.f64 x 1/6)) -1/2)
(if (<=.f64 x -5483728889062887/16777216) (/.f64 x (/.f64 6 x)) (if (<=.f64 x 5084910587101121/9007199254740992) -1/2 (/.f64 (*.f64 x x) 6)))
(if (<=.f64 x -5483728889062887/16777216) (/.f64 (.f64 x x) 6) (if (<=.f64 x 5084910587101121/9007199254740992) -1/2 (/.f64 (.f64 x x) 6)))
-1/2

Compiler

Compiled 58 to 41 computations (29.3% saved)

soundness0.0ms (0%)

end46.0ms (0.7%)

Compiler: Compiled 54 to 36 computations (33.3% saved)