Details

analyze66.0ms (1.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	62.4%	12.6%	6
43.7%	43.7%	12.6%	7
46.8%	34.3%	18.8%	8
57.8%	23.4%	18.8%	9
60.1%	18%	22%	10
66%	12.1%	22%	11
67.3%	9.2%	23.5%	12

Compiler

Compiled 10 to 7 computations (30% saved)

sample1.2s (24.7%)

Results

1.2s	8256×	body	256	valid
23.0ms	210×	body	256	invalid

preprocess19.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

25×	`associate-l_binary64`
18×	`associate-r_binary64`
9×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	20
1	22	20
2	50	20
3	70	20
4	71	20
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(.f64 (.f64 (*.f64 x 3) x) y)
(.f64 (.f64 (*.f64 y 3) y) x)

Outputs
(.f64 (.f64 (*.f64 x 3) x) y)
(.f64 (.f64 x 3) (*.f64 x y))
(.f64 x (.f64 3 (*.f64 x y)))
(.f64 x (.f64 x (*.f64 3 y)))
(.f64 (.f64 (*.f64 y 3) y) x)
(.f64 x (.f64 y (*.f64 3 y)))
(.f64 x (.f64 3 (*.f64 y y)))

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

15×	`associate-l_binary64`
13×	`associate-r_binary64`
8×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	13	10
2	27	10
3	45	10
4	48	10

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(.f64 (.f64 (*.f64 x 3) x) y)

Outputs
(.f64 (.f64 (*.f64 x 3) x) y)
(.f64 (.f64 x 3) (*.f64 x y))
(.f64 x (.f64 3 (*.f64 x y)))
(.f64 x (.f64 x (*.f64 3 y)))

eval1.0ms (0%)

Compiler: Compiled 16 to 10 computations (37.5% saved)

prune1.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.2b

Counts

3 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	8.5b	(.f64 (.f64 (*.f64 x 3) x) y)
▶	0.3b	(.f64 x (.f64 x (*.f64 3 y)))

Compiler

Compiled 18 to 12 computations (33.3% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 x (.f64 x (*.f64 3 y)))
✓	0.2b	(.f64 x (.f64 3 y))

Compiler

Compiled 20 to 12 computations (40% saved)

series9.0ms (0.2%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	y	@	0	(.f64 x (.f64 x (*.f64 3 y)))
1.0ms	y	@	0	(.f64 x (.f64 3 y))
1.0ms	x	@	inf	(.f64 x (.f64 3 y))
1.0ms	x	@	0	(.f64 x (.f64 3 y))
1.0ms	x	@	0	(.f64 x (.f64 x (*.f64 3 y)))

rewrite57.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

662×	`pow1_binary64`
609×	`add-log-exp_binary64`
609×	`log1p-expm1-u_binary64`
609×	`expm1-log1p-u_binary64`
597×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	142	17
2	1673	17

Stop Event

1×	node limit

Counts

2 → 26

Calls

Call 1

Inputs
(.f64 x (.f64 3 y))
(.f64 x (.f64 x (*.f64 3 y)))

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

Outputs

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

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

simplify187.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

2020×	`unswap-sqr_binary64`
1080×	`sqr-pow_binary64`
635×	`fabs-mul_binary64`
612×	`pow-sqr_binary64`
610×	`cube-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	408
1	22	408
2	45	408
3	87	408
4	237	408
5	817	408
6	1059	408
7	1473	408
8	1573	408
9	1706	408
10	1878	408
11	2123	408
12	2436	408
13	2806	408
14	3263	408
15	3854	408
16	4564	408
17	5424	408
18	5846	408
19	6160	408
20	6464	408
21	6540	408
22	6574	408

Stop Event

1×	node limit

Counts

74 → 30

Calls

Call 1

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

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

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 x 3) x)
✓	8.0b	(.f64 (.f64 (*.f64 x 3) x) y)

Compiler

Compiled 20 to 12 computations (40% saved)

series3.0ms (0.1%)

Counts

2 → 36

Calls

9 calls:

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

rewrite58.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

662×	`pow1_binary64`
609×	`add-log-exp_binary64`
609×	`log1p-expm1-u_binary64`
609×	`expm1-log1p-u_binary64`
596×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	142	17
2	1666	17

Stop Event

1×	node limit

Counts

2 → 26

Calls

Call 1

Inputs
(.f64 (.f64 (*.f64 x 3) x) y)
(.f64 (.f64 x 3) x)

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

Outputs

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

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

simplify184.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

2020×	`unswap-sqr_binary64`
1080×	`sqr-pow_binary64`
640×	`fabs-mul_binary64`
612×	`pow-sqr_binary64`
610×	`cube-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	324
1	19	324
2	41	324
3	91	324
4	255	324
5	825	324
6	1049	324
7	1463	324
8	1563	324
9	1696	324
10	1868	324
11	2109	324
12	2426	324
13	2798	324
14	3253	324
15	3840	324
16	4550	324
17	5410	324
18	5836	324
19	6154	324
20	6462	324
21	6542	324
22	6578	324

Stop Event

1×	node limit

Counts

62 → 30

Calls

Call 1

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

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

eval14.0ms (0.3%)

Compiler: Compiled 580 to 394 computations (32.1% saved)

prune16.0ms (0.3%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	53	7	60
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	53	9	62

Error

0.0b

Counts

62 → 9

Alt Table

Click to see full alt table

Status	Error	Program
	27.5b	(.f64 x (pow.f64 (sqrt.f64 (.f64 x (*.f64 3 y))) 2))
✓	8.5b	(.f64 (.f64 (*.f64 x 3) x) y)
✓	0.3b	(.f64 x (.f64 x (*.f64 3 y)))
▶	0.2b	(.f64 x (.f64 y (*.f64 3 x)))
▶	8.5b	(.f64 (.f64 3 (pow.f64 x 2)) y)
▶	0.2b	(.f64 x (.f64 3 (*.f64 y x)))
	0.9b	(.f64 x (pow.f64 (cbrt.f64 (.f64 x (*.f64 3 y))) 3))
▶	35.3b	(pow.f64 (.f64 x (sqrt.f64 (.f64 3 y))) 2)
▶	8.5b	(.f64 3 (.f64 y (pow.f64 x 2)))

Compiler

Compiled 158 to 116 computations (26.6% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 x (.f64 3 (*.f64 y x)))
✓	0.2b	(.f64 3 (.f64 y x))

Compiler

Compiled 20 to 9 computations (55% saved)

series3.0ms (0.1%)

Counts

2 → 24

Calls

12 calls:

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

rewrite57.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

674×	`pow1_binary64`
620×	`add-log-exp_binary64`
620×	`log1p-expm1-u_binary64`
620×	`expm1-log1p-u_binary64`
608×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	143	17
2	1701	17

Stop Event

1×	node limit

Counts

2 → 24

Calls

Call 1

Inputs
(.f64 3 (.f64 y x))
(.f64 x (.f64 3 (*.f64 y x)))

Outputs

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

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

simplify170.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

2020×	`unswap-sqr_binary64`
1080×	`sqr-pow_binary64`
640×	`fabs-mul_binary64`
612×	`pow-sqr_binary64`
610×	`cube-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	240
1	17	240
2	37	240
3	79	240
4	221	240
5	742	240
6	1007	240
7	1421	240
8	1521	240
9	1656	240
10	1828	240
11	2073	240
12	2386	240
13	2758	240
14	3212	240
15	3801	240
16	4509	240
17	5369	240
18	5793	240
19	6113	240
20	6419	240
21	6499	240
22	6533	240

Stop Event

1×	node limit

Counts

48 → 26

Calls

Call 1

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

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

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 x (.f64 y (*.f64 3 x)))
✓	0.2b	(.f64 y (.f64 3 x))

Compiler

Compiled 20 to 12 computations (40% saved)

series3.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
0.0ms	y	@	0	(.f64 y (.f64 3 x))
0.0ms	y	@	inf	(.f64 y (.f64 3 x))
0.0ms	x	@	inf	(.f64 y (.f64 3 x))
0.0ms	y	@	-inf	(.f64 y (.f64 3 x))
0.0ms	x	@	-inf	(.f64 y (.f64 3 x))

rewrite58.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

679×	`pow1_binary64`
625×	`add-log-exp_binary64`
625×	`log1p-expm1-u_binary64`
625×	`expm1-log1p-u_binary64`
612×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	143	17
2	1712	17

Stop Event

1×	node limit

Counts

2 → 26

Calls

Call 1

Inputs
(.f64 y (.f64 3 x))
(.f64 x (.f64 y (*.f64 3 x)))

Outputs

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

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

simplify225.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

2020×	`unswap-sqr_binary64`
1080×	`sqr-pow_binary64`
635×	`fabs-mul_binary64`
612×	`pow-sqr_binary64`
610×	`cube-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	408
1	22	408
2	45	408
3	87	408
4	237	408
5	817	408
6	1059	408
7	1473	408
8	1573	408
9	1706	408
10	1878	408
11	2123	408
12	2436	408
13	2806	408
14	3263	408
15	3854	408
16	4564	408
17	5424	408
18	5846	408
19	6160	408
20	6464	408
21	6540	408
22	6574	408

Stop Event

1×	node limit

Counts

74 → 30

Calls

Call 1

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

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

localize14.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 3 (.f64 y (pow.f64 x 2)))
✓	8.1b	(*.f64 y (pow.f64 x 2))

Compiler

Compiled 21 to 14 computations (33.3% saved)

series4.0ms (0.1%)

Counts

2 → 0

Calls

12 calls:

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

rewrite61.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

679×	`pow1_binary64`
626×	`add-log-exp_binary64`
625×	`log1p-expm1-u_binary64`
625×	`expm1-log1p-u_binary64`
613×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	165	17
2	1789	17

Stop Event

1×	node limit

Counts

2 → 24

Calls

Call 1

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

Outputs

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

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

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

24 → 24

Calls

Call 1

Inputs

Outputs

localize63.0ms (1.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 3 (pow.f64 x 2))
✓	8.0b	(.f64 (.f64 3 (pow.f64 x 2)) y)

Compiler

Compiled 21 to 15 computations (28.6% saved)

series2.0ms (0%)

Counts

2 → 24

Calls

9 calls:

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

rewrite101.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

681×	`pow1_binary64`
628×	`add-log-exp_binary64`
627×	`log1p-expm1-u_binary64`
627×	`expm1-log1p-u_binary64`
614×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	165	17
2	1794	17

Stop Event

1×	node limit

Counts

2 → 24

Calls

Call 1

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

Outputs

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

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

simplify203.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

2020×	`unswap-sqr_binary64`
1080×	`sqr-pow_binary64`
640×	`fabs-mul_binary64`
612×	`pow-sqr_binary64`
610×	`cube-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	240
1	17	240
2	37	240
3	79	240
4	221	240
5	742	240
6	1007	240
7	1421	240
8	1521	240
9	1656	240
10	1828	240
11	2073	240
12	2386	240
13	2758	240
14	3212	240
15	3801	240
16	4509	240
17	5369	240
18	5793	240
19	6113	240
20	6419	240
21	6499	240
22	6533	240

Stop Event

1×	node limit

Counts

48 → 26

Calls

Call 1

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

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

localize13.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f64 (*.f64 3 y))
✓	0.1b	(.f64 x (sqrt.f64 (.f64 3 y)))
✓	0.2b	(pow.f64 (.f64 x (sqrt.f64 (.f64 3 y))) 2)

Compiler

Compiled 27 to 19 computations (29.6% saved)

series14.0ms (0.3%)

Counts

3 → 24

Calls

15 calls:

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

rewrite74.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

749×	`pow1_binary64`
693×	`add-log-exp_binary64`
692×	`log1p-expm1-u_binary64`
692×	`expm1-log1p-u_binary64`
675×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	27
1	187	25
2	2042	25

Stop Event

1×	node limit

Counts

3 → 59

Calls

Call 1

Inputs
(pow.f64 (.f64 x (sqrt.f64 (.f64 3 y))) 2)
(.f64 x (sqrt.f64 (.f64 3 y)))
(sqrt.f64 (*.f64 3 y))

Outputs

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

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

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

simplify193.0ms (4%)

Algorithm

1×	egg-herbie

Rules

777×	`fabs-mul_binary64`
763×	`sqr-pow_binary64`
759×	`cube-prod_binary64`
662×	`pow-sqr_binary64`
617×	`unswap-sqr_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	312
1	29	252
2	66	252
3	182	252
4	820	252
5	1251	252
6	2209	252
7	2314	252
8	2470	252
9	2649	252
10	2859	252
11	3136	252
12	3493	252
13	3924	252
14	4495	252
15	5236	252
16	6151	252
17	6675	252
18	7137	252
19	7561	252
20	7813	252
21	7859	252

Stop Event

1×	node limit

Counts

83 → 63

Calls

Call 1

Inputs
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 3) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 3) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 3) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 3) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 3) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 3) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 3) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 3) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 3) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 3) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 3) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 3) x))

