Details

analyze182.0ms (3.1%)

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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
28.1%	71.8%	0.1%	9
32.8%	56.2%	11.1%	10
38.2%	49.9%	11.8%	11
46.4%	41.7%	11.8%	12

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample1.1s (19.3%)

Results

985.0ms	8256×	body	256	valid
145.0ms	1464×	body	256	invalid

preprocess15.0ms (0.3%)

Algorithm

2×	egg-herbie

Rules

16×	`fma-def_binary64`
7×	`*-commutative_binary64`
4×	`+-commutative_binary64`
4×	`associate-r_binary64`
4×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	40
1	34	32
2	50	32
3	54	32
0	3	3

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

Inputs
(+.f64 x (.f64 (.f64 y z) z))
(+.f64 y (.f64 (.f64 x z) z))
(+.f64 z (.f64 (.f64 y x) x))
(+.f64 x (.f64 (.f64 z y) y))

Outputs
(+.f64 x (.f64 (.f64 y z) z))
(+.f64 x (.f64 y (.f64 z z)))
(fma.f64 y (*.f64 z z) x)
(+.f64 y (.f64 (.f64 x z) z))
(+.f64 y (.f64 x (.f64 z z)))
(fma.f64 x (*.f64 z z) y)
(+.f64 z (.f64 (.f64 y x) x))
(+.f64 z (.f64 y (.f64 x x)))
(fma.f64 x (*.f64 x y) z)
(+.f64 x (.f64 (.f64 z y) y))
(+.f64 x (.f64 z (.f64 y y)))
(fma.f64 y (*.f64 y z) x)

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`fma-def_binary64`
2×	`*-commutative_binary64`
1×	`+-commutative_binary64`
1×	`associate-r_binary64`
1×	`associate-l_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	12	8
2	16	8
3	17	8

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(+.f64 x (.f64 (.f64 y z) z))

Outputs
(+.f64 x (.f64 (.f64 y z) z))
(+.f64 x (.f64 y (.f64 z z)))
(fma.f64 y (*.f64 z z) x)

eval1.0ms (0%)

Compiler: Compiled 16 to 8 computations (50% 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.0b

Counts

3 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.1b	(+.f64 x (.f64 (.f64 y z) z))
▶	4.1b	(fma.f64 y (*.f64 z z) x)

Compiler

Compiled 19 to 11 computations (42.1% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 y z) z)

Compiler

Compiled 21 to 6 computations (71.4% saved)

series4.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite43.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

471×	`pow1_binary64`
447×	`add-sqr-sqrt_binary64`
442×	`*-un-lft-identity_binary64`
431×	`add-log-exp_binary64`
431×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	99	7
2	1193	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 (.f64 y z) z)

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

Outputs

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

simplify176.0ms (3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

35 → 13

Calls

Call 1

Inputs
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))

Outputs
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	3.9b	(fma.f64 y (*.f64 z z) x)

Compiler

Compiled 15 to 5 computations (66.7% saved)

series3.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

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

rewrite54.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

542×	`pow1_binary64`
516×	`add-sqr-sqrt_binary64`
496×	`add-log-exp_binary64`
496×	`log1p-expm1-u_binary64`
496×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	118	8
2	1388	8

Stop Event

1×	node limit

Counts

1 → 21

Calls

Call 1

Inputs
(fma.f64 y (*.f64 z z) x)

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

Outputs

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

simplify166.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	255
1	16	255
2	28	255
3	52	255
4	117	255
5	352	255
6	1272	255
7	2171	255
8	2335	255
9	2519	255
10	2727	255
11	3024	255
12	3415	255
13	3896	255
14	4462	255
15	5154	255
16	5987	255
17	6383	255
18	6675	255
19	6955	255
20	7027	255
21	7061	255

Stop Event

1×	node limit

Counts

57 → 26

Calls

Call 1

Inputs
x
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(*.f64 y (pow.f64 z 2))
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(*.f64 y (pow.f64 z 2))
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
x
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(*.f64 y (pow.f64 z 2))
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(*.f64 y (pow.f64 z 2))
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(*.f64 y (pow.f64 z 2))
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
x
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
x
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)

Outputs
x
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)
x
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)
x
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)
x
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)
(+.f64 (*.f64 y (pow.f64 z 2)) x)
(fma.f64 y (*.f64 z z) x)

eval7.0ms (0.1%)

Compiler: Compiled 388 to 123 computations (68.3% saved)

prune7.0ms (0.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	36	3	39
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	36	5	41

Error

0.0b

Counts

41 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(+.f64 x (.f64 (.f64 y z) z))
✓	4.1b	(fma.f64 y (*.f64 z z) x)
▶	46.7b	(.f64 y (.f64 z z))
	19.4b	x
▶	17.8b	(+.f64 x (cbrt.f64 (pow.f64 (.f64 y (.f64 z z)) 3)))

Compiler

Compiled 44 to 28 computations (36.4% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	7.6b	(.f64 y (.f64 z z))

Compiler

Compiled 13 to 5 computations (61.5% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite44.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

458×	`pow1_binary64`
435×	`add-sqr-sqrt_binary64`
429×	`*-un-lft-identity_binary64`
421×	`add-log-exp_binary64`
421×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	100	7
2	1207	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 y (.f64 z z))

Outputs

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

simplify177.0ms (3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

35 → 13

Calls

Call 1

Inputs
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))

Outputs
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))

localize27.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(pow.f64 (.f64 y (.f64 z z)) 3)
	7.6b	(.f64 y (.f64 z z))
✓	27.9b	(cbrt.f64 (pow.f64 (.f64 y (.f64 z z)) 3))

Compiler

Compiled 40 to 15 computations (62.5% saved)

series10.0ms (0.2%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
3.0ms	y	@	-inf	(cbrt.f64 (pow.f64 (.f64 y (.f64 z z)) 3))
1.0ms	y	@	0	(pow.f64 (.f64 y (.f64 z z)) 3)
1.0ms	y	@	-inf	(pow.f64 (.f64 y (.f64 z z)) 3)
1.0ms	z	@	0	(pow.f64 (.f64 y (.f64 z z)) 3)
1.0ms	y	@	0	(cbrt.f64 (pow.f64 (.f64 y (.f64 z z)) 3))

rewrite58.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

637×	`pow1_binary64`
597×	`add-log-exp_binary64`
597×	`log1p-expm1-u_binary64`
597×	`expm1-log1p-u_binary64`
578×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	170	17
2	1778	17

Stop Event

1×	node limit

Counts

2 → 60

Calls

Call 1

Inputs
(cbrt.f64 (pow.f64 (.f64 y (.f64 z z)) 3))
(pow.f64 (.f64 y (.f64 z z)) 3)

Outputs

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

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

simplify205.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

711×	`unswap-sqr_binary64`
480×	`associate-l_binary64`
450×	`fma-def_binary64`
441×	`sqr-pow_binary64`
373×	`associate-r_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	436
1	41	436
2	117	436
3	384	436
4	1901	436
5	3555	436
6	4172	436
7	4969	436
8	6312	436
9	7299	436

