Details

analyze55.0ms (2.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
18.7%	81.2%	0.1%	5
46.8%	53.1%	0.1%	6
56.2%	43.7%	0.1%	7
71%	28.9%	0.1%	8
76.5%	23.4%	0.1%	9
84.9%	15%	0.1%	10
87.8%	12.1%	0.1%	11
92.2%	7.7%	0.1%	12

Compiler

Compiled 10 to 7 computations (30% saved)

sample792.0ms (34.4%)

Results

779.0ms

8256×

body

256

valid

preprocess19.0ms (0.8%)

Algorithm

2×	egg-herbie

Rules

6×	`*-commutative_binary64`
4×	`associate-/l*_binary64`
4×	`associate-/r/_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	20
1	18	20
2	26	20
3	31	20
4	33	20
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(/.f64 (*.f64 x 100) (+.f64 x y))
(/.f64 (*.f64 y 100) (+.f64 y x))

Outputs
(/.f64 (*.f64 x 100) (+.f64 x y))
(/.f64 x (/.f64 (+.f64 x y) 100))
(*.f64 (/.f64 x (+.f64 x y)) 100)
(*.f64 100 (/.f64 x (+.f64 x y)))
(/.f64 (*.f64 y 100) (+.f64 y x))
(/.f64 y (/.f64 (+.f64 x y) 100))
(*.f64 (/.f64 y (+.f64 x y)) 100)
(*.f64 100 (/.f64 y (+.f64 x y)))

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify8.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
2×	`associate-/r/_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	11	10
2	15	10
3	18	10
4	19	10

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(/.f64 (*.f64 x 100) (+.f64 x y))

Outputs
(/.f64 (*.f64 x 100) (+.f64 x y))
(/.f64 x (/.f64 (+.f64 x y) 100))
(*.f64 (/.f64 100 (+.f64 x y)) x)
(*.f64 x (/.f64 100 (+.f64 x y)))

eval1.0ms (0%)

Compiler: Compiled 16 to 9 computations (43.8% saved)

prune1.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.1b

Counts

3 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.2b	(*.f64 x (/.f64 100 (+.f64 x y)))
▶	0.7b	(/.f64 (*.f64 x 100) (+.f64 x y))

Compiler

Compiled 18 to 12 computations (33.3% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.7b	(/.f64 (*.f64 x 100) (+.f64 x y))
✓	0.7b	(/.f64 (*.f64 x 100) (+.f64 x y))

series4.0ms (0.2%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(/.f64 (*.f64 x 100) (+.f64 x y))
1.0ms	x	@	inf	(/.f64 (*.f64 x 100) (+.f64 x y))
1.0ms	y	@	inf	(/.f64 (*.f64 x 100) (+.f64 x y))
1.0ms	y	@	-inf	(/.f64 (*.f64 x 100) (+.f64 x y))
1.0ms	y	@	0	(/.f64 (*.f64 x 100) (+.f64 x y))

rewrite49.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

930×	`pow1_binary64`
875×	`add-log-exp_binary64`
875×	`log1p-expm1-u_binary64`
875×	`expm1-log1p-u_binary64`
858×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	159	10
2	2295	10

Stop Event

1×	node limit

Counts

1 → 43

Calls

Call 1

Inputs
(/.f64 (*.f64 x 100) (+.f64 x y))

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

Outputs

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

simplify49.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

880×	`fma-def_binary64`
689×	`associate-/r*_binary64`
648×	`associate-*l/_binary64`
508×	`associate-r_binary64`
480×	`associate-l_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	40	522
1	117	516
2	351	474
3	1391	426
4	7554	378

Stop Event

1×	node limit

Counts

67 → 58

Calls

Call 1

Inputs
(*.f64 100 (/.f64 x y))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (.f64 100 (/.f64 x y)))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
100
(+.f64 100 (*.f64 -100 (/.f64 y x)))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 -100 (/.f64 y x))))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 -100 (/.f64 y x)) (*.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
100
(+.f64 100 (*.f64 -100 (/.f64 y x)))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 -100 (/.f64 y x))))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 -100 (/.f64 y x)) (*.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
100
(+.f64 100 (*.f64 -100 (/.f64 y x)))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 -100 (/.f64 y x))))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 -100 (/.f64 y x)) (*.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(*.f64 100 (/.f64 x y))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (.f64 100 (/.f64 x y)))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(*.f64 100 (/.f64 x y))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (.f64 100 (/.f64 x y)))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))

Outputs
(*.f64 100 (/.f64 x y))
(/.f64 100 (/.f64 y x))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (.f64 100 (/.f64 x y)))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 100 (/.f64 x y)))
(fma.f64 100 (/.f64 x y) (/.f64 (.f64 -100 (.f64 x x)) (*.f64 y y)))
(fma.f64 (/.f64 -100 y) (/.f64 x (/.f64 y x)) (/.f64 100 (/.f64 y x)))
(.f64 (/.f64 x y) (+.f64 100 (/.f64 (.f64 x -100) y)))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 100 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 100 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (/.f64 (.f64 -100 (.f64 x x)) (*.f64 y y)))
(fma.f64 100 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (*.f64 (/.f64 x (/.f64 y x)) (/.f64 -100 y)))
(fma.f64 100 (pow.f64 (/.f64 x y) 3) (.f64 (/.f64 x y) (+.f64 100 (/.f64 (.f64 x -100) y))))
(.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) (+.f64 (*.f64 100 (/.f64 x y)) -100))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (fma.f64 100 (/.f64 x y) (fma.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(fma.f64 -100 (.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 100 (/.f64 x y) (fma.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
(fma.f64 -100 (.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 100 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(fma.f64 100 (pow.f64 (/.f64 x y) 3) (fma.f64 -100 (pow.f64 (/.f64 x y) 4) (.f64 (/.f64 x y) (+.f64 100 (/.f64 (.f64 x -100) y)))))
(.f64 (fma.f64 (/.f64 x y) (/.f64 x y) 1) (.f64 (/.f64 x y) (+.f64 100 (/.f64 (*.f64 x -100) y))))
100
(+.f64 100 (*.f64 -100 (/.f64 y x)))
(fma.f64 -100 (/.f64 y x) 100)
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 -100 (/.f64 y x))))
(+.f64 100 (fma.f64 100 (/.f64 (.f64 y y) (.f64 x x)) (*.f64 -100 (/.f64 y x))))
(+.f64 100 (fma.f64 100 (.f64 (/.f64 y x) (/.f64 y x)) (.f64 -100 (/.f64 y x))))
(fma.f64 (fma.f64 (/.f64 y x) (/.f64 y x) 1) 100 (*.f64 -100 (/.f64 y x)))
(+.f64 100 (.f64 (/.f64 y x) (+.f64 -100 (.f64 100 (/.f64 y x)))))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 -100 (/.f64 y x)) (*.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 100 (fma.f64 100 (/.f64 (.f64 y y) (.f64 x x)) (*.f64 -100 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 100 (fma.f64 -100 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (.f64 100 (.f64 (/.f64 y x) (/.f64 y x)))))
(fma.f64 100 (*.f64 (/.f64 y x) (/.f64 y x)) (fma.f64 -100 (+.f64 (/.f64 y x) (pow.f64 (/.f64 y x) 3)) 100))
(+.f64 100 (fma.f64 -100 (pow.f64 (/.f64 y x) 3) (.f64 (/.f64 y x) (+.f64 -100 (.f64 100 (/.f64 y x))))))
(*.f64 (fma.f64 (/.f64 y x) (/.f64 y x) 1) (fma.f64 -100 (/.f64 y x) 100))
100
(+.f64 100 (*.f64 -100 (/.f64 y x)))
(fma.f64 -100 (/.f64 y x) 100)
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 -100 (/.f64 y x))))
(+.f64 100 (fma.f64 100 (/.f64 (.f64 y y) (.f64 x x)) (*.f64 -100 (/.f64 y x))))
(+.f64 100 (fma.f64 100 (.f64 (/.f64 y x) (/.f64 y x)) (.f64 -100 (/.f64 y x))))
(fma.f64 (fma.f64 (/.f64 y x) (/.f64 y x) 1) 100 (*.f64 -100 (/.f64 y x)))
(+.f64 100 (.f64 (/.f64 y x) (+.f64 -100 (.f64 100 (/.f64 y x)))))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 -100 (/.f64 y x)) (*.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 100 (fma.f64 100 (/.f64 (.f64 y y) (.f64 x x)) (*.f64 -100 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 100 (fma.f64 -100 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (.f64 100 (.f64 (/.f64 y x) (/.f64 y x)))))
(fma.f64 100 (*.f64 (/.f64 y x) (/.f64 y x)) (fma.f64 -100 (+.f64 (/.f64 y x) (pow.f64 (/.f64 y x) 3)) 100))
(+.f64 100 (fma.f64 -100 (pow.f64 (/.f64 y x) 3) (.f64 (/.f64 y x) (+.f64 -100 (.f64 100 (/.f64 y x))))))
(*.f64 (fma.f64 (/.f64 y x) (/.f64 y x) 1) (fma.f64 -100 (/.f64 y x) 100))
100
(+.f64 100 (*.f64 -100 (/.f64 y x)))
(fma.f64 -100 (/.f64 y x) 100)
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 -100 (/.f64 y x))))
(+.f64 100 (fma.f64 100 (/.f64 (.f64 y y) (.f64 x x)) (*.f64 -100 (/.f64 y x))))
(+.f64 100 (fma.f64 100 (.f64 (/.f64 y x) (/.f64 y x)) (.f64 -100 (/.f64 y x))))
(fma.f64 (fma.f64 (/.f64 y x) (/.f64 y x) 1) 100 (*.f64 -100 (/.f64 y x)))
(+.f64 100 (.f64 (/.f64 y x) (+.f64 -100 (.f64 100 (/.f64 y x)))))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 -100 (/.f64 y x)) (*.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 100 (fma.f64 100 (/.f64 (.f64 y y) (.f64 x x)) (*.f64 -100 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 100 (fma.f64 -100 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (.f64 100 (.f64 (/.f64 y x) (/.f64 y x)))))
(fma.f64 100 (*.f64 (/.f64 y x) (/.f64 y x)) (fma.f64 -100 (+.f64 (/.f64 y x) (pow.f64 (/.f64 y x) 3)) 100))
(+.f64 100 (fma.f64 -100 (pow.f64 (/.f64 y x) 3) (.f64 (/.f64 y x) (+.f64 -100 (.f64 100 (/.f64 y x))))))
(*.f64 (fma.f64 (/.f64 y x) (/.f64 y x) 1) (fma.f64 -100 (/.f64 y x) 100))
(*.f64 100 (/.f64 x y))
(/.f64 100 (/.f64 y x))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (.f64 100 (/.f64 x y)))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 100 (/.f64 x y)))
(fma.f64 100 (/.f64 x y) (/.f64 (.f64 -100 (.f64 x x)) (*.f64 y y)))
(fma.f64 (/.f64 -100 y) (/.f64 x (/.f64 y x)) (/.f64 100 (/.f64 y x)))
(.f64 (/.f64 x y) (+.f64 100 (/.f64 (.f64 x -100) y)))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 100 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 100 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (/.f64 (.f64 -100 (.f64 x x)) (*.f64 y y)))
(fma.f64 100 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (*.f64 (/.f64 x (/.f64 y x)) (/.f64 -100 y)))
(fma.f64 100 (pow.f64 (/.f64 x y) 3) (.f64 (/.f64 x y) (+.f64 100 (/.f64 (.f64 x -100) y))))
(.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) (+.f64 (*.f64 100 (/.f64 x y)) -100))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (fma.f64 100 (/.f64 x y) (fma.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(fma.f64 -100 (.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 100 (/.f64 x y) (fma.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
(fma.f64 -100 (.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 100 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(fma.f64 100 (pow.f64 (/.f64 x y) 3) (fma.f64 -100 (pow.f64 (/.f64 x y) 4) (.f64 (/.f64 x y) (+.f64 100 (/.f64 (.f64 x -100) y)))))
(.f64 (fma.f64 (/.f64 x y) (/.f64 x y) 1) (.f64 (/.f64 x y) (+.f64 100 (/.f64 (*.f64 x -100) y))))
(*.f64 100 (/.f64 x y))
(/.f64 100 (/.f64 y x))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (.f64 100 (/.f64 x y)))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 100 (/.f64 x y)))
(fma.f64 100 (/.f64 x y) (/.f64 (.f64 -100 (.f64 x x)) (*.f64 y y)))
(fma.f64 (/.f64 -100 y) (/.f64 x (/.f64 y x)) (/.f64 100 (/.f64 y x)))
(.f64 (/.f64 x y) (+.f64 100 (/.f64 (.f64 x -100) y)))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 100 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 100 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (/.f64 (.f64 -100 (.f64 x x)) (*.f64 y y)))
(fma.f64 100 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (*.f64 (/.f64 x (/.f64 y x)) (/.f64 -100 y)))
(fma.f64 100 (pow.f64 (/.f64 x y) 3) (.f64 (/.f64 x y) (+.f64 100 (/.f64 (.f64 x -100) y))))
(.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) (+.f64 (*.f64 100 (/.f64 x y)) -100))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (fma.f64 100 (/.f64 x y) (fma.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(fma.f64 -100 (.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 100 (/.f64 x y) (fma.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
(fma.f64 -100 (.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 100 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(fma.f64 100 (pow.f64 (/.f64 x y) 3) (fma.f64 -100 (pow.f64 (/.f64 x y) 4) (.f64 (/.f64 x y) (+.f64 100 (/.f64 (.f64 x -100) y)))))
(.f64 (fma.f64 (/.f64 x y) (/.f64 x y) 1) (.f64 (/.f64 x y) (+.f64 100 (/.f64 (*.f64 x -100) y))))

localize4.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(*.f64 x (/.f64 100 (+.f64 x y)))
	0.0b	(/.f64 100 (+.f64 x y))
✓	0.0b	(/.f64 100 (+.f64 x y))
✓	0.2b	(*.f64 x (/.f64 100 (+.f64 x y)))

series5.0ms (0.2%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(/.f64 100 (+.f64 x y))
0.0ms	x	@	inf	(/.f64 100 (+.f64 x y))
0.0ms	y	@	0	(/.f64 100 (+.f64 x y))
0.0ms	x	@	-inf	(/.f64 100 (+.f64 x y))
0.0ms	y	@	inf	(/.f64 100 (+.f64 x y))

rewrite49.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

874×	`pow1_binary64`
821×	`add-log-exp_binary64`
821×	`log1p-expm1-u_binary64`
821×	`expm1-log1p-u_binary64`
805×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	160	17
2	2198	17

Stop Event

1×	node limit

Counts

2 → 44

Calls

Call 1

Inputs
(*.f64 x (/.f64 100 (+.f64 x y)))
(/.f64 100 (+.f64 x y))

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

Outputs

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

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

simplify117.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

655×	`distribute-rgt-out_binary64`
654×	`distribute-lft-out_binary64`
582×	`associate-/r/_binary64`
521×	`associate-/l/_binary64`
472×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	68	1068
1	191	1050
2	576	981
3	2156	912
4	4501	810
5	5925	783
6	7538	783
7	7752	783
8	7913	783

Stop Event

1×	node limit

Counts

92 → 73

Calls

Call 1

Inputs
(*.f64 100 (/.f64 x y))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (.f64 100 (/.f64 x y)))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
100
(+.f64 100 (*.f64 -100 (/.f64 y x)))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 -100 (/.f64 y x))))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 -100 (/.f64 y x)) (*.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
100
(+.f64 100 (*.f64 -100 (/.f64 y x)))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 -100 (/.f64 y x))))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 -100 (/.f64 y x)) (*.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
100
(+.f64 100 (*.f64 -100 (/.f64 y x)))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 -100 (/.f64 y x))))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 -100 (/.f64 y x)) (*.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(*.f64 100 (/.f64 x y))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (.f64 100 (/.f64 x y)))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(*.f64 100 (/.f64 x y))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (.f64 100 (/.f64 x y)))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(/.f64 100 y)
(+.f64 (.f64 100 (/.f64 1 y)) (.f64 -100 (/.f64 x (pow.f64 y 2))))
(+.f64 (.f64 100 (/.f64 1 y)) (+.f64 (.f64 -100 (/.f64 x (pow.f64 y 2))) (*.f64 100 (/.f64 (pow.f64 x 2) (pow.f64 y 3)))))
(+.f64 (.f64 100 (/.f64 1 y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 3) (pow.f64 y 4))) (+.f64 (.f64 -100 (/.f64 x (pow.f64 y 2))) (.f64 100 (/.f64 (pow.f64 x 2) (pow.f64 y 3))))))
(/.f64 100 x)
(+.f64 (.f64 100 (/.f64 1 x)) (.f64 -100 (/.f64 y (pow.f64 x 2))))
(+.f64 (.f64 100 (/.f64 1 x)) (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (*.f64 -100 (/.f64 y (pow.f64 x 2)))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 4))) (+.f64 (.f64 100 (/.f64 1 x)) (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (.f64 -100 (/.f64 y (pow.f64 x 2))))))
(/.f64 100 x)
(+.f64 (.f64 100 (/.f64 1 x)) (.f64 -100 (/.f64 y (pow.f64 x 2))))
(+.f64 (.f64 100 (/.f64 1 x)) (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (*.f64 -100 (/.f64 y (pow.f64 x 2)))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 4))) (+.f64 (.f64 100 (/.f64 1 x)) (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (.f64 -100 (/.f64 y (pow.f64 x 2))))))
(/.f64 100 x)
(+.f64 (.f64 100 (/.f64 1 x)) (.f64 -100 (/.f64 y (pow.f64 x 2))))
(+.f64 (.f64 100 (/.f64 1 x)) (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (*.f64 -100 (/.f64 y (pow.f64 x 2)))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 4))) (+.f64 (.f64 100 (/.f64 1 x)) (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (.f64 -100 (/.f64 y (pow.f64 x 2))))))
(/.f64 100 y)
(+.f64 (.f64 100 (/.f64 1 y)) (.f64 -100 (/.f64 x (pow.f64 y 2))))
(+.f64 (.f64 100 (/.f64 1 y)) (+.f64 (.f64 -100 (/.f64 x (pow.f64 y 2))) (*.f64 100 (/.f64 (pow.f64 x 2) (pow.f64 y 3)))))
(+.f64 (.f64 100 (/.f64 1 y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 3) (pow.f64 y 4))) (+.f64 (.f64 -100 (/.f64 x (pow.f64 y 2))) (.f64 100 (/.f64 (pow.f64 x 2) (pow.f64 y 3))))))
(/.f64 100 y)
(+.f64 (.f64 100 (/.f64 1 y)) (.f64 -100 (/.f64 x (pow.f64 y 2))))
(+.f64 (.f64 100 (/.f64 1 y)) (+.f64 (.f64 -100 (/.f64 x (pow.f64 y 2))) (*.f64 100 (/.f64 (pow.f64 x 2) (pow.f64 y 3)))))
(+.f64 (.f64 100 (/.f64 1 y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 3) (pow.f64 y 4))) (+.f64 (.f64 -100 (/.f64 x (pow.f64 y 2))) (.f64 100 (/.f64 (pow.f64 x 2) (pow.f64 y 3))))))

Outputs
(*.f64 100 (/.f64 x y))
(/.f64 (*.f64 100 x) y)
(/.f64 100 (/.f64 y x))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (.f64 100 (/.f64 x y)))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 100 (/.f64 x y)))
(fma.f64 100 (/.f64 x y) (/.f64 -100 (/.f64 y (/.f64 (*.f64 x x) y))))
(fma.f64 100 (/.f64 x y) (.f64 (/.f64 x y) (.f64 (/.f64 x y) -100)))
(.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100)))
(.f64 (/.f64 x y) (+.f64 100 (/.f64 (.f64 x -100) y)))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 100 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 100 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (/.f64 -100 (/.f64 y (/.f64 (*.f64 x x) y))))
(fma.f64 100 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (.f64 (/.f64 x y) (.f64 (/.f64 x y) -100)))
(fma.f64 100 (pow.f64 (/.f64 x y) 3) (.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100))))
(.f64 (/.f64 x y) (+.f64 (.f64 (/.f64 x y) (+.f64 (*.f64 100 (/.f64 x y)) -100)) 100))
(.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) (+.f64 (*.f64 100 (/.f64 x y)) -100))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (fma.f64 100 (/.f64 x y) (fma.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(fma.f64 -100 (.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 100 (/.f64 x y) (fma.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
(fma.f64 -100 (.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 100 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(+.f64 (.f64 -100 (pow.f64 (/.f64 x y) 4)) (fma.f64 100 (pow.f64 (/.f64 x y) 3) (.f64 (/.f64 x y) (+.f64 100 (*.f64 (/.f64 x y) -100)))))
(.f64 (+.f64 (/.f64 x (.f64 y (/.f64 y x))) 1) (.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100))))
(.f64 (+.f64 (pow.f64 (/.f64 x y) 2) 1) (.f64 (/.f64 x y) (+.f64 100 (/.f64 (*.f64 x -100) y))))
100
(+.f64 100 (*.f64 -100 (/.f64 y x)))
(fma.f64 -100 (/.f64 y x) 100)
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 -100 (/.f64 y x))))
(+.f64 100 (fma.f64 100 (/.f64 (.f64 y y) (.f64 x x)) (*.f64 -100 (/.f64 y x))))
(+.f64 100 (fma.f64 100 (/.f64 y (/.f64 (.f64 x x) y)) (.f64 -100 (/.f64 y x))))
(fma.f64 100 (*.f64 (/.f64 y x) (/.f64 y x)) (fma.f64 -100 (/.f64 y x) 100))
(+.f64 100 (.f64 (/.f64 y x) (+.f64 -100 (/.f64 (.f64 100 y) x))))
(fma.f64 100 (pow.f64 (/.f64 y x) 2) (fma.f64 -100 (/.f64 y x) 100))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 -100 (/.f64 y x)) (*.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 100 (fma.f64 100 (/.f64 (.f64 y y) (.f64 x x)) (*.f64 -100 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 100 (fma.f64 -100 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (.f64 100 (/.f64 y (/.f64 (.f64 x x) y)))))
(fma.f64 -100 (+.f64 (/.f64 y x) (pow.f64 (/.f64 y x) 3)) (*.f64 100 (fma.f64 (/.f64 y x) (/.f64 y x) 1)))
(+.f64 (.f64 (/.f64 y x) (+.f64 -100 (/.f64 (.f64 100 y) x))) (fma.f64 -100 (pow.f64 (/.f64 y x) 3) 100))
(*.f64 (fma.f64 (/.f64 y x) (/.f64 y x) 1) (fma.f64 -100 (/.f64 y x) 100))
(*.f64 (+.f64 (pow.f64 (/.f64 y x) 2) 1) (fma.f64 -100 (/.f64 y x) 100))
100
(+.f64 100 (*.f64 -100 (/.f64 y x)))
(fma.f64 -100 (/.f64 y x) 100)
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 -100 (/.f64 y x))))
(+.f64 100 (fma.f64 100 (/.f64 (.f64 y y) (.f64 x x)) (*.f64 -100 (/.f64 y x))))
(+.f64 100 (fma.f64 100 (/.f64 y (/.f64 (.f64 x x) y)) (.f64 -100 (/.f64 y x))))
(fma.f64 100 (*.f64 (/.f64 y x) (/.f64 y x)) (fma.f64 -100 (/.f64 y x) 100))
(+.f64 100 (.f64 (/.f64 y x) (+.f64 -100 (/.f64 (.f64 100 y) x))))
(fma.f64 100 (pow.f64 (/.f64 y x) 2) (fma.f64 -100 (/.f64 y x) 100))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 -100 (/.f64 y x)) (*.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 100 (fma.f64 100 (/.f64 (.f64 y y) (.f64 x x)) (*.f64 -100 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 100 (fma.f64 -100 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (.f64 100 (/.f64 y (/.f64 (.f64 x x) y)))))
(fma.f64 -100 (+.f64 (/.f64 y x) (pow.f64 (/.f64 y x) 3)) (*.f64 100 (fma.f64 (/.f64 y x) (/.f64 y x) 1)))
(+.f64 (.f64 (/.f64 y x) (+.f64 -100 (/.f64 (.f64 100 y) x))) (fma.f64 -100 (pow.f64 (/.f64 y x) 3) 100))
(*.f64 (fma.f64 (/.f64 y x) (/.f64 y x) 1) (fma.f64 -100 (/.f64 y x) 100))
(*.f64 (+.f64 (pow.f64 (/.f64 y x) 2) 1) (fma.f64 -100 (/.f64 y x) 100))
100
(+.f64 100 (*.f64 -100 (/.f64 y x)))
(fma.f64 -100 (/.f64 y x) 100)
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 -100 (/.f64 y x))))
(+.f64 100 (fma.f64 100 (/.f64 (.f64 y y) (.f64 x x)) (*.f64 -100 (/.f64 y x))))
(+.f64 100 (fma.f64 100 (/.f64 y (/.f64 (.f64 x x) y)) (.f64 -100 (/.f64 y x))))
(fma.f64 100 (*.f64 (/.f64 y x) (/.f64 y x)) (fma.f64 -100 (/.f64 y x) 100))
(+.f64 100 (.f64 (/.f64 y x) (+.f64 -100 (/.f64 (.f64 100 y) x))))
(fma.f64 100 (pow.f64 (/.f64 y x) 2) (fma.f64 -100 (/.f64 y x) 100))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 -100 (/.f64 y x)) (*.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 100 (fma.f64 100 (/.f64 (.f64 y y) (.f64 x x)) (*.f64 -100 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 100 (fma.f64 -100 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (.f64 100 (/.f64 y (/.f64 (.f64 x x) y)))))
(fma.f64 -100 (+.f64 (/.f64 y x) (pow.f64 (/.f64 y x) 3)) (*.f64 100 (fma.f64 (/.f64 y x) (/.f64 y x) 1)))
(+.f64 (.f64 (/.f64 y x) (+.f64 -100 (/.f64 (.f64 100 y) x))) (fma.f64 -100 (pow.f64 (/.f64 y x) 3) 100))
(*.f64 (fma.f64 (/.f64 y x) (/.f64 y x) 1) (fma.f64 -100 (/.f64 y x) 100))
(*.f64 (+.f64 (pow.f64 (/.f64 y x) 2) 1) (fma.f64 -100 (/.f64 y x) 100))
(*.f64 100 (/.f64 x y))
(/.f64 (*.f64 100 x) y)
(/.f64 100 (/.f64 y x))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (.f64 100 (/.f64 x y)))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 100 (/.f64 x y)))
(fma.f64 100 (/.f64 x y) (/.f64 -100 (/.f64 y (/.f64 (*.f64 x x) y))))
(fma.f64 100 (/.f64 x y) (.f64 (/.f64 x y) (.f64 (/.f64 x y) -100)))
(.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100)))
(.f64 (/.f64 x y) (+.f64 100 (/.f64 (.f64 x -100) y)))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 100 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 100 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (/.f64 -100 (/.f64 y (/.f64 (*.f64 x x) y))))
(fma.f64 100 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (.f64 (/.f64 x y) (.f64 (/.f64 x y) -100)))
(fma.f64 100 (pow.f64 (/.f64 x y) 3) (.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100))))
(.f64 (/.f64 x y) (+.f64 (.f64 (/.f64 x y) (+.f64 (*.f64 100 (/.f64 x y)) -100)) 100))
(.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) (+.f64 (*.f64 100 (/.f64 x y)) -100))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (fma.f64 100 (/.f64 x y) (fma.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(fma.f64 -100 (.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 100 (/.f64 x y) (fma.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
(fma.f64 -100 (.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 100 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(+.f64 (.f64 -100 (pow.f64 (/.f64 x y) 4)) (fma.f64 100 (pow.f64 (/.f64 x y) 3) (.f64 (/.f64 x y) (+.f64 100 (*.f64 (/.f64 x y) -100)))))
(.f64 (+.f64 (/.f64 x (.f64 y (/.f64 y x))) 1) (.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100))))
(.f64 (+.f64 (pow.f64 (/.f64 x y) 2) 1) (.f64 (/.f64 x y) (+.f64 100 (/.f64 (*.f64 x -100) y))))
(*.f64 100 (/.f64 x y))
(/.f64 (*.f64 100 x) y)
(/.f64 100 (/.f64 y x))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (.f64 100 (/.f64 x y)))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 100 (/.f64 x y)))
(fma.f64 100 (/.f64 x y) (/.f64 -100 (/.f64 y (/.f64 (*.f64 x x) y))))
(fma.f64 100 (/.f64 x y) (.f64 (/.f64 x y) (.f64 (/.f64 x y) -100)))
(.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100)))
(.f64 (/.f64 x y) (+.f64 100 (/.f64 (.f64 x -100) y)))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 100 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 100 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (/.f64 -100 (/.f64 y (/.f64 (*.f64 x x) y))))
(fma.f64 100 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (.f64 (/.f64 x y) (.f64 (/.f64 x y) -100)))
(fma.f64 100 (pow.f64 (/.f64 x y) 3) (.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100))))
(.f64 (/.f64 x y) (+.f64 (.f64 (/.f64 x y) (+.f64 (*.f64 100 (/.f64 x y)) -100)) 100))
(.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) (+.f64 (*.f64 100 (/.f64 x y)) -100))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (fma.f64 100 (/.f64 x y) (fma.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(fma.f64 -100 (.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 100 (/.f64 x y) (fma.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
(fma.f64 -100 (.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 100 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(+.f64 (.f64 -100 (pow.f64 (/.f64 x y) 4)) (fma.f64 100 (pow.f64 (/.f64 x y) 3) (.f64 (/.f64 x y) (+.f64 100 (*.f64 (/.f64 x y) -100)))))
(.f64 (+.f64 (/.f64 x (.f64 y (/.f64 y x))) 1) (.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100))))
(.f64 (+.f64 (pow.f64 (/.f64 x y) 2) 1) (.f64 (/.f64 x y) (+.f64 100 (/.f64 (*.f64 x -100) y))))
(/.f64 100 y)
(+.f64 (.f64 100 (/.f64 1 y)) (.f64 -100 (/.f64 x (pow.f64 y 2))))
(+.f64 (/.f64 100 y) (.f64 -100 (/.f64 x (.f64 y y))))
(fma.f64 -100 (/.f64 x (*.f64 y y)) (/.f64 100 y))
(fma.f64 (/.f64 -100 y) (/.f64 x y) (/.f64 100 y))
(+.f64 (.f64 100 (/.f64 1 y)) (+.f64 (.f64 -100 (/.f64 x (pow.f64 y 2))) (*.f64 100 (/.f64 (pow.f64 x 2) (pow.f64 y 3)))))
(+.f64 (/.f64 100 y) (fma.f64 -100 (/.f64 x (.f64 y y)) (.f64 100 (/.f64 (*.f64 x x) (pow.f64 y 3)))))
(+.f64 (/.f64 100 y) (fma.f64 100 (/.f64 x (/.f64 (pow.f64 y 3) x)) (.f64 -100 (/.f64 x (.f64 y y)))))
(fma.f64 100 (*.f64 (/.f64 x (pow.f64 y 3)) x) (fma.f64 (/.f64 -100 y) (/.f64 x y) (/.f64 100 y)))
(+.f64 (/.f64 100 y) (.f64 (/.f64 x (.f64 y y)) (+.f64 -100 (*.f64 100 (/.f64 x y)))))
(+.f64 (/.f64 100 y) (.f64 (/.f64 x (.f64 y y)) (+.f64 (*.f64 100 (/.f64 x y)) -100)))
(+.f64 (.f64 100 (/.f64 1 y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 3) (pow.f64 y 4))) (+.f64 (.f64 -100 (/.f64 x (pow.f64 y 2))) (.f64 100 (/.f64 (pow.f64 x 2) (pow.f64 y 3))))))
(+.f64 (/.f64 100 y) (fma.f64 -100 (/.f64 (pow.f64 x 3) (pow.f64 y 4)) (fma.f64 -100 (/.f64 x (.f64 y y)) (.f64 100 (/.f64 (*.f64 x x) (pow.f64 y 3))))))
(+.f64 (/.f64 100 y) (fma.f64 -100 (/.f64 (pow.f64 x 3) (pow.f64 y 4)) (fma.f64 100 (/.f64 x (/.f64 (pow.f64 y 3) x)) (.f64 -100 (/.f64 x (.f64 y y))))))
(fma.f64 -100 (+.f64 (/.f64 x (.f64 y y)) (/.f64 (pow.f64 x 3) (pow.f64 y 4))) (fma.f64 100 (.f64 (/.f64 x (pow.f64 y 3)) x) (/.f64 100 y)))
(+.f64 (.f64 (/.f64 x (.f64 y y)) (+.f64 -100 (*.f64 100 (/.f64 x y)))) (fma.f64 -100 (/.f64 (pow.f64 x 3) (pow.f64 y 4)) (/.f64 100 y)))
(.f64 (+.f64 (/.f64 x (.f64 y (/.f64 y x))) 1) (fma.f64 (/.f64 -100 y) (/.f64 x y) (/.f64 100 y)))
(*.f64 (+.f64 (pow.f64 (/.f64 x y) 2) 1) (fma.f64 (/.f64 -100 y) (/.f64 x y) (/.f64 100 y)))
(/.f64 100 x)
(+.f64 (.f64 100 (/.f64 1 x)) (.f64 -100 (/.f64 y (pow.f64 x 2))))
(+.f64 (/.f64 100 x) (.f64 -100 (/.f64 y (.f64 x x))))
(fma.f64 -100 (/.f64 y (*.f64 x x)) (/.f64 100 x))
(+.f64 (.f64 100 (/.f64 1 x)) (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (*.f64 -100 (/.f64 y (pow.f64 x 2)))))
(+.f64 (/.f64 100 x) (fma.f64 100 (/.f64 (.f64 y y) (pow.f64 x 3)) (.f64 -100 (/.f64 y (*.f64 x x)))))
(fma.f64 -100 (/.f64 y (.f64 x x)) (fma.f64 100 (.f64 (/.f64 y (pow.f64 x 3)) y) (/.f64 100 x)))
(+.f64 (/.f64 100 x) (.f64 (/.f64 y (.f64 x x)) (+.f64 -100 (*.f64 100 (/.f64 y x)))))
(+.f64 (/.f64 100 x) (.f64 (/.f64 y (.f64 x x)) (+.f64 -100 (/.f64 (*.f64 100 y) x))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 4))) (+.f64 (.f64 100 (/.f64 1 x)) (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (.f64 -100 (/.f64 y (pow.f64 x 2))))))
(fma.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 4)) (+.f64 (/.f64 100 x) (fma.f64 100 (/.f64 (.f64 y y) (pow.f64 x 3)) (.f64 -100 (/.f64 y (*.f64 x x))))))
(+.f64 (fma.f64 100 (/.f64 (.f64 y y) (pow.f64 x 3)) (.f64 -100 (/.f64 y (*.f64 x x)))) (fma.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 4)) (/.f64 100 x)))
(fma.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 4)) (fma.f64 -100 (/.f64 y (.f64 x x)) (fma.f64 100 (.f64 (/.f64 y (pow.f64 x 3)) y) (/.f64 100 x))))
(+.f64 (fma.f64 -100 (/.f64 y (.f64 x x)) (/.f64 100 x)) (.f64 (*.f64 y (/.f64 y (pow.f64 x 3))) (fma.f64 -100 (/.f64 y x) 100)))
(.f64 (fma.f64 (/.f64 y x) (/.f64 y x) 1) (fma.f64 -100 (/.f64 y (.f64 x x)) (/.f64 100 x)))
(.f64 (+.f64 (pow.f64 (/.f64 y x) 2) 1) (fma.f64 -100 (/.f64 y (.f64 x x)) (/.f64 100 x)))
(/.f64 100 x)
(+.f64 (.f64 100 (/.f64 1 x)) (.f64 -100 (/.f64 y (pow.f64 x 2))))
(+.f64 (/.f64 100 x) (.f64 -100 (/.f64 y (.f64 x x))))
(fma.f64 -100 (/.f64 y (*.f64 x x)) (/.f64 100 x))
(+.f64 (.f64 100 (/.f64 1 x)) (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (*.f64 -100 (/.f64 y (pow.f64 x 2)))))
(+.f64 (/.f64 100 x) (fma.f64 100 (/.f64 (.f64 y y) (pow.f64 x 3)) (.f64 -100 (/.f64 y (*.f64 x x)))))
(fma.f64 -100 (/.f64 y (.f64 x x)) (fma.f64 100 (.f64 (/.f64 y (pow.f64 x 3)) y) (/.f64 100 x)))
(+.f64 (/.f64 100 x) (.f64 (/.f64 y (.f64 x x)) (+.f64 -100 (*.f64 100 (/.f64 y x)))))
(+.f64 (/.f64 100 x) (.f64 (/.f64 y (.f64 x x)) (+.f64 -100 (/.f64 (*.f64 100 y) x))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 4))) (+.f64 (.f64 100 (/.f64 1 x)) (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (.f64 -100 (/.f64 y (pow.f64 x 2))))))
(fma.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 4)) (+.f64 (/.f64 100 x) (fma.f64 100 (/.f64 (.f64 y y) (pow.f64 x 3)) (.f64 -100 (/.f64 y (*.f64 x x))))))
(+.f64 (fma.f64 100 (/.f64 (.f64 y y) (pow.f64 x 3)) (.f64 -100 (/.f64 y (*.f64 x x)))) (fma.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 4)) (/.f64 100 x)))
(fma.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 4)) (fma.f64 -100 (/.f64 y (.f64 x x)) (fma.f64 100 (.f64 (/.f64 y (pow.f64 x 3)) y) (/.f64 100 x))))
(+.f64 (fma.f64 -100 (/.f64 y (.f64 x x)) (/.f64 100 x)) (.f64 (*.f64 y (/.f64 y (pow.f64 x 3))) (fma.f64 -100 (/.f64 y x) 100)))
(.f64 (fma.f64 (/.f64 y x) (/.f64 y x) 1) (fma.f64 -100 (/.f64 y (.f64 x x)) (/.f64 100 x)))
(.f64 (+.f64 (pow.f64 (/.f64 y x) 2) 1) (fma.f64 -100 (/.f64 y (.f64 x x)) (/.f64 100 x)))
(/.f64 100 x)
(+.f64 (.f64 100 (/.f64 1 x)) (.f64 -100 (/.f64 y (pow.f64 x 2))))
(+.f64 (/.f64 100 x) (.f64 -100 (/.f64 y (.f64 x x))))
(fma.f64 -100 (/.f64 y (*.f64 x x)) (/.f64 100 x))
(+.f64 (.f64 100 (/.f64 1 x)) (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (*.f64 -100 (/.f64 y (pow.f64 x 2)))))
(+.f64 (/.f64 100 x) (fma.f64 100 (/.f64 (.f64 y y) (pow.f64 x 3)) (.f64 -100 (/.f64 y (*.f64 x x)))))
(fma.f64 -100 (/.f64 y (.f64 x x)) (fma.f64 100 (.f64 (/.f64 y (pow.f64 x 3)) y) (/.f64 100 x)))
(+.f64 (/.f64 100 x) (.f64 (/.f64 y (.f64 x x)) (+.f64 -100 (*.f64 100 (/.f64 y x)))))
(+.f64 (/.f64 100 x) (.f64 (/.f64 y (.f64 x x)) (+.f64 -100 (/.f64 (*.f64 100 y) x))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 4))) (+.f64 (.f64 100 (/.f64 1 x)) (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (.f64 -100 (/.f64 y (pow.f64 x 2))))))
(fma.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 4)) (+.f64 (/.f64 100 x) (fma.f64 100 (/.f64 (.f64 y y) (pow.f64 x 3)) (.f64 -100 (/.f64 y (*.f64 x x))))))
(+.f64 (fma.f64 100 (/.f64 (.f64 y y) (pow.f64 x 3)) (.f64 -100 (/.f64 y (*.f64 x x)))) (fma.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 4)) (/.f64 100 x)))
(fma.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 4)) (fma.f64 -100 (/.f64 y (.f64 x x)) (fma.f64 100 (.f64 (/.f64 y (pow.f64 x 3)) y) (/.f64 100 x))))
(+.f64 (fma.f64 -100 (/.f64 y (.f64 x x)) (/.f64 100 x)) (.f64 (*.f64 y (/.f64 y (pow.f64 x 3))) (fma.f64 -100 (/.f64 y x) 100)))
(.f64 (fma.f64 (/.f64 y x) (/.f64 y x) 1) (fma.f64 -100 (/.f64 y (.f64 x x)) (/.f64 100 x)))
(.f64 (+.f64 (pow.f64 (/.f64 y x) 2) 1) (fma.f64 -100 (/.f64 y (.f64 x x)) (/.f64 100 x)))
(/.f64 100 y)
(+.f64 (.f64 100 (/.f64 1 y)) (.f64 -100 (/.f64 x (pow.f64 y 2))))
(+.f64 (/.f64 100 y) (.f64 -100 (/.f64 x (.f64 y y))))
(fma.f64 -100 (/.f64 x (*.f64 y y)) (/.f64 100 y))
(fma.f64 (/.f64 -100 y) (/.f64 x y) (/.f64 100 y))
(+.f64 (.f64 100 (/.f64 1 y)) (+.f64 (.f64 -100 (/.f64 x (pow.f64 y 2))) (*.f64 100 (/.f64 (pow.f64 x 2) (pow.f64 y 3)))))
(+.f64 (/.f64 100 y) (fma.f64 -100 (/.f64 x (.f64 y y)) (.f64 100 (/.f64 (*.f64 x x) (pow.f64 y 3)))))
(+.f64 (/.f64 100 y) (fma.f64 100 (/.f64 x (/.f64 (pow.f64 y 3) x)) (.f64 -100 (/.f64 x (.f64 y y)))))
(fma.f64 100 (*.f64 (/.f64 x (pow.f64 y 3)) x) (fma.f64 (/.f64 -100 y) (/.f64 x y) (/.f64 100 y)))
(+.f64 (/.f64 100 y) (.f64 (/.f64 x (.f64 y y)) (+.f64 -100 (*.f64 100 (/.f64 x y)))))
(+.f64 (/.f64 100 y) (.f64 (/.f64 x (.f64 y y)) (+.f64 (*.f64 100 (/.f64 x y)) -100)))
(+.f64 (.f64 100 (/.f64 1 y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 3) (pow.f64 y 4))) (+.f64 (.f64 -100 (/.f64 x (pow.f64 y 2))) (.f64 100 (/.f64 (pow.f64 x 2) (pow.f64 y 3))))))
(+.f64 (/.f64 100 y) (fma.f64 -100 (/.f64 (pow.f64 x 3) (pow.f64 y 4)) (fma.f64 -100 (/.f64 x (.f64 y y)) (.f64 100 (/.f64 (*.f64 x x) (pow.f64 y 3))))))
(+.f64 (/.f64 100 y) (fma.f64 -100 (/.f64 (pow.f64 x 3) (pow.f64 y 4)) (fma.f64 100 (/.f64 x (/.f64 (pow.f64 y 3) x)) (.f64 -100 (/.f64 x (.f64 y y))))))
(fma.f64 -100 (+.f64 (/.f64 x (.f64 y y)) (/.f64 (pow.f64 x 3) (pow.f64 y 4))) (fma.f64 100 (.f64 (/.f64 x (pow.f64 y 3)) x) (/.f64 100 y)))
(+.f64 (.f64 (/.f64 x (.f64 y y)) (+.f64 -100 (*.f64 100 (/.f64 x y)))) (fma.f64 -100 (/.f64 (pow.f64 x 3) (pow.f64 y 4)) (/.f64 100 y)))
(.f64 (+.f64 (/.f64 x (.f64 y (/.f64 y x))) 1) (fma.f64 (/.f64 -100 y) (/.f64 x y) (/.f64 100 y)))
(*.f64 (+.f64 (pow.f64 (/.f64 x y) 2) 1) (fma.f64 (/.f64 -100 y) (/.f64 x y) (/.f64 100 y)))
(/.f64 100 y)
(+.f64 (.f64 100 (/.f64 1 y)) (.f64 -100 (/.f64 x (pow.f64 y 2))))
(+.f64 (/.f64 100 y) (.f64 -100 (/.f64 x (.f64 y y))))
(fma.f64 -100 (/.f64 x (*.f64 y y)) (/.f64 100 y))
(fma.f64 (/.f64 -100 y) (/.f64 x y) (/.f64 100 y))
(+.f64 (.f64 100 (/.f64 1 y)) (+.f64 (.f64 -100 (/.f64 x (pow.f64 y 2))) (*.f64 100 (/.f64 (pow.f64 x 2) (pow.f64 y 3)))))
(+.f64 (/.f64 100 y) (fma.f64 -100 (/.f64 x (.f64 y y)) (.f64 100 (/.f64 (*.f64 x x) (pow.f64 y 3)))))
(+.f64 (/.f64 100 y) (fma.f64 100 (/.f64 x (/.f64 (pow.f64 y 3) x)) (.f64 -100 (/.f64 x (.f64 y y)))))
(fma.f64 100 (*.f64 (/.f64 x (pow.f64 y 3)) x) (fma.f64 (/.f64 -100 y) (/.f64 x y) (/.f64 100 y)))
(+.f64 (/.f64 100 y) (.f64 (/.f64 x (.f64 y y)) (+.f64 -100 (*.f64 100 (/.f64 x y)))))
(+.f64 (/.f64 100 y) (.f64 (/.f64 x (.f64 y y)) (+.f64 (*.f64 100 (/.f64 x y)) -100)))
(+.f64 (.f64 100 (/.f64 1 y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 3) (pow.f64 y 4))) (+.f64 (.f64 -100 (/.f64 x (pow.f64 y 2))) (.f64 100 (/.f64 (pow.f64 x 2) (pow.f64 y 3))))))
(+.f64 (/.f64 100 y) (fma.f64 -100 (/.f64 (pow.f64 x 3) (pow.f64 y 4)) (fma.f64 -100 (/.f64 x (.f64 y y)) (.f64 100 (/.f64 (*.f64 x x) (pow.f64 y 3))))))
(+.f64 (/.f64 100 y) (fma.f64 -100 (/.f64 (pow.f64 x 3) (pow.f64 y 4)) (fma.f64 100 (/.f64 x (/.f64 (pow.f64 y 3) x)) (.f64 -100 (/.f64 x (.f64 y y))))))
(fma.f64 -100 (+.f64 (/.f64 x (.f64 y y)) (/.f64 (pow.f64 x 3) (pow.f64 y 4))) (fma.f64 100 (.f64 (/.f64 x (pow.f64 y 3)) x) (/.f64 100 y)))
(+.f64 (.f64 (/.f64 x (.f64 y y)) (+.f64 -100 (*.f64 100 (/.f64 x y)))) (fma.f64 -100 (/.f64 (pow.f64 x 3) (pow.f64 y 4)) (/.f64 100 y)))
(.f64 (+.f64 (/.f64 x (.f64 y (/.f64 y x))) 1) (fma.f64 (/.f64 -100 y) (/.f64 x y) (/.f64 100 y)))
(*.f64 (+.f64 (pow.f64 (/.f64 x y) 2) 1) (fma.f64 (/.f64 -100 y) (/.f64 x y) (/.f64 100 y)))

eval32.0ms (1.4%)

Compiler: Compiled 1701 to 967 computations (43.2% saved)

prune25.0ms (1.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	125	6	131
Fresh	0	0	0
Picked	0	1	1
Done	1	0	1
Total	126	7	133

Error

Counts

133 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.7b	(/.f64 1 (/.f64 (+.f64 x y) (*.f64 x 100)))
▶	32.7b	(*.f64 x (/.f64 100 y))
	30.3b	100
✓	0.2b	(*.f64 x (/.f64 100 (+.f64 x y)))
▶	32.6b	(/.f64 100 (/.f64 y x))
▶	32.6b	(*.f64 100 (/.f64 x y))
▶	0.2b	(/.f64 x (*.f64 (+.f64 x y) 1/100))

Compiler

Compiled 94 to 67 computations (28.7% saved)

localize5.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(/.f64 x (*.f64 (+.f64 x y) 1/100))
	0.1b	(*.f64 (+.f64 x y) 1/100)
✓	0.1b	(*.f64 (+.f64 x y) 1/100)
✓	0.2b	(/.f64 x (*.f64 (+.f64 x y) 1/100))

series5.0ms (0.2%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(*.f64 (+.f64 x y) 1/100)
0.0ms	x	@	inf	(*.f64 (+.f64 x y) 1/100)
0.0ms	x	@	0	(/.f64 x (*.f64 (+.f64 x y) 1/100))
0.0ms	y	@	inf	(*.f64 (+.f64 x y) 1/100)
0.0ms	x	@	0	(*.f64 (+.f64 x y) 1/100)

rewrite55.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

942×	`pow1_binary64`
887×	`add-log-exp_binary64`
887×	`log1p-expm1-u_binary64`
887×	`expm1-log1p-u_binary64`
81×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	159	17
2	2314	17

Stop Event

1×	node limit

Counts

2 → 59

Calls

Call 1

Inputs
(/.f64 x (*.f64 (+.f64 x y) 1/100))
(*.f64 (+.f64 x y) 1/100)

Outputs

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

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

simplify54.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

890×	`fma-def_binary64`
690×	`associate-/r*_binary64`
644×	`associate-*l/_binary64`
513×	`associate-r_binary64`
489×	`associate-l_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	45	672
1	130	666
2	368	624
3	1419	576
4	7603	528

Stop Event

1×	node limit

Counts

107 → 79

Calls

Call 1

Inputs
(*.f64 100 (/.f64 x y))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (.f64 100 (/.f64 x y)))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
100
(+.f64 100 (*.f64 -100 (/.f64 y x)))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 -100 (/.f64 y x))))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 -100 (/.f64 y x)) (*.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
100
(+.f64 100 (*.f64 -100 (/.f64 y x)))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 -100 (/.f64 y x))))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 -100 (/.f64 y x)) (*.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
100
(+.f64 100 (*.f64 -100 (/.f64 y x)))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 -100 (/.f64 y x))))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 -100 (/.f64 y x)) (*.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(*.f64 100 (/.f64 x y))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (.f64 100 (/.f64 x y)))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(*.f64 100 (/.f64 x y))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (.f64 100 (/.f64 x y)))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(*.f64 1/100 y)
(+.f64 (.f64 1/100 x) (.f64 1/100 y))
(+.f64 (.f64 1/100 x) (.f64 1/100 y))
(+.f64 (.f64 1/100 x) (.f64 1/100 y))
(*.f64 1/100 x)
(+.f64 (.f64 1/100 y) (.f64 1/100 x))
(+.f64 (.f64 1/100 y) (.f64 1/100 x))
(+.f64 (.f64 1/100 y) (.f64 1/100 x))
(*.f64 1/100 x)
(+.f64 (.f64 1/100 y) (.f64 1/100 x))
(+.f64 (.f64 1/100 y) (.f64 1/100 x))
(+.f64 (.f64 1/100 y) (.f64 1/100 x))
(*.f64 1/100 x)
(+.f64 (.f64 1/100 y) (.f64 1/100 x))
(+.f64 (.f64 1/100 y) (.f64 1/100 x))
(+.f64 (.f64 1/100 y) (.f64 1/100 x))
(*.f64 1/100 y)
(+.f64 (.f64 1/100 x) (.f64 1/100 y))
(+.f64 (.f64 1/100 x) (.f64 1/100 y))
(+.f64 (.f64 1/100 x) (.f64 1/100 y))
(*.f64 1/100 y)
(+.f64 (.f64 1/100 x) (.f64 1/100 y))
(+.f64 (.f64 1/100 x) (.f64 1/100 y))
(+.f64 (.f64 1/100 x) (.f64 1/100 y))