Outputs
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (*.f64 x x)))
(.f64 y (.f64 3 (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 y 3))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (*.f64 x x)))
(.f64 y (.f64 3 (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 y 3))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (*.f64 x x)))
(.f64 y (.f64 3 (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 y 3))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (*.f64 x x)))
(.f64 y (.f64 3 (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 y 3))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (*.f64 x x)))
(.f64 y (.f64 3 (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 y 3))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (*.f64 x x)))
(.f64 y (.f64 3 (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 y 3))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (*.f64 x x)))
(.f64 y (.f64 3 (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 y 3))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (*.f64 x x)))
(.f64 y (.f64 3 (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 y 3))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (*.f64 x x)))
(.f64 y (.f64 3 (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 y 3))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (*.f64 x x)))
(.f64 y (.f64 3 (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 y 3))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (*.f64 x x)))
(.f64 y (.f64 3 (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 y 3))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 (sqrt.f64 3) 2) (*.f64 x x)))
(.f64 y (.f64 3 (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 y 3))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 3) x))
(.f64 (sqrt.f64 3) (.f64 x (sqrt.f64 y)))
(.f64 x (.f64 (sqrt.f64 3) (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 3) x))
(.f64 (sqrt.f64 3) (.f64 x (sqrt.f64 y)))
(.f64 x (.f64 (sqrt.f64 3) (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 3) x))
(.f64 (sqrt.f64 3) (.f64 x (sqrt.f64 y)))
(.f64 x (.f64 (sqrt.f64 3) (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 3) x))
(.f64 (sqrt.f64 3) (.f64 x (sqrt.f64 y)))
(.f64 x (.f64 (sqrt.f64 3) (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 3) x))
(.f64 (sqrt.f64 3) (.f64 x (sqrt.f64 y)))
(.f64 x (.f64 (sqrt.f64 3) (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 3) x))
(.f64 (sqrt.f64 3) (.f64 x (sqrt.f64 y)))
(.f64 x (.f64 (sqrt.f64 3) (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 3) x))
(.f64 (sqrt.f64 3) (.f64 x (sqrt.f64 y)))
(.f64 x (.f64 (sqrt.f64 3) (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 3) x))
(.f64 (sqrt.f64 3) (.f64 x (sqrt.f64 y)))
(.f64 x (.f64 (sqrt.f64 3) (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 3) x))
(.f64 (sqrt.f64 3) (.f64 x (sqrt.f64 y)))
(.f64 x (.f64 (sqrt.f64 3) (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 3) x))
(.f64 (sqrt.f64 3) (.f64 x (sqrt.f64 y)))
(.f64 x (.f64 (sqrt.f64 3) (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 3) x))
(.f64 (sqrt.f64 3) (.f64 x (sqrt.f64 y)))
(.f64 x (.f64 (sqrt.f64 3) (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 3) x))
(.f64 (sqrt.f64 3) (.f64 x (sqrt.f64 y)))
(.f64 x (.f64 (sqrt.f64 3) (sqrt.f64 y)))