Stop Event

1×	node limit

Counts

108 → 63

Calls

Call 1

Inputs
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(.f64 -1 (.f64 y (*.f64 (cbrt.f64 -1) (pow.f64 z 2))))
(.f64 -1 (.f64 y (*.f64 (cbrt.f64 -1) (pow.f64 z 2))))
(.f64 -1 (.f64 y (*.f64 (cbrt.f64 -1) (pow.f64 z 2))))
(.f64 -1 (.f64 y (*.f64 (cbrt.f64 -1) (pow.f64 z 2))))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))

Outputs
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 -1 (.f64 y (*.f64 (cbrt.f64 -1) (pow.f64 z 2))))
(neg.f64 (.f64 y (.f64 (*.f64 z z) (cbrt.f64 -1))))
(.f64 y (neg.f64 (.f64 (*.f64 z z) (cbrt.f64 -1))))
(.f64 y (.f64 (*.f64 z z) (neg.f64 (cbrt.f64 -1))))
(.f64 y (.f64 (cbrt.f64 -1) (*.f64 z (neg.f64 z))))
(.f64 y (.f64 z (*.f64 (cbrt.f64 -1) (neg.f64 z))))
(.f64 -1 (.f64 y (*.f64 (cbrt.f64 -1) (pow.f64 z 2))))
(neg.f64 (.f64 y (.f64 (*.f64 z z) (cbrt.f64 -1))))
(.f64 y (neg.f64 (.f64 (*.f64 z z) (cbrt.f64 -1))))
(.f64 y (.f64 (*.f64 z z) (neg.f64 (cbrt.f64 -1))))
(.f64 y (.f64 (cbrt.f64 -1) (*.f64 z (neg.f64 z))))
(.f64 y (.f64 z (*.f64 (cbrt.f64 -1) (neg.f64 z))))
(.f64 -1 (.f64 y (*.f64 (cbrt.f64 -1) (pow.f64 z 2))))
(neg.f64 (.f64 y (.f64 (*.f64 z z) (cbrt.f64 -1))))
(.f64 y (neg.f64 (.f64 (*.f64 z z) (cbrt.f64 -1))))
(.f64 y (.f64 (*.f64 z z) (neg.f64 (cbrt.f64 -1))))
(.f64 y (.f64 (cbrt.f64 -1) (*.f64 z (neg.f64 z))))
(.f64 y (.f64 z (*.f64 (cbrt.f64 -1) (neg.f64 z))))
(.f64 -1 (.f64 y (*.f64 (cbrt.f64 -1) (pow.f64 z 2))))
(neg.f64 (.f64 y (.f64 (*.f64 z z) (cbrt.f64 -1))))
(.f64 y (neg.f64 (.f64 (*.f64 z z) (cbrt.f64 -1))))
(.f64 y (.f64 (*.f64 z z) (neg.f64 (cbrt.f64 -1))))
(.f64 y (.f64 (cbrt.f64 -1) (*.f64 z (neg.f64 z))))
(.f64 y (.f64 z (*.f64 (cbrt.f64 -1) (neg.f64 z))))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))
(*.f64 (pow.f64 y 3) (pow.f64 z 6))

eval45.0ms (0.8%)

Compiler: Compiled 1078 to 481 computations (55.4% saved)

prune19.0ms (0.3%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	84	5	89
Fresh	0	1	1
Picked	1	0	1
Done	0	3	3
Total	85	9	94

Error

Counts

94 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(+.f64 x (.f64 (.f64 y z) z))
▶	61.5b	(sqrt.f64 (.f64 (.f64 y y) (pow.f64 z 4)))
▶	28.3b	(+.f64 x (.f64 (.f64 (*.f64 y z) (sqrt.f64 z)) (sqrt.f64 z)))
▶	43.5b	(.f64 z (.f64 y z))
✓	4.1b	(fma.f64 y (*.f64 z z) x)
✓	46.7b	(.f64 y (.f64 z z))
▶	12.3b	(+.f64 x (.f64 (cbrt.f64 (pow.f64 z 4)) (.f64 (pow.f64 (cbrt.f64 z) 2) y)))
▶	0.4b	(+.f64 x (.f64 (.f64 (*.f64 y z) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z)))
	19.4b	x

Compiler

Compiled 161 to 105 computations (34.8% saved)

localize38.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 (*.f64 y z) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))
✓	0.2b	(.f64 (.f64 y z) (pow.f64 (cbrt.f64 z) 2))
✓	0.5b	(pow.f64 (cbrt.f64 z) 2)
✓	0.6b	(cbrt.f64 z)

Compiler

Compiled 48 to 20 computations (58.3% saved)

series19.0ms (0.3%)

Counts

4 → 36

Calls

18 calls:

Time	Variable		Point	Expression
4.0ms	y	@	0	(.f64 (.f64 y z) (pow.f64 (cbrt.f64 z) 2))
3.0ms	z	@	-inf	(.f64 (.f64 (*.f64 y z) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))
2.0ms	y	@	0	(.f64 (.f64 (*.f64 y z) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))
2.0ms	z	@	0	(.f64 (.f64 (*.f64 y z) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))
1.0ms	z	@	-inf	(pow.f64 (cbrt.f64 z) 2)

rewrite75.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

791×	`pow1_binary64`
729×	`add-log-exp_binary64`
729×	`log1p-expm1-u_binary64`
729×	`expm1-log1p-u_binary64`
711×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	28
1	184	28
2	2098	28

Stop Event

1×	node limit

Counts

4 → 62

Calls

Call 1

Inputs
(cbrt.f64 z)
(pow.f64 (cbrt.f64 z) 2)
(.f64 (.f64 y z) (pow.f64 (cbrt.f64 z) 2))
(.f64 (.f64 (*.f64 y z) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))

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

