Details

analyze200.0ms (8.3%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	7
21.9%	21.8%	78%	0.1%	0%	0%	0%	8
30.2%	29.6%	68.6%	0.1%	1.6%	0%	0%	9
39.8%	38.2%	57.7%	0.1%	3.9%	0%	0%	10
48.4%	46.4%	49.5%	0.1%	3.9%	0%	0%	11
56.1%	52.9%	41.3%	0.1%	5.7%	0%	0%	12

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample938.0ms (39.1%)

Results

814.0ms	8256×	body	256	valid
112.0ms	1046×	body	256	infinite

Bogosity

preprocess8.0ms (0.3%)

Algorithm

2×	egg-herbie

Rules

18×	`*-commutative`
12×	`associate-/l*`
12×	`associate-/r/`
2×	`swap-x-y`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	52
1	23	52
2	31	52
3	37	52
4	39	52
0	3	3
1	3	3

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
0
2

Call 2

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

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

Symmetry

(sort x y)

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify11.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative`
4×	`associate-/l*`
4×	`associate-/r/`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	10	13
2	14	13
3	17	13
4	18	13

Stop Event

1×

saturated

Counts

1 → 5

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 28 to 12 computations (57.1% saved)

prune3.0ms (0.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	1	4	5
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	5	6

Error

0.0b

Counts

6 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	8.3b	(/.f64 (*.f64 x y) z)
▶	6.7b	(/.f64 x (/.f64 z y))
▶	5.0b	(*.f64 (/.f64 x z) y)
▶	6.9b	(*.f64 x (/.f64 y z))

Compiler

Compiled 32 to 20 computations (37.5% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	6.7b	(*.f64 x (/.f64 y z))

Compiler

Compiled 14 to 5 computations (64.3% saved)

series4.0ms (0.2%)

Counts

1 → 36

Calls

9 calls:

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

rewrite53.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1568×	`add-sqr-sqrt`
1556×	`*-un-lft-identity`
1444×	`add-cube-cbrt`
1420×	`add-cbrt-cube`
1406×	`add-exp-log`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	145	13
2	1912	13

Stop Event

1×	node limit

Counts

1 → 21

Calls

Call 1

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

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

Outputs

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

simplify46.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

1536×	`distribute-rgt-in`
1522×	`distribute-lft-in`
1466×	`associate-/r/`
906×	`associate-r`
862×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	61	761
1	141	761
2	548	761
3	3439	761

Stop Event

1×	node limit

Counts

57 → 28

Calls

Call 1

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

Outputs
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(-.f64 (+.f64 1 (*.f64 x (/.f64 y z))) 1)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 x (/.f64 z y))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 1 (/.f64 z (*.f64 x y)))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 x y) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 x (neg.f64 y)) (neg.f64 z))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 (neg.f64 y) x) (neg.f64 z))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (/.f64 (*.f64 x y) 1) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (/.f64 (*.f64 x y) (sqrt.f64 z)) (sqrt.f64 z))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (/.f64 (.f64 x y) (cbrt.f64 (.f64 z z))) (cbrt.f64 z))
(/.f64 (/.f64 x (/.f64 (cbrt.f64 (*.f64 z z)) y)) (cbrt.f64 z))
(.f64 (/.f64 y (cbrt.f64 z)) (/.f64 x (cbrt.f64 (.f64 z z))))
(.f64 (/.f64 x (cbrt.f64 z)) (/.f64 y (cbrt.f64 (.f64 z z))))
(.f64 (/.f64 x (cbrt.f64 (.f64 z z))) (/.f64 y (cbrt.f64 z)))
(/.f64 (neg.f64 (*.f64 x y)) (neg.f64 z))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(pow.f64 (*.f64 x (/.f64 y z)) 1)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(pow.f64 (sqrt.f64 (*.f64 x (/.f64 y z))) 2)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(pow.f64 (cbrt.f64 (*.f64 x (/.f64 y z))) 3)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(pow.f64 (pow.f64 (*.f64 x (/.f64 y z)) 3) 1/3)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(sqrt.f64 (pow.f64 (*.f64 x (/.f64 y z)) 2))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(log.f64 (pow.f64 (exp.f64 (/.f64 y z)) x))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(cbrt.f64 (pow.f64 (*.f64 x (/.f64 y z)) 3))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(expm1.f64 (log1p.f64 (*.f64 x (/.f64 y z))))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(exp.f64 (log.f64 (*.f64 x (/.f64 y z))))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(exp.f64 (.f64 (log.f64 (.f64 x (/.f64 y z))) 1))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(log1p.f64 (expm1.f64 (*.f64 x (/.f64 y z))))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	4.8b	(*.f64 (/.f64 x z) y)

Compiler

Compiled 14 to 5 computations (64.3% saved)

series1.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite56.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1570×	`add-sqr-sqrt`
1558×	`*-un-lft-identity`
1446×	`add-cube-cbrt`
1422×	`add-cbrt-cube`
1408×	`add-exp-log`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	145	13
2	1914	13

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

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

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

Outputs

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

simplify46.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

1670×	`distribute-rgt-in`
1658×	`distribute-lft-in`
990×	`associate-r`
922×	`associate-l`
610×	`associate-+l+`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	62	754
1	143	754
2	575	754
3	3915	754

Stop Event

1×	node limit

Counts

58 → 24

Calls

Call 1

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

Outputs
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(-.f64 (+.f64 1 (*.f64 (/.f64 x z) y)) 1)
(*.f64 y (/.f64 x z))
(/.f64 x (/.f64 z y))
(*.f64 y (/.f64 x z))
(/.f64 y (/.f64 z x))
(*.f64 y (/.f64 x z))
(/.f64 1 (/.f64 z (*.f64 x y)))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 x y) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y (neg.f64 x)) (neg.f64 z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 (neg.f64 x) y) (neg.f64 z))
(*.f64 y (/.f64 x z))
(/.f64 (/.f64 (*.f64 x y) 1) z)
(*.f64 y (/.f64 x z))
(/.f64 (/.f64 (*.f64 x y) (sqrt.f64 z)) (sqrt.f64 z))
(*.f64 y (/.f64 x z))
(/.f64 (/.f64 (*.f64 x y) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))
(*.f64 y (/.f64 x z))
(/.f64 (neg.f64 (*.f64 x y)) (neg.f64 z))
(*.f64 y (/.f64 x z))
(pow.f64 (*.f64 (/.f64 x z) y) 1)
(*.f64 y (/.f64 x z))
(pow.f64 (sqrt.f64 (*.f64 (/.f64 x z) y)) 2)
(*.f64 y (/.f64 x z))
(pow.f64 (cbrt.f64 (*.f64 (/.f64 x z) y)) 3)
(*.f64 y (/.f64 x z))
(pow.f64 (pow.f64 (*.f64 (/.f64 x z) y) 3) 1/3)
(*.f64 y (/.f64 x z))
(sqrt.f64 (pow.f64 (*.f64 (/.f64 x z) y) 2))
(*.f64 y (/.f64 x z))
(log.f64 (pow.f64 (exp.f64 y) (/.f64 x z)))
(*.f64 y (/.f64 x z))
(cbrt.f64 (pow.f64 (*.f64 (/.f64 x z) y) 3))
(*.f64 y (/.f64 x z))
(expm1.f64 (log1p.f64 (*.f64 (/.f64 x z) y)))
(*.f64 y (/.f64 x z))
(exp.f64 (log.f64 (*.f64 (/.f64 x z) y)))
(*.f64 y (/.f64 x z))
(exp.f64 (.f64 (log.f64 (.f64 (/.f64 x z) y)) 1))
(*.f64 y (/.f64 x z))
(log1p.f64 (expm1.f64 (*.f64 (/.f64 x z) y)))
(*.f64 y (/.f64 x z))

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	6.5b	(/.f64 x (/.f64 z y))

Compiler

Compiled 14 to 5 computations (64.3% saved)

series1.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

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

rewrite54.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1766×	`add-sqr-sqrt`
1754×	`*-un-lft-identity`
1636×	`add-cube-cbrt`
1612×	`add-cbrt-cube`
160×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	151	13
2	2155	13

Stop Event

1×	node limit

Counts

1 → 42

Calls

Call 1

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

Outputs

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

simplify54.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

1482×	`associate-+r+`
1336×	`associate-+l+`
1168×	`associate-*r/`
772×	`associate-*l/`
636×	`associate-+l-`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	117	1266
1	293	1248
2	1090	1248
3	4879	1248

Stop Event

1×	node limit

Counts

78 → 55

Calls

Call 1

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

Outputs
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (/.f64 y z)))) 1)
(*.f64 y (/.f64 x z))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(*.f64 y (/.f64 x z))
(.f64 (.f64 x (/.f64 y z)) 1)
(*.f64 y (/.f64 x z))
(.f64 1 (.f64 x (/.f64 y z)))
(*.f64 y (/.f64 x z))
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (/.f64 y z)))
(*.f64 y (/.f64 x z))
(.f64 (sqrt.f64 (.f64 x (/.f64 y z))) (sqrt.f64 (*.f64 x (/.f64 y z))))
(*.f64 y (/.f64 x z))
(.f64 (cbrt.f64 (.f64 x x)) (*.f64 (cbrt.f64 x) (/.f64 y z)))
(.f64 (cbrt.f64 (.f64 x x)) (*.f64 (/.f64 y z) (cbrt.f64 x)))
(.f64 (/.f64 y z) (.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 x)))
(.f64 (cbrt.f64 (.f64 x x)) (*.f64 y (/.f64 (cbrt.f64 x) z)))
(/.f64 (cbrt.f64 (*.f64 x x)) (/.f64 (/.f64 z y) (cbrt.f64 x)))
(.f64 (cbrt.f64 (.f64 x (/.f64 y z))) (pow.f64 (cbrt.f64 (*.f64 x (/.f64 y z))) 2))
(*.f64 y (/.f64 x z))
(.f64 (pow.f64 (cbrt.f64 (.f64 x (/.f64 y z))) 2) (cbrt.f64 (*.f64 x (/.f64 y z))))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 x z) y)
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(*.f64 (neg.f64 x) (/.f64 1 (/.f64 (neg.f64 z) y)))
(*.f64 y (/.f64 x z))
(.f64 (.f64 (/.f64 x z) 1) y)
(*.f64 y (/.f64 x z))
(.f64 (.f64 (/.f64 x z) (sqrt.f64 y)) (sqrt.f64 y))
(*.f64 y (/.f64 x z))
(.f64 (.f64 (/.f64 x z) (cbrt.f64 (*.f64 y y))) (cbrt.f64 y))
(.f64 (/.f64 x z) (.f64 (cbrt.f64 (*.f64 y y)) (cbrt.f64 y)))
(*.f64 (/.f64 x 1) (/.f64 y z))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 1 z) (/.f64 x (/.f64 1 y)))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 1 (sqrt.f64 (/.f64 z y))) (/.f64 x (sqrt.f64 (/.f64 z y))))
(/.f64 (/.f64 x (sqrt.f64 (/.f64 z y))) (sqrt.f64 (/.f64 z y)))
(/.f64 x (*.f64 (sqrt.f64 (/.f64 z y)) (sqrt.f64 (/.f64 z y))))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (/.f64 z y)) 2)) (/.f64 x (cbrt.f64 (/.f64 z y))))
(/.f64 (/.f64 x (cbrt.f64 (/.f64 z y))) (pow.f64 (cbrt.f64 (/.f64 z y)) 2))
(/.f64 x (*.f64 (pow.f64 (cbrt.f64 (/.f64 z y)) 2) (cbrt.f64 (/.f64 z y))))
(*.f64 (/.f64 x (neg.f64 z)) (neg.f64 y))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 (sqrt.f64 x) 1) (/.f64 (sqrt.f64 x) (/.f64 z y)))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 (sqrt.f64 x) z) (/.f64 (sqrt.f64 x) (/.f64 1 y)))
(*.f64 y (/.f64 x z))
(.f64 (/.f64 (cbrt.f64 (.f64 x x)) 1) (/.f64 (cbrt.f64 x) (/.f64 z y)))
(.f64 (cbrt.f64 (.f64 x x)) (*.f64 (/.f64 y z) (cbrt.f64 x)))
(.f64 (/.f64 y z) (.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 x)))
(.f64 (cbrt.f64 (.f64 x x)) (*.f64 y (/.f64 (cbrt.f64 x) z)))
(/.f64 (cbrt.f64 (*.f64 x x)) (/.f64 (/.f64 z y) (cbrt.f64 x)))
(*.f64 (/.f64 (sqrt.f64 x) (pow.f64 (cbrt.f64 (/.f64 z y)) 2)) (/.f64 (sqrt.f64 x) (cbrt.f64 (/.f64 z y))))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (/.f64 z y)) 2)) (/.f64 x (cbrt.f64 (/.f64 z y))))
(/.f64 (/.f64 x (cbrt.f64 (/.f64 z y))) (pow.f64 (cbrt.f64 (/.f64 z y)) 2))
(/.f64 x (*.f64 (pow.f64 (cbrt.f64 (/.f64 z y)) 2) (cbrt.f64 (/.f64 z y))))
(.f64 (/.f64 (cbrt.f64 (.f64 x x)) z) (/.f64 (cbrt.f64 x) (/.f64 1 y)))
(.f64 (cbrt.f64 (.f64 x x)) (*.f64 (/.f64 y z) (cbrt.f64 x)))
(.f64 (/.f64 y z) (.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 x)))
(.f64 (cbrt.f64 (.f64 x x)) (*.f64 y (/.f64 (cbrt.f64 x) z)))
(/.f64 (cbrt.f64 (*.f64 x x)) (/.f64 (/.f64 z y) (cbrt.f64 x)))
(.f64 (/.f64 (cbrt.f64 (.f64 x x)) (sqrt.f64 (/.f64 z y))) (/.f64 (cbrt.f64 x) (sqrt.f64 (/.f64 z y))))
(/.f64 (.f64 (cbrt.f64 (.f64 x x)) (/.f64 (cbrt.f64 x) (sqrt.f64 (/.f64 z y)))) (sqrt.f64 (/.f64 z y)))
(.f64 (/.f64 (cbrt.f64 (.f64 x x)) (pow.f64 (cbrt.f64 (/.f64 z y)) 2)) (cbrt.f64 (*.f64 x (/.f64 y z))))
(/.f64 (.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 (*.f64 y (/.f64 x z)))) (pow.f64 (cbrt.f64 (/.f64 z y)) 2))
(.f64 (cbrt.f64 (.f64 y (/.f64 x z))) (/.f64 (cbrt.f64 (*.f64 x x)) (pow.f64 (cbrt.f64 (/.f64 z y)) 2)))
(pow.f64 (*.f64 x (/.f64 y z)) 1)
(*.f64 y (/.f64 x z))
(pow.f64 (sqrt.f64 (*.f64 x (/.f64 y z))) 2)
(*.f64 y (/.f64 x z))
(pow.f64 (cbrt.f64 (*.f64 x (/.f64 y z))) 3)
(*.f64 y (/.f64 x z))
(pow.f64 (pow.f64 (*.f64 x (/.f64 y z)) 3) 1/3)
(*.f64 y (/.f64 x z))
(pow.f64 (/.f64 z (*.f64 x y)) -1)
(*.f64 y (/.f64 x z))
(neg.f64 (/.f64 x (/.f64 (neg.f64 z) y)))
(*.f64 y (/.f64 x z))
(sqrt.f64 (pow.f64 (*.f64 x (/.f64 y z)) 2))
(*.f64 y (/.f64 x z))
(log.f64 (pow.f64 (exp.f64 x) (/.f64 y z)))
(*.f64 y (/.f64 x z))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (/.f64 y z)))))
(*.f64 y (/.f64 x z))
(cbrt.f64 (pow.f64 (*.f64 x (/.f64 y z)) 3))
(*.f64 y (/.f64 x z))
(expm1.f64 (log1p.f64 (*.f64 x (/.f64 y z))))
(*.f64 y (/.f64 x z))
(exp.f64 (log.f64 (*.f64 x (/.f64 y z))))
(*.f64 y (/.f64 x z))
(exp.f64 (.f64 (log.f64 (.f64 x (/.f64 y z))) 1))
(*.f64 y (/.f64 x z))
(log1p.f64 (expm1.f64 (*.f64 x (/.f64 y z))))
(*.f64 y (/.f64 x z))

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	7.9b	(/.f64 (*.f64 x y) z)

Compiler

Compiled 14 to 5 computations (64.3% saved)

series1.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite52.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1630×	`add-sqr-sqrt`
1618×	`*-un-lft-identity`
1506×	`add-cube-cbrt`
1482×	`add-cbrt-cube`
152×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	145	13
2	1972	13

Stop Event

1×	node limit

Counts

1 → 42

Calls

Call 1

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

Outputs

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

simplify54.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

1346×	`associate-+r+`
1220×	`associate-+l+`
1154×	`associate-*r/`
742×	`associate-*l/`
718×	`associate-/l*`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	112	1240
1	279	1192
2	1024	1192
3	4850	1192

Stop Event

1×	node limit

Counts

78 → 50

Calls

Call 1

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

Outputs
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 x z) y))) 1)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 x (.f64 y (/.f64 1 z)))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(*.f64 x (/.f64 1 (/.f64 z y)))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 y (.f64 x (/.f64 1 z)))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 (.f64 x y) (/.f64 1 z))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 (.f64 (/.f64 x z) y) 1)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 1 (.f64 (/.f64 x z) y))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 (sqrt.f64 (.f64 x y)) (.f64 (sqrt.f64 (.f64 x y)) (/.f64 1 z)))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 (sqrt.f64 (.f64 (/.f64 x z) y)) (sqrt.f64 (*.f64 (/.f64 x z) y)))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) (.f64 (cbrt.f64 (.f64 x y)) (/.f64 1 z)))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 (cbrt.f64 (.f64 (/.f64 x z) y)) (pow.f64 (cbrt.f64 (*.f64 (/.f64 x z) y)) 2))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 (pow.f64 (cbrt.f64 (.f64 (/.f64 x z) y)) 2) (cbrt.f64 (*.f64 (/.f64 x z) y)))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 (/.f64 1 z) (.f64 x y))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 (.f64 x (neg.f64 y)) (/.f64 1 (neg.f64 z)))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (.f64 x y) (sqrt.f64 z)))
(.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (.f64 y x) (sqrt.f64 z)))
(*.f64 (/.f64 y (sqrt.f64 z)) (/.f64 x (sqrt.f64 z)))
(.f64 (/.f64 1 (cbrt.f64 (.f64 z z))) (/.f64 (*.f64 x y) (cbrt.f64 z)))
(.f64 (/.f64 1 (cbrt.f64 (.f64 z z))) (/.f64 x (/.f64 (cbrt.f64 z) y)))
(.f64 (/.f64 x (cbrt.f64 (.f64 z z))) (/.f64 y (cbrt.f64 z)))
(.f64 (/.f64 y (cbrt.f64 z)) (/.f64 x (cbrt.f64 (.f64 z z))))
(.f64 (/.f64 y (cbrt.f64 (.f64 z z))) (/.f64 x (cbrt.f64 z)))
(*.f64 (/.f64 y (sqrt.f64 z)) (/.f64 x (sqrt.f64 z)))
(.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (.f64 y x) (sqrt.f64 z)))
(*.f64 (/.f64 x z) y)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 x 1) (/.f64 y z))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 x (sqrt.f64 z)) (/.f64 y (sqrt.f64 z)))
(.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (.f64 y x) (sqrt.f64 z)))
(*.f64 (/.f64 y (sqrt.f64 z)) (/.f64 x (sqrt.f64 z)))
(.f64 (/.f64 x (cbrt.f64 (.f64 z z))) (/.f64 y (cbrt.f64 z)))
(.f64 (/.f64 1 (cbrt.f64 (.f64 z z))) (/.f64 x (/.f64 (cbrt.f64 z) y)))
(.f64 (/.f64 y (cbrt.f64 z)) (/.f64 x (cbrt.f64 (.f64 z z))))
(.f64 (/.f64 y (cbrt.f64 (.f64 z z))) (/.f64 x (cbrt.f64 z)))
(*.f64 (/.f64 y 1) (/.f64 x z))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 (/.f64 y (cbrt.f64 (.f64 z z))) (/.f64 x (cbrt.f64 z)))
(.f64 (/.f64 1 (cbrt.f64 (.f64 z z))) (/.f64 x (/.f64 (cbrt.f64 z) y)))
(.f64 (/.f64 x (cbrt.f64 (.f64 z z))) (/.f64 y (cbrt.f64 z)))
(.f64 (/.f64 y (cbrt.f64 z)) (/.f64 x (cbrt.f64 (.f64 z z))))
(.f64 (/.f64 (sqrt.f64 (.f64 x y)) 1) (/.f64 (sqrt.f64 (*.f64 x y)) z))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 (/.f64 (sqrt.f64 (.f64 x y)) (cbrt.f64 (.f64 z z))) (/.f64 (sqrt.f64 (.f64 x y)) (cbrt.f64 z)))
(.f64 (/.f64 1 (cbrt.f64 (.f64 z z))) (/.f64 x (/.f64 (cbrt.f64 z) y)))
(.f64 (/.f64 x (cbrt.f64 (.f64 z z))) (/.f64 y (cbrt.f64 z)))
(.f64 (/.f64 y (cbrt.f64 z)) (/.f64 x (cbrt.f64 (.f64 z z))))
(.f64 (/.f64 y (cbrt.f64 (.f64 z z))) (/.f64 x (cbrt.f64 z)))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) 1) (/.f64 (cbrt.f64 (*.f64 x y)) z))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 (*.f64 x y)) (sqrt.f64 z)))
(.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (.f64 y x) (sqrt.f64 z)))
(*.f64 (/.f64 y (sqrt.f64 z)) (/.f64 x (sqrt.f64 z)))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) (cbrt.f64 (.f64 z z))) (cbrt.f64 (.f64 (/.f64 x z) y)))
(.f64 (cbrt.f64 (.f64 x (/.f64 y z))) (/.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (cbrt.f64 (.f64 z z))))
(.f64 (cbrt.f64 (.f64 y (/.f64 x z))) (/.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (cbrt.f64 (.f64 z z))))
(pow.f64 (*.f64 (/.f64 x z) y) 1)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(pow.f64 (sqrt.f64 (*.f64 (/.f64 x z) y)) 2)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(pow.f64 (cbrt.f64 (*.f64 (/.f64 x z) y)) 3)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(pow.f64 (pow.f64 (*.f64 (/.f64 x z) y) 3) 1/3)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(pow.f64 (/.f64 (/.f64 z x) y) -1)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(neg.f64 (/.f64 (*.f64 x y) (neg.f64 z)))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(sqrt.f64 (pow.f64 (*.f64 (/.f64 x z) y) 2))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(log.f64 (exp.f64 (*.f64 (/.f64 x z) y)))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (/.f64 x z) y))))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(cbrt.f64 (pow.f64 (*.f64 (/.f64 x z) y) 3))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(expm1.f64 (log1p.f64 (*.f64 (/.f64 x z) y)))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(exp.f64 (log.f64 (*.f64 (/.f64 x z) y)))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(exp.f64 (.f64 (log.f64 (.f64 (/.f64 x z) y)) 1))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(log1p.f64 (expm1.f64 (*.f64 (/.f64 x z) y)))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))

eval20.0ms (0.8%)

Compiler: Compiled 1452 to 415 computations (71.4% saved)

prune19.0ms (0.8%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	155	2	157
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	155	6	161

Error

Counts

161 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	8.3b	(/.f64 (*.f64 x y) z)
▶	4.9b	(/.f64 y (/.f64 z x))
✓	6.7b	(/.f64 x (/.f64 z y))
▶	8.5b	(/.f64 1 (/.f64 z (*.f64 x y)))
✓	5.0b	(*.f64 (/.f64 x z) y)
✓	6.9b	(*.f64 x (/.f64 y z))

Compiler

Compiled 50 to 32 computations (36% saved)

localize8.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.4b	(/.f64 1 (/.f64 z (*.f64 x y)))
✓	7.9b	(/.f64 z (*.f64 x y))

Compiler

Compiled 22 to 8 computations (63.6% saved)

series3.0ms (0.1%)

Counts

2 → 72

Calls

18 calls:

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

rewrite64.0ms (2.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1954×	`add-sqr-sqrt`
1938×	`*-un-lft-identity`
1806×	`add-cube-cbrt`
1780×	`add-cbrt-cube`
184×	`pow1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	32
1	186	26
2	2449	26

Stop Event

1×	node limit

Counts

2 → 87

Calls

Call 1

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

Outputs

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

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

simplify54.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

1380×	`associate-/r*`
1242×	`associate-/l*`
900×	`unswap-sqr`
730×	`*-commutative`
438×	`associate-/r/`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	208	2109
1	547	2109
2	2132	2109

Stop Event

1×	node limit

Counts

159 → 93

Calls

Call 1

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

Outputs
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 z (*.f64 y x))
(/.f64 (/.f64 z x) y)
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 y (/.f64 x z))
(-.f64 (exp.f64 (log1p.f64 (/.f64 z (*.f64 x y)))) 1)
(/.f64 (/.f64 z x) y)
(*.f64 z (/.f64 (/.f64 1 x) y))
(/.f64 (/.f64 z x) y)
(.f64 (/.f64 z (.f64 x y)) 1)
(/.f64 (/.f64 z x) y)
(.f64 1 (/.f64 z (.f64 x y)))
(/.f64 (/.f64 z x) y)
(.f64 (sqrt.f64 z) (.f64 (sqrt.f64 z) (/.f64 (/.f64 1 x) y)))
(/.f64 (/.f64 z x) y)
(.f64 (sqrt.f64 (/.f64 z (.f64 x y))) (sqrt.f64 (/.f64 z (*.f64 x y))))
(/.f64 (/.f64 z x) y)
(.f64 (pow.f64 (cbrt.f64 z) 2) (.f64 (cbrt.f64 z) (/.f64 (/.f64 1 x) y)))
(/.f64 (/.f64 z x) y)
(.f64 (cbrt.f64 (/.f64 z (.f64 x y))) (pow.f64 (cbrt.f64 (/.f64 z (*.f64 x y))) 2))
(/.f64 (/.f64 z x) y)
(.f64 (pow.f64 (cbrt.f64 (/.f64 z (.f64 x y))) 2) (cbrt.f64 (/.f64 z (*.f64 x y))))
(/.f64 (/.f64 z x) y)
(*.f64 (/.f64 z x) (/.f64 1 y))
(/.f64 (/.f64 z x) y)
(*.f64 (/.f64 (/.f64 1 x) y) z)
(/.f64 (/.f64 z x) y)
(.f64 (neg.f64 z) (/.f64 1 (.f64 x (neg.f64 y))))
(/.f64 (/.f64 z x) y)
(*.f64 (/.f64 1 x) (/.f64 z y))
(/.f64 (/.f64 z x) y)
(*.f64 (/.f64 1 y) (/.f64 z x))
(/.f64 (/.f64 z x) y)
(.f64 (/.f64 1 (sqrt.f64 (.f64 x y))) (/.f64 z (sqrt.f64 (*.f64 x y))))
(/.f64 (/.f64 z x) y)
(.f64 (/.f64 1 (pow.f64 (cbrt.f64 (.f64 x y)) 2)) (/.f64 z (cbrt.f64 (*.f64 x y))))
(/.f64 (/.f64 z x) y)
(.f64 (/.f64 (sqrt.f64 z) 1) (/.f64 (sqrt.f64 z) (.f64 x y)))
(/.f64 (/.f64 z x) y)
(*.f64 (/.f64 (sqrt.f64 z) x) (/.f64 (sqrt.f64 z) y))
(/.f64 (/.f64 z x) y)
(.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) 1) (/.f64 (cbrt.f64 z) (.f64 x y)))
(/.f64 (/.f64 z x) y)
(*.f64 (/.f64 (sqrt.f64 z) y) (/.f64 (sqrt.f64 z) x))
(/.f64 (/.f64 z x) y)
(.f64 (/.f64 (sqrt.f64 z) (pow.f64 (cbrt.f64 (.f64 x y)) 2)) (/.f64 (sqrt.f64 z) (cbrt.f64 (*.f64 x y))))
(/.f64 (/.f64 z x) y)
(*.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) x) (/.f64 (cbrt.f64 z) y))
(/.f64 (/.f64 z x) y)
(*.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) y) (/.f64 (cbrt.f64 z) x))
(/.f64 (/.f64 z x) y)
(.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) (sqrt.f64 (.f64 x y))) (/.f64 (cbrt.f64 z) (sqrt.f64 (*.f64 x y))))
(/.f64 (/.f64 z x) y)
(.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) (pow.f64 (cbrt.f64 (.f64 x y)) 2)) (cbrt.f64 (/.f64 z (*.f64 x y))))
(.f64 (cbrt.f64 (/.f64 (/.f64 z x) y)) (/.f64 (pow.f64 (cbrt.f64 z) 2) (pow.f64 (cbrt.f64 (.f64 y x)) 2)))
(/.f64 (.f64 (pow.f64 (cbrt.f64 z) 2) (cbrt.f64 (/.f64 (/.f64 z x) y))) (pow.f64 (cbrt.f64 (.f64 y x)) 2))
(pow.f64 (/.f64 z (*.f64 x y)) 1)
(/.f64 (/.f64 z x) y)
(pow.f64 (/.f64 x (/.f64 z y)) -1)
(/.f64 (/.f64 z x) y)
(pow.f64 (sqrt.f64 (/.f64 z (*.f64 x y))) 2)
(/.f64 (/.f64 z x) y)
(pow.f64 (cbrt.f64 (/.f64 z (*.f64 x y))) 3)
(/.f64 (/.f64 z x) y)
(pow.f64 (pow.f64 (/.f64 z (*.f64 x y)) 3) 1/3)
(/.f64 (/.f64 z x) y)
(neg.f64 (/.f64 z (*.f64 x (neg.f64 y))))
(/.f64 (/.f64 z x) y)
(sqrt.f64 (pow.f64 (/.f64 z (*.f64 x y)) 2))
(/.f64 (/.f64 z x) y)
(log.f64 (exp.f64 (/.f64 z (*.f64 x y))))
(/.f64 (/.f64 z x) y)
(log.f64 (+.f64 1 (expm1.f64 (/.f64 z (*.f64 x y)))))
(/.f64 (/.f64 z x) y)
(cbrt.f64 (pow.f64 (/.f64 z (*.f64 x y)) 3))
(/.f64 (/.f64 z x) y)
(expm1.f64 (log1p.f64 (/.f64 z (*.f64 x y))))
(/.f64 (/.f64 z x) y)
(exp.f64 (log.f64 (/.f64 z (*.f64 x y))))
(/.f64 (/.f64 z x) y)
(exp.f64 (.f64 (log.f64 (/.f64 z (.f64 x y))) 1))
(/.f64 (/.f64 z x) y)
(log1p.f64 (expm1.f64 (/.f64 z (*.f64 x y))))
(/.f64 (/.f64 z x) y)
(-.f64 (exp.f64 (log1p.f64 (/.f64 x (/.f64 z y)))) 1)
(*.f64 y (/.f64 x z))
(.f64 (.f64 x y) (/.f64 1 z))
(*.f64 y (/.f64 x z))
(*.f64 1 (/.f64 x (/.f64 z y)))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 x (/.f64 z y)) 1)
(*.f64 y (/.f64 x z))
(*.f64 (sqrt.f64 (/.f64 x (/.f64 z y))) (sqrt.f64 (/.f64 x (/.f64 z y))))
(*.f64 y (/.f64 x z))
(*.f64 (cbrt.f64 (/.f64 x (/.f64 z y))) (pow.f64 (cbrt.f64 (/.f64 x (/.f64 z y))) 2))
(*.f64 y (/.f64 x z))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 x (/.f64 z y))) 2) (cbrt.f64 (/.f64 x (/.f64 z y))))
(*.f64 y (/.f64 x z))
(.f64 (/.f64 1 z) (.f64 x y))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 1 z) (pow.f64 (/.f64 (/.f64 1 x) y) -1))
(*.f64 y (/.f64 x z))
(.f64 -1 (/.f64 1 (/.f64 (neg.f64 z) (.f64 x y))))
(*.f64 y (/.f64 x z))
(.f64 (.f64 (/.f64 1 z) x) y)
(*.f64 y (/.f64 x z))
(.f64 (.f64 (/.f64 1 z) y) x)
(*.f64 y (/.f64 x z))
(.f64 (.f64 (/.f64 1 z) 1) (*.f64 x y))
(*.f64 y (/.f64 x z))
(.f64 (.f64 (/.f64 1 z) (sqrt.f64 (.f64 x y))) (sqrt.f64 (.f64 x y)))
(*.f64 y (/.f64 x z))
(.f64 (.f64 (/.f64 1 z) (pow.f64 (cbrt.f64 (.f64 x y)) 2)) (cbrt.f64 (.f64 x y)))
(*.f64 y (/.f64 x z))
(.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (.f64 x y) (sqrt.f64 z)))
(*.f64 y (/.f64 x z))
(.f64 (/.f64 1 (pow.f64 (cbrt.f64 z) 2)) (/.f64 (.f64 x y) (cbrt.f64 z)))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 x (sqrt.f64 z)) (/.f64 y (sqrt.f64 z)))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 1 (/.f64 z x)) y)
(*.f64 y (/.f64 x z))
(.f64 (/.f64 1 (neg.f64 z)) (.f64 x (neg.f64 y)))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 x 1) (/.f64 y z))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 y (sqrt.f64 z)) (/.f64 x (sqrt.f64 z)))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 x (pow.f64 (cbrt.f64 z) 2)) (/.f64 y (cbrt.f64 z)))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 y 1) (/.f64 x z))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 y (pow.f64 (cbrt.f64 z) 2)) (/.f64 x (cbrt.f64 z)))
(*.f64 y (/.f64 x z))
(.f64 (/.f64 (sqrt.f64 (.f64 x y)) 1) (/.f64 (sqrt.f64 (*.f64 x y)) z))
(*.f64 y (/.f64 x z))
(.f64 (/.f64 (sqrt.f64 (.f64 x y)) (sqrt.f64 z)) (/.f64 (sqrt.f64 (*.f64 x y)) (sqrt.f64 z)))
(*.f64 y (/.f64 x z))
(.f64 (/.f64 (sqrt.f64 (.f64 x y)) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 (*.f64 x y)) (cbrt.f64 z)))
(*.f64 y (/.f64 x z))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) 1) (/.f64 (cbrt.f64 (*.f64 x y)) z))
(*.f64 y (/.f64 x z))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 (*.f64 x y)) (sqrt.f64 z)))
(*.f64 y (/.f64 x z))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (cbrt.f64 (*.f64 x y)) (cbrt.f64 z)))
(*.f64 y (/.f64 x z))
(.f64 (pow.f64 (sqrt.f64 (/.f64 z (.f64 x y))) -1) (pow.f64 (sqrt.f64 (/.f64 z (*.f64 x y))) -1))
(*.f64 y (/.f64 x z))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 z (.f64 x y))) 2) -1) (pow.f64 (cbrt.f64 (/.f64 z (*.f64 x y))) -1))
(*.f64 y (/.f64 x z))
(pow.f64 (/.f64 z (*.f64 x y)) -1)
(*.f64 y (/.f64 x z))
(pow.f64 (/.f64 x (/.f64 z y)) 1)
(*.f64 y (/.f64 x z))
(pow.f64 (sqrt.f64 (/.f64 x (/.f64 z y))) 2)
(*.f64 y (/.f64 x z))
(pow.f64 (cbrt.f64 (/.f64 x (/.f64 z y))) 3)
(*.f64 y (/.f64 x z))
(pow.f64 (pow.f64 (/.f64 x (/.f64 z y)) 3) 1/3)
(*.f64 y (/.f64 x z))
(sqrt.f64 (pow.f64 (/.f64 x (/.f64 z y)) 2))
(*.f64 y (/.f64 x z))
(log.f64 (exp.f64 (/.f64 x (/.f64 z y))))
(*.f64 y (/.f64 x z))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 x (/.f64 z y)))))
(*.f64 y (/.f64 x z))
(cbrt.f64 (pow.f64 (/.f64 x (/.f64 z y)) 3))
(*.f64 y (/.f64 x z))
(expm1.f64 (log1p.f64 (/.f64 x (/.f64 z y))))
(*.f64 y (/.f64 x z))
(exp.f64 (log.f64 (/.f64 x (/.f64 z y))))
(*.f64 y (/.f64 x z))
(exp.f64 (-.f64 (log.f64 (*.f64 x y)) (log.f64 z)))
(*.f64 y (/.f64 x z))
(exp.f64 (.f64 (log.f64 (/.f64 z (.f64 x y))) -1))
(*.f64 y (/.f64 x z))
(exp.f64 (*.f64 (log.f64 (/.f64 x (/.f64 z y))) 1))
(*.f64 y (/.f64 x z))
(log1p.f64 (expm1.f64 (/.f64 x (/.f64 z y))))
(*.f64 y (/.f64 x z))

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	4.8b	(/.f64 y (/.f64 z x))

