Details

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	25%	75%	0%	0%	0%	0
100%	25%	0%	75%	0%	0%	0%	1

Compiler

Compiled 17 to 9 computations (47.1% saved)

sample837.0ms (48.3%)

Results

824.0ms

8256×

body

256

valid

Bogosity

preprocess268.0ms (15.5%)

Algorithm

2×	egg-herbie

Rules

3512×	`sqr-pow`
1426×	`pow-sqr`
1160×	`cube-prod`
742×	`fabs-mul`
736×	`cube-mult`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	19
1	17	15
2	34	15
3	47	15
4	66	15
5	124	15
6	222	15
7	644	15
8	1046	15
9	1134	15
10	1271	15
11	1433	15
12	1671	15
13	1984	15
14	2379	15
15	2852	15
16	3391	15
17	4031	15
18	4252	15
19	4448	15
20	4588	15
21	4674	15
22	4732	15
23	5622	15
24	6672	15
25	6974	15
26	7268	15
27	7400	15
28	7410	15
29	7410	15
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(+.f64 (.f64 x (.f64 x x)) (*.f64 x x))

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

Compiler

Compiled 11 to 5 computations (54.5% saved)

simplify270.0ms (15.6%)

Algorithm

1×	egg-herbie

Rules

3512×	`sqr-pow`
1426×	`pow-sqr`
1160×	`cube-prod`
742×	`fabs-mul`
736×	`cube-mult`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	19
1	17	15
2	34	15
3	47	15
4	66	15
5	124	15
6	222	15
7	644	15
8	1046	15
9	1134	15
10	1271	15
11	1433	15
12	1671	15
13	1984	15
14	2379	15
15	2852	15
16	3391	15
17	4031	15
18	4252	15
19	4448	15
20	4588	15
21	4674	15
22	4732	15
23	5622	15
24	6672	15
25	6974	15
26	7268	15
27	7400	15
28	7410	15
29	7410	15

Stop Event

1×	node limit

Counts

1 → 4

Calls

Call 1

Inputs
(+.f64 (.f64 x (.f64 x x)) (*.f64 x x))

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

eval1.0ms (0%)

Compiler: Compiled 29 to 12 computations (58.6% saved)

prune1.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

Counts

5 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(fma.f64 x x (pow.f64 x 3))
▶	0.0b	(+.f64 (.f64 x (.f64 x x)) (*.f64 x x))

Compiler

Compiled 17 to 8 computations (52.9% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 x (.f64 x x)) (*.f64 x x))
✓	0.1b	(.f64 x (.f64 x x))

Compiler

Compiled 19 to 4 computations (78.9% saved)