simplify150.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1156×	`sqr-pow_binary64`
699×	`cube-prod_binary64`
680×	`fabs-mul_binary64`
601×	`pow-sqr_binary64`
368×	`unpow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	276
1	32	276
2	60	276
3	114	276
4	259	276
5	825	276
6	1411	276
7	1596	276
8	1838	276
9	2139	276
10	2553	276
11	3163	276
12	3886	276
13	4781	276
14	5285	276
15	5791	276
16	6225	276
17	6576	276
18	6768	276

Stop Event

1×	node limit

Counts

98 → 66

Calls

Call 1

Inputs
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))

Outputs
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 z (.f64 z y))

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 z (.f64 y z))

Compiler

Compiled 13 to 5 computations (61.5% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite80.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

468×	`pow1_binary64`
444×	`add-sqr-sqrt_binary64`
439×	`*-un-lft-identity_binary64`
428×	`add-log-exp_binary64`
428×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	99	7
2	1182	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 z (.f64 y z))

Outputs

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

simplify211.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

35 → 13

Calls

Call 1

Inputs
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))

Outputs
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))

localize26.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	15.5b	(.f64 (.f64 y y) (pow.f64 z 4))
✓	19.3b	(sqrt.f64 (.f64 (.f64 y y) (pow.f64 z 4)))

Compiler

Compiled 27 to 14 computations (48.1% saved)

series10.0ms (0.2%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
2.0ms	y	@	0	(.f64 (.f64 y y) (pow.f64 z 4))
1.0ms	z	@	0	(.f64 (.f64 y y) (pow.f64 z 4))
1.0ms	y	@	inf	(.f64 (.f64 y y) (pow.f64 z 4))
1.0ms	z	@	inf	(.f64 (.f64 y y) (pow.f64 z 4))
1.0ms	y	@	0	(sqrt.f64 (.f64 (.f64 y y) (pow.f64 z 4)))

rewrite82.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

682×	`pow1_binary64`
631×	`add-log-exp_binary64`
631×	`log1p-expm1-u_binary64`
631×	`expm1-log1p-u_binary64`
612×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	22
1	166	17
2	1877	17

Stop Event

1×	node limit

Counts

2 → 38

Calls

Call 1

Inputs
(sqrt.f64 (.f64 (.f64 y y) (pow.f64 z 4)))
(.f64 (.f64 y y) (pow.f64 z 4))

Outputs

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

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

simplify113.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

784×	`fma-def_binary64`
607×	`unswap-sqr_binary64`
331×	`neg-sub0_binary64`
327×	`fma-neg_binary64`
325×	`neg-mul-1_binary64`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	12	416
1	28	416
2	69	416
3	230	416
4	1246	416
5	2762	392
6	3307	392
7	4061	392
8	5426	392
9	6233	392
10	7300	392

Stop Event

1×	node limit

Counts

86 → 43

Calls

Call 1

Inputs
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(.f64 -1 (.f64 y (pow.f64 z 2)))
(.f64 -1 (.f64 y (pow.f64 z 2)))
(.f64 -1 (.f64 y (pow.f64 z 2)))
(.f64 -1 (.f64 y (pow.f64 z 2)))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(*.f64 (pow.f64 y 2) (pow.f64 z 4))

Outputs
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 -1 (.f64 y (pow.f64 z 2)))
(neg.f64 (.f64 y (.f64 z z)))
(.f64 y (neg.f64 (.f64 z z)))
(.f64 y (.f64 z (neg.f64 z)))
(.f64 (.f64 y z) (neg.f64 z))
(.f64 z (.f64 y (neg.f64 z)))
(.f64 -1 (.f64 y (pow.f64 z 2)))
(neg.f64 (.f64 y (.f64 z z)))
(.f64 y (neg.f64 (.f64 z z)))
(.f64 y (.f64 z (neg.f64 z)))
(.f64 (.f64 y z) (neg.f64 z))
(.f64 z (.f64 y (neg.f64 z)))
(.f64 -1 (.f64 y (pow.f64 z 2)))
(neg.f64 (.f64 y (.f64 z z)))
(.f64 y (neg.f64 (.f64 z z)))
(.f64 y (.f64 z (neg.f64 z)))
(.f64 (.f64 y z) (neg.f64 z))
(.f64 z (.f64 y (neg.f64 z)))
(.f64 -1 (.f64 y (pow.f64 z 2)))
(neg.f64 (.f64 y (.f64 z z)))
(.f64 y (neg.f64 (.f64 z z)))
(.f64 y (.f64 z (neg.f64 z)))
(.f64 (.f64 y z) (neg.f64 z))
(.f64 z (.f64 y (neg.f64 z)))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(.f64 (.f64 y y) (pow.f64 z 4))
(.f64 y (.f64 y (pow.f64 z 4)))
(pow.f64 (*.f64 z (sqrt.f64 y)) 4)
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(.f64 (.f64 y y) (pow.f64 z 4))
(.f64 y (.f64 y (pow.f64 z 4)))
(pow.f64 (*.f64 z (sqrt.f64 y)) 4)
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(.f64 (.f64 y y) (pow.f64 z 4))
(.f64 y (.f64 y (pow.f64 z 4)))
(pow.f64 (*.f64 z (sqrt.f64 y)) 4)
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(.f64 (.f64 y y) (pow.f64 z 4))
(.f64 y (.f64 y (pow.f64 z 4)))
(pow.f64 (*.f64 z (sqrt.f64 y)) 4)
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(.f64 (.f64 y y) (pow.f64 z 4))
(.f64 y (.f64 y (pow.f64 z 4)))
(pow.f64 (*.f64 z (sqrt.f64 y)) 4)
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(.f64 (.f64 y y) (pow.f64 z 4))
(.f64 y (.f64 y (pow.f64 z 4)))
(pow.f64 (*.f64 z (sqrt.f64 y)) 4)
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(.f64 (.f64 y y) (pow.f64 z 4))
(.f64 y (.f64 y (pow.f64 z 4)))
(pow.f64 (*.f64 z (sqrt.f64 y)) 4)
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(.f64 (.f64 y y) (pow.f64 z 4))
(.f64 y (.f64 y (pow.f64 z 4)))
(pow.f64 (*.f64 z (sqrt.f64 y)) 4)
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(.f64 (.f64 y y) (pow.f64 z 4))
(.f64 y (.f64 y (pow.f64 z 4)))
(pow.f64 (*.f64 z (sqrt.f64 y)) 4)
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(.f64 (.f64 y y) (pow.f64 z 4))
(.f64 y (.f64 y (pow.f64 z 4)))
(pow.f64 (*.f64 z (sqrt.f64 y)) 4)
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(.f64 (.f64 y y) (pow.f64 z 4))
(.f64 y (.f64 y (pow.f64 z 4)))
(pow.f64 (*.f64 z (sqrt.f64 y)) 4)
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(.f64 (.f64 y y) (pow.f64 z 4))
(.f64 y (.f64 y (pow.f64 z 4)))
(pow.f64 (*.f64 z (sqrt.f64 y)) 4)
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(.f64 (.f64 y y) (pow.f64 z 4))
(.f64 y (.f64 y (pow.f64 z 4)))
(pow.f64 (*.f64 z (sqrt.f64 y)) 4)
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(.f64 (.f64 y y) (pow.f64 z 4))
(.f64 y (.f64 y (pow.f64 z 4)))
(pow.f64 (*.f64 z (sqrt.f64 y)) 4)
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(.f64 (.f64 y y) (pow.f64 z 4))
(.f64 y (.f64 y (pow.f64 z 4)))
(pow.f64 (*.f64 z (sqrt.f64 y)) 4)
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(.f64 (.f64 y y) (pow.f64 z 4))
(.f64 y (.f64 y (pow.f64 z 4)))
(pow.f64 (*.f64 z (sqrt.f64 y)) 4)
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(.f64 (.f64 y y) (pow.f64 z 4))
(.f64 y (.f64 y (pow.f64 z 4)))
(pow.f64 (*.f64 z (sqrt.f64 y)) 4)
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(.f64 (.f64 y y) (pow.f64 z 4))
(.f64 y (.f64 y (pow.f64 z 4)))
(pow.f64 (*.f64 z (sqrt.f64 y)) 4)
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(.f64 (.f64 y y) (pow.f64 z 4))
(.f64 y (.f64 y (pow.f64 z 4)))
(pow.f64 (*.f64 z (sqrt.f64 y)) 4)
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(.f64 (.f64 y y) (pow.f64 z 4))
(.f64 y (.f64 y (pow.f64 z 4)))
(pow.f64 (*.f64 z (sqrt.f64 y)) 4)
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(.f64 (.f64 y y) (pow.f64 z 4))
(.f64 y (.f64 y (pow.f64 z 4)))
(pow.f64 (*.f64 z (sqrt.f64 y)) 4)
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(.f64 (.f64 y y) (pow.f64 z 4))
(.f64 y (.f64 y (pow.f64 z 4)))
(pow.f64 (*.f64 z (sqrt.f64 y)) 4)
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(.f64 (.f64 y y) (pow.f64 z 4))
(.f64 y (.f64 y (pow.f64 z 4)))
(pow.f64 (*.f64 z (sqrt.f64 y)) 4)
(*.f64 (pow.f64 y 2) (pow.f64 z 4))
(.f64 (.f64 y y) (pow.f64 z 4))
(.f64 y (.f64 y (pow.f64 z 4)))
(pow.f64 (*.f64 z (sqrt.f64 y)) 4)

localize202.0ms (3.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 (*.f64 y z) (sqrt.f64 z)) (sqrt.f64 z))
✓	0.1b	(.f64 (.f64 y z) (sqrt.f64 z))

Compiler

Compiled 37 to 8 computations (78.4% saved)

series11.0ms (0.2%)

Counts

2 → 36

Calls

12 calls:

Time	Variable		Point	Expression
5.0ms	z	@	-inf	(.f64 (.f64 (*.f64 y z) (sqrt.f64 z)) (sqrt.f64 z))
1.0ms	y	@	0	(.f64 (.f64 y z) (sqrt.f64 z))
1.0ms	z	@	-inf	(.f64 (.f64 y z) (sqrt.f64 z))
1.0ms	z	@	0	(.f64 (.f64 y z) (sqrt.f64 z))
1.0ms	z	@	inf	(.f64 (.f64 y z) (sqrt.f64 z))

rewrite189.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

649×	`pow1_binary64`
596×	`add-log-exp_binary64`
596×	`log1p-expm1-u_binary64`
596×	`expm1-log1p-u_binary64`
581×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	16
1	141	14
2	1695	14

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

Inputs
(.f64 (.f64 y z) (sqrt.f64 z))
(.f64 (.f64 (*.f64 y z) (sqrt.f64 z)) (sqrt.f64 z))

Outputs

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

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

simplify92.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

760×	`fma-def_binary64`
525×	`unswap-sqr_binary64`
326×	`distribute-rgt-neg-in_binary64`
321×	`neg-sub0_binary64`
308×	`neg-mul-1_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	15	276
1	39	276
2	101	252
3	290	252
4	1305	252
5	3138	252
6	5725	252
7	7093	252
8	7869	252