Outputs
(*.f64 100 (/.f64 x y))
(/.f64 100 (/.f64 y x))
(/.f64 x (/.f64 y 100))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (.f64 100 (/.f64 x y)))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 100 (/.f64 x y)))
(fma.f64 100 (/.f64 x y) (/.f64 (.f64 -100 (.f64 x x)) (*.f64 y y)))
(fma.f64 (/.f64 -100 y) (/.f64 x (/.f64 y x)) (/.f64 100 (/.f64 y x)))
(.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100)))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 100 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 100 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (/.f64 (.f64 -100 (.f64 x x)) (*.f64 y y)))
(fma.f64 100 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (.f64 (/.f64 x y) (.f64 (/.f64 x y) -100)))
(fma.f64 100 (pow.f64 (/.f64 x y) 3) (.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100))))
(.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) (+.f64 (/.f64 x (/.f64 y 100)) -100))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (fma.f64 100 (/.f64 x y) (fma.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(fma.f64 -100 (.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 100 (/.f64 x y) (fma.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
(fma.f64 -100 (.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 100 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(fma.f64 100 (pow.f64 (/.f64 x y) 3) (fma.f64 -100 (pow.f64 (/.f64 x y) 4) (.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100)))))
(.f64 (fma.f64 (/.f64 x y) (/.f64 x y) 1) (.f64 (/.f64 x y) (+.f64 100 (*.f64 (/.f64 x y) -100))))
100
(+.f64 100 (*.f64 -100 (/.f64 y x)))
(fma.f64 -100 (/.f64 y x) 100)
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 -100 (/.f64 y x))))
(+.f64 100 (fma.f64 100 (/.f64 (.f64 y y) (.f64 x x)) (*.f64 -100 (/.f64 y x))))
(+.f64 (.f64 (/.f64 100 x) (/.f64 (.f64 y y) x)) (fma.f64 -100 (/.f64 y x) 100))
(fma.f64 100 (*.f64 (/.f64 y x) (/.f64 y x)) (fma.f64 -100 (/.f64 y x) 100))
(+.f64 100 (.f64 (/.f64 y x) (+.f64 -100 (.f64 100 (/.f64 y x)))))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 -100 (/.f64 y x)) (*.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 100 (fma.f64 100 (/.f64 (.f64 y y) (.f64 x x)) (*.f64 -100 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 100 (fma.f64 -100 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (.f64 (/.f64 100 x) (/.f64 (.f64 y y) x))))
(fma.f64 -100 (+.f64 (/.f64 y x) (pow.f64 (/.f64 y x) 3)) (*.f64 100 (fma.f64 (/.f64 y x) (/.f64 y x) 1)))
(+.f64 100 (fma.f64 -100 (pow.f64 (/.f64 y x) 3) (.f64 (/.f64 y x) (+.f64 -100 (.f64 100 (/.f64 y x))))))
(*.f64 (fma.f64 (/.f64 y x) (/.f64 y x) 1) (fma.f64 -100 (/.f64 y x) 100))
100
(+.f64 100 (*.f64 -100 (/.f64 y x)))
(fma.f64 -100 (/.f64 y x) 100)
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 -100 (/.f64 y x))))
(+.f64 100 (fma.f64 100 (/.f64 (.f64 y y) (.f64 x x)) (*.f64 -100 (/.f64 y x))))
(+.f64 (.f64 (/.f64 100 x) (/.f64 (.f64 y y) x)) (fma.f64 -100 (/.f64 y x) 100))
(fma.f64 100 (*.f64 (/.f64 y x) (/.f64 y x)) (fma.f64 -100 (/.f64 y x) 100))
(+.f64 100 (.f64 (/.f64 y x) (+.f64 -100 (.f64 100 (/.f64 y x)))))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 -100 (/.f64 y x)) (*.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 100 (fma.f64 100 (/.f64 (.f64 y y) (.f64 x x)) (*.f64 -100 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 100 (fma.f64 -100 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (.f64 (/.f64 100 x) (/.f64 (.f64 y y) x))))
(fma.f64 -100 (+.f64 (/.f64 y x) (pow.f64 (/.f64 y x) 3)) (*.f64 100 (fma.f64 (/.f64 y x) (/.f64 y x) 1)))
(+.f64 100 (fma.f64 -100 (pow.f64 (/.f64 y x) 3) (.f64 (/.f64 y x) (+.f64 -100 (.f64 100 (/.f64 y x))))))
(*.f64 (fma.f64 (/.f64 y x) (/.f64 y x) 1) (fma.f64 -100 (/.f64 y x) 100))
100
(+.f64 100 (*.f64 -100 (/.f64 y x)))
(fma.f64 -100 (/.f64 y x) 100)
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 -100 (/.f64 y x))))
(+.f64 100 (fma.f64 100 (/.f64 (.f64 y y) (.f64 x x)) (*.f64 -100 (/.f64 y x))))
(+.f64 (.f64 (/.f64 100 x) (/.f64 (.f64 y y) x)) (fma.f64 -100 (/.f64 y x) 100))
(fma.f64 100 (*.f64 (/.f64 y x) (/.f64 y x)) (fma.f64 -100 (/.f64 y x) 100))
(+.f64 100 (.f64 (/.f64 y x) (+.f64 -100 (.f64 100 (/.f64 y x)))))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 -100 (/.f64 y x)) (*.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 100 (fma.f64 100 (/.f64 (.f64 y y) (.f64 x x)) (*.f64 -100 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 100 (fma.f64 -100 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (.f64 (/.f64 100 x) (/.f64 (.f64 y y) x))))
(fma.f64 -100 (+.f64 (/.f64 y x) (pow.f64 (/.f64 y x) 3)) (*.f64 100 (fma.f64 (/.f64 y x) (/.f64 y x) 1)))
(+.f64 100 (fma.f64 -100 (pow.f64 (/.f64 y x) 3) (.f64 (/.f64 y x) (+.f64 -100 (.f64 100 (/.f64 y x))))))
(*.f64 (fma.f64 (/.f64 y x) (/.f64 y x) 1) (fma.f64 -100 (/.f64 y x) 100))
(*.f64 100 (/.f64 x y))
(/.f64 100 (/.f64 y x))
(/.f64 x (/.f64 y 100))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (.f64 100 (/.f64 x y)))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 100 (/.f64 x y)))
(fma.f64 100 (/.f64 x y) (/.f64 (.f64 -100 (.f64 x x)) (*.f64 y y)))
(fma.f64 (/.f64 -100 y) (/.f64 x (/.f64 y x)) (/.f64 100 (/.f64 y x)))
(.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100)))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 100 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 100 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (/.f64 (.f64 -100 (.f64 x x)) (*.f64 y y)))
(fma.f64 100 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (.f64 (/.f64 x y) (.f64 (/.f64 x y) -100)))
(fma.f64 100 (pow.f64 (/.f64 x y) 3) (.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100))))
(.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) (+.f64 (/.f64 x (/.f64 y 100)) -100))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (fma.f64 100 (/.f64 x y) (fma.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(fma.f64 -100 (.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 100 (/.f64 x y) (fma.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
(fma.f64 -100 (.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 100 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(fma.f64 100 (pow.f64 (/.f64 x y) 3) (fma.f64 -100 (pow.f64 (/.f64 x y) 4) (.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100)))))
(.f64 (fma.f64 (/.f64 x y) (/.f64 x y) 1) (.f64 (/.f64 x y) (+.f64 100 (*.f64 (/.f64 x y) -100))))
(*.f64 100 (/.f64 x y))
(/.f64 100 (/.f64 y x))
(/.f64 x (/.f64 y 100))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (.f64 100 (/.f64 x y)))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 100 (/.f64 x y)))
(fma.f64 100 (/.f64 x y) (/.f64 (.f64 -100 (.f64 x x)) (*.f64 y y)))
(fma.f64 (/.f64 -100 y) (/.f64 x (/.f64 y x)) (/.f64 100 (/.f64 y x)))
(.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100)))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 100 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 100 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (/.f64 (.f64 -100 (.f64 x x)) (*.f64 y y)))
(fma.f64 100 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (.f64 (/.f64 x y) (.f64 (/.f64 x y) -100)))
(fma.f64 100 (pow.f64 (/.f64 x y) 3) (.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100))))
(.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) (+.f64 (/.f64 x (/.f64 y 100)) -100))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (fma.f64 100 (/.f64 x y) (fma.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(fma.f64 -100 (.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 100 (/.f64 x y) (fma.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
(fma.f64 -100 (.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 100 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(fma.f64 100 (pow.f64 (/.f64 x y) 3) (fma.f64 -100 (pow.f64 (/.f64 x y) 4) (.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100)))))
(.f64 (fma.f64 (/.f64 x y) (/.f64 x y) 1) (.f64 (/.f64 x y) (+.f64 100 (*.f64 (/.f64 x y) -100))))
(*.f64 1/100 y)
(*.f64 y 1/100)
(+.f64 (.f64 1/100 x) (.f64 1/100 y))
(*.f64 1/100 (+.f64 x y))
(+.f64 (.f64 1/100 x) (.f64 1/100 y))
(*.f64 1/100 (+.f64 x y))
(+.f64 (.f64 1/100 x) (.f64 1/100 y))
(*.f64 1/100 (+.f64 x y))
(*.f64 1/100 x)
(*.f64 x 1/100)
(+.f64 (.f64 1/100 y) (.f64 1/100 x))
(*.f64 1/100 (+.f64 x y))
(+.f64 (.f64 1/100 y) (.f64 1/100 x))
(*.f64 1/100 (+.f64 x y))
(+.f64 (.f64 1/100 y) (.f64 1/100 x))
(*.f64 1/100 (+.f64 x y))
(*.f64 1/100 x)
(*.f64 x 1/100)
(+.f64 (.f64 1/100 y) (.f64 1/100 x))
(*.f64 1/100 (+.f64 x y))
(+.f64 (.f64 1/100 y) (.f64 1/100 x))
(*.f64 1/100 (+.f64 x y))
(+.f64 (.f64 1/100 y) (.f64 1/100 x))
(*.f64 1/100 (+.f64 x y))
(*.f64 1/100 x)
(*.f64 x 1/100)
(+.f64 (.f64 1/100 y) (.f64 1/100 x))
(*.f64 1/100 (+.f64 x y))
(+.f64 (.f64 1/100 y) (.f64 1/100 x))
(*.f64 1/100 (+.f64 x y))
(+.f64 (.f64 1/100 y) (.f64 1/100 x))
(*.f64 1/100 (+.f64 x y))
(*.f64 1/100 y)
(*.f64 y 1/100)
(+.f64 (.f64 1/100 x) (.f64 1/100 y))
(*.f64 1/100 (+.f64 x y))
(+.f64 (.f64 1/100 x) (.f64 1/100 y))
(*.f64 1/100 (+.f64 x y))
(+.f64 (.f64 1/100 x) (.f64 1/100 y))
(*.f64 1/100 (+.f64 x y))
(*.f64 1/100 y)
(*.f64 y 1/100)
(+.f64 (.f64 1/100 x) (.f64 1/100 y))
(*.f64 1/100 (+.f64 x y))
(+.f64 (.f64 1/100 x) (.f64 1/100 y))
(*.f64 1/100 (+.f64 x y))
(+.f64 (.f64 1/100 x) (.f64 1/100 y))
(*.f64 1/100 (+.f64 x y))

localize3.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series4.0ms (0.2%)

Counts

1 → 0

Calls

6 calls:

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

rewrite40.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

650×	`pow1_binary64`
606×	`add-log-exp_binary64`
606×	`log1p-expm1-u_binary64`
606×	`expm1-log1p-u_binary64`
594×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	128	7
2	1611	7

Stop Event

1×	node limit

Counts

1 → 20

Calls

Call 1

Inputs
(*.f64 100 (/.f64 x y))

Outputs

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

simplify7.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

20 → 20

Calls

Call 1

Inputs

Outputs

localize3.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.2b	(/.f64 100 (/.f64 y x))
✓	0.2b	(/.f64 100 (/.f64 y x))

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite42.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

696×	`pow1_binary64`
653×	`add-log-exp_binary64`
653×	`log1p-expm1-u_binary64`
653×	`expm1-log1p-u_binary64`
640×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	135	7
2	1773	7

Stop Event

1×	node limit

Counts

1 → 26

Calls

Call 1

Inputs
(/.f64 100 (/.f64 y x))

Outputs

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

simplify13.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
1×	`associate-*r/_binary64`
1×	`associate-*l/_binary64`
1×	`associate-/r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	9	168
2	13	168
3	17	168
4	18	168

Stop Event

1×

saturated

Counts

50 → 26

Calls

Call 1

Inputs
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))

Outputs
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)

localize3.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite41.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

613×	`pow1_binary64`
573×	`add-log-exp_binary64`
573×	`log1p-expm1-u_binary64`
573×	`expm1-log1p-u_binary64`
562×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	129	7
2	1560	7

Stop Event

1×	node limit

Counts

1 → 20

Calls

Call 1

Inputs
(*.f64 x (/.f64 100 y))

Outputs

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

simplify11.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
1×	`associate-*r/_binary64`
1×	`associate-*l/_binary64`
1×	`associate-/r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	9	168
2	13	168
3	17	168
4	18	168

Stop Event

1×

saturated

Counts

44 → 22

Calls

Call 1

Inputs
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))

Outputs
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)

localize5.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(/.f64 (+.f64 x y) (*.f64 x 100))
	0.1b	(/.f64 1 (/.f64 (+.f64 x y) (*.f64 x 100)))
✓	0.1b	(/.f64 1 (/.f64 (+.f64 x y) (*.f64 x 100)))
✓	0.6b	(/.f64 (+.f64 x y) (*.f64 x 100))

series7.0ms (0.3%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
2.0ms	x	@	inf	(/.f64 (+.f64 x y) (*.f64 x 100))
1.0ms	x	@	-inf	(/.f64 (+.f64 x y) (*.f64 x 100))
1.0ms	x	@	0	(/.f64 (+.f64 x y) (*.f64 x 100))
1.0ms	y	@	-inf	(/.f64 (+.f64 x y) (*.f64 x 100))
1.0ms	y	@	0	(/.f64 (+.f64 x y) (*.f64 x 100))

rewrite58.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

496×	`log-prod_binary64`
482×	`prod-diff_binary64`
296×	`pow-prod-down_binary64`
252×	`pow2_binary64`
174×	`pow1/3_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	200	20
2	2813	20

Stop Event

1×	node limit

Counts

2 → 121

Calls

Call 1

Inputs
(/.f64 (+.f64 x y) (*.f64 x 100))
(/.f64 1 (/.f64 (+.f64 x y) (*.f64 x 100)))

Outputs

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

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

simplify54.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

886×	`fma-def_binary64`
693×	`associate-/r*_binary64`
653×	`associate-*l/_binary64`
527×	`associate-r_binary64`
490×	`associate-*r/_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	43	726
1	124	684
2	365	642
3	1421	594
4	7730	546

Stop Event

1×	node limit

Counts

169 → 141

Calls

Call 1

Inputs
(*.f64 1/100 (/.f64 y x))
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
1/100
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
1/100
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
1/100
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(*.f64 1/100 (/.f64 y x))
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(*.f64 1/100 (/.f64 y x))
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(*.f64 100 (/.f64 x y))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (.f64 100 (/.f64 x y)))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
100
(+.f64 100 (*.f64 -100 (/.f64 y x)))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 -100 (/.f64 y x))))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 -100 (/.f64 y x)) (*.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
100
(+.f64 100 (*.f64 -100 (/.f64 y x)))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 -100 (/.f64 y x))))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 -100 (/.f64 y x)) (*.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
100
(+.f64 100 (*.f64 -100 (/.f64 y x)))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 -100 (/.f64 y x))))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 -100 (/.f64 y x)) (*.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(*.f64 100 (/.f64 x y))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (.f64 100 (/.f64 x y)))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(*.f64 100 (/.f64 x y))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (.f64 100 (/.f64 x y)))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))