series2.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite57.0ms (3.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1410×	`add-sqr-sqrt`
1388×	`*-un-lft-identity`
1306×	`add-cube-cbrt`
1294×	`add-cbrt-cube`
1286×	`add-exp-log`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	26
1	137	22
2	1865	22

Stop Event

1×	node limit

Counts

2 → 56

Calls

Call 1

Inputs
(.f64 x (.f64 x x))
(+.f64 (.f64 x (.f64 x x)) (*.f64 x x))

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

Outputs

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

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

simplify68.0ms (4%)

Algorithm

1×	egg-herbie

Rules

1350×	`associate-/l/`
1128×	`times-frac`
980×	`associate-/r/`
598×	`fma-def`
528×	`associate-/l*`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	129	1446
1	307	1416
2	1212	1416
3	5467	1416

Stop Event

1×	node limit

Counts

80 → 71

Calls

Call 1

Inputs
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 2)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(pow.f64 x 3)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(pow.f64 x 3)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(-.f64 (+.f64 1 (.f64 x (.f64 x x))) 1)
(pow.f64 x 3)
(pow.f64 (.f64 x (.f64 x x)) 1)
(pow.f64 (pow.f64 x 3/2) 2)
(pow.f64 (pow.f64 x 9) 1/3)
(sqrt.f64 (pow.f64 x 6))
(log.f64 (exp.f64 (.f64 x (.f64 x x))))
(cbrt.f64 (pow.f64 x 9))
(expm1.f64 (log1p.f64 (.f64 x (.f64 x x))))
(exp.f64 (*.f64 3 (log.f64 x)))
(exp.f64 (*.f64 (log.f64 x) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 x)) 1))
(log1p.f64 (expm1.f64 (.f64 x (.f64 x x))))
(-.f64 (+.f64 1 (+.f64 (.f64 x (.f64 x x)) (*.f64 x x))) 1)
(-.f64 (/.f64 (pow.f64 x 6) (-.f64 (.f64 x (.f64 x x)) (.f64 x x))) (/.f64 (pow.f64 x 4) (-.f64 (.f64 x (.f64 x x)) (.f64 x x))))
(*.f64 x (fma.f64 x x x))
(.f64 (.f64 x x) (+.f64 x 1))
(.f64 (+.f64 (.f64 x (.f64 x x)) (.f64 x x)) 1)
(.f64 1 (+.f64 (.f64 x (.f64 x x)) (.f64 x x)))
(*.f64 (hypot.f64 x (pow.f64 x 3/2)) (hypot.f64 x (pow.f64 x 3/2)))
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (fma.f64 x x x)))
(.f64 (cbrt.f64 (+.f64 (.f64 x (.f64 x x)) (.f64 x x))) (pow.f64 (cbrt.f64 (+.f64 (.f64 x (.f64 x x)) (*.f64 x x))) 2))
(.f64 (pow.f64 (cbrt.f64 (+.f64 (.f64 x (.f64 x x)) (.f64 x x))) 2) (cbrt.f64 (+.f64 (.f64 x (.f64 x x)) (*.f64 x x))))
(.f64 (cbrt.f64 (.f64 x x)) (*.f64 (cbrt.f64 x) (fma.f64 x x x)))
(*.f64 (fma.f64 x x x) x)
(.f64 (+.f64 x 1) (.f64 x x))
(.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (/.f64 1 (-.f64 (.f64 x (.f64 x x)) (.f64 x x))))
(*.f64 (+.f64 (pow.f64 x 6) (pow.f64 x 9)) (/.f64 1 (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5)))))
(.f64 (.f64 (+.f64 x 1) 1) (*.f64 x x))
(.f64 (.f64 (+.f64 x 1) (cbrt.f64 (pow.f64 x 4))) (cbrt.f64 (*.f64 x x)))
(/.f64 1 (/.f64 (-.f64 (.f64 x (.f64 x x)) (*.f64 x x)) (-.f64 (pow.f64 x 6) (pow.f64 x 4))))
(/.f64 1 (/.f64 (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5))) (+.f64 (pow.f64 x 6) (pow.f64 x 9))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (-.f64 (.f64 x (.f64 x x)) (*.f64 x x)))
(/.f64 (+.f64 (pow.f64 x 6) (pow.f64 x 9)) (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5))))
(/.f64 (+.f64 (pow.f64 x 6) (pow.f64 x 9)) (+.f64 (pow.f64 x 4) (-.f64 (pow.f64 x 6) (pow.f64 x 5))))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 x 6)) (-.f64 (.f64 x x) (.f64 x (*.f64 x x))))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4))) (neg.f64 (-.f64 (.f64 x (.f64 x x)) (*.f64 x x))))
(/.f64 (neg.f64 (+.f64 (pow.f64 x 6) (pow.f64 x 9))) (neg.f64 (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5)))))
(pow.f64 (+.f64 (.f64 x (.f64 x x)) (*.f64 x x)) 1)
(pow.f64 (hypot.f64 x (pow.f64 x 3/2)) 2)
(pow.f64 (cbrt.f64 (+.f64 (.f64 x (.f64 x x)) (*.f64 x x))) 3)
(pow.f64 (pow.f64 (+.f64 (.f64 x (.f64 x x)) (*.f64 x x)) 3) 1/3)
(sqrt.f64 (pow.f64 (+.f64 (.f64 x (.f64 x x)) (*.f64 x x)) 2))
(log.f64 (pow.f64 (exp.f64 x) (fma.f64 x x x)))
(cbrt.f64 (pow.f64 (+.f64 (.f64 x (.f64 x x)) (*.f64 x x)) 3))
(expm1.f64 (log1p.f64 (+.f64 (.f64 x (.f64 x x)) (*.f64 x x))))
(exp.f64 (log.f64 (+.f64 (.f64 x (.f64 x x)) (*.f64 x x))))
(exp.f64 (.f64 (log.f64 (+.f64 (.f64 x (.f64 x x)) (.f64 x x))) 1))
(log1p.f64 (expm1.f64 (+.f64 (.f64 x (.f64 x x)) (*.f64 x x))))
(fma.f64 x x (.f64 x (.f64 x x)))
(fma.f64 x (.f64 x x) (.f64 x x))
(fma.f64 (.f64 x x) x (.f64 x x))
(fma.f64 1 (.f64 x x) (.f64 x (*.f64 x x)))
(fma.f64 1 (.f64 x (.f64 x x)) (*.f64 x x))
(fma.f64 (pow.f64 x 3/2) (pow.f64 x 3/2) (*.f64 x x))
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (.f64 x x)) (.f64 x (*.f64 x x)))