Stop Event

1×	node limit

Counts

58 → 27

Calls

Call 1

Inputs
(*.f64 y (sqrt.f64 (pow.f64 z 3)))
(*.f64 y (sqrt.f64 (pow.f64 z 3)))
(*.f64 y (sqrt.f64 (pow.f64 z 3)))
(*.f64 y (sqrt.f64 (pow.f64 z 3)))
(*.f64 y (sqrt.f64 (pow.f64 z 3)))
(*.f64 y (sqrt.f64 (pow.f64 z 3)))
(*.f64 y (sqrt.f64 (pow.f64 z 3)))
(*.f64 y (sqrt.f64 (pow.f64 z 3)))
(*.f64 y (sqrt.f64 (pow.f64 z 3)))
(*.f64 y (sqrt.f64 (pow.f64 z 3)))
(*.f64 y (sqrt.f64 (pow.f64 z 3)))
(*.f64 y (sqrt.f64 (pow.f64 z 3)))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 y (pow.f64 z 2))))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 y (pow.f64 z 2))))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 y (pow.f64 z 2))))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 y (pow.f64 z 2))))

Outputs
(*.f64 y (sqrt.f64 (pow.f64 z 3)))
(*.f64 y (pow.f64 z 3/2))
(*.f64 y (sqrt.f64 (pow.f64 z 3)))
(*.f64 y (pow.f64 z 3/2))
(*.f64 y (sqrt.f64 (pow.f64 z 3)))
(*.f64 y (pow.f64 z 3/2))
(*.f64 y (sqrt.f64 (pow.f64 z 3)))
(*.f64 y (pow.f64 z 3/2))
(*.f64 y (sqrt.f64 (pow.f64 z 3)))
(*.f64 y (pow.f64 z 3/2))
(*.f64 y (sqrt.f64 (pow.f64 z 3)))
(*.f64 y (pow.f64 z 3/2))
(*.f64 y (sqrt.f64 (pow.f64 z 3)))
(*.f64 y (pow.f64 z 3/2))
(*.f64 y (sqrt.f64 (pow.f64 z 3)))
(*.f64 y (pow.f64 z 3/2))
(*.f64 y (sqrt.f64 (pow.f64 z 3)))
(*.f64 y (pow.f64 z 3/2))
(*.f64 y (sqrt.f64 (pow.f64 z 3)))
(*.f64 y (pow.f64 z 3/2))
(*.f64 y (sqrt.f64 (pow.f64 z 3)))
(*.f64 y (pow.f64 z 3/2))
(*.f64 y (sqrt.f64 (pow.f64 z 3)))
(*.f64 y (pow.f64 z 3/2))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 y (pow.f64 z 2))))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 y (pow.f64 z 2))))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 y (pow.f64 z 2))))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 y (pow.f64 z 2))))
(.f64 y (.f64 z z))
(.f64 (.f64 y z) z)