Compiler

Compiled 14 to 5 computations (64.3% saved)

series1.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite55.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1766×	`add-sqr-sqrt`
1754×	`*-un-lft-identity`
1636×	`add-cube-cbrt`
1612×	`add-cbrt-cube`
160×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	151	13
2	2155	13

Stop Event

1×	node limit

Counts

1 → 42

Calls

Call 1

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

Outputs

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

simplify54.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1482×	`associate-+r+`
1336×	`associate-+l+`
1164×	`associate-*r/`
774×	`associate-*l/`
686×	`associate-+l-`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	116	1266
1	292	1248
2	1088	1248
3	4918	1248

Stop Event

1×	node limit

Counts

78 → 55

Calls

Call 1

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

Outputs
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 (*.f64 y x) z)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(-.f64 (exp.f64 (log1p.f64 (*.f64 y (/.f64 x z)))) 1)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(*.f64 y (/.f64 x z))
(*.f64 x (/.f64 y z))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 (.f64 y (/.f64 x z)) 1)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 1 (.f64 y (/.f64 x z)))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) (/.f64 x z)))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 (sqrt.f64 (.f64 y (/.f64 x z))) (sqrt.f64 (*.f64 y (/.f64 x z))))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 (cbrt.f64 (.f64 y y)) (*.f64 (cbrt.f64 y) (/.f64 x z)))
(.f64 (cbrt.f64 (.f64 y y)) (*.f64 (/.f64 x z) (cbrt.f64 y)))
(.f64 (/.f64 x z) (.f64 (cbrt.f64 (*.f64 y y)) (cbrt.f64 y)))
(.f64 (cbrt.f64 (.f64 y y)) (/.f64 (cbrt.f64 y) (/.f64 z x)))
(.f64 x (.f64 (cbrt.f64 (*.f64 y y)) (/.f64 (cbrt.f64 y) z)))
(.f64 (cbrt.f64 (.f64 y (/.f64 x z))) (pow.f64 (cbrt.f64 (*.f64 y (/.f64 x z))) 2))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 (pow.f64 (cbrt.f64 (.f64 y (/.f64 x z))) 2) (cbrt.f64 (*.f64 y (/.f64 x z))))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 y z) x)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 x z) y)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(*.f64 (neg.f64 y) (/.f64 1 (/.f64 (neg.f64 z) x)))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 (.f64 (/.f64 y z) 1) x)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 (.f64 (/.f64 y z) (sqrt.f64 x)) (sqrt.f64 x))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 (.f64 (/.f64 y z) (cbrt.f64 (*.f64 x x))) (cbrt.f64 x))
(.f64 (/.f64 y z) (.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 x)))
(*.f64 (/.f64 y 1) (/.f64 x z))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 1 z) (/.f64 y (/.f64 1 x)))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 1 (sqrt.f64 (/.f64 z x))) (/.f64 y (sqrt.f64 (/.f64 z x))))
(/.f64 (/.f64 y (sqrt.f64 (/.f64 z x))) (sqrt.f64 (/.f64 z x)))
(/.f64 y (*.f64 (sqrt.f64 (/.f64 z x)) (sqrt.f64 (/.f64 z x))))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (/.f64 y (cbrt.f64 (/.f64 z x))))
(/.f64 (/.f64 y (cbrt.f64 (/.f64 z x))) (pow.f64 (cbrt.f64 (/.f64 z x)) 2))
(/.f64 y (*.f64 (pow.f64 (cbrt.f64 (/.f64 z x)) 2) (cbrt.f64 (/.f64 z x))))
(*.f64 (/.f64 y (neg.f64 z)) (neg.f64 x))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) (/.f64 z x)))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) (/.f64 1 x)))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 (/.f64 (cbrt.f64 (.f64 y y)) 1) (/.f64 (cbrt.f64 y) (/.f64 z x)))
(.f64 (cbrt.f64 (.f64 y y)) (*.f64 (/.f64 x z) (cbrt.f64 y)))
(.f64 (/.f64 x z) (.f64 (cbrt.f64 (*.f64 y y)) (cbrt.f64 y)))
(.f64 (cbrt.f64 (.f64 y y)) (/.f64 (cbrt.f64 y) (/.f64 z x)))
(.f64 x (.f64 (cbrt.f64 (*.f64 y y)) (/.f64 (cbrt.f64 y) z)))
(*.f64 (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 z x))))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (/.f64 y (cbrt.f64 (/.f64 z x))))
(/.f64 (/.f64 y (cbrt.f64 (/.f64 z x))) (pow.f64 (cbrt.f64 (/.f64 z x)) 2))
(/.f64 y (*.f64 (pow.f64 (cbrt.f64 (/.f64 z x)) 2) (cbrt.f64 (/.f64 z x))))
(.f64 (/.f64 (cbrt.f64 (.f64 y y)) z) (/.f64 (cbrt.f64 y) (/.f64 1 x)))
(.f64 (cbrt.f64 (.f64 y y)) (*.f64 (/.f64 x z) (cbrt.f64 y)))
(.f64 (/.f64 x z) (.f64 (cbrt.f64 (*.f64 y y)) (cbrt.f64 y)))
(.f64 (cbrt.f64 (.f64 y y)) (/.f64 (cbrt.f64 y) (/.f64 z x)))
(.f64 x (.f64 (cbrt.f64 (*.f64 y y)) (/.f64 (cbrt.f64 y) z)))
(.f64 (/.f64 (cbrt.f64 (.f64 y y)) (sqrt.f64 (/.f64 z x))) (/.f64 (cbrt.f64 y) (sqrt.f64 (/.f64 z x))))
(/.f64 (.f64 (cbrt.f64 (.f64 y y)) (/.f64 (cbrt.f64 y) (sqrt.f64 (/.f64 z x)))) (sqrt.f64 (/.f64 z x)))
(.f64 (/.f64 (cbrt.f64 (.f64 y y)) (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (cbrt.f64 (*.f64 y (/.f64 x z))))
(/.f64 (.f64 (cbrt.f64 (.f64 y y)) (cbrt.f64 (*.f64 x (/.f64 y z)))) (pow.f64 (cbrt.f64 (/.f64 z x)) 2))
(.f64 (cbrt.f64 (.f64 y (/.f64 x z))) (/.f64 (cbrt.f64 (*.f64 y y)) (pow.f64 (cbrt.f64 (/.f64 z x)) 2)))
(pow.f64 (*.f64 y (/.f64 x z)) 1)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(pow.f64 (sqrt.f64 (*.f64 y (/.f64 x z))) 2)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(pow.f64 (cbrt.f64 (*.f64 y (/.f64 x z))) 3)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(pow.f64 (pow.f64 (*.f64 y (/.f64 x z)) 3) 1/3)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(pow.f64 (/.f64 z (*.f64 y x)) -1)
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(neg.f64 (/.f64 y (/.f64 (neg.f64 z) x)))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(sqrt.f64 (pow.f64 (*.f64 y (/.f64 x z)) 2))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(log.f64 (pow.f64 (exp.f64 y) (/.f64 x z)))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 y (/.f64 x z)))))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(cbrt.f64 (pow.f64 (*.f64 y (/.f64 x z)) 3))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(expm1.f64 (log1p.f64 (*.f64 y (/.f64 x z))))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(exp.f64 (log.f64 (*.f64 y (/.f64 x z))))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(exp.f64 (.f64 (log.f64 (.f64 y (/.f64 x z))) 1))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(log1p.f64 (expm1.f64 (*.f64 y (/.f64 x z))))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))