eval41.0ms (0.8%)

Compiler: Compiled 1762 to 1152 computations (34.6% saved)

prune29.0ms (0.6%)

Pruning

10 alts after pruning (4 fresh and 6 done)

	Pruned	Kept	Total
New	165	4	169
Fresh	2	0	2
Picked	0	1	1
Done	1	5	6
Total	168	10	178

Error

Counts

178 → 10

Alt Table

Click to see full alt table

Status	Error	Program
✓	8.5b	(.f64 (.f64 (*.f64 x 3) x) y)
▶	0.2b	(.f64 (.f64 y x) (*.f64 3 x))
▶	0.9b	(.f64 x (pow.f64 (cbrt.f64 (.f64 y (*.f64 3 x))) 3))
▶	8.5b	(.f64 (.f64 x x) (*.f64 y 3))
✓	8.5b	(.f64 3 (.f64 y (pow.f64 x 2)))
✓	8.5b	(.f64 (.f64 3 (pow.f64 x 2)) y)
✓	0.2b	(.f64 x (.f64 3 (*.f64 y x)))
▶	20.4b	(.f64 (sqrt.f64 (.f64 (pow.f64 x 4) 9)) y)
✓	35.3b	(pow.f64 (.f64 x (sqrt.f64 (.f64 3 y))) 2)
✓	0.3b	(.f64 x (.f64 x (*.f64 3 y)))