localize36.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(pow.f64 (cbrt.f64 z) 2)
	0.6b	(cbrt.f64 z)
✓	2.0b	(.f64 (cbrt.f64 (pow.f64 z 4)) (.f64 (pow.f64 (cbrt.f64 z) 2) y))
✓	28.1b	(cbrt.f64 (pow.f64 z 4))

Compiler

Compiled 51 to 31 computations (39.2% saved)

series4.0ms (0.1%)

Counts

2 → 24

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	z	@	-inf	(.f64 (cbrt.f64 (pow.f64 z 4)) (.f64 (pow.f64 (cbrt.f64 z) 2) y))
1.0ms	z	@	0	(cbrt.f64 (pow.f64 z 4))
0.0ms	z	@	inf	(cbrt.f64 (pow.f64 z 4))
0.0ms	z	@	-inf	(cbrt.f64 (pow.f64 z 4))
0.0ms	y	@	inf	(.f64 (cbrt.f64 (pow.f64 z 4)) (.f64 (pow.f64 (cbrt.f64 z) 2) y))

rewrite60.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

846×	`pow1_binary64`
782×	`add-log-exp_binary64`
782×	`log1p-expm1-u_binary64`
782×	`expm1-log1p-u_binary64`
760×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	23
1	222	13
2	2434	13

Stop Event

1×	node limit

Counts

2 → 36

Calls

Call 1

Inputs
(cbrt.f64 (pow.f64 z 4))
(.f64 (cbrt.f64 (pow.f64 z 4)) (.f64 (pow.f64 (cbrt.f64 z) 2) y))

Outputs

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

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

simplify174.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