Outputs
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(pow.f64 x 3)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(pow.f64 x 3)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(-.f64 (+.f64 1 (.f64 x (.f64 x x))) 1)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 (.f64 x (.f64 x x)) 1)
(pow.f64 x 3)
(pow.f64 (pow.f64 x 3/2) 2)
(pow.f64 x 3)
(pow.f64 (pow.f64 x 9) 1/3)
(cbrt.f64 (pow.f64 x 9))
(sqrt.f64 (pow.f64 x 6))
(pow.f64 x 3)
(log.f64 (exp.f64 (.f64 x (.f64 x x))))
(pow.f64 x 3)
(cbrt.f64 (pow.f64 x 9))
(expm1.f64 (log1p.f64 (.f64 x (.f64 x x))))
(pow.f64 x 3)
(exp.f64 (*.f64 3 (log.f64 x)))
(pow.f64 x 3)
(exp.f64 (*.f64 (log.f64 x) 3))
(pow.f64 x 3)
(exp.f64 (.f64 (.f64 3 (log.f64 x)) 1))
(pow.f64 x 3)
(log1p.f64 (expm1.f64 (.f64 x (.f64 x x))))
(pow.f64 x 3)
(-.f64 (+.f64 1 (+.f64 (.f64 x (.f64 x x)) (*.f64 x x))) 1)
(*.f64 x (fma.f64 x x x))
(-.f64 (/.f64 (pow.f64 x 6) (-.f64 (.f64 x (.f64 x x)) (.f64 x x))) (/.f64 (pow.f64 x 4) (-.f64 (.f64 x (.f64 x x)) (.f64 x x))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (-.f64 (pow.f64 x 3) (*.f64 x x)))
(/.f64 (/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) x) (-.f64 (*.f64 x x) x))
(*.f64 x (fma.f64 x x x))
(.f64 (.f64 x x) (+.f64 x 1))
(*.f64 x (fma.f64 x x x))
(.f64 (+.f64 (.f64 x (.f64 x x)) (.f64 x x)) 1)
(*.f64 x (fma.f64 x x x))
(.f64 1 (+.f64 (.f64 x (.f64 x x)) (.f64 x x)))
(*.f64 x (fma.f64 x x x))
(*.f64 (hypot.f64 x (pow.f64 x 3/2)) (hypot.f64 x (pow.f64 x 3/2)))
(*.f64 x (fma.f64 x x x))
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (fma.f64 x x x)))
(*.f64 x (fma.f64 x x x))
(.f64 (cbrt.f64 (+.f64 (.f64 x (.f64 x x)) (.f64 x x))) (pow.f64 (cbrt.f64 (+.f64 (.f64 x (.f64 x x)) (*.f64 x x))) 2))
(*.f64 x (fma.f64 x x x))
(.f64 (pow.f64 (cbrt.f64 (+.f64 (.f64 x (.f64 x x)) (.f64 x x))) 2) (cbrt.f64 (+.f64 (.f64 x (.f64 x x)) (*.f64 x x))))
(*.f64 x (fma.f64 x x x))
(.f64 (cbrt.f64 (.f64 x x)) (*.f64 (cbrt.f64 x) (fma.f64 x x x)))
(.f64 (.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 x)) (fma.f64 x x x))
(.f64 (fma.f64 x x x) (.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 x)))
(.f64 (cbrt.f64 (.f64 x x)) (*.f64 (fma.f64 x x x) (cbrt.f64 x)))
(*.f64 (fma.f64 x x x) x)
(*.f64 x (fma.f64 x x x))
(.f64 (+.f64 x 1) (.f64 x x))
(*.f64 x (fma.f64 x x x))
(.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (/.f64 1 (-.f64 (.f64 x (.f64 x x)) (.f64 x x))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (-.f64 (pow.f64 x 3) (*.f64 x x)))
(/.f64 (/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) x) (-.f64 (*.f64 x x) x))
(*.f64 (+.f64 (pow.f64 x 6) (pow.f64 x 9)) (/.f64 1 (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5)))))
(/.f64 (*.f64 (+.f64 (pow.f64 x 9) (pow.f64 x 6)) 1) (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5))))
(/.f64 (+.f64 (pow.f64 x 9) (pow.f64 x 6)) (-.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 5) (pow.f64 x 4))))
(.f64 (.f64 (+.f64 x 1) 1) (*.f64 x x))
(*.f64 x (fma.f64 x x x))
(.f64 (.f64 (+.f64 x 1) (cbrt.f64 (pow.f64 x 4))) (cbrt.f64 (*.f64 x x)))
(.f64 (+.f64 x 1) (.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (*.f64 x x))))
(.f64 (.f64 (cbrt.f64 (*.f64 x x)) (+.f64 x 1)) (cbrt.f64 (pow.f64 x 4)))
(.f64 (+.f64 x 1) (.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 (pow.f64 x 4))))
(/.f64 1 (/.f64 (-.f64 (.f64 x (.f64 x x)) (*.f64 x x)) (-.f64 (pow.f64 x 6) (pow.f64 x 4))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (-.f64 (pow.f64 x 3) (*.f64 x x)))
(/.f64 (/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) x) (-.f64 (*.f64 x x) x))
(/.f64 1 (/.f64 (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5))) (+.f64 (pow.f64 x 6) (pow.f64 x 9))))
(/.f64 (*.f64 (+.f64 (pow.f64 x 9) (pow.f64 x 6)) 1) (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5))))
(/.f64 (+.f64 (pow.f64 x 9) (pow.f64 x 6)) (-.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 5) (pow.f64 x 4))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (-.f64 (.f64 x (.f64 x x)) (*.f64 x x)))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (-.f64 (pow.f64 x 3) (*.f64 x x)))
(/.f64 (/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) x) (-.f64 (*.f64 x x) x))
(/.f64 (+.f64 (pow.f64 x 6) (pow.f64 x 9)) (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5))))
(/.f64 (*.f64 (+.f64 (pow.f64 x 9) (pow.f64 x 6)) 1) (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5))))
(/.f64 (+.f64 (pow.f64 x 9) (pow.f64 x 6)) (-.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 5) (pow.f64 x 4))))
(/.f64 (+.f64 (pow.f64 x 6) (pow.f64 x 9)) (+.f64 (pow.f64 x 4) (-.f64 (pow.f64 x 6) (pow.f64 x 5))))
(/.f64 (*.f64 (+.f64 (pow.f64 x 9) (pow.f64 x 6)) 1) (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5))))
(/.f64 (+.f64 (pow.f64 x 9) (pow.f64 x 6)) (-.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 5) (pow.f64 x 4))))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 x 6)) (-.f64 (.f64 x x) (.f64 x (*.f64 x x))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (-.f64 (pow.f64 x 3) (*.f64 x x)))
(/.f64 (/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) x) (-.f64 (*.f64 x x) x))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4))) (neg.f64 (-.f64 (.f64 x (.f64 x x)) (*.f64 x x))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (-.f64 (pow.f64 x 3) (*.f64 x x)))
(/.f64 (/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) x) (-.f64 (*.f64 x x) x))
(/.f64 (neg.f64 (+.f64 (pow.f64 x 6) (pow.f64 x 9))) (neg.f64 (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5)))))
(/.f64 (*.f64 (+.f64 (pow.f64 x 9) (pow.f64 x 6)) 1) (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5))))
(/.f64 (+.f64 (pow.f64 x 9) (pow.f64 x 6)) (-.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 5) (pow.f64 x 4))))
(pow.f64 (+.f64 (.f64 x (.f64 x x)) (*.f64 x x)) 1)
(*.f64 x (fma.f64 x x x))
(pow.f64 (hypot.f64 x (pow.f64 x 3/2)) 2)
(*.f64 x (fma.f64 x x x))
(pow.f64 (cbrt.f64 (+.f64 (.f64 x (.f64 x x)) (*.f64 x x))) 3)
(*.f64 x (fma.f64 x x x))
(pow.f64 (pow.f64 (+.f64 (.f64 x (.f64 x x)) (*.f64 x x)) 3) 1/3)
(*.f64 x (fma.f64 x x x))
(sqrt.f64 (pow.f64 (+.f64 (.f64 x (.f64 x x)) (*.f64 x x)) 2))
(*.f64 x (fma.f64 x x x))
(log.f64 (pow.f64 (exp.f64 x) (fma.f64 x x x)))
(*.f64 x (fma.f64 x x x))
(cbrt.f64 (pow.f64 (+.f64 (.f64 x (.f64 x x)) (*.f64 x x)) 3))
(*.f64 x (fma.f64 x x x))
(expm1.f64 (log1p.f64 (+.f64 (.f64 x (.f64 x x)) (*.f64 x x))))
(*.f64 x (fma.f64 x x x))
(exp.f64 (log.f64 (+.f64 (.f64 x (.f64 x x)) (*.f64 x x))))
(*.f64 x (fma.f64 x x x))
(exp.f64 (.f64 (log.f64 (+.f64 (.f64 x (.f64 x x)) (.f64 x x))) 1))
(*.f64 x (fma.f64 x x x))
(log1p.f64 (expm1.f64 (+.f64 (.f64 x (.f64 x x)) (*.f64 x x))))
(*.f64 x (fma.f64 x x x))
(fma.f64 x x (.f64 x (.f64 x x)))
(*.f64 x (fma.f64 x x x))
(fma.f64 x (.f64 x x) (.f64 x x))
(*.f64 x (fma.f64 x x x))
(fma.f64 (.f64 x x) x (.f64 x x))
(*.f64 x (fma.f64 x x x))
(fma.f64 1 (.f64 x x) (.f64 x (*.f64 x x)))
(*.f64 x (fma.f64 x x x))
(fma.f64 1 (.f64 x (.f64 x x)) (*.f64 x x))
(*.f64 x (fma.f64 x x x))
(fma.f64 (pow.f64 x 3/2) (pow.f64 x 3/2) (*.f64 x x))
(*.f64 x (fma.f64 x x x))
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (.f64 x x)) (.f64 x (*.f64 x x)))
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (*.f64 x x)) (pow.f64 x 3))
(fma.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 (pow.f64 x 4)) (pow.f64 x 3))