Compiler

Compiled 95 to 69 computations (27.4% saved)

localize20.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 x (pow.f64 (cbrt.f64 (.f64 y (*.f64 3 x))) 3))
	0.2b	(.f64 y (.f64 3 x))
✓	0.5b	(pow.f64 (cbrt.f64 (.f64 y (.f64 3 x))) 3)
✓	10.5b	(cbrt.f64 (.f64 y (.f64 3 x)))

Compiler

Compiled 37 to 25 computations (32.4% saved)

series32.0ms (0.7%)

Counts

3 → 24

Calls

18 calls:

Time	Variable		Point	Expression
7.0ms	x	@	0	(.f64 x (pow.f64 (cbrt.f64 (.f64 y (*.f64 3 x))) 3))
3.0ms	x	@	-inf	(.f64 x (pow.f64 (cbrt.f64 (.f64 y (*.f64 3 x))) 3))
3.0ms	y	@	0	(.f64 x (pow.f64 (cbrt.f64 (.f64 y (*.f64 3 x))) 3))
2.0ms	y	@	-inf	(.f64 x (pow.f64 (cbrt.f64 (.f64 y (*.f64 3 x))) 3))
2.0ms	x	@	inf	(.f64 x (pow.f64 (cbrt.f64 (.f64 y (*.f64 3 x))) 3))

rewrite80.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

765×	`pow1_binary64`
713×	`add-log-exp_binary64`
713×	`log1p-expm1-u_binary64`
713×	`expm1-log1p-u_binary64`
696×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	190	26
2	2009	26

Stop Event

1×	node limit

Counts

3 → 76

Calls

Call 1

Inputs
(cbrt.f64 (.f64 y (.f64 3 x)))
(pow.f64 (cbrt.f64 (.f64 y (.f64 3 x))) 3)
(.f64 x (pow.f64 (cbrt.f64 (.f64 y (*.f64 3 x))) 3))

Outputs

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

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

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

simplify172.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