900×	`unswap-sqr_binary64`
743×	`cube-prod_binary64`
705×	`fabs-mul_binary64`
700×	`sqr-pow_binary64`
336×	`pow-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	200
1	24	200
2	58	200
3	186	200
4	863	200
5	1428	200
6	1494	200
7	1594	200
8	1714	200
9	1836	200
10	1983	200
11	3443	200
12	3672	200
13	3970	200
14	4304	200
15	4715	200
16	5333	200
17	6101	200
18	6598	200
19	6980	200
20	7410	200
21	7812	200

Stop Event

1×	node limit

Counts

60 → 40

Calls

Call 1

Inputs
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 z 2)))
(.f64 y (.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 z 2)))
(.f64 y (.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 z 2)))
(.f64 y (.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 z 2)))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))

Outputs
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 y (.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 z 2)))
(.f64 (.f64 y (pow.f64 (cbrt.f64 -1) 2)) (*.f64 z z))
(.f64 y (.f64 (*.f64 (pow.f64 (cbrt.f64 -1) 2) z) z))
(.f64 y (.f64 (*.f64 z z) (pow.f64 (cbrt.f64 -1) 2)))
(.f64 y (.f64 z (*.f64 z (pow.f64 (cbrt.f64 -1) 2))))
(.f64 (.f64 y (*.f64 z z)) (pow.f64 (cbrt.f64 -1) 2))
(.f64 y (.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 z 2)))
(.f64 (.f64 y (pow.f64 (cbrt.f64 -1) 2)) (*.f64 z z))
(.f64 y (.f64 (*.f64 (pow.f64 (cbrt.f64 -1) 2) z) z))
(.f64 y (.f64 (*.f64 z z) (pow.f64 (cbrt.f64 -1) 2)))
(.f64 y (.f64 z (*.f64 z (pow.f64 (cbrt.f64 -1) 2))))
(.f64 (.f64 y (*.f64 z z)) (pow.f64 (cbrt.f64 -1) 2))
(.f64 y (.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 z 2)))
(.f64 (.f64 y (pow.f64 (cbrt.f64 -1) 2)) (*.f64 z z))
(.f64 y (.f64 (*.f64 (pow.f64 (cbrt.f64 -1) 2) z) z))
(.f64 y (.f64 (*.f64 z z) (pow.f64 (cbrt.f64 -1) 2)))
(.f64 y (.f64 z (*.f64 z (pow.f64 (cbrt.f64 -1) 2))))
(.f64 (.f64 y (*.f64 z z)) (pow.f64 (cbrt.f64 -1) 2))
(.f64 y (.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 z 2)))
(.f64 (.f64 y (pow.f64 (cbrt.f64 -1) 2)) (*.f64 z z))
(.f64 y (.f64 (*.f64 (pow.f64 (cbrt.f64 -1) 2) z) z))
(.f64 y (.f64 (*.f64 z z) (pow.f64 (cbrt.f64 -1) 2)))
(.f64 y (.f64 z (*.f64 z (pow.f64 (cbrt.f64 -1) 2))))
(.f64 (.f64 y (*.f64 z z)) (pow.f64 (cbrt.f64 -1) 2))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))

eval107.0ms (1.8%)

Compiler: Compiled 3251 to 1601 computations (50.8% saved)

prune174.0ms (2.9%)

Pruning

9 alts after pruning (4 fresh and 5 done)

	Pruned	Kept	Total
New	242	3	245
Fresh	0	1	1
Picked	1	0	1
Done	2	5	7
Total	245	9	254

Error

Counts

254 → 9

Alt Table

Click to see full alt table

Status	Error	Program
▶	43.9b	(pow.f64 (cbrt.f64 (.f64 z (.f64 z y))) 3)
✓	0.1b	(+.f64 x (.f64 (.f64 y z) z))
✓	61.5b	(sqrt.f64 (.f64 (.f64 y y) (pow.f64 z 4)))
▶	14.5b	(+.f64 x (.f64 (.f64 (cbrt.f64 (pow.f64 z 5)) y) (cbrt.f64 z)))
	19.4b	x
▶	4.2b	(+.f64 x (.f64 (.f64 (.f64 y z) (cbrt.f64 (.f64 z z))) (cbrt.f64 z)))
✓	4.1b	(fma.f64 y (*.f64 z z) x)
✓	46.7b	(.f64 y (.f64 z z))
✓	43.5b	(.f64 z (.f64 y z))

Compiler

Compiled 91 to 60 computations (34.1% saved)

localize65.0ms (1.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 (cbrt.f64 (pow.f64 z 5)) y) (cbrt.f64 z))
	0.6b	(cbrt.f64 z)
✓	5.6b	(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
✓	25.9b	(cbrt.f64 (pow.f64 z 5))

Compiler

Compiled 42 to 25 computations (40.5% saved)

series13.0ms (0.2%)

Counts

3 → 36

Calls

15 calls:

Time	Variable		Point	Expression
3.0ms	y	@	0	(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
1.0ms	z	@	-inf	(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
1.0ms	z	@	-inf	(cbrt.f64 (pow.f64 z 5))
1.0ms	z	@	0	(cbrt.f64 (pow.f64 z 5))
1.0ms	y	@	inf	(*.f64 (cbrt.f64 (pow.f64 z 5)) y)

rewrite136.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

809×	`pow1_binary64`
754×	`add-log-exp_binary64`
754×	`log1p-expm1-u_binary64`
754×	`expm1-log1p-u_binary64`
733×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	29
1	182	29
2	2093	29

Stop Event

1×	node limit

Counts

3 → 45

Calls

Call 1

Inputs
(cbrt.f64 (pow.f64 z 5))
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(.f64 (.f64 (cbrt.f64 (pow.f64 z 5)) y) (cbrt.f64 z))

Outputs

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

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

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

simplify192.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

2050×	`unswap-sqr_binary64`
1204×	`sqr-pow_binary64`
582×	`pow-sqr_binary64`
484×	`cube-prod_binary64`
437×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	308
1	44	308
2	95	308
3	254	308
4	1015	308
5	1658	308
6	1759	308
7	1912	308
8	2112	308
9	2335	308
10	2618	308
11	2967	308
12	3376	308
13	3887	308
14	4496	308
15	4758	308
16	5004	308
17	5202	308
18	5368	308
19	5490	308
20	6270	308

Stop Event

1×	node limit

Counts

81 → 51

Calls

Call 1

Inputs
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 z 2)))
(.f64 y (.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 z 2)))
(.f64 y (.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 z 2)))
(.f64 y (.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 z 2)))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))

Outputs
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(*.f64 y (cbrt.f64 (pow.f64 z 5)))
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(*.f64 y (cbrt.f64 (pow.f64 z 5)))
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(*.f64 y (cbrt.f64 (pow.f64 z 5)))
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(*.f64 y (cbrt.f64 (pow.f64 z 5)))
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(*.f64 y (cbrt.f64 (pow.f64 z 5)))
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(*.f64 y (cbrt.f64 (pow.f64 z 5)))
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(*.f64 y (cbrt.f64 (pow.f64 z 5)))
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(*.f64 y (cbrt.f64 (pow.f64 z 5)))
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(*.f64 y (cbrt.f64 (pow.f64 z 5)))
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(*.f64 y (cbrt.f64 (pow.f64 z 5)))
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(*.f64 y (cbrt.f64 (pow.f64 z 5)))
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(*.f64 y (cbrt.f64 (pow.f64 z 5)))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(.f64 y (.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 z 2)))
(.f64 y (.f64 (*.f64 z z) (pow.f64 (cbrt.f64 -1) 2)))
(.f64 y (.f64 (*.f64 (pow.f64 (cbrt.f64 -1) 2) z) z))
(.f64 y (.f64 z (*.f64 z (pow.f64 (cbrt.f64 -1) 2))))
(.f64 (.f64 z (*.f64 z y)) (pow.f64 (cbrt.f64 -1) 2))
(.f64 (.f64 z z) (*.f64 y (pow.f64 (cbrt.f64 -1) 2)))
(.f64 z (.f64 (pow.f64 (cbrt.f64 -1) 2) (*.f64 z y)))
(.f64 y (.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 z 2)))
(.f64 y (.f64 (*.f64 z z) (pow.f64 (cbrt.f64 -1) 2)))
(.f64 y (.f64 (*.f64 (pow.f64 (cbrt.f64 -1) 2) z) z))
(.f64 y (.f64 z (*.f64 z (pow.f64 (cbrt.f64 -1) 2))))
(.f64 (.f64 z (*.f64 z y)) (pow.f64 (cbrt.f64 -1) 2))
(.f64 (.f64 z z) (*.f64 y (pow.f64 (cbrt.f64 -1) 2)))
(.f64 z (.f64 (pow.f64 (cbrt.f64 -1) 2) (*.f64 z y)))
(.f64 y (.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 z 2)))
(.f64 y (.f64 (*.f64 z z) (pow.f64 (cbrt.f64 -1) 2)))
(.f64 y (.f64 (*.f64 (pow.f64 (cbrt.f64 -1) 2) z) z))
(.f64 y (.f64 z (*.f64 z (pow.f64 (cbrt.f64 -1) 2))))
(.f64 (.f64 z (*.f64 z y)) (pow.f64 (cbrt.f64 -1) 2))
(.f64 (.f64 z z) (*.f64 y (pow.f64 (cbrt.f64 -1) 2)))
(.f64 z (.f64 (pow.f64 (cbrt.f64 -1) 2) (*.f64 z y)))
(.f64 y (.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 z 2)))
(.f64 y (.f64 (*.f64 z z) (pow.f64 (cbrt.f64 -1) 2)))
(.f64 y (.f64 (*.f64 (pow.f64 (cbrt.f64 -1) 2) z) z))
(.f64 y (.f64 z (*.f64 z (pow.f64 (cbrt.f64 -1) 2))))
(.f64 (.f64 z (*.f64 z y)) (pow.f64 (cbrt.f64 -1) 2))
(.f64 (.f64 z z) (*.f64 y (pow.f64 (cbrt.f64 -1) 2)))
(.f64 z (.f64 (pow.f64 (cbrt.f64 -1) 2) (*.f64 z y)))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 (.f64 y z) (cbrt.f64 (.f64 z z))) (cbrt.f64 z))
✓	0.2b	(.f64 (.f64 y z) (cbrt.f64 (*.f64 z z)))
	0.6b	(cbrt.f64 z)
✓	23.9b	(cbrt.f64 (*.f64 z z))

Compiler

Compiled 50 to 10 computations (80% saved)

series6.0ms (0.1%)

Counts

3 → 36

Calls

15 calls:

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

rewrite101.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

780×	`pow1_binary64`
718×	`add-log-exp_binary64`
718×	`log1p-expm1-u_binary64`
718×	`expm1-log1p-u_binary64`
697×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	178	25
2	2077	25

Stop Event

1×	node limit

Counts

3 → 48

Calls

Call 1

Inputs
(cbrt.f64 (*.f64 z z))
(.f64 (.f64 y z) (cbrt.f64 (*.f64 z z)))
(.f64 (.f64 (.f64 y z) (cbrt.f64 (.f64 z z))) (cbrt.f64 z))

Outputs

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

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

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

simplify119.0ms (2%)

Algorithm

1×	egg-herbie

Rules

548×	`fma-def_binary64`
510×	`fma-neg_binary64`
474×	`unswap-sqr_binary64`
458×	`distribute-rgt-neg-in_binary64`
414×	`sqr-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	304
1	45	304
2	108	304
3	279	304
4	803	304
5	1308	304
6	1972	304
7	3242	304
8	4366	304
9	5195	304
10	5915	304
11	6828	304