localize5.0ms (0.3%)

Compiler: Compiled 12 to 7 computations (41.7% saved)

eval15.0ms (0.8%)

Compiler: Compiled 880 to 367 computations (58.3% saved)

prune10.0ms (0.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	68	3	71
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	69	4	73

Error

Counts

73 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(fma.f64 x x (.f64 x (.f64 x x)))
✓	0.0b	(+.f64 (.f64 x (.f64 x x)) (*.f64 x x))
▶	0.0b	(.f64 (+.f64 x 1) (.f64 x x))
▶	0.7b	(*.f64 x x)

Compiler

Compiled 31 to 15 computations (51.6% saved)

localize2.0ms (0.1%)

Compiler: Compiled 5 to 2 computations (60% saved)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (+.f64 x 1) (.f64 x x))

Compiler

Compiled 16 to 8 computations (50% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite54.0ms (3.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1394×	`add-sqr-sqrt`
1376×	`*-un-lft-identity`
1284×	`add-cube-cbrt`
1268×	`add-cbrt-cube`
1260×	`add-exp-log`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	145	19
2	1864	19

Stop Event

1×	node limit

Counts

1 → 18

Calls

Call 1

Inputs
(.f64 (+.f64 x 1) (.f64 x x))

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

Outputs

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

simplify68.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

1660×	`fma-def`
1040×	`associate-/r/`
984×	`associate-r`
828×	`associate-l`
740×	`associate-*r/`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	59	498
1	152	498
2	522	486
3	2646	478
4	5938	478

Stop Event

1×	node limit

Counts

30 → 31

Calls

Call 1

Inputs
(pow.f64 x 2)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(pow.f64 x 3)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(pow.f64 x 3)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (*.f64 x x) (pow.f64 x 3))
(+.f64 (pow.f64 x 3) (*.f64 x x))
(-.f64 (+.f64 1 (.f64 (+.f64 x 1) (.f64 x x))) 1)
(/.f64 (.f64 (.f64 x x) (fma.f64 x x -1)) (+.f64 x -1))
(/.f64 (.f64 (.f64 x x) (+.f64 1 (pow.f64 x 3))) (fma.f64 x x (-.f64 1 x)))
(/.f64 (.f64 (fma.f64 x x -1) (.f64 x x)) (+.f64 x -1))
(/.f64 (.f64 (+.f64 1 (pow.f64 x 3)) (.f64 x x)) (fma.f64 x x (-.f64 1 x)))
(pow.f64 (.f64 (+.f64 x 1) (.f64 x x)) 1)
(pow.f64 (*.f64 x (sqrt.f64 (+.f64 x 1))) 2)
(pow.f64 (cbrt.f64 (.f64 (+.f64 x 1) (.f64 x x))) 3)
(pow.f64 (pow.f64 (.f64 (+.f64 x 1) (.f64 x x)) 3) 1/3)
(sqrt.f64 (pow.f64 (.f64 (+.f64 x 1) (.f64 x x)) 2))
(log.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (+.f64 x 1)))
(cbrt.f64 (pow.f64 (.f64 (+.f64 x 1) (.f64 x x)) 3))
(expm1.f64 (log1p.f64 (.f64 (+.f64 x 1) (.f64 x x))))
(exp.f64 (+.f64 (*.f64 2 (log.f64 x)) (log1p.f64 x)))
(exp.f64 (.f64 (+.f64 (.f64 2 (log.f64 x)) (log1p.f64 x)) 1))
(log1p.f64 (expm1.f64 (.f64 (+.f64 x 1) (.f64 x x))))