2020×	`unswap-sqr_binary64`
1080×	`sqr-pow_binary64`
640×	`fabs-mul_binary64`
612×	`pow-sqr_binary64`
610×	`cube-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	240
1	17	240
2	37	240
3	79	240
4	221	240
5	742	240
6	1007	240
7	1421	240
8	1521	240
9	1656	240
10	1828	240
11	2073	240
12	2386	240
13	2758	240
14	3212	240
15	3801	240
16	4509	240
17	5369	240
18	5793	240
19	6113	240
20	6419	240
21	6499	240
22	6533	240

Stop Event

1×	node limit

Counts

100 → 78

Calls

Call 1

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

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

localize13.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (pow.f64 x 4) 9)
✓	8.0b	(.f64 (sqrt.f64 (.f64 (pow.f64 x 4) 9)) y)
✓	15.7b	(sqrt.f64 (*.f64 (pow.f64 x 4) 9))

Compiler

Compiled 28 to 21 computations (25% saved)

series4.0ms (0.1%)

Counts

3 → 48

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(*.f64 (pow.f64 x 4) 9)
1.0ms	x	@	inf	(*.f64 (pow.f64 x 4) 9)
0.0ms	x	@	0	(sqrt.f64 (*.f64 (pow.f64 x 4) 9))
0.0ms	x	@	-inf	(*.f64 (pow.f64 x 4) 9)
0.0ms	x	@	0	(.f64 (sqrt.f64 (.f64 (pow.f64 x 4) 9)) y)

rewrite66.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

766×	`pow1_binary64`
712×	`add-log-exp_binary64`
712×	`log1p-expm1-u_binary64`
712×	`expm1-log1p-u_binary64`
695×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	28
1	187	24
2	2034	24

Stop Event

1×	node limit

Counts

3 → 49

Calls

Call 1

Inputs
(sqrt.f64 (*.f64 (pow.f64 x 4) 9))
(.f64 (sqrt.f64 (.f64 (pow.f64 x 4) 9)) y)
(*.f64 (pow.f64 x 4) 9)

Outputs

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

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

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

simplify211.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

1076×	`sqr-pow_binary64`
664×	`pow-sqr_binary64`
620×	`associate-l_binary64`
496×	`cube-prod_binary64`
415×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	408
1	26	408
2	57	408
3	136	408
4	439	408
5	1704	408
6	2504	408
7	2628	408
8	2817	408
9	3028	408
10	3307	408
11	3672	408
12	4129	408
13	4662	408
14	5288	408
15	6041	408
16	6349	408
17	6575	408
18	6771	408
19	6825	408
20	6847	408
21	7681	408

Stop Event

1×	node limit

Counts

97 → 53

Calls

Call 1

Inputs
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))

Outputs
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 (*.f64 y x) x))
(.f64 3 (.f64 x (*.f64 x y)))
(.f64 x (.f64 y (*.f64 3 x)))
(.f64 x (.f64 3 (*.f64 x y)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 (*.f64 y x) x))
(.f64 3 (.f64 x (*.f64 x y)))
(.f64 x (.f64 y (*.f64 3 x)))
(.f64 x (.f64 3 (*.f64 x y)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 (*.f64 y x) x))
(.f64 3 (.f64 x (*.f64 x y)))
(.f64 x (.f64 y (*.f64 3 x)))
(.f64 x (.f64 3 (*.f64 x y)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 (*.f64 y x) x))
(.f64 3 (.f64 x (*.f64 x y)))
(.f64 x (.f64 y (*.f64 3 x)))
(.f64 x (.f64 3 (*.f64 x y)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 (*.f64 y x) x))
(.f64 3 (.f64 x (*.f64 x y)))
(.f64 x (.f64 y (*.f64 3 x)))
(.f64 x (.f64 3 (*.f64 x y)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 (*.f64 y x) x))
(.f64 3 (.f64 x (*.f64 x y)))
(.f64 x (.f64 y (*.f64 3 x)))
(.f64 x (.f64 3 (*.f64 x y)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 (*.f64 y x) x))
(.f64 3 (.f64 x (*.f64 x y)))
(.f64 x (.f64 y (*.f64 3 x)))
(.f64 x (.f64 3 (*.f64 x y)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 (*.f64 y x) x))
(.f64 3 (.f64 x (*.f64 x y)))
(.f64 x (.f64 y (*.f64 3 x)))
(.f64 x (.f64 3 (*.f64 x y)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 (*.f64 y x) x))
(.f64 3 (.f64 x (*.f64 x y)))
(.f64 x (.f64 y (*.f64 3 x)))
(.f64 x (.f64 3 (*.f64 x y)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 (*.f64 y x) x))
(.f64 3 (.f64 x (*.f64 x y)))
(.f64 x (.f64 y (*.f64 3 x)))
(.f64 x (.f64 3 (*.f64 x y)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 (*.f64 y x) x))
(.f64 3 (.f64 x (*.f64 x y)))
(.f64 x (.f64 y (*.f64 3 x)))
(.f64 x (.f64 3 (*.f64 x y)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 (*.f64 y x) x))
(.f64 3 (.f64 x (*.f64 x y)))
(.f64 x (.f64 y (*.f64 3 x)))
(.f64 x (.f64 3 (*.f64 x y)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 (*.f64 y x) x))
(.f64 3 (.f64 x (*.f64 x y)))
(.f64 x (.f64 y (*.f64 3 x)))
(.f64 x (.f64 3 (*.f64 x y)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 (*.f64 y x) x))
(.f64 3 (.f64 x (*.f64 x y)))
(.f64 x (.f64 y (*.f64 3 x)))
(.f64 x (.f64 3 (*.f64 x y)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 (*.f64 y x) x))
(.f64 3 (.f64 x (*.f64 x y)))
(.f64 x (.f64 y (*.f64 3 x)))
(.f64 x (.f64 3 (*.f64 x y)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 (*.f64 y x) x))
(.f64 3 (.f64 x (*.f64 x y)))
(.f64 x (.f64 y (*.f64 3 x)))
(.f64 x (.f64 3 (*.f64 x y)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 (*.f64 y x) x))
(.f64 3 (.f64 x (*.f64 x y)))
(.f64 x (.f64 y (*.f64 3 x)))
(.f64 x (.f64 3 (*.f64 x y)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 (*.f64 y x) x))
(.f64 3 (.f64 x (*.f64 x y)))
(.f64 x (.f64 y (*.f64 3 x)))
(.f64 x (.f64 3 (*.f64 x y)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 (*.f64 y x) x))
(.f64 3 (.f64 x (*.f64 x y)))
(.f64 x (.f64 y (*.f64 3 x)))
(.f64 x (.f64 3 (*.f64 x y)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 (*.f64 y x) x))
(.f64 3 (.f64 x (*.f64 x y)))
(.f64 x (.f64 y (*.f64 3 x)))
(.f64 x (.f64 3 (*.f64 x y)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 (*.f64 y x) x))
(.f64 3 (.f64 x (*.f64 x y)))
(.f64 x (.f64 y (*.f64 3 x)))
(.f64 x (.f64 3 (*.f64 x y)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 (*.f64 y x) x))
(.f64 3 (.f64 x (*.f64 x y)))
(.f64 x (.f64 y (*.f64 3 x)))
(.f64 x (.f64 3 (*.f64 x y)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 (*.f64 y x) x))
(.f64 3 (.f64 x (*.f64 x y)))
(.f64 x (.f64 y (*.f64 3 x)))
(.f64 x (.f64 3 (*.f64 x y)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 (*.f64 y x) x))
(.f64 3 (.f64 x (*.f64 x y)))
(.f64 x (.f64 y (*.f64 3 x)))
(.f64 x (.f64 3 (*.f64 x y)))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	8.1b	(.f64 (.f64 x x) (*.f64 y 3))

Compiler

Compiled 18 to 9 computations (50% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite51.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

648×	`pow1_binary64`
597×	`add-log-exp_binary64`
597×	`log1p-expm1-u_binary64`
597×	`expm1-log1p-u_binary64`
582×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	143	10
2	1683	10

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 (.f64 x x) (*.f64 y 3))

Outputs

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

simplify172.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

2020×	`unswap-sqr_binary64`
1080×	`sqr-pow_binary64`
640×	`fabs-mul_binary64`
612×	`pow-sqr_binary64`
610×	`cube-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	240
1	17	240
2	37	240
3	79	240
4	221	240
5	742	240
6	1007	240
7	1421	240
8	1521	240
9	1656	240
10	1828	240
11	2073	240
12	2386	240
13	2758	240
14	3212	240
15	3801	240
16	4509	240
17	5369	240
18	5793	240
19	6113	240
20	6419	240
21	6499	240
22	6533	240