eval22.0ms (0.9%)

Compiler: Compiled 1589 to 590 computations (62.9% saved)

prune23.0ms (0.9%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	148	0	148
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	148	6	154

Error

Counts

154 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	8.3b	(/.f64 (*.f64 x y) z)
✓	4.9b	(/.f64 y (/.f64 z x))
✓	6.7b	(/.f64 x (/.f64 z y))
✓	8.5b	(/.f64 1 (/.f64 z (*.f64 x y)))
✓	5.0b	(*.f64 (/.f64 x z) y)
✓	6.9b	(*.f64 x (/.f64 y z))

Compiler

Compiled 50 to 32 computations (36% saved)

regimes64.0ms (2.7%)

Counts

6 → 5

Calls

Call 1

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

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

Calls

5 calls:

21.0ms	z
19.0ms	(*.f64 x y)
10.0ms	(/.f64 (*.f64 x y) z)
8.0ms	x
5.0ms	y

Results

Error	Segments	Branch
3.7b	2	`x`
4.9b	1	`y`
1.8b	5	`z`
1.2b	3	`(/.f64 (*.f64 x y) z)`
0.1b	5	`(*.f64 x y)`

Compiler

Compiled 61 to 34 computations (44.3% saved)

bsearch1.0ms (0%)

Algorithm

4×	left-value

Steps

Time	Left	Right
0.0ms	1.1345917790300683e+300	+inf
0.0ms	3.702716840896524e-150	6.367169852993456e-139
0.0ms	-2.5567477551636904e-182	-5.9865194749365e-193
0.0ms	-2.048655701663204e+108	-8.728134731941188e+107

Compiler

Compiled 14 to 10 computations (28.6% saved)

regimes30.0ms (1.2%)

Counts

4 → 5

Calls

Call 1

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

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

Calls

3 calls:

18.0ms	z
7.0ms	x
4.0ms	y

Results

Error	Segments	Branch
3.7b	2	`x`
4.9b	1	`y`
2.2b	5	`z`

Compiler

Compiled 35 to 20 computations (42.9% saved)

bsearch78.0ms (3.2%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
15.0ms	3.024875877877434e+181	1.0005885059518124e+188
14.0ms	8.246022602622092e-48	3.391802743159271e-44
28.0ms	-1.54933983917359e-285	3.281320743506305e-301
22.0ms	-5.020771499496679e-210	-9.291762030247736e-224

Results

55.0ms	608×	body	256	valid
16.0ms	186×	body	256	infinite

Compiler

Compiled 698 to 466 computations (33.2% saved)

regimes27.0ms (1.1%)

Counts

3 → 5

Calls

Call 1

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

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

Calls

3 calls:

15.0ms	z
6.0ms	x
4.0ms	y

Results

Error	Segments	Branch
3.9b	2	`x`
5.0b	1	`y`
2.4b	5	`z`

Compiler

Compiled 30 to 18 computations (40% saved)

bsearch78.0ms (3.2%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
14.0ms	3.024875877877434e+181	1.0005885059518124e+188
16.0ms	4.1354188181202107e-75	4.760909631035408e-67
26.0ms	3.8018803242209244e-284	5.558098868791231e-251
21.0ms	-5.020771499496679e-210	-9.291762030247736e-224

Results

55.0ms	624×	body	256	valid
16.0ms	151×	body	256	infinite

Compiler

Compiled 716 to 478 computations (33.2% saved)

regimes26.0ms (1.1%)

Accuracy

Total -9.2b remaining (-373.1%)

Threshold costs -9.2b (-373.1%)

Counts

2 → 5

Calls

Call 1

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

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

Calls

3 calls:

14.0ms	z
9.0ms	x
3.0ms	y

Results

Error	Segments	Branch
3.5b	3	`x`
5.0b	1	`y`
2.5b	5	`z`

Compiler

Compiled 25 to 16 computations (36% saved)

bsearch71.0ms (3%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
15.0ms	3.024875877877434e+181	1.0005885059518124e+188
14.0ms	8.246022602622092e-48	3.391802743159271e-44
24.0ms	3.8018803242209244e-284	5.558098868791231e-251
19.0ms	-5.020771499496679e-210	-9.291762030247736e-224

Results

53.0ms	592×	body	256	valid
11.0ms	129×	body	256	infinite

Compiler

Compiled 680 to 454 computations (33.2% saved)

simplify18.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

8×	`not-or`
8×	`if-if-or-not`
6×	`not-not`
6×	`*-commutative`
6×	`if-not`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	66	429
1	77	423
2	80	417
3	86	413
4	90	413
5	94	413
6	95	413
7	96	413

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(if (<=.f64 (.f64 x y) -2000000000000000067997983426005649189887949439425796095426861429675750543446401666585483232761466891842617344) (.f64 x (/.f64 y z)) (if (<=.f64 (.f64 x y) -1495020541582441/74751027079122046462216955587793573067050655862760405902609490213261724339546970300512875500623813013973275600053770769378323738155015176163371603062328757260320680744718580942157810765768356265984) (/.f64 (.f64 x y) z) (if (<=.f64 (.f64 x y) 4606887725612233/921377545122446619199598286374089084696513969828232526459034741270904336521520715841339532514076847544303802497745079321233052888165232576308943909041185557531590656) (/.f64 x (/.f64 z y)) (if (<=.f64 (.f64 x y) 2000000000000000105009520510408840497408937162216318309831708231023604915977816391572742750160895728087408887665767756353885046470720861151289584369573413965696774401853151607475660467589576180118737906469941599890162238077935281760149305485560284989158517577640113685676231338944392773730918801080320) (/.f64 (.f64 x y) z) (.f64 x (/.f64 y z))))))
(if (<=.f64 z -4948916961903017/52093862756873861516248842115009826540193424393093032503095764154406540920450250558761189069309017896429139926511197190983506262922807539690338719158834609735118418589953238737992799108686047068195039188561614077981958969042784853837217792) (/.f64 y (/.f64 z x)) (if (<=.f64 z -3399725348521233/1581267603963364205878869896241541461324661326282360299663291859589299527874963647593440497667477535118649045814975093057732880760826511538023542187037019608761854877160674698159897716735103252665935684988068320848140683464255411707953932466009059033912578566502802887127604801681488301032705683661296923932091466727292928) (.f64 x (/.f64 y z)) (if (<=.f64 z 6749139785887759/3213876088517980551083924184682325205044405987565585670602752) (/.f64 y (/.f64 z x)) (if (<=.f64 z 359999999999999999643966386671188963245442577500360442940651820595096236218783655067426421025217930987631345679655365914514557320058209958722383686132094831336204552929599482081837056) (.f64 x (/.f64 y z)) (*.f64 (/.f64 x z) y)))))
(if (<=.f64 z -8344784746116311/97032380768794308446811218028906409703555376069793538196190752376628184542898555395679900551790404871905483168570692075385723752757175899465267954690073821200278436001303119096891580351974902801578937449607279296930802928363503616) (.f64 (/.f64 x z) y) (if (<=.f64 z 5204559179672241/37175422711944576569951562453747514003281505041484861476394296482898516429010109338629207862403908764744968094754824326261364631138622642694770764527559865644574271011186496848567160245857443421755979894558785930151693717671947002203927473508716452075301127636353597820594133720367104) (.f64 x (/.f64 y z)) (if (<=.f64 z 4856672230564323/485667223056432267729865476705879726660601709763034880312953102434726071301302124544) (.f64 (/.f64 x z) y) (if (<=.f64 z 2499999999999999767892414030450303020173203742230197366156861717404480574906000363300468820452845062562423469951453088306726772920176395464809174713410151283561928068585532969623855562752) (/.f64 x (/.f64 z y)) (.f64 (/.f64 x z) y)))))
(if (<=.f64 z -4145670565072999/11844773043065711480323635013294239465766037117894719018089691452225120183459296312949206610325977157215024800850914559983608856537741198665193842125253152001987113769690322155382272992184436377145866387891513586051123404341248) (.f64 (/.f64 x z) y) (if (<=.f64 z 5925150918931199/311850048364799970571308236412006025948039259443040240859773006630814358104525635278899682108224328295209757319405077381870693435686499009490495593482004909425000886398607136955865268975681716747289586991334988123957939133612635998263883635695006899610487641699336881506618514879741251551232) (.f64 x (/.f64 y z)) (if (<=.f64 z 6170642089954523/12855504354071922204335696738729300820177623950262342682411008) (.f64 (/.f64 x z) y) (if (<=.f64 z 50000000000000001154654565134893577446491911242584963771528228907742109483972884443288089843397538055539119271912928709829959505656793675343801485832684509285601571572331782437948333490176) (.f64 x (/.f64 y z)) (*.f64 (/.f64 x z) y)))))
(*.f64 x (/.f64 y z))

Outputs
(if (<=.f64 (.f64 x y) -2000000000000000067997983426005649189887949439425796095426861429675750543446401666585483232761466891842617344) (.f64 x (/.f64 y z)) (if (<=.f64 (.f64 x y) -1495020541582441/74751027079122046462216955587793573067050655862760405902609490213261724339546970300512875500623813013973275600053770769378323738155015176163371603062328757260320680744718580942157810765768356265984) (/.f64 (.f64 x y) z) (if (<=.f64 (.f64 x y) 4606887725612233/921377545122446619199598286374089084696513969828232526459034741270904336521520715841339532514076847544303802497745079321233052888165232576308943909041185557531590656) (/.f64 x (/.f64 z y)) (if (<=.f64 (.f64 x y) 2000000000000000105009520510408840497408937162216318309831708231023604915977816391572742750160895728087408887665767756353885046470720861151289584369573413965696774401853151607475660467589576180118737906469941599890162238077935281760149305485560284989158517577640113685676231338944392773730918801080320) (/.f64 (.f64 x y) z) (.f64 x (/.f64 y z))))))
(if (<=.f64 z -4948916961903017/52093862756873861516248842115009826540193424393093032503095764154406540920450250558761189069309017896429139926511197190983506262922807539690338719158834609735118418589953238737992799108686047068195039188561614077981958969042784853837217792) (/.f64 y (/.f64 z x)) (if (<=.f64 z -3399725348521233/1581267603963364205878869896241541461324661326282360299663291859589299527874963647593440497667477535118649045814975093057732880760826511538023542187037019608761854877160674698159897716735103252665935684988068320848140683464255411707953932466009059033912578566502802887127604801681488301032705683661296923932091466727292928) (.f64 x (/.f64 y z)) (if (<=.f64 z 6749139785887759/3213876088517980551083924184682325205044405987565585670602752) (/.f64 y (/.f64 z x)) (if (<=.f64 z 359999999999999999643966386671188963245442577500360442940651820595096236218783655067426421025217930987631345679655365914514557320058209958722383686132094831336204552929599482081837056) (.f64 x (/.f64 y z)) (*.f64 (/.f64 x z) y)))))
(if (<=.f64 z -4948916961903017/52093862756873861516248842115009826540193424393093032503095764154406540920450250558761189069309017896429139926511197190983506262922807539690338719158834609735118418589953238737992799108686047068195039188561614077981958969042784853837217792) (/.f64 y (/.f64 z x)) (if (<=.f64 z -3399725348521233/1581267603963364205878869896241541461324661326282360299663291859589299527874963647593440497667477535118649045814975093057732880760826511538023542187037019608761854877160674698159897716735103252665935684988068320848140683464255411707953932466009059033912578566502802887127604801681488301032705683661296923932091466727292928) (.f64 x (/.f64 y z)) (if (<=.f64 z 6749139785887759/3213876088517980551083924184682325205044405987565585670602752) (/.f64 y (/.f64 z x)) (if (<=.f64 z 359999999999999999643966386671188963245442577500360442940651820595096236218783655067426421025217930987631345679655365914514557320058209958722383686132094831336204552929599482081837056) (.f64 x (/.f64 y z)) (*.f64 y (/.f64 x z))))))
(if (<=.f64 z -8344784746116311/97032380768794308446811218028906409703555376069793538196190752376628184542898555395679900551790404871905483168570692075385723752757175899465267954690073821200278436001303119096891580351974902801578937449607279296930802928363503616) (.f64 (/.f64 x z) y) (if (<=.f64 z 5204559179672241/37175422711944576569951562453747514003281505041484861476394296482898516429010109338629207862403908764744968094754824326261364631138622642694770764527559865644574271011186496848567160245857443421755979894558785930151693717671947002203927473508716452075301127636353597820594133720367104) (.f64 x (/.f64 y z)) (if (<=.f64 z 4856672230564323/485667223056432267729865476705879726660601709763034880312953102434726071301302124544) (.f64 (/.f64 x z) y) (if (<=.f64 z 2499999999999999767892414030450303020173203742230197366156861717404480574906000363300468820452845062562423469951453088306726772920176395464809174713410151283561928068585532969623855562752) (/.f64 x (/.f64 z y)) (.f64 (/.f64 x z) y)))))
(if (<=.f64 z -8344784746116311/97032380768794308446811218028906409703555376069793538196190752376628184542898555395679900551790404871905483168570692075385723752757175899465267954690073821200278436001303119096891580351974902801578937449607279296930802928363503616) (.f64 y (/.f64 x z)) (if (<=.f64 z 5204559179672241/37175422711944576569951562453747514003281505041484861476394296482898516429010109338629207862403908764744968094754824326261364631138622642694770764527559865644574271011186496848567160245857443421755979894558785930151693717671947002203927473508716452075301127636353597820594133720367104) (.f64 x (/.f64 y z)) (if (or (<=.f64 z 4856672230564323/485667223056432267729865476705879726660601709763034880312953102434726071301302124544) (not (<=.f64 z 2499999999999999767892414030450303020173203742230197366156861717404480574906000363300468820452845062562423469951453088306726772920176395464809174713410151283561928068585532969623855562752))) (*.f64 y (/.f64 x z)) (/.f64 x (/.f64 z y)))))
(if (<=.f64 z -4145670565072999/11844773043065711480323635013294239465766037117894719018089691452225120183459296312949206610325977157215024800850914559983608856537741198665193842125253152001987113769690322155382272992184436377145866387891513586051123404341248) (.f64 (/.f64 x z) y) (if (<=.f64 z 5925150918931199/311850048364799970571308236412006025948039259443040240859773006630814358104525635278899682108224328295209757319405077381870693435686499009490495593482004909425000886398607136955865268975681716747289586991334988123957939133612635998263883635695006899610487641699336881506618514879741251551232) (.f64 x (/.f64 y z)) (if (<=.f64 z 6170642089954523/12855504354071922204335696738729300820177623950262342682411008) (.f64 (/.f64 x z) y) (if (<=.f64 z 50000000000000001154654565134893577446491911242584963771528228907742109483972884443288089843397538055539119271912928709829959505656793675343801485832684509285601571572331782437948333490176) (.f64 x (/.f64 y z)) (*.f64 (/.f64 x z) y)))))
(if (<=.f64 z -4145670565072999/11844773043065711480323635013294239465766037117894719018089691452225120183459296312949206610325977157215024800850914559983608856537741198665193842125253152001987113769690322155382272992184436377145866387891513586051123404341248) (.f64 y (/.f64 x z)) (if (<=.f64 z 5925150918931199/311850048364799970571308236412006025948039259443040240859773006630814358104525635278899682108224328295209757319405077381870693435686499009490495593482004909425000886398607136955865268975681716747289586991334988123957939133612635998263883635695006899610487641699336881506618514879741251551232) (.f64 x (/.f64 y z)) (if (or (<=.f64 z 6170642089954523/12855504354071922204335696738729300820177623950262342682411008) (not (<=.f64 z 50000000000000001154654565134893577446491911242584963771528228907742109483972884443288089843397538055539119271912928709829959505656793675343801485832684509285601571572331782437948333490176))) (.f64 y (/.f64 x z)) (.f64 x (/.f64 y z)))))
(if (<=.f64 z -4145670565072999/11844773043065711480323635013294239465766037117894719018089691452225120183459296312949206610325977157215024800850914559983608856537741198665193842125253152001987113769690322155382272992184436377145866387891513586051123404341248) (.f64 y (/.f64 x z)) (if (or (<=.f64 z 5925150918931199/311850048364799970571308236412006025948039259443040240859773006630814358104525635278899682108224328295209757319405077381870693435686499009490495593482004909425000886398607136955865268975681716747289586991334988123957939133612635998263883635695006899610487641699336881506618514879741251551232) (not (or (<=.f64 z 6170642089954523/12855504354071922204335696738729300820177623950262342682411008) (not (<=.f64 z 50000000000000001154654565134893577446491911242584963771528228907742109483972884443288089843397538055539119271912928709829959505656793675343801485832684509285601571572331782437948333490176))))) (.f64 x (/.f64 y z)) (*.f64 y (/.f64 x z))))
(if (or (<=.f64 z -4145670565072999/11844773043065711480323635013294239465766037117894719018089691452225120183459296312949206610325977157215024800850914559983608856537741198665193842125253152001987113769690322155382272992184436377145866387891513586051123404341248) (not (or (<=.f64 z 5925150918931199/311850048364799970571308236412006025948039259443040240859773006630814358104525635278899682108224328295209757319405077381870693435686499009490495593482004909425000886398607136955865268975681716747289586991334988123957939133612635998263883635695006899610487641699336881506618514879741251551232) (not (or (<=.f64 z 6170642089954523/12855504354071922204335696738729300820177623950262342682411008) (not (<=.f64 z 50000000000000001154654565134893577446491911242584963771528228907742109483972884443288089843397538055539119271912928709829959505656793675343801485832684509285601571572331782437948333490176))))))) (.f64 y (/.f64 x z)) (.f64 x (/.f64 y z)))
(if (or (<=.f64 z -4145670565072999/11844773043065711480323635013294239465766037117894719018089691452225120183459296312949206610325977157215024800850914559983608856537741198665193842125253152001987113769690322155382272992184436377145866387891513586051123404341248) (not (or (<=.f64 z 5925150918931199/311850048364799970571308236412006025948039259443040240859773006630814358104525635278899682108224328295209757319405077381870693435686499009490495593482004909425000886398607136955865268975681716747289586991334988123957939133612635998263883635695006899610487641699336881506618514879741251551232) (and (not (<=.f64 z 6170642089954523/12855504354071922204335696738729300820177623950262342682411008)) (<=.f64 z 50000000000000001154654565134893577446491911242584963771528228907742109483972884443288089843397538055539119271912928709829959505656793675343801485832684509285601571572331782437948333490176))))) (.f64 y (/.f64 x z)) (.f64 x (/.f64 y z)))
(*.f64 x (/.f64 y z))

Compiler

Compiled 175 to 90 computations (48.6% saved)

soundness17.0ms (0.7%)

Algorithm

2×	egg-herbie

Rules

6×	`*-commutative`
6×	`*-commutative`
4×	`associate-/l*`
4×	`associate-/r/`
4×	`associate-/l*`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	10	13
2	14	13
3	17	13
4	18	13
0	7	13
1	10	13
2	14	13
3	17	13
4	18	13

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 26 to 14 computations (46.2% saved)

end61.0ms (2.5%)

Compiler: Compiled 267 to 106 computations (60.3% saved)

Details

analyze200.0ms (8.3%)

sample938.0ms (39.1%)

preprocess8.0ms (0.3%)

simplify11.0ms (0.5%)

eval1.0ms (0%)

prune3.0ms (0.1%)

localize5.0ms (0.2%)

series4.0ms (0.2%)

rewrite53.0ms (2.2%)

simplify46.0ms (1.9%)

localize5.0ms (0.2%)

series1.0ms (0%)

rewrite56.0ms (2.3%)

simplify46.0ms (1.9%)

localize6.0ms (0.2%)

series1.0ms (0.1%)

rewrite54.0ms (2.3%)

simplify54.0ms (2.3%)

localize5.0ms (0.2%)

series1.0ms (0%)

rewrite52.0ms (2.2%)

simplify54.0ms (2.3%)

eval20.0ms (0.8%)

prune19.0ms (0.8%)

localize8.0ms (0.3%)

series3.0ms (0.1%)

rewrite64.0ms (2.7%)

simplify54.0ms (2.3%)

localize5.0ms (0.2%)

series1.0ms (0%)

rewrite55.0ms (2.3%)

simplify54.0ms (2.2%)

eval22.0ms (0.9%)

prune23.0ms (0.9%)

regimes64.0ms (2.7%)

bsearch1.0ms (0%)

regimes30.0ms (1.2%)

bsearch78.0ms (3.2%)

regimes27.0ms (1.1%)

bsearch78.0ms (3.2%)

regimes26.0ms (1.1%)

bsearch71.0ms (3%)

simplify18.0ms (0.7%)

soundness17.0ms (0.7%)

end61.0ms (2.5%)

Profiling