Stop Event

1×	node limit

Counts

84 → 54

Calls

Call 1

Inputs
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(.f64 -1 (.f64 y (*.f64 (cbrt.f64 -1) (pow.f64 z 2))))
(.f64 -1 (.f64 y (*.f64 (cbrt.f64 -1) (pow.f64 z 2))))
(.f64 -1 (.f64 y (*.f64 (cbrt.f64 -1) (pow.f64 z 2))))
(.f64 -1 (.f64 y (*.f64 (cbrt.f64 -1) (pow.f64 z 2))))

Outputs
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(.f64 (pow.f64 (.f64 1 (pow.f64 z 5)) 1/3) y)
(*.f64 (cbrt.f64 (pow.f64 z 5)) y)
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 z y))
(.f64 -1 (.f64 y (*.f64 (cbrt.f64 -1) (pow.f64 z 2))))
(neg.f64 (.f64 (.f64 y (cbrt.f64 -1)) (*.f64 z z)))
(.f64 y (neg.f64 (.f64 z (*.f64 z (cbrt.f64 -1)))))
(neg.f64 (.f64 z (.f64 (*.f64 z y) (cbrt.f64 -1))))
(.f64 z (.f64 z (*.f64 (cbrt.f64 -1) (neg.f64 y))))
(.f64 z (.f64 (cbrt.f64 -1) (*.f64 z (neg.f64 y))))
(.f64 z (.f64 z (*.f64 y (neg.f64 (cbrt.f64 -1)))))
(.f64 -1 (.f64 y (*.f64 (cbrt.f64 -1) (pow.f64 z 2))))
(neg.f64 (.f64 (.f64 y (cbrt.f64 -1)) (*.f64 z z)))
(.f64 y (neg.f64 (.f64 z (*.f64 z (cbrt.f64 -1)))))
(neg.f64 (.f64 z (.f64 (*.f64 z y) (cbrt.f64 -1))))
(.f64 z (.f64 z (*.f64 (cbrt.f64 -1) (neg.f64 y))))
(.f64 z (.f64 (cbrt.f64 -1) (*.f64 z (neg.f64 y))))
(.f64 z (.f64 z (*.f64 y (neg.f64 (cbrt.f64 -1)))))
(.f64 -1 (.f64 y (*.f64 (cbrt.f64 -1) (pow.f64 z 2))))
(neg.f64 (.f64 (.f64 y (cbrt.f64 -1)) (*.f64 z z)))
(.f64 y (neg.f64 (.f64 z (*.f64 z (cbrt.f64 -1)))))
(neg.f64 (.f64 z (.f64 (*.f64 z y) (cbrt.f64 -1))))
(.f64 z (.f64 z (*.f64 (cbrt.f64 -1) (neg.f64 y))))
(.f64 z (.f64 (cbrt.f64 -1) (*.f64 z (neg.f64 y))))
(.f64 z (.f64 z (*.f64 y (neg.f64 (cbrt.f64 -1)))))
(.f64 -1 (.f64 y (*.f64 (cbrt.f64 -1) (pow.f64 z 2))))
(neg.f64 (.f64 (.f64 y (cbrt.f64 -1)) (*.f64 z z)))
(.f64 y (neg.f64 (.f64 z (*.f64 z (cbrt.f64 -1)))))
(neg.f64 (.f64 z (.f64 (*.f64 z y) (cbrt.f64 -1))))
(.f64 z (.f64 z (*.f64 (cbrt.f64 -1) (neg.f64 y))))
(.f64 z (.f64 (cbrt.f64 -1) (*.f64 z (neg.f64 y))))
(.f64 z (.f64 z (*.f64 y (neg.f64 (cbrt.f64 -1)))))

localize10.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 z (.f64 z y))
✓	0.5b	(pow.f64 (cbrt.f64 (.f64 z (.f64 z y))) 3)
✓	21.7b	(cbrt.f64 (.f64 z (.f64 z y)))

Compiler

Compiled 28 to 9 computations (67.9% saved)

series9.0ms (0.2%)

Counts

3 → 24

Calls

18 calls:

Time	Variable		Point	Expression
1.0ms	y	@	-inf	(pow.f64 (cbrt.f64 (.f64 z (.f64 z y))) 3)
1.0ms	z	@	0	(pow.f64 (cbrt.f64 (.f64 z (.f64 z y))) 3)
1.0ms	y	@	inf	(pow.f64 (cbrt.f64 (.f64 z (.f64 z y))) 3)
1.0ms	z	@	inf	(pow.f64 (cbrt.f64 (.f64 z (.f64 z y))) 3)
1.0ms	y	@	-inf	(cbrt.f64 (.f64 z (.f64 z y)))

rewrite91.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

648×	`pow1_binary64`
606×	`add-log-exp_binary64`
606×	`log1p-expm1-u_binary64`
606×	`expm1-log1p-u_binary64`
591×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	23
1	168	23
2	1720	23

Stop Event

1×	node limit

Counts

3 → 75

Calls

Call 1

Inputs
(cbrt.f64 (.f64 z (.f64 z y)))
(pow.f64 (cbrt.f64 (.f64 z (.f64 z y))) 3)
(.f64 z (.f64 z y))

Outputs

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

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

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

simplify202.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

99 → 68

Calls

Call 1

Inputs
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))
(*.f64 y (pow.f64 z 2))

Outputs
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))
(*.f64 y (pow.f64 z 2))
(.f64 y (.f64 z z))
(.f64 z (.f64 y z))

eval51.0ms (0.9%)

Compiler: Compiled 2858 to 1254 computations (56.1% saved)

prune69.0ms (1.2%)

Pruning

9 alts after pruning (2 fresh and 7 done)

	Pruned	Kept	Total
New	212	1	213
Fresh	0	1	1
Picked	0	1	1
Done	1	6	7
Total	213	9	222

Error

Counts

222 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	43.9b	(pow.f64 (cbrt.f64 (.f64 z (.f64 z y))) 3)
✓	0.1b	(+.f64 x (.f64 (.f64 y z) z))
✓	61.5b	(sqrt.f64 (.f64 (.f64 y y) (pow.f64 z 4)))
	52.4b	(.f64 (.f64 z (sqrt.f64 (.f64 z y))) (sqrt.f64 (.f64 z y)))
✓	43.5b	(.f64 z (.f64 y z))
✓	4.2b	(+.f64 x (.f64 (.f64 (.f64 y z) (cbrt.f64 (.f64 z z))) (cbrt.f64 z)))
✓	4.1b	(fma.f64 y (*.f64 z z) x)
✓	46.7b	(.f64 y (.f64 z z))
	19.4b	x

Compiler

Compiled 91 to 57 computations (37.4% saved)

regimes47.0ms (0.8%)