Stop Event

1×	node limit

Counts

35 → 13

Calls

Call 1

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

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

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 y x) (*.f64 3 x))

Compiler

Compiled 18 to 9 computations (50% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite50.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

678×	`pow1_binary64`
624×	`add-log-exp_binary64`
624×	`log1p-expm1-u_binary64`
624×	`expm1-log1p-u_binary64`
611×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	143	10
2	1708	10

Stop Event

1×	node limit

Counts

1 → 13

Calls

Call 1

Inputs
(.f64 (.f64 y x) (*.f64 3 x))

Outputs

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

simplify173.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

2020×	`unswap-sqr_binary64`
1080×	`sqr-pow_binary64`
640×	`fabs-mul_binary64`
612×	`pow-sqr_binary64`
610×	`cube-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	240
1	17	240
2	37	240
3	79	240
4	221	240
5	742	240
6	1007	240
7	1421	240
8	1521	240
9	1656	240
10	1828	240
11	2073	240
12	2386	240
13	2758	240
14	3212	240
15	3801	240
16	4509	240
17	5369	240
18	5793	240
19	6113	240
20	6419	240
21	6499	240
22	6533	240

Stop Event

1×	node limit

Counts

37 → 15

Calls

Call 1

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

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

eval46.0ms (0.9%)

Compiler: Compiled 2009 to 1391 computations (30.8% saved)

prune27.0ms (0.6%)

Pruning

10 alts after pruning (1 fresh and 9 done)

	Pruned	Kept	Total
New	173	1	174
Fresh	0	0	0
Picked	0	1	1
Done	1	8	9
Total	174	10	184

Error

Counts

184 → 10

Alt Table

Click to see full alt table

Status	Error	Program
✓	8.5b	(.f64 (.f64 (*.f64 x 3) x) y)
✓	0.2b	(.f64 (.f64 y x) (*.f64 3 x))
✓	0.9b	(.f64 x (pow.f64 (cbrt.f64 (.f64 y (*.f64 3 x))) 3))
✓	8.5b	(.f64 (.f64 x x) (*.f64 y 3))
✓	8.5b	(.f64 3 (.f64 y (pow.f64 x 2)))
▶	8.5b	(.f64 (.f64 (*.f64 x x) 3) y)
✓	20.4b	(.f64 (sqrt.f64 (.f64 (pow.f64 x 4) 9)) y)
✓	35.3b	(pow.f64 (.f64 x (sqrt.f64 (.f64 3 y))) 2)
✓	0.3b	(.f64 x (.f64 x (*.f64 3 y)))
✓	0.2b	(.f64 x (.f64 3 (*.f64 y x)))

Compiler

Compiled 95 to 68 computations (28.4% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 x x) 3)
✓	8.0b	(.f64 (.f64 (*.f64 x x) 3) y)

Compiler

Compiled 20 to 9 computations (55% saved)

series2.0ms (0%)

Counts

2 → 36

Calls

9 calls:

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

rewrite60.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

642×	`pow1_binary64`
591×	`add-log-exp_binary64`
591×	`log1p-expm1-u_binary64`
591×	`expm1-log1p-u_binary64`
578×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	143	17
2	1667	17

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

Inputs
(.f64 (.f64 (*.f64 x x) 3) y)
(.f64 (.f64 x x) 3)

Outputs

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

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

simplify184.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

2020×	`unswap-sqr_binary64`
1080×	`sqr-pow_binary64`
640×	`fabs-mul_binary64`
612×	`pow-sqr_binary64`
610×	`cube-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	324
1	19	324
2	41	324
3	91	324
4	255	324
5	825	324
6	1049	324
7	1463	324
8	1563	324
9	1696	324
10	1868	324
11	2109	324
12	2426	324
13	2798	324
14	3253	324
15	3840	324
16	4550	324
17	5410	324
18	5836	324
19	6154	324
20	6462	324
21	6542	324
22	6578	324

Stop Event

1×	node limit

Counts

58 → 26

Calls

Call 1

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

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

eval6.0ms (0.1%)

Compiler: Compiled 238 to 156 computations (34.5% saved)

prune8.0ms (0.2%)

Pruning

10 alts after pruning (0 fresh and 10 done)

	Pruned	Kept	Total
New	26	0	26
Fresh	0	0	0
Picked	0	1	1
Done	0	9	9
Total	26	10	36

Error

Counts

36 → 10

Alt Table

Click to see full alt table

Status	Error	Program
✓	8.5b	(.f64 (.f64 (*.f64 x 3) x) y)
✓	0.2b	(.f64 (.f64 y x) (*.f64 3 x))
✓	0.9b	(.f64 x (pow.f64 (cbrt.f64 (.f64 y (*.f64 3 x))) 3))
✓	8.5b	(.f64 (.f64 x x) (*.f64 y 3))
✓	8.5b	(.f64 3 (.f64 y (pow.f64 x 2)))
✓	8.5b	(.f64 (.f64 (*.f64 x x) 3) y)
✓	20.4b	(.f64 (sqrt.f64 (.f64 (pow.f64 x 4) 9)) y)
✓	35.3b	(pow.f64 (.f64 x (sqrt.f64 (.f64 3 y))) 2)
✓	0.3b	(.f64 x (.f64 x (*.f64 3 y)))
✓	0.2b	(.f64 x (.f64 3 (*.f64 y x)))

Compiler

Compiled 95 to 68 computations (28.4% saved)

regimes35.0ms (0.7%)

Accuracy

Total -53.5b remaining (-22586.8%)

Threshold costs -53.5b (-22586.8%)

Counts

14 → 1

Calls

Call 1

Inputs
(.f64 (.f64 (*.f64 x x) 3) y)
(.f64 (.f64 y x) (*.f64 3 x))
(.f64 (.f64 x x) (*.f64 y 3))
(.f64 x (.f64 y (*.f64 3 x)))
(.f64 x (.f64 3 (*.f64 y x)))
(.f64 x (.f64 x (*.f64 3 y)))
(.f64 (.f64 (*.f64 x 3) x) y)
(.f64 (.f64 3 (pow.f64 x 2)) y)
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (sqrt.f64 (.f64 (pow.f64 x 4) 9)) y)
(pow.f64 (.f64 x (sqrt.f64 (.f64 3 y))) 2)
(.f64 x (pow.f64 (cbrt.f64 (.f64 y (*.f64 3 x))) 3))
(.f64 x (pow.f64 (sqrt.f64 (.f64 x (*.f64 3 y))) 2))
(.f64 x (pow.f64 (cbrt.f64 (.f64 x (*.f64 3 y))) 3))