Outputs
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(pow.f64 x 3)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(pow.f64 x 3)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (*.f64 x x) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 3) (*.f64 x x))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(-.f64 (+.f64 1 (.f64 (+.f64 x 1) (.f64 x x))) 1)
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(/.f64 (.f64 (.f64 x x) (fma.f64 x x -1)) (+.f64 x -1))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(/.f64 (.f64 (.f64 x x) (+.f64 1 (pow.f64 x 3))) (fma.f64 x x (-.f64 1 x)))
(/.f64 (*.f64 x x) (/.f64 (fma.f64 x x (-.f64 1 x)) (+.f64 (pow.f64 x 3) 1)))
(.f64 (/.f64 (.f64 x x) (fma.f64 x x (-.f64 1 x))) (+.f64 (pow.f64 x 3) 1))
(*.f64 (/.f64 (+.f64 x (pow.f64 x 4)) (-.f64 (fma.f64 x x 1) x)) x)
(/.f64 (fma.f64 x x (pow.f64 x 5)) (-.f64 (fma.f64 x x 1) x))
(/.f64 (.f64 (fma.f64 x x -1) (.f64 x x)) (+.f64 x -1))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(/.f64 (.f64 (+.f64 1 (pow.f64 x 3)) (.f64 x x)) (fma.f64 x x (-.f64 1 x)))
(/.f64 (*.f64 x x) (/.f64 (fma.f64 x x (-.f64 1 x)) (+.f64 (pow.f64 x 3) 1)))
(.f64 (/.f64 (.f64 x x) (fma.f64 x x (-.f64 1 x))) (+.f64 (pow.f64 x 3) 1))
(*.f64 (/.f64 (+.f64 x (pow.f64 x 4)) (-.f64 (fma.f64 x x 1) x)) x)
(/.f64 (fma.f64 x x (pow.f64 x 5)) (-.f64 (fma.f64 x x 1) x))
(pow.f64 (.f64 (+.f64 x 1) (.f64 x x)) 1)
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(pow.f64 (*.f64 x (sqrt.f64 (+.f64 x 1))) 2)
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(pow.f64 (cbrt.f64 (.f64 (+.f64 x 1) (.f64 x x))) 3)
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(pow.f64 (pow.f64 (.f64 (+.f64 x 1) (.f64 x x)) 3) 1/3)
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(sqrt.f64 (pow.f64 (.f64 (+.f64 x 1) (.f64 x x)) 2))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(log.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (+.f64 x 1)))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(cbrt.f64 (pow.f64 (.f64 (+.f64 x 1) (.f64 x x)) 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(expm1.f64 (log1p.f64 (.f64 (+.f64 x 1) (.f64 x x))))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(exp.f64 (+.f64 (*.f64 2 (log.f64 x)) (log1p.f64 x)))
(exp.f64 (fma.f64 2 (log.f64 x) (log1p.f64 x)))
(.f64 (.f64 x x) (exp.f64 (log1p.f64 x)))
(.f64 x (.f64 x (exp.f64 (log1p.f64 x))))
(exp.f64 (.f64 (+.f64 (.f64 2 (log.f64 x)) (log1p.f64 x)) 1))
(exp.f64 (fma.f64 2 (log.f64 x) (log1p.f64 x)))
(.f64 (.f64 x x) (exp.f64 (log1p.f64 x)))
(.f64 x (.f64 x (exp.f64 (log1p.f64 x))))
(log1p.f64 (expm1.f64 (.f64 (+.f64 x 1) (.f64 x x))))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
	0.1b	(.f64 x (.f64 x x))

Compiler

Compiled 18 to 4 computations (77.8% saved)

eval7.0ms (0.4%)

Compiler: Compiled 407 to 216 computations (46.9% saved)

prune7.0ms (0.4%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	44	0	44
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	44	4	48

Error

Counts

48 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(fma.f64 x x (.f64 x (.f64 x x)))
✓	0.0b	(+.f64 (.f64 x (.f64 x x)) (*.f64 x x))
✓	0.0b	(.f64 (+.f64 x 1) (.f64 x x))
✓	0.7b	(*.f64 x x)

Compiler

Compiled 31 to 15 computations (51.6% saved)

regimes6.0ms (0.4%)

Counts

5 → 1

Calls

Call 1

Inputs
(*.f64 x x)
(.f64 (+.f64 x 1) (.f64 x x))
(+.f64 (.f64 x (.f64 x x)) (*.f64 x x))
(fma.f64 x x (.f64 x (.f64 x x)))
(fma.f64 x x (pow.f64 x 3))

Outputs
(fma.f64 x x (.f64 x (.f64 x x)))

Calls

2 calls:

3.0ms	x
2.0ms	(+.f64 (.f64 x (.f64 x x)) (*.f64 x x))

Results

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

Compiler

Compiled 46 to 16 computations (65.2% saved)

regimes5.0ms (0.3%)

Counts

3 → 1

Calls

Call 1

Inputs
(*.f64 x x)
(.f64 (+.f64 x 1) (.f64 x x))
(+.f64 (.f64 x (.f64 x x)) (*.f64 x x))

Outputs
(+.f64 (.f64 x (.f64 x x)) (*.f64 x x))

Calls

2 calls:

2.0ms	x
2.0ms	(+.f64 (.f64 x (.f64 x x)) (*.f64 x x))

Results

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

Compiler

Compiled 32 to 12 computations (62.5% saved)

regimes3.0ms (0.2%)

Accuracy

Total -0.7b remaining (-3591.2%)

Threshold costs -0.7b (-3591.2%)

Counts

2 → 1

Calls

Call 1

Inputs
(*.f64 x x)
(.f64 (+.f64 x 1) (.f64 x x))

Outputs
(.f64 (+.f64 x 1) (.f64 x x))

Calls

1 calls:

2.0ms

Results

Error	Segments	Branch
0.0b	1	`x`

Compiler

Compiled 13 to 6 computations (53.8% saved)

simplify9.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative`
4×	`*-commutative`
2×	`1-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	72
1	18	72

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(fma.f64 x x (.f64 x (.f64 x x)))
(+.f64 (.f64 x (.f64 x x)) (*.f64 x x))
(.f64 (+.f64 x 1) (.f64 x x))
(*.f64 x x)

Outputs
(fma.f64 x x (.f64 x (.f64 x x)))
(+.f64 (.f64 x (.f64 x x)) (*.f64 x x))
(+.f64 (.f64 x x) (.f64 x (*.f64 x x)))
(.f64 (+.f64 x 1) (.f64 x x))
(.f64 (.f64 x x) (+.f64 x 1))
(*.f64 x x)

Compiler

Compiled 31 to 15 computations (51.6% saved)

soundness0.0ms (0%)

end20.0ms (1.2%)

Compiler: Compiled 28 to 8 computations (71.4% saved)

Details

analyze0.0ms (0%)

sample837.0ms (48.3%)

preprocess268.0ms (15.5%)

simplify270.0ms (15.6%)

eval1.0ms (0%)

prune1.0ms (0.1%)

localize5.0ms (0.3%)

series2.0ms (0.1%)

rewrite57.0ms (3.3%)

simplify68.0ms (4%)

localize5.0ms (0.3%)

eval15.0ms (0.8%)

prune10.0ms (0.6%)

localize2.0ms (0.1%)

localize6.0ms (0.3%)

series1.0ms (0%)

rewrite54.0ms (3.1%)

simplify68.0ms (3.9%)

localize6.0ms (0.3%)

eval7.0ms (0.4%)

prune7.0ms (0.4%)

regimes6.0ms (0.4%)

regimes5.0ms (0.3%)

regimes3.0ms (0.2%)

simplify9.0ms (0.5%)

soundness0.0ms (0%)

end20.0ms (1.2%)

Profiling