Outputs
(*.f64 1/100 (/.f64 y x))
(/.f64 (*.f64 1/100 y) x)
(/.f64 1/100 (/.f64 x y))
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(fma.f64 1/100 (/.f64 y x) 1/100)
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(fma.f64 1/100 (/.f64 y x) 1/100)
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(fma.f64 1/100 (/.f64 y x) 1/100)
1/100
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(fma.f64 1/100 (/.f64 y x) 1/100)
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(fma.f64 1/100 (/.f64 y x) 1/100)
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(fma.f64 1/100 (/.f64 y x) 1/100)
1/100
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(fma.f64 1/100 (/.f64 y x) 1/100)
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(fma.f64 1/100 (/.f64 y x) 1/100)
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(fma.f64 1/100 (/.f64 y x) 1/100)
1/100
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(fma.f64 1/100 (/.f64 y x) 1/100)
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(fma.f64 1/100 (/.f64 y x) 1/100)
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(fma.f64 1/100 (/.f64 y x) 1/100)
(*.f64 1/100 (/.f64 y x))
(/.f64 (*.f64 1/100 y) x)
(/.f64 1/100 (/.f64 x y))
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(fma.f64 1/100 (/.f64 y x) 1/100)
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(fma.f64 1/100 (/.f64 y x) 1/100)
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(fma.f64 1/100 (/.f64 y x) 1/100)
(*.f64 1/100 (/.f64 y x))
(/.f64 (*.f64 1/100 y) x)
(/.f64 1/100 (/.f64 x y))
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(fma.f64 1/100 (/.f64 y x) 1/100)
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(fma.f64 1/100 (/.f64 y x) 1/100)
(+.f64 1/100 (*.f64 1/100 (/.f64 y x)))
(fma.f64 1/100 (/.f64 y x) 1/100)
(*.f64 100 (/.f64 x y))
(/.f64 (*.f64 x 100) y)
(*.f64 x (/.f64 100 y))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (.f64 100 (/.f64 x y)))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 100 (/.f64 x y)))
(fma.f64 100 (/.f64 x y) (.f64 -100 (/.f64 (.f64 x x) (*.f64 y y))))
(fma.f64 100 (/.f64 x y) (.f64 (/.f64 x y) (.f64 (/.f64 x y) -100)))
(.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100)))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 100 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 100 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (.f64 -100 (/.f64 (.f64 x x) (*.f64 y y))))
(fma.f64 100 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (.f64 (/.f64 x y) (.f64 (/.f64 x y) -100)))
(fma.f64 100 (pow.f64 (/.f64 x y) 3) (.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100))))
(.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) (+.f64 (*.f64 x (/.f64 100 y)) -100))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (fma.f64 100 (/.f64 x y) (fma.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (fma.f64 100 (/.f64 x y) (fma.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
(fma.f64 -100 (.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 100 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(fma.f64 100 (pow.f64 (/.f64 x y) 3) (fma.f64 -100 (pow.f64 (/.f64 x y) 4) (.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100)))))
(.f64 (fma.f64 (/.f64 x y) (/.f64 x y) 1) (.f64 (/.f64 x y) (+.f64 100 (*.f64 (/.f64 x y) -100))))
100
(+.f64 100 (*.f64 -100 (/.f64 y x)))
(+.f64 100 (*.f64 (/.f64 y x) -100))
(fma.f64 (/.f64 y x) -100 100)
(fma.f64 (/.f64 -100 x) y 100)
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 -100 (/.f64 y x))))
(+.f64 100 (fma.f64 100 (/.f64 (.f64 y y) (.f64 x x)) (*.f64 (/.f64 y x) -100)))
(+.f64 100 (fma.f64 (/.f64 y x) -100 (/.f64 100 (/.f64 (.f64 x x) (.f64 y y)))))
(fma.f64 (/.f64 y x) -100 (fma.f64 100 (*.f64 (/.f64 y x) (/.f64 y x)) 100))
(+.f64 100 (.f64 (/.f64 y x) (+.f64 -100 (/.f64 (.f64 y 100) x))))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 -100 (/.f64 y x)) (*.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 100 (fma.f64 100 (/.f64 (.f64 y y) (.f64 x x)) (*.f64 -100 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 100 (fma.f64 -100 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (/.f64 100 (/.f64 (.f64 x x) (.f64 y y)))))
(fma.f64 100 (*.f64 (/.f64 y x) (/.f64 y x)) (fma.f64 -100 (+.f64 (/.f64 y x) (pow.f64 (/.f64 y x) 3)) 100))
(+.f64 100 (fma.f64 -100 (pow.f64 (/.f64 y x) 3) (.f64 (/.f64 y x) (+.f64 -100 (/.f64 (.f64 y 100) x)))))
(*.f64 (fma.f64 (/.f64 y x) (/.f64 y x) 1) (fma.f64 (/.f64 -100 x) y 100))
100
(+.f64 100 (*.f64 -100 (/.f64 y x)))
(+.f64 100 (*.f64 (/.f64 y x) -100))
(fma.f64 (/.f64 y x) -100 100)
(fma.f64 (/.f64 -100 x) y 100)
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 -100 (/.f64 y x))))
(+.f64 100 (fma.f64 100 (/.f64 (.f64 y y) (.f64 x x)) (*.f64 (/.f64 y x) -100)))
(+.f64 100 (fma.f64 (/.f64 y x) -100 (/.f64 100 (/.f64 (.f64 x x) (.f64 y y)))))
(fma.f64 (/.f64 y x) -100 (fma.f64 100 (*.f64 (/.f64 y x) (/.f64 y x)) 100))
(+.f64 100 (.f64 (/.f64 y x) (+.f64 -100 (/.f64 (.f64 y 100) x))))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 -100 (/.f64 y x)) (*.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 100 (fma.f64 100 (/.f64 (.f64 y y) (.f64 x x)) (*.f64 -100 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 100 (fma.f64 -100 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (/.f64 100 (/.f64 (.f64 x x) (.f64 y y)))))
(fma.f64 100 (*.f64 (/.f64 y x) (/.f64 y x)) (fma.f64 -100 (+.f64 (/.f64 y x) (pow.f64 (/.f64 y x) 3)) 100))
(+.f64 100 (fma.f64 -100 (pow.f64 (/.f64 y x) 3) (.f64 (/.f64 y x) (+.f64 -100 (/.f64 (.f64 y 100) x)))))
(*.f64 (fma.f64 (/.f64 y x) (/.f64 y x) 1) (fma.f64 (/.f64 -100 x) y 100))
100
(+.f64 100 (*.f64 -100 (/.f64 y x)))
(+.f64 100 (*.f64 (/.f64 y x) -100))
(fma.f64 (/.f64 y x) -100 100)
(fma.f64 (/.f64 -100 x) y 100)
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 -100 (/.f64 y x))))
(+.f64 100 (fma.f64 100 (/.f64 (.f64 y y) (.f64 x x)) (*.f64 (/.f64 y x) -100)))
(+.f64 100 (fma.f64 (/.f64 y x) -100 (/.f64 100 (/.f64 (.f64 x x) (.f64 y y)))))
(fma.f64 (/.f64 y x) -100 (fma.f64 100 (*.f64 (/.f64 y x) (/.f64 y x)) 100))
(+.f64 100 (.f64 (/.f64 y x) (+.f64 -100 (/.f64 (.f64 y 100) x))))
(+.f64 100 (+.f64 (.f64 100 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 -100 (/.f64 y x)) (*.f64 -100 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 100 (fma.f64 100 (/.f64 (.f64 y y) (.f64 x x)) (*.f64 -100 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 100 (fma.f64 -100 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (/.f64 100 (/.f64 (.f64 x x) (.f64 y y)))))
(fma.f64 100 (*.f64 (/.f64 y x) (/.f64 y x)) (fma.f64 -100 (+.f64 (/.f64 y x) (pow.f64 (/.f64 y x) 3)) 100))
(+.f64 100 (fma.f64 -100 (pow.f64 (/.f64 y x) 3) (.f64 (/.f64 y x) (+.f64 -100 (/.f64 (.f64 y 100) x)))))
(*.f64 (fma.f64 (/.f64 y x) (/.f64 y x) 1) (fma.f64 (/.f64 -100 x) y 100))
(*.f64 100 (/.f64 x y))
(/.f64 (*.f64 x 100) y)
(*.f64 x (/.f64 100 y))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (.f64 100 (/.f64 x y)))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 100 (/.f64 x y)))
(fma.f64 100 (/.f64 x y) (.f64 -100 (/.f64 (.f64 x x) (*.f64 y y))))
(fma.f64 100 (/.f64 x y) (.f64 (/.f64 x y) (.f64 (/.f64 x y) -100)))
(.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100)))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 100 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 100 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (.f64 -100 (/.f64 (.f64 x x) (*.f64 y y))))
(fma.f64 100 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (.f64 (/.f64 x y) (.f64 (/.f64 x y) -100)))
(fma.f64 100 (pow.f64 (/.f64 x y) 3) (.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100))))
(.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) (+.f64 (*.f64 x (/.f64 100 y)) -100))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (fma.f64 100 (/.f64 x y) (fma.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (fma.f64 100 (/.f64 x y) (fma.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
(fma.f64 -100 (.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 100 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(fma.f64 100 (pow.f64 (/.f64 x y) 3) (fma.f64 -100 (pow.f64 (/.f64 x y) 4) (.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100)))))
(.f64 (fma.f64 (/.f64 x y) (/.f64 x y) 1) (.f64 (/.f64 x y) (+.f64 100 (*.f64 (/.f64 x y) -100))))
(*.f64 100 (/.f64 x y))
(/.f64 (*.f64 x 100) y)
(*.f64 x (/.f64 100 y))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (.f64 100 (/.f64 x y)))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 100 (/.f64 x y)))
(fma.f64 100 (/.f64 x y) (.f64 -100 (/.f64 (.f64 x x) (*.f64 y y))))
(fma.f64 100 (/.f64 x y) (.f64 (/.f64 x y) (.f64 (/.f64 x y) -100)))
(.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100)))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 100 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 100 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (.f64 -100 (/.f64 (.f64 x x) (*.f64 y y))))
(fma.f64 100 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (.f64 (/.f64 x y) (.f64 (/.f64 x y) -100)))
(fma.f64 100 (pow.f64 (/.f64 x y) 3) (.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100))))
(.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) (+.f64 (*.f64 x (/.f64 100 y)) -100))))
(+.f64 (.f64 -100 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 100 (/.f64 x y)) (+.f64 (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (fma.f64 100 (/.f64 x y) (fma.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (*.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
(fma.f64 -100 (/.f64 (.f64 x x) (.f64 y y)) (fma.f64 100 (/.f64 x y) (fma.f64 100 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
(fma.f64 -100 (.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 100 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (.f64 -100 (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(fma.f64 100 (pow.f64 (/.f64 x y) 3) (fma.f64 -100 (pow.f64 (/.f64 x y) 4) (.f64 (/.f64 x y) (+.f64 100 (.f64 (/.f64 x y) -100)))))
(.f64 (fma.f64 (/.f64 x y) (/.f64 x y) 1) (.f64 (/.f64 x y) (+.f64 100 (*.f64 (/.f64 x y) -100))))

eval78.0ms (3.4%)

Compiler: Compiled 3348 to 1916 computations (42.8% saved)

prune45.0ms (2%)

Pruning

9 alts after pruning (4 fresh and 5 done)

	Pruned	Kept	Total
New	284	4	288
Fresh	1	0	1
Picked	0	1	1
Done	1	4	5
Total	286	9	295

Error

Counts

295 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	32.6b	(/.f64 100 (/.f64 y x))
▶	32.7b	(/.f64 (*.f64 x 100) y)
✓	0.7b	(/.f64 1 (/.f64 (+.f64 x y) (*.f64 x 100)))
✓	32.7b	(*.f64 x (/.f64 100 y))
▶	32.7b	(/.f64 x (*.f64 y 1/100))
	30.3b	100
✓	0.2b	(*.f64 x (/.f64 100 (+.f64 x y)))
▶	30.4b	(/.f64 x (*.f64 1/100 x))
✓	0.2b	(/.f64 x (*.f64 (+.f64 x y) 1/100))

Compiler

Compiled 67 to 48 computations (28.4% saved)

localize3.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series2.0ms (0.1%)

Counts

2 → 12

Calls

6 calls:

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

rewrite49.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

578×	`pow1_binary64`
545×	`add-log-exp_binary64`
545×	`log1p-expm1-u_binary64`
545×	`expm1-log1p-u_binary64`
535×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	11
1	109	11
2	1438	11

Stop Event

1×	node limit

Counts

2 → 48

Calls

Call 1

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

Outputs

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

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

simplify12.0ms (0.5%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	12

Stop Event

1×

saturated

Counts

60 → 49

Calls

Call 1

Inputs
100
100
100
100
100
100
100
100
100
100
100
100

Outputs
100
100
100
100
100
100
100
100
100
100
100
100

localize3.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(/.f64 x (*.f64 y 1/100))
	0.1b	(*.f64 y 1/100)
✓	0.1b	(*.f64 y 1/100)
✓	0.2b	(/.f64 x (*.f64 y 1/100))

series3.0ms (0.1%)

Counts

2 → 36

Calls

9 calls:

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

rewrite47.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

680×	`pow1_binary64`
638×	`add-log-exp_binary64`
638×	`log1p-expm1-u_binary64`
638×	`expm1-log1p-u_binary64`
625×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	11
1	128	11
2	1677	11

Stop Event

1×	node limit

Counts

2 → 49

Calls

Call 1

Inputs
(/.f64 x (*.f64 y 1/100))
(*.f64 y 1/100)

Outputs

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

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

simplify11.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
1×	`associate-*r/_binary64`
1×	`associate-*l/_binary64`
1×	`associate-/r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	216
1	12	216
2	16	216
3	20	216
4	21	216

Stop Event

1×

saturated

Counts

85 → 51

Calls

Call 1

Inputs
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 1/100 y)
(*.f64 1/100 y)
(*.f64 1/100 y)
(*.f64 1/100 y)
(*.f64 1/100 y)
(*.f64 1/100 y)
(*.f64 1/100 y)
(*.f64 1/100 y)
(*.f64 1/100 y)
(*.f64 1/100 y)
(*.f64 1/100 y)
(*.f64 1/100 y)

Outputs
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 1/100 y)
(*.f64 y 1/100)
(*.f64 1/100 y)
(*.f64 y 1/100)
(*.f64 1/100 y)
(*.f64 y 1/100)
(*.f64 1/100 y)
(*.f64 y 1/100)
(*.f64 1/100 y)
(*.f64 y 1/100)
(*.f64 1/100 y)
(*.f64 y 1/100)
(*.f64 1/100 y)
(*.f64 y 1/100)
(*.f64 1/100 y)
(*.f64 y 1/100)
(*.f64 1/100 y)
(*.f64 y 1/100)
(*.f64 1/100 y)
(*.f64 y 1/100)
(*.f64 1/100 y)
(*.f64 y 1/100)
(*.f64 1/100 y)
(*.f64 y 1/100)

localize3.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.7b	(/.f64 (*.f64 x 100) y)
✓	0.7b	(/.f64 (*.f64 x 100) y)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite49.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

670×	`pow1_binary64`
628×	`add-log-exp_binary64`
628×	`log1p-expm1-u_binary64`
628×	`expm1-log1p-u_binary64`
616×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	128	7
2	1658	7

Stop Event

1×	node limit

Counts

1 → 41

Calls

Call 1

Inputs
(/.f64 (*.f64 x 100) y)

Outputs

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

simplify10.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
1×	`associate-*r/_binary64`
1×	`associate-*l/_binary64`
1×	`associate-/r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	9	168
2	13	168
3	17	168
4	18	168

Stop Event

1×

saturated

Counts

65 → 42

Calls

Call 1

Inputs
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))
(*.f64 100 (/.f64 x y))

Outputs
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)
(*.f64 100 (/.f64 x y))
(*.f64 (/.f64 100 y) x)

eval31.0ms (1.4%)

Compiler: Compiled 1306 to 851 computations (34.8% saved)

prune21.0ms (0.9%)

Pruning

9 alts after pruning (1 fresh and 8 done)

	Pruned	Kept	Total
New	141	1	142
Fresh	1	0	1
Picked	0	1	1
Done	0	7	7
Total	142	9	151

Error

Counts

151 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	32.6b	(/.f64 100 (/.f64 y x))
✓	32.7b	(/.f64 (*.f64 x 100) y)
✓	0.7b	(/.f64 1 (/.f64 (+.f64 x y) (*.f64 x 100)))
✓	32.7b	(*.f64 x (/.f64 100 y))
✓	32.7b	(/.f64 x (*.f64 y 1/100))
	30.3b	100
✓	0.2b	(*.f64 x (/.f64 100 (+.f64 x y)))
✓	30.4b	(/.f64 x (*.f64 1/100 x))
✓	0.2b	(/.f64 x (*.f64 (+.f64 x y) 1/100))

Compiler

Compiled 67 to 48 computations (28.4% saved)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune3.0ms (0.2%)

Pruning

9 alts after pruning (1 fresh and 8 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	8	8
Total	9	9

Error

Counts

9 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	32.6b	(/.f64 100 (/.f64 y x))
✓	32.7b	(/.f64 (*.f64 x 100) y)
✓	0.7b	(/.f64 1 (/.f64 (+.f64 x y) (*.f64 x 100)))
✓	32.7b	(*.f64 x (/.f64 100 y))
✓	32.7b	(/.f64 x (*.f64 y 1/100))
	30.3b	100
✓	0.2b	(*.f64 x (/.f64 100 (+.f64 x y)))
✓	30.4b	(/.f64 x (*.f64 1/100 x))
✓	0.2b	(/.f64 x (*.f64 (+.f64 x y) 1/100))

Compiler

Compiled 67 to 48 computations (28.4% saved)

regimes31.0ms (1.4%)

Counts

13 → 1

Calls

Call 1

Inputs
100
100
100
(/.f64 (*.f64 x 100) y)
(/.f64 x (*.f64 y 1/100))
(/.f64 x (*.f64 1/100 x))
(*.f64 x (/.f64 100 y))
(/.f64 100 (/.f64 y x))
(*.f64 100 (/.f64 x y))
(/.f64 x (*.f64 (+.f64 x y) 1/100))
(*.f64 x (/.f64 100 (+.f64 x y)))
(/.f64 (*.f64 x 100) (+.f64 x y))
(/.f64 1 (/.f64 (+.f64 x y) (*.f64 x 100)))

Outputs
(*.f64 x (/.f64 100 (+.f64 x y)))

Calls

4 calls:

8.0ms	y
7.0ms	x
7.0ms	(/.f64 (*.f64 x 100) (+.f64 x y))
6.0ms	(/.f64 (*.f64 x 100) (+.f64 x y))

Results

Error	Segments	Branch
0.2b	1	`x`
0.2b	1	`y`
0.2b	1	`(/.f64 (*.f64 x 100) (+.f64 x y))`
0.2b	1	`(/.f64 (*.f64 x 100) (+.f64 x y))`

Compiler

Compiled 89 to 54 computations (39.3% saved)

regimes15.0ms (0.7%)

Counts

10 → 1

Calls

Call 1

Inputs
100
100
100
(/.f64 (*.f64 x 100) y)
(/.f64 x (*.f64 y 1/100))
(/.f64 x (*.f64 1/100 x))
(*.f64 x (/.f64 100 y))
(/.f64 100 (/.f64 y x))
(*.f64 100 (/.f64 x y))
(/.f64 x (*.f64 (+.f64 x y) 1/100))

Outputs
(/.f64 x (*.f64 (+.f64 x y) 1/100))

Calls

2 calls:

7.0ms	y
6.0ms	x

Results

Error	Segments	Branch
0.2b	1	`x`
0.2b	1	`y`

Compiler

Compiled 48 to 31 computations (35.4% saved)

regimes50.0ms (2.2%)

Counts

9 → 3

Calls

Call 1

Inputs
100
100
100
(/.f64 (*.f64 x 100) y)
(/.f64 x (*.f64 y 1/100))
(/.f64 x (*.f64 1/100 x))
(*.f64 x (/.f64 100 y))
(/.f64 100 (/.f64 y x))
(*.f64 100 (/.f64 x y))

Outputs
100
(/.f64 100 (/.f64 y x))
100

Calls

2 calls:

31.0ms	y
16.0ms	x

Results

Error	Segments	Branch
12.8b	3	`x`
13.8b	5	`y`

Compiler

Compiled 41 to 27 computations (34.1% saved)

bsearch34.0ms (1.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
17.0ms	9616111207.270092	34895739330.43926
16.0ms	-9.33757743399206e-77	-3.4338103754567246e-83

Compiler

Compiled 14 to 10 computations (28.6% saved)

regimes46.0ms (2%)

Counts

7 → 3

Calls

Call 1

Inputs
100
100
100
(/.f64 (*.f64 x 100) y)
(/.f64 x (*.f64 y 1/100))
(/.f64 x (*.f64 1/100 x))
(*.f64 x (/.f64 100 y))

Outputs
100
(/.f64 (*.f64 x 100) y)
100

Calls

2 calls:

28.0ms	y
17.0ms	x

Results

Error	Segments	Branch
12.8b	3	`x`
13.8b	5	`y`

Compiler

Compiled 31 to 21 computations (32.3% saved)

bsearch35.0ms (1.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
16.0ms	9616111207.270092	34895739330.43926
19.0ms	-9.33757743399206e-77	-3.4338103754567246e-83

Compiler

Compiled 14 to 10 computations (28.6% saved)

regimes17.0ms (0.8%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts

3 → 1

Calls

Call 1

Inputs
100
100
100

Outputs
100

Calls

2 calls:

13.0ms	y
4.0ms	x

Results

Error	Segments	Branch
30.3b	1	`x`
30.3b	1	`y`

Compiler

Compiled 11 to 9 computations (18.2% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	63
1	27	63

Stop Event

1×

saturated

Calls

Call 1

Inputs
(*.f64 x (/.f64 100 (+.f64 x y)))
(/.f64 x (*.f64 (+.f64 x y) 1/100))
(if (<=.f64 x -3043356986376141/32592575621351777380295131014550050576823494298654980010178247189670100796213387298934358016) 100 (if (<=.f64 x 2520805856318611/262144) (/.f64 100 (/.f64 y x)) 100))
(if (<=.f64 x -3043356986376141/32592575621351777380295131014550050576823494298654980010178247189670100796213387298934358016) 100 (if (<=.f64 x 2520805856318611/262144) (/.f64 (*.f64 x 100) y) 100))
100

Outputs
(*.f64 x (/.f64 100 (+.f64 x y)))
(/.f64 x (*.f64 (+.f64 x y) 1/100))
(if (<=.f64 x -3043356986376141/32592575621351777380295131014550050576823494298654980010178247189670100796213387298934358016) 100 (if (<=.f64 x 2520805856318611/262144) (/.f64 100 (/.f64 y x)) 100))
(if (<=.f64 x -3043356986376141/32592575621351777380295131014550050576823494298654980010178247189670100796213387298934358016) 100 (if (<=.f64 x 2520805856318611/262144) (/.f64 (*.f64 x 100) y) 100))
100

end68.0ms (2.9%)

Stop Event

1×

fuel

Compiler

Compiled 102 to 73 computations (28.4% saved)

Details

analyze55.0ms (2.4%)

sample792.0ms (34.4%)

preprocess19.0ms (0.8%)

simplify8.0ms (0.4%)

eval1.0ms (0%)

prune1.0ms (0.1%)

localize4.0ms (0.2%)

series4.0ms (0.2%)

rewrite49.0ms (2.1%)

simplify49.0ms (2.1%)

localize4.0ms (0.2%)

series5.0ms (0.2%)

rewrite49.0ms (2.1%)

simplify117.0ms (5.1%)

eval32.0ms (1.4%)

prune25.0ms (1.1%)

localize5.0ms (0.2%)

series5.0ms (0.2%)

rewrite55.0ms (2.4%)

simplify54.0ms (2.4%)

localize3.0ms (0.1%)

series4.0ms (0.2%)

rewrite40.0ms (1.7%)

simplify7.0ms (0.3%)

localize3.0ms (0.1%)

series2.0ms (0.1%)

rewrite42.0ms (1.8%)

simplify13.0ms (0.6%)

localize3.0ms (0.1%)

series2.0ms (0.1%)

rewrite41.0ms (1.8%)

simplify11.0ms (0.5%)

localize5.0ms (0.2%)

series7.0ms (0.3%)

rewrite58.0ms (2.5%)

simplify54.0ms (2.4%)

eval78.0ms (3.4%)

prune45.0ms (2%)

localize3.0ms (0.1%)

series2.0ms (0.1%)

rewrite49.0ms (2.1%)

simplify12.0ms (0.5%)

localize3.0ms (0.1%)

series3.0ms (0.1%)

rewrite47.0ms (2%)

simplify11.0ms (0.5%)

localize3.0ms (0.1%)

series2.0ms (0.1%)

rewrite49.0ms (2.1%)

simplify10.0ms (0.4%)

eval31.0ms (1.4%)

prune21.0ms (0.9%)

eval0.0ms (0%)

prune3.0ms (0.2%)

regimes31.0ms (1.4%)

regimes15.0ms (0.7%)

regimes50.0ms (2.2%)

bsearch34.0ms (1.5%)

regimes46.0ms (2%)

bsearch35.0ms (1.5%)

regimes17.0ms (0.8%)

simplify3.0ms (0.1%)

end68.0ms (2.9%)

Profiling