Outputs
(.f64 (.f64 y x) (*.f64 3 x))

Calls

4 calls:

9.0ms	(.f64 (.f64 (*.f64 x 3) x) y)
9.0ms	y
8.0ms	x
5.0ms	(.f64 (.f64 x 3) x)

Results

Error	Segments	Branch
0.2b	1	`x`
0.2b	1	`y`
0.2b	1	`(.f64 (.f64 (*.f64 x 3) x) y)`
0.2b	1	`(.f64 (.f64 x 3) x)`

Compiler

Compiled 133 to 86 computations (35.3% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	20
1	15	20

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(.f64 (.f64 y x) (*.f64 3 x))
(.f64 (.f64 (*.f64 x x) 3) y)

Outputs
(.f64 (.f64 y x) (*.f64 3 x))
(.f64 (.f64 y x) (*.f64 x 3))
(.f64 (.f64 (*.f64 x x) 3) y)
(.f64 y (.f64 3 (*.f64 x x)))

Compiler

Compiled 18 to 12 computations (33.3% saved)

soundness217.0ms (4.5%)

Algorithm

2×	egg-herbie

Rules

2020×	`unswap-sqr_binary64`
1080×	`sqr-pow_binary64`
640×	`fabs-mul_binary64`
612×	`pow-sqr_binary64`
610×	`cube-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	13	10
2	27	10
3	45	10
4	48	10
0	8	240
1	17	240
2	37	240
3	79	240
4	221	240
5	742	240
6	1007	240
7	1421	240
8	1521	240
9	1656	240
10	1828	240
11	2073	240
12	2386	240
13	2758	240
14	3212	240
15	3801	240
16	4509	240
17	5369	240
18	5793	240
19	6113	240
20	6419	240
21	6499	240
22	6533	240

Stop Event

1×	node limit
1×	saturated

Compiler

Compiled 90 to 61 computations (32.2% saved)

end18.0ms (0.4%)

Compiler: Compiled 16 to 10 computations (37.5% saved)

Details

analyze66.0ms (1.4%)

sample1.2s (24.7%)

preprocess19.0ms (0.4%)

simplify7.0ms (0.2%)

eval1.0ms (0%)

prune1.0ms (0%)

localize8.0ms (0.2%)

series9.0ms (0.2%)

rewrite57.0ms (1.2%)

simplify187.0ms (3.8%)

localize8.0ms (0.2%)

series3.0ms (0.1%)

rewrite58.0ms (1.2%)

simplify184.0ms (3.8%)

eval14.0ms (0.3%)

prune16.0ms (0.3%)

localize9.0ms (0.2%)

series3.0ms (0.1%)

rewrite57.0ms (1.2%)

simplify170.0ms (3.5%)

localize9.0ms (0.2%)

series3.0ms (0.1%)

rewrite58.0ms (1.2%)

simplify225.0ms (4.6%)

localize14.0ms (0.3%)

series4.0ms (0.1%)

rewrite61.0ms (1.2%)

simplify7.0ms (0.2%)

localize63.0ms (1.3%)

series2.0ms (0%)

rewrite101.0ms (2.1%)

simplify203.0ms (4.2%)

localize13.0ms (0.3%)

series14.0ms (0.3%)

rewrite74.0ms (1.5%)

simplify193.0ms (4%)

eval41.0ms (0.8%)

prune29.0ms (0.6%)

localize20.0ms (0.4%)

series32.0ms (0.7%)

rewrite80.0ms (1.6%)

simplify172.0ms (3.5%)

localize13.0ms (0.3%)

series4.0ms (0.1%)

rewrite66.0ms (1.4%)

simplify211.0ms (4.3%)

localize7.0ms (0.1%)

series2.0ms (0%)

rewrite51.0ms (1%)

simplify172.0ms (3.5%)

localize7.0ms (0.1%)

series2.0ms (0%)

rewrite50.0ms (1%)

simplify173.0ms (3.5%)

eval46.0ms (0.9%)

prune27.0ms (0.6%)

localize7.0ms (0.1%)

series2.0ms (0%)

rewrite60.0ms (1.2%)

simplify184.0ms (3.8%)

eval6.0ms (0.1%)

prune8.0ms (0.2%)

regimes35.0ms (0.7%)

simplify5.0ms (0.1%)

soundness217.0ms (4.5%)

end18.0ms (0.4%)

Profiling