Counts

14 → 1

Calls

Call 1

Inputs
x
(.f64 z (.f64 y z))
(.f64 y (.f64 z z))
(+.f64 x (.f64 (.f64 y z) z))
(fma.f64 y (*.f64 z z) x)
(pow.f64 (cbrt.f64 (.f64 z (.f64 z y))) 3)
(sqrt.f64 (.f64 (.f64 y y) (pow.f64 z 4)))
(+.f64 x (cbrt.f64 (pow.f64 (.f64 y (.f64 z z)) 3)))
(.f64 (.f64 z (sqrt.f64 (.f64 z y))) (sqrt.f64 (.f64 z y)))
(+.f64 x (.f64 (.f64 (*.f64 y z) (sqrt.f64 z)) (sqrt.f64 z)))
(+.f64 x (.f64 (.f64 (.f64 y z) (cbrt.f64 (.f64 z z))) (cbrt.f64 z)))
(+.f64 x (.f64 (.f64 (cbrt.f64 (pow.f64 z 5)) y) (cbrt.f64 z)))
(+.f64 x (.f64 (.f64 (*.f64 y z) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z)))
(+.f64 x (.f64 (cbrt.f64 (pow.f64 z 4)) (.f64 (pow.f64 (cbrt.f64 z) 2) y)))

Outputs
(+.f64 x (.f64 (.f64 y z) z))

Calls

5 calls:

11.0ms	(+.f64 x (.f64 (.f64 y z) z))
9.0ms	x
8.0ms	y
8.0ms	z
6.0ms	(.f64 (.f64 y z) z)

Results

Error	Segments	Branch
0.1b	1	`x`
0.1b	1	`y`
0.1b	1	`z`
0.1b	1	`(+.f64 x (.f64 (.f64 y z) z))`
0.1b	1	`(.f64 (.f64 y z) z)`

Compiler

Compiled 155 to 75 computations (51.6% saved)

regimes77.0ms (1.3%)

Accuracy

Total -49.8b remaining (-412.4%)

Threshold costs -49.8b (-412.4%)

Counts

3 → 5

Calls

Call 1

Inputs
x
(.f64 z (.f64 y z))
(.f64 y (.f64 z z))

Outputs
(.f64 z (.f64 y z))
x
(.f64 z (.f64 y z))
x
(.f64 z (.f64 y z))

Calls

3 calls:

18.0ms	z
16.0ms	x
14.0ms	y

Results

Error	Segments	Branch
16.4b	3	`x`
16.9b	4	`y`
12.1b	5	`z`

Compiler

Compiled 26 to 16 computations (38.5% saved)

bsearch335.0ms (5.6%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
75.0ms	4.0686056553062186e+106	8.254184277765864e+114
100.0ms	7.04482856020915e+21	8.992299705261546e+30
33.0ms	1.0628008744865694e-41	8.629657847694332e-39
127.0ms	-1.2500675112088352e+54	-3.804214522296073e+52

Compiler

Compiled 254 to 181 computations (28.7% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	58
1	24	58

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs

(+.f64 x (*.f64 (*.f64 y z) z))

(if (<=.f64 z -1250000000000000012793833775510688937038048516915593216) (*.f64 z (*.f64 y z)) (if (<=.f64 z 4169568258506329/392318858461667547739736838950479151006397215279002157056) x (if (<=.f64 z 252634075519833576161935360) (*.f64 z (*.f64 y z)) (if (<=.f64 z 8000000000000000124475329035734744194145611175368491466958164643446670249318045626119883119320379581409650246942720) x (*.f64 z (*.f64 y z))))))

Outputs
(+.f64 x (.f64 (.f64 y z) z))
(+.f64 x (.f64 z (.f64 y z)))
(if (<=.f64 z -1250000000000000012793833775510688937038048516915593216) (.f64 z (.f64 y z)) (if (<=.f64 z 4169568258506329/392318858461667547739736838950479151006397215279002157056) x (if (<=.f64 z 252634075519833576161935360) (.f64 z (.f64 y z)) (if (<=.f64 z 8000000000000000124475329035734744194145611175368491466958164643446670249318045626119883119320379581409650246942720) x (.f64 z (.f64 y z))))))
x

Compiler

Compiled 50 to 26 computations (48% saved)

soundness0.0ms (0%)

end114.0ms (1.9%)

Compiler: Compiled 44 to 18 computations (59.1% saved)

Details

analyze182.0ms (3.1%)

sample1.1s (19.3%)

preprocess15.0ms (0.3%)

simplify8.0ms (0.1%)

eval1.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.1%)

series4.0ms (0.1%)

rewrite43.0ms (0.7%)

simplify176.0ms (3%)

localize7.0ms (0.1%)

series3.0ms (0.1%)

rewrite54.0ms (0.9%)

simplify166.0ms (2.8%)

eval7.0ms (0.1%)

prune7.0ms (0.1%)

localize5.0ms (0.1%)

series2.0ms (0%)

rewrite44.0ms (0.7%)

simplify177.0ms (3%)

localize27.0ms (0.4%)

series10.0ms (0.2%)

rewrite58.0ms (1%)

simplify205.0ms (3.5%)

eval45.0ms (0.8%)

prune19.0ms (0.3%)

localize38.0ms (0.6%)

series19.0ms (0.3%)

rewrite75.0ms (1.3%)

simplify150.0ms (2.5%)

localize5.0ms (0.1%)

series2.0ms (0%)

rewrite80.0ms (1.3%)

simplify211.0ms (3.6%)

localize26.0ms (0.4%)

series10.0ms (0.2%)

rewrite82.0ms (1.4%)

simplify113.0ms (1.9%)

localize202.0ms (3.4%)

series11.0ms (0.2%)

rewrite189.0ms (3.2%)

simplify92.0ms (1.5%)

localize36.0ms (0.6%)

series4.0ms (0.1%)

rewrite60.0ms (1%)

simplify174.0ms (2.9%)

eval107.0ms (1.8%)

prune174.0ms (2.9%)

localize65.0ms (1.1%)

series13.0ms (0.2%)

rewrite136.0ms (2.3%)

simplify192.0ms (3.2%)

localize15.0ms (0.2%)

series6.0ms (0.1%)

rewrite101.0ms (1.7%)

simplify119.0ms (2%)

localize10.0ms (0.2%)

series9.0ms (0.2%)

rewrite91.0ms (1.5%)

simplify202.0ms (3.4%)

eval51.0ms (0.9%)

prune69.0ms (1.2%)

regimes47.0ms (0.8%)

regimes77.0ms (1.3%)

bsearch335.0ms (5.6%)

simplify7.0ms (0.1%)

soundness0.0ms (0%)

end114.0ms (1.9%)

Profiling