Metrics for Data.Colour.RGBSpace.HSV:hsv from colour-2.3.3, I

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 11 to 8 computations (27.3% saved)

Precisions

Click to see histograms. Total time spent on operations: 0.0ms

Operation ival-sub, time spent: 0.0ms, 0.0% of total-time

Operation ival-mult, time spent: 0.0ms, 0.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

sample1.0s (25.1%)

Results

824.0ms	6839×	256	valid
143.0ms	1416×	256	infinite
0.0ms	1×	256	valid

Precisions

Click to see histograms. Total time spent on operations: 199.0ms

Operation ival-mult, time spent: 132.0ms, 66.0% of total-time

Operation ival-sub, time spent: 52.0ms, 26.0% of total-time

Operation const, time spent: 14.0ms, 7.0% of total-time

Bogosity

preprocess168.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

1168×	`fma-define`
306×	`fma-neg`
190×	`distribute-lft-in`
186×	`unsub-neg`
182×	`associate-r`

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
12	-	-	`(.f64 x (-.f64 1 (.f64 y z)))`
0	-	-	`x`
0	-	-	`(-.f64 1 (*.f64 y z))`
0	-	-	`(*.f64 y z)`
0	-	-	`z`
0	-	-	`y`
0	-	-	`1`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	36	320
1	100	316
2	196	300
3	559	296
4	1103	296
5	1750	296
6	1830	296
7	1833	296

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f64 x (-.f64 1 (.f64 y z)))
(.f64 x (-.f64 1 (.f64 y z)))
(.f64 (neg.f64 x) (-.f64 1 (.f64 y z)))
(.f64 x (-.f64 1 (.f64 (neg.f64 y) z)))
(.f64 x (-.f64 1 (.f64 y (neg.f64 z))))
(neg.f64 (.f64 (neg.f64 x) (-.f64 1 (.f64 y z))))
(neg.f64 (.f64 x (-.f64 1 (.f64 (neg.f64 y) z))))
(neg.f64 (.f64 x (-.f64 1 (.f64 y (neg.f64 z)))))
(.f64 y (-.f64 1 (.f64 x z)))
(.f64 z (-.f64 1 (.f64 y x)))
(.f64 x (-.f64 1 (.f64 z y)))

Outputs
(.f64 x (-.f64 1 (.f64 y z)))
(*.f64 x (fma.f64 z (neg.f64 y) 1))
(*.f64 x (neg.f64 (fma.f64 y z -1)))
(.f64 x (-.f64 1 (.f64 y z)))
(*.f64 x (fma.f64 z (neg.f64 y) 1))
(*.f64 x (neg.f64 (fma.f64 y z -1)))
(.f64 (neg.f64 x) (-.f64 1 (.f64 y z)))
(.f64 (-.f64 1 (.f64 y z)) (neg.f64 x))
(.f64 x (+.f64 -1 (.f64 y z)))
(.f64 x (+.f64 (.f64 y z) -1))
(*.f64 x (fma.f64 y z -1))
(.f64 x (-.f64 1 (.f64 (neg.f64 y) z)))
(.f64 x (+.f64 1 (.f64 y z)))
(*.f64 x (fma.f64 y z 1))
(.f64 x (-.f64 1 (.f64 y (neg.f64 z))))
(.f64 x (+.f64 1 (.f64 y z)))
(*.f64 x (fma.f64 y z 1))
(neg.f64 (.f64 (neg.f64 x) (-.f64 1 (.f64 y z))))
(.f64 x (-.f64 1 (.f64 y z)))
(*.f64 x (fma.f64 z (neg.f64 y) 1))
(*.f64 x (neg.f64 (fma.f64 y z -1)))
(neg.f64 (.f64 x (-.f64 1 (.f64 (neg.f64 y) z))))
(.f64 (neg.f64 x) (+.f64 1 (.f64 y z)))
(*.f64 x (neg.f64 (fma.f64 y z 1)))
(neg.f64 (.f64 x (-.f64 1 (.f64 y (neg.f64 z)))))
(.f64 (neg.f64 x) (+.f64 1 (.f64 y z)))
(*.f64 x (neg.f64 (fma.f64 y z 1)))
(.f64 y (-.f64 1 (.f64 x z)))
(.f64 z (-.f64 1 (.f64 y x)))
(.f64 z (-.f64 1 (.f64 x y)))
(.f64 x (-.f64 1 (.f64 z y)))
(.f64 x (-.f64 1 (.f64 y z)))
(*.f64 x (fma.f64 z (neg.f64 y) 1))
(*.f64 x (neg.f64 (fma.f64 y z -1)))

Symmetry

(negabs x)

(sort y z)

Compiler

Compiled 56 to 29 computations (48.2% saved)

Precisions

Click to see histograms. Total time spent on operations: 16.0ms

Operation ival-mult, time spent: 8.0ms, 52.0% of total-time

Operation ival-sub, time spent: 6.0ms, 39.0% of total-time

Operation const, time spent: 1.0ms, 6.0% of total-time

eval4.0ms (0.1%)

Compiler: Compiled 17 to 11 computations (35.3% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	95.5%	(.f64 x (-.f64 1 (.f64 y z)))

Compiler

Compiled 10 to 7 computations (30% saved)

localize38.0ms (0.9%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	95.5%	(.f64 x (-.f64 1 (.f64 y z)))

Compiler

Compiled 23 to 11 computations (52.2% saved)

Precisions

Click to see histograms. Total time spent on operations: 8.0ms

Operation ival-mult, time spent: 4.0ms, 53.0% of total-time

Operation ival-sub, time spent: 3.0ms, 40.0% of total-time

Operation const, time spent: 1.0ms, 13.0% of total-time

series9.0ms (0.2%)

Counts

1 → 24

Calls

9 calls:

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

rewrite192.0ms (4.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1238×	`unpow-prod-down`
846×	`prod-diff`
712×	`log-prod`
640×	`log1p-expm1-u`
640×	`expm1-log1p-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	28
1	146	28
2	1760	28

Stop Event

1×	node limit

Counts

1 → 36

Calls

Call 1

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

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

eval13.0ms (0.3%)

Compiler: Compiled 653 to 303 computations (53.6% saved)

prune10.0ms (0.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	55	5	60
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	55	6	61

Accuracy

100.0%

Counts

61 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	95.5%	(+.f64 x (.f64 (.f64 y (neg.f64 z)) x))
▶	85.5%	(.f64 z (+.f64 (.f64 -1 (*.f64 x y)) (/.f64 x z)))
▶	85.4%	(.f64 y (+.f64 (.f64 -1 (*.f64 x z)) (/.f64 x y)))
✓	95.5%	(.f64 x (-.f64 1 (.f64 y z)))
▶	49.5%	(cbrt.f64 (pow.f64 (*.f64 x (fma.f64 y (neg.f64 z) 1)) 3))
▶	52.6%	x

Compiler

Compiled 122 to 83 computations (32% saved)

localize278.0ms (6.8%)

Localize:

Found 8 expressions with local error:

New	Accuracy	Program
✓	99.8%	(pow.f64 (*.f64 x (fma.f64 y (neg.f64 z) 1)) 3)
✓	95.5%	(*.f64 x (fma.f64 y (neg.f64 z) 1))
✓	50.0%	(cbrt.f64 (pow.f64 (*.f64 x (fma.f64 y (neg.f64 z) 1)) 3))
✓	98.7%	(+.f64 (.f64 -1 (.f64 x y)) (/.f64 x z))
✓	86.3%	(.f64 z (+.f64 (.f64 -1 (*.f64 x y)) (/.f64 x z)))
✓	97.2%	(+.f64 (.f64 -1 (.f64 x z)) (/.f64 x y))
✓	86.7%	(.f64 y (+.f64 (.f64 -1 (*.f64 x z)) (/.f64 x y)))
✓	90.9%	(.f64 (.f64 y (neg.f64 z)) x)

Compiler

Compiled 136 to 50 computations (63.2% saved)

Precisions

Click to see histograms. Total time spent on operations: 86.0ms

Operation ival-mult, time spent: 34.0ms, 40.0% of total-time

Operation composed, time spent: 18.0ms, 21.0% of total-time

Operation ival-add, time spent: 13.0ms, 15.0% of total-time

Operation ival-div, time spent: 7.0ms, 8.0% of total-time

Operation ival-pow, time spent: 7.0ms, 8.0% of total-time

Operation const, time spent: 3.0ms, 3.0% of total-time

Operation ival-cbrt, time spent: 2.0ms, 2.0% of total-time

Operation ival-neg, time spent: 1.0ms, 1.0% of total-time

series77.0ms (1.9%)

Counts

8 → 264

Calls

72 calls:

Time	Variable		Point	Expression
3.0ms	y	@	0	(.f64 z (+.f64 (.f64 -1 (*.f64 x y)) (/.f64 x z)))
3.0ms	x	@	-inf	(cbrt.f64 (pow.f64 (*.f64 x (fma.f64 y (neg.f64 z) 1)) 3))
3.0ms	z	@	-inf	(.f64 y (+.f64 (.f64 -1 (*.f64 x z)) (/.f64 x y)))
2.0ms	z	@	inf	(cbrt.f64 (pow.f64 (*.f64 x (fma.f64 y (neg.f64 z) 1)) 3))
2.0ms	x	@	inf	(.f64 (.f64 y (neg.f64 z)) x)

rewrite248.0ms (6.1%)

Algorithm

1×	batch-egg-rewrite

Rules

734×	`log1p-expm1-u`
538×	`associate-r`
360×	`associate-l`
206×	`expm1-log1p-u`
203×	`add-cube-cbrt`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	31	266
1	472	242
2	7024	242

Stop Event

1×	node limit

Counts

8 → 234

Calls

Call 1

Inputs
(.f64 (.f64 y (neg.f64 z)) x)
(.f64 y (+.f64 (.f64 -1 (*.f64 x z)) (/.f64 x y)))
(+.f64 (.f64 -1 (.f64 x z)) (/.f64 x y))
(.f64 z (+.f64 (.f64 -1 (*.f64 x y)) (/.f64 x z)))
(+.f64 (.f64 -1 (.f64 x y)) (/.f64 x z))
(cbrt.f64 (pow.f64 (*.f64 x (fma.f64 y (neg.f64 z) 1)) 3))
(*.f64 x (fma.f64 y (neg.f64 z) 1))
(pow.f64 (*.f64 x (fma.f64 y (neg.f64 z) 1)) 3)

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

eval214.0ms (5.2%)

Compiler: Compiled 6771 to 3270 computations (51.7% saved)

prune123.0ms (3%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	492	6	498
Fresh	0	0	0
Picked	3	2	5
Done	0	1	1
Total	495	9	504

Accuracy

100.0%

Counts

504 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	95.5%	(+.f64 x (.f64 (.f64 y (neg.f64 z)) x))
▶	43.0%	(*.f64 z (/.f64 x z))
▶	85.5%	(.f64 z (-.f64 (/.f64 x z) (.f64 y x)))
▶	46.5%	(.f64 z (.f64 -1 (*.f64 x y)))
▶	41.6%	(*.f64 y (/.f64 x y))
▶	48.1%	(.f64 y (.f64 -1 (*.f64 x z)))
✓	95.5%	(.f64 x (-.f64 1 (.f64 y z)))
	32.7%	(cbrt.f64 (pow.f64 (.f64 -1 (.f64 x (*.f64 y z))) 3))
✓	52.6%	x

Compiler

Compiled 147 to 99 computations (32.7% saved)

localize99.0ms (2.4%)

Localize:

Found 6 expressions with local error:

New	Accuracy	Program
✓	94.3%	(.f64 z (.f64 -1 (*.f64 x y)))
✓	94.0%	(.f64 y (.f64 -1 (*.f64 x z)))
✓	78.9%	(*.f64 z (/.f64 x z))
✓	75.7%	(*.f64 y (/.f64 x y))
✓	98.7%	(-.f64 (/.f64 x z) (*.f64 y x))
✓	86.3%	(.f64 z (-.f64 (/.f64 x z) (.f64 y x)))

Compiler

Compiled 87 to 25 computations (71.3% saved)

Precisions

Click to see histograms. Total time spent on operations: 27.0ms

Operation ival-mult, time spent: 20.0ms, 73.0% of total-time

Operation ival-div, time spent: 5.0ms, 18.0% of total-time

Operation ival-sub, time spent: 2.0ms, 7.0% of total-time

Operation const, time spent: 1.0ms, 4.0% of total-time

series31.0ms (0.8%)

Counts

6 → 192

Calls

48 calls:

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

rewrite150.0ms (3.7%)

Algorithm

1×	batch-egg-rewrite

Rules

913×	`log1p-expm1-u`
865×	`expm1-log1p-u`
424×	`associate-r`
272×	`associate-l`
168×	`cbrt-prod`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	23	167
1	366	153
2	5086	153

Stop Event

1×	node limit

Counts

6 → 142

Calls

Call 1

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

Outputs
(+.f64 (.f64 z (/.f64 x z)) (.f64 z (*.f64 x y)))
(-.f64 (exp.f64 (log1p.f64 (.f64 z (.f64 x (+.f64 (/.f64 1 z) y))))) 1)
(/.f64 (.f64 z (+.f64 (pow.f64 (/.f64 x z) 3) (pow.f64 (.f64 x y) 3))) (+.f64 (pow.f64 (.f64 x (+.f64 (/.f64 1 z) y)) 2) (/.f64 (.f64 x y) (/.f64 z x))))
(/.f64 (.f64 z (pow.f64 (.f64 x (+.f64 (/.f64 1 z) y)) 2)) (*.f64 x (+.f64 (/.f64 1 z) y)))
(/.f64 (.f64 (+.f64 (pow.f64 (/.f64 x z) 3) (pow.f64 (.f64 x y) 3)) z) (+.f64 (pow.f64 (.f64 x (+.f64 (/.f64 1 z) y)) 2) (/.f64 (.f64 x y) (/.f64 z x))))
(/.f64 (.f64 (pow.f64 (.f64 x (+.f64 (/.f64 1 z) y)) 2) z) (*.f64 x (+.f64 (/.f64 1 z) y)))
(pow.f64 (.f64 z (.f64 x (+.f64 (/.f64 1 z) y))) 1)
(pow.f64 (cbrt.f64 (.f64 z (.f64 x (+.f64 (/.f64 1 z) y)))) 3)
(pow.f64 (pow.f64 (.f64 z (.f64 x (+.f64 (/.f64 1 z) y))) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 z (.f64 x (+.f64 (/.f64 1 z) y)))) 2)
(sqrt.f64 (pow.f64 (.f64 z (.f64 x (+.f64 (/.f64 1 z) y))) 2))
(log.f64 (pow.f64 (exp.f64 z) (*.f64 x (+.f64 (/.f64 1 z) y))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 z (.f64 x (+.f64 (/.f64 1 z) y))))))
(cbrt.f64 (pow.f64 (.f64 z (.f64 x (+.f64 (/.f64 1 z) y))) 3))
(cbrt.f64 (.f64 (pow.f64 z 3) (pow.f64 (.f64 x (+.f64 (/.f64 1 z) y)) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x (+.f64 (/.f64 1 z) y)) 3) (pow.f64 z 3)))
(expm1.f64 (log1p.f64 (.f64 z (.f64 x (+.f64 (/.f64 1 z) y)))))
(log1p.f64 (expm1.f64 (.f64 z (.f64 x (+.f64 (/.f64 1 z) y)))))
(exp.f64 (log.f64 (.f64 z (.f64 x (+.f64 (/.f64 1 z) y)))))
(exp.f64 (.f64 (log.f64 (.f64 z (*.f64 x (+.f64 (/.f64 1 z) y)))) 1))
(+.f64 (/.f64 x z) (*.f64 x y))
(+.f64 (*.f64 x y) (/.f64 x z))
(+.f64 (.f64 x (+.f64 (/.f64 1 z) y)) (fma.f64 (neg.f64 y) x (.f64 x y)))
(+.f64 (.f64 x (+.f64 (/.f64 1 z) y)) (fma.f64 (neg.f64 x) y (.f64 x y)))
(+.f64 (.f64 x (+.f64 (/.f64 1 z) y)) (fma.f64 (.f64 x y) 1 (*.f64 x y)))
(+.f64 (.f64 x (+.f64 (/.f64 1 z) y)) (fma.f64 (neg.f64 (cbrt.f64 (.f64 x y))) (pow.f64 (cbrt.f64 (.f64 x y)) 2) (.f64 x y)))
(+.f64 (.f64 x (+.f64 (/.f64 1 z) y)) (fma.f64 (neg.f64 (sqrt.f64 (.f64 x y))) (sqrt.f64 (.f64 x y)) (.f64 x y)))
(*.f64 x (+.f64 (/.f64 1 z) y))
(*.f64 x (-.f64 (/.f64 1 z) y))
(.f64 (.f64 x (+.f64 (/.f64 1 z) y)) 1)
(.f64 1 (.f64 x (+.f64 (/.f64 1 z) y)))
(.f64 (cbrt.f64 (.f64 x (+.f64 (/.f64 1 z) y))) (pow.f64 (cbrt.f64 (*.f64 x (+.f64 (/.f64 1 z) y))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 x (+.f64 (/.f64 1 z) y))) 2) (cbrt.f64 (*.f64 x (+.f64 (/.f64 1 z) y))))
(.f64 (sqrt.f64 (.f64 x (+.f64 (/.f64 1 z) y))) (sqrt.f64 (*.f64 x (+.f64 (/.f64 1 z) y))))
(.f64 (+.f64 (pow.f64 (/.f64 x z) 3) (pow.f64 (.f64 x y) 3)) (/.f64 1 (+.f64 (pow.f64 (.f64 x (+.f64 (/.f64 1 z) y)) 2) (/.f64 (.f64 x y) (/.f64 z x)))))
(.f64 (pow.f64 (.f64 x (+.f64 (/.f64 1 z) y)) 2) (/.f64 1 (*.f64 x (+.f64 (/.f64 1 z) y))))
(.f64 (+.f64 (sqrt.f64 (/.f64 x z)) (sqrt.f64 (.f64 x y))) (-.f64 (sqrt.f64 (/.f64 x z)) (sqrt.f64 (*.f64 x y))))
(/.f64 1 (/.f64 (+.f64 (pow.f64 (.f64 x (+.f64 (/.f64 1 z) y)) 2) (/.f64 (.f64 x y) (/.f64 z x))) (+.f64 (pow.f64 (/.f64 x z) 3) (pow.f64 (*.f64 x y) 3))))
(/.f64 1 (/.f64 (.f64 x (+.f64 (/.f64 1 z) y)) (pow.f64 (.f64 x (+.f64 (/.f64 1 z) y)) 2)))
(/.f64 (+.f64 (pow.f64 (/.f64 x z) 3) (pow.f64 (.f64 x y) 3)) (+.f64 (pow.f64 (.f64 x (+.f64 (/.f64 1 z) y)) 2) (/.f64 (*.f64 x y) (/.f64 z x))))
(/.f64 (+.f64 (pow.f64 (/.f64 x z) 3) (pow.f64 (.f64 x y) 3)) (+.f64 (pow.f64 (/.f64 x z) 2) (-.f64 (pow.f64 (.f64 x y) 2) (/.f64 (*.f64 x y) (/.f64 z x)))))
(/.f64 (pow.f64 (.f64 x (+.f64 (/.f64 1 z) y)) 2) (.f64 x (+.f64 (/.f64 1 z) y)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (/.f64 x z) 3) (pow.f64 (.f64 x y) 3))) (neg.f64 (+.f64 (pow.f64 (.f64 x (+.f64 (/.f64 1 z) y)) 2) (/.f64 (*.f64 x y) (/.f64 z x)))))
(/.f64 (neg.f64 (pow.f64 (.f64 x (+.f64 (/.f64 1 z) y)) 2)) (neg.f64 (.f64 x (+.f64 (/.f64 1 z) y))))
(pow.f64 (*.f64 x (+.f64 (/.f64 1 z) y)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (+.f64 (/.f64 1 z) y))) 3)
(pow.f64 (pow.f64 (*.f64 x (+.f64 (/.f64 1 z) y)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 x (+.f64 (/.f64 1 z) y))) 2)
(sqrt.f64 (pow.f64 (*.f64 x (+.f64 (/.f64 1 z) y)) 2))
(log.f64 (exp.f64 (*.f64 x (+.f64 (/.f64 1 z) y))))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (+.f64 (/.f64 1 z) y)))))
(cbrt.f64 (pow.f64 (*.f64 x (+.f64 (/.f64 1 z) y)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (+.f64 (/.f64 1 z) y))))
(log1p.f64 (expm1.f64 (*.f64 x (+.f64 (/.f64 1 z) y))))
(exp.f64 (log.f64 (*.f64 x (+.f64 (/.f64 1 z) y))))
(exp.f64 (.f64 (log.f64 (.f64 x (+.f64 (/.f64 1 z) y))) 1))
(fma.f64 x (/.f64 1 z) (*.f64 x y))
(fma.f64 1 (/.f64 x z) (*.f64 x y))
(fma.f64 (pow.f64 (cbrt.f64 (/.f64 x z)) 2) (cbrt.f64 (/.f64 x z)) (*.f64 x y))
(fma.f64 (sqrt.f64 (/.f64 x z)) (sqrt.f64 (/.f64 x z)) (*.f64 x y))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (/.f64 y y)))) 1)
(/.f64 y (/.f64 y x))
(/.f64 (*.f64 x y) y)
(/.f64 (*.f64 x y) (neg.f64 y))
(/.f64 1 (/.f64 y (*.f64 x y)))
(/.f64 (/.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
(/.f64 (/.f64 (*.f64 x y) 1) y)
(/.f64 (/.f64 (*.f64 x y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(pow.f64 (*.f64 x (/.f64 y y)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (/.f64 y y))) 3)
(pow.f64 (pow.f64 (*.f64 x (/.f64 y y)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 x (/.f64 y y))) 2)
(sqrt.f64 (pow.f64 (*.f64 x (/.f64 y y)) 2))
(log.f64 (pow.f64 (exp.f64 (/.f64 x y)) y))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (/.f64 y y)))))
(cbrt.f64 (pow.f64 (*.f64 x (/.f64 y y)) 3))
(cbrt.f64 (*.f64 (pow.f64 y 3) (pow.f64 (/.f64 x y) 3)))
(cbrt.f64 (*.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 y 3)))
(cbrt.f64 (/.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 y 3)))
(expm1.f64 (log1p.f64 (*.f64 x (/.f64 y y))))
(log1p.f64 (expm1.f64 (*.f64 x (/.f64 y y))))
(exp.f64 (log.f64 (*.f64 x (/.f64 y y))))
(exp.f64 (.f64 (log.f64 (.f64 x (/.f64 y y))) 1))
(-.f64 (exp.f64 (log1p.f64 (*.f64 z (/.f64 x z)))) 1)
(/.f64 z (/.f64 z x))
(/.f64 (*.f64 z x) z)
(/.f64 (*.f64 z x) (neg.f64 z))
(/.f64 1 (/.f64 z (*.f64 z x)))
(/.f64 (/.f64 (*.f64 z x) (sqrt.f64 z)) (sqrt.f64 z))
(/.f64 (/.f64 (*.f64 z x) 1) z)
(/.f64 (/.f64 (*.f64 z x) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))
(pow.f64 (*.f64 z (/.f64 x z)) 1)
(pow.f64 (cbrt.f64 (*.f64 z (/.f64 x z))) 3)
(pow.f64 (pow.f64 (*.f64 z (/.f64 x z)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 z (/.f64 x z))) 2)
(sqrt.f64 (pow.f64 (*.f64 z (/.f64 x z)) 2))
(log.f64 (pow.f64 (exp.f64 (/.f64 x z)) z))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 z (/.f64 x z)))))
(cbrt.f64 (pow.f64 (*.f64 z (/.f64 x z)) 3))
(cbrt.f64 (*.f64 (pow.f64 z 3) (pow.f64 (/.f64 x z) 3)))
(cbrt.f64 (*.f64 (pow.f64 (/.f64 x z) 3) (pow.f64 z 3)))
(cbrt.f64 (/.f64 (pow.f64 (*.f64 z x) 3) (pow.f64 z 3)))
(expm1.f64 (log1p.f64 (*.f64 z (/.f64 x z))))
(log1p.f64 (expm1.f64 (*.f64 z (/.f64 x z))))
(exp.f64 (log.f64 (*.f64 z (/.f64 x z))))
(exp.f64 (.f64 (log.f64 (.f64 z (/.f64 x z))) 1))
(-.f64 (exp.f64 (log1p.f64 (.f64 z (.f64 x y)))) 1)
(pow.f64 (.f64 z (.f64 x y)) 1)
(pow.f64 (cbrt.f64 (.f64 z (.f64 x y))) 3)
(pow.f64 (pow.f64 (.f64 z (.f64 x y)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 z (.f64 x y))) 2)
(neg.f64 (.f64 z (.f64 x y)))
(sqrt.f64 (pow.f64 (.f64 z (.f64 x y)) 2))
(log.f64 (pow.f64 (pow.f64 (exp.f64 y) x) z))
(log.f64 (+.f64 1 (expm1.f64 (.f64 z (.f64 x y)))))
(cbrt.f64 (pow.f64 (.f64 z (.f64 x y)) 3))
(cbrt.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 z x) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 z x) 3) (pow.f64 y 3)))
(cbrt.f64 (.f64 (pow.f64 z 3) (pow.f64 (.f64 x y) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x y) 3) (pow.f64 z 3)))
(expm1.f64 (log1p.f64 (.f64 z (.f64 x y))))
(log1p.f64 (expm1.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))
(-.f64 (exp.f64 (log1p.f64 (.f64 z (.f64 x y)))) 1)
(pow.f64 (.f64 z (.f64 x y)) 1)
(pow.f64 (cbrt.f64 (.f64 z (.f64 x y))) 3)
(pow.f64 (pow.f64 (.f64 z (.f64 x y)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 z (.f64 x y))) 2)
(neg.f64 (.f64 z (.f64 x y)))
(sqrt.f64 (pow.f64 (.f64 z (.f64 x y)) 2))
(log.f64 (pow.f64 (pow.f64 (exp.f64 y) x) z))
(log.f64 (+.f64 1 (expm1.f64 (.f64 z (.f64 x y)))))
(cbrt.f64 (pow.f64 (.f64 z (.f64 x y)) 3))
(cbrt.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 z x) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 z x) 3) (pow.f64 y 3)))
(cbrt.f64 (.f64 (pow.f64 z 3) (pow.f64 (.f64 x y) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x y) 3) (pow.f64 z 3)))
(expm1.f64 (log1p.f64 (.f64 z (.f64 x y))))
(log1p.f64 (expm1.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))

eval65.0ms (1.6%)

Compiler: Compiled 2898 to 1238 computations (57.3% saved)

prune28.0ms (0.7%)

Pruning

14 alts after pruning (7 fresh and 7 done)

	Pruned	Kept	Total
New	328	6	334
Fresh	0	1	1
Picked	1	4	5
Done	0	3	3
Total	329	14	343

Accuracy

100.0%

Counts

343 → 14

Alt Table

Click to see full alt table

Status	Accuracy	Program
	6.4%	(/.f64 (*.f64 z x) (neg.f64 z))
▶	40.7%	(/.f64 (*.f64 z x) z)
▶	43.3%	(/.f64 (*.f64 x y) y)
▶	42.8%	(/.f64 z (/.f64 z x))
▶	42.3%	(/.f64 y (/.f64 y x))
✓	95.5%	(+.f64 x (.f64 (.f64 y (neg.f64 z)) x))
✓	43.0%	(*.f64 z (/.f64 x z))
✓	85.5%	(.f64 z (-.f64 (/.f64 x z) (.f64 y x)))
✓	41.6%	(*.f64 y (/.f64 x y))
✓	48.1%	(.f64 y (.f64 -1 (*.f64 x z)))
✓	95.5%	(.f64 x (-.f64 1 (.f64 y z)))
▶	46.5%	(neg.f64 (.f64 z (.f64 x y)))
	32.7%	(cbrt.f64 (pow.f64 (.f64 -1 (.f64 x (*.f64 y z))) 3))
✓	52.6%	x

Compiler

Compiled 189 to 125 computations (33.9% saved)

localize122.0ms (3%)

Localize:

Found 5 expressions with local error:

New	Accuracy	Program
✓	77.8%	(/.f64 (*.f64 z x) z)
✓	77.4%	(/.f64 (*.f64 x y) y)
✓	78.7%	(/.f64 z (/.f64 z x))
✓	75.6%	(/.f64 y (/.f64 y x))
✓	94.3%	(.f64 z (.f64 x y))

Compiler

Compiled 61 to 14 computations (77% saved)

Precisions

Click to see histograms. Total time spent on operations: 20.0ms

Operation ival-div, time spent: 13.0ms, 65.0% of total-time

Operation ival-mult, time spent: 5.0ms, 25.0% of total-time

Operation ival-neg, time spent: 1.0ms, 5.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

series21.0ms (0.5%)

Counts

5 → 132

Calls

33 calls:

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

rewrite153.0ms (3.7%)

Algorithm

1×	batch-egg-rewrite

Rules

816×	`log1p-expm1-u`
816×	`expm1-log1p-u`
354×	`expm1-undefine`
354×	`log1p-undefine`
294×	`times-frac`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	110
1	282	38
2	4474	38

Stop Event

1×	node limit

Counts

5 → 440

Calls

Call 1

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

Outputs
(-.f64 (exp.f64 (log1p.f64 (.f64 z (.f64 x y)))) 1)
(pow.f64 (.f64 z (.f64 x y)) 1)
(pow.f64 (cbrt.f64 (.f64 z (.f64 x y))) 3)
(pow.f64 (pow.f64 (.f64 z (.f64 x y)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 z (.f64 x y))) 2)
(sqrt.f64 (pow.f64 (.f64 z (.f64 x y)) 2))
(log.f64 (pow.f64 (pow.f64 (exp.f64 x) z) y))
(log.f64 (+.f64 1 (expm1.f64 (.f64 z (.f64 x y)))))
(cbrt.f64 (pow.f64 (.f64 z (.f64 x y)) 3))
(cbrt.f64 (.f64 (pow.f64 z 3) (pow.f64 (.f64 x y) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 x y) 3) (pow.f64 z 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 z x) 3) (pow.f64 y 3)))
(expm1.f64 (log1p.f64 (.f64 z (.f64 x y))))
(log1p.f64 (expm1.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))
(-.f64 (exp.f64 (log1p.f64 x)) 1)
(*.f64 z (/.f64 x z))
(*.f64 x 1)
(*.f64 y (/.f64 x y))
(.f64 (.f64 x y) (/.f64 1 y))
(.f64 (.f64 z x) (/.f64 1 z))
(*.f64 1 x)
(*.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 z x)) 2) (/.f64 (cbrt.f64 (*.f64 z x)) z))
(.f64 (pow.f64 (cbrt.f64 (.f64 z x)) 2) (.f64 (cbrt.f64 (.f64 z x)) (/.f64 1 z)))
(.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) (/.f64 (cbrt.f64 (*.f64 x y)) y))
(.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) (.f64 (cbrt.f64 (.f64 x y)) (/.f64 1 y)))
(*.f64 (pow.f64 (cbrt.f64 y) 2) (/.f64 (cbrt.f64 y) (/.f64 y x)))
(.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 (cbrt.f64 y) (/.f64 x y)))
(*.f64 (pow.f64 (cbrt.f64 z) 2) (/.f64 (cbrt.f64 z) (/.f64 z x)))
(.f64 (pow.f64 (cbrt.f64 z) 2) (.f64 (cbrt.f64 z) (/.f64 x z)))
(*.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x))
(*.f64 (sqrt.f64 x) (sqrt.f64 x))
(.f64 (sqrt.f64 (.f64 z x)) (/.f64 (sqrt.f64 (*.f64 z x)) z))
(.f64 (sqrt.f64 (.f64 z x)) (.f64 (sqrt.f64 (.f64 z x)) (/.f64 1 z)))
(.f64 (sqrt.f64 (.f64 x y)) (/.f64 (sqrt.f64 (*.f64 x y)) y))
(.f64 (sqrt.f64 (.f64 x y)) (.f64 (sqrt.f64 (.f64 x y)) (/.f64 1 y)))
(*.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 y) (/.f64 y x)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) (/.f64 x y)))
(*.f64 (sqrt.f64 z) (/.f64 (sqrt.f64 z) (/.f64 z x)))
(.f64 (sqrt.f64 z) (.f64 (sqrt.f64 z) (/.f64 x z)))
(*.f64 (neg.f64 z) (/.f64 1 (/.f64 z (neg.f64 x))))
(.f64 (.f64 x (neg.f64 y)) (/.f64 1 (neg.f64 y)))
(*.f64 (neg.f64 y) (/.f64 1 (/.f64 y (neg.f64 x))))
(.f64 (.f64 z (neg.f64 x)) (/.f64 1 (neg.f64 z)))
(*.f64 (/.f64 x z) z)
(*.f64 (/.f64 x y) y)
(.f64 (/.f64 1 y) (.f64 x y))
(*.f64 (/.f64 1 y) (/.f64 y (/.f64 1 x)))
(.f64 (/.f64 1 z) (.f64 z x))
(*.f64 (/.f64 1 z) (/.f64 z (/.f64 1 x)))
(*.f64 (/.f64 y 1) (/.f64 x y))
(*.f64 (/.f64 y (pow.f64 (cbrt.f64 y) 2)) (/.f64 x (cbrt.f64 y)))
(*.f64 (/.f64 y (sqrt.f64 y)) (/.f64 x (sqrt.f64 y)))
(.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (.f64 x y) (cbrt.f64 y)))
(.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (.f64 x y) (sqrt.f64 y)))
(*.f64 (/.f64 z 1) (/.f64 x z))
(*.f64 (/.f64 z (pow.f64 (cbrt.f64 z) 2)) (/.f64 x (cbrt.f64 z)))
(*.f64 (/.f64 z (sqrt.f64 z)) (/.f64 x (sqrt.f64 z)))
(*.f64 (/.f64 x (sqrt.f64 z)) (/.f64 z (sqrt.f64 z)))
(*.f64 (/.f64 x 1) 1)
(*.f64 (/.f64 x (pow.f64 (cbrt.f64 z) 2)) (/.f64 z (cbrt.f64 z)))
(.f64 (/.f64 1 (pow.f64 (cbrt.f64 z) 2)) (/.f64 (.f64 z x) (cbrt.f64 z)))
(.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (.f64 z x) (sqrt.f64 z)))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 z x)) 2) 1) (/.f64 (cbrt.f64 (*.f64 z x)) z))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 z x)) 2) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 x))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 z x)) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 (*.f64 z x)) (sqrt.f64 z)))
(.f64 (/.f64 (sqrt.f64 (.f64 z x)) 1) (/.f64 (sqrt.f64 (*.f64 z x)) z))
(.f64 (/.f64 (sqrt.f64 (.f64 z x)) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 (*.f64 z x)) (cbrt.f64 z)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (/.f64 z (cbrt.f64 (/.f64 z x))))
(*.f64 (/.f64 1 (sqrt.f64 (/.f64 z x))) (/.f64 z (sqrt.f64 (/.f64 z x))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) z) (/.f64 (cbrt.f64 z) (/.f64 1 x)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) 1) (/.f64 (cbrt.f64 z) (/.f64 z x)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (cbrt.f64 x))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) (sqrt.f64 (/.f64 z x))) (/.f64 (cbrt.f64 z) (sqrt.f64 (/.f64 z x))))
(*.f64 (/.f64 (sqrt.f64 z) z) (/.f64 (sqrt.f64 z) (/.f64 1 x)))
(*.f64 (/.f64 (sqrt.f64 z) 1) (/.f64 (sqrt.f64 z) (/.f64 z x)))
(*.f64 (/.f64 (sqrt.f64 z) (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (/.f64 (sqrt.f64 z) (cbrt.f64 (/.f64 z x))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (/.f64 (cbrt.f64 y) (/.f64 y x)))
(*.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) (/.f64 y x)))
(*.f64 (/.f64 (sqrt.f64 y) y) (/.f64 (sqrt.f64 y) (/.f64 1 x)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) y) (/.f64 (cbrt.f64 y) (/.f64 1 x)))
(*.f64 (/.f64 x (pow.f64 (cbrt.f64 y) 2)) (/.f64 y (cbrt.f64 y)))
(*.f64 (/.f64 x (sqrt.f64 y)) (/.f64 y (sqrt.f64 y)))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) 1) (/.f64 (cbrt.f64 (*.f64 x y)) y))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 x))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) (sqrt.f64 y)) (/.f64 (cbrt.f64 (*.f64 x y)) (sqrt.f64 y)))
(.f64 (/.f64 (sqrt.f64 (.f64 x y)) 1) (/.f64 (sqrt.f64 (*.f64 x y)) y))
(.f64 (/.f64 (sqrt.f64 (.f64 x y)) (pow.f64 (cbrt.f64 y) 2)) (/.f64 (sqrt.f64 (*.f64 x y)) (cbrt.f64 y)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (/.f64 y x)) 2)) (/.f64 y (cbrt.f64 (/.f64 y x))))
(*.f64 (/.f64 1 (sqrt.f64 (/.f64 y x))) (/.f64 y (sqrt.f64 (/.f64 y x))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 (/.f64 y x)) 2)) (cbrt.f64 x))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (/.f64 y x))) (/.f64 (cbrt.f64 y) (sqrt.f64 (/.f64 y x))))
(*.f64 (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 (/.f64 y x)) 2)) (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 y x))))
(*.f64 (/.f64 z (neg.f64 z)) (neg.f64 x))
(*.f64 (/.f64 y (neg.f64 y)) (neg.f64 x))
(pow.f64 x 1)
(pow.f64 (cbrt.f64 x) 3)
(pow.f64 (pow.f64 x 3) 1/3)
(pow.f64 (sqrt.f64 x) 2)
(pow.f64 (/.f64 1 x) -1)
(neg.f64 (/.f64 (*.f64 z x) (neg.f64 z)))
(neg.f64 (/.f64 z (/.f64 z (neg.f64 x))))
(neg.f64 (/.f64 (*.f64 x y) (neg.f64 y)))
(neg.f64 (/.f64 y (/.f64 y (neg.f64 x))))
(neg.f64 (/.f64 (*.f64 z (neg.f64 x)) z))
(neg.f64 (/.f64 (neg.f64 z) (/.f64 z x)))
(neg.f64 (/.f64 (*.f64 x (neg.f64 y)) y))
(neg.f64 (/.f64 (neg.f64 y) (/.f64 y x)))
(sqrt.f64 (pow.f64 x 2))
(log.f64 (exp.f64 x))
(log.f64 (+.f64 1 (expm1.f64 x)))
(cbrt.f64 (pow.f64 x 3))
(cbrt.f64 (/.f64 (pow.f64 (*.f64 z x) 3) (pow.f64 z 3)))
(cbrt.f64 (/.f64 (pow.f64 z 3) (pow.f64 (/.f64 z x) 3)))
(cbrt.f64 (/.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 y 3)))
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 y x) 3)))
x
(expm1.f64 (log1p.f64 x))
(log1p.f64 (expm1.f64 x))
(exp.f64 (log.f64 x))
(exp.f64 (*.f64 (log.f64 x) 1))
(-.f64 (exp.f64 (log1p.f64 x)) 1)
(*.f64 z (/.f64 x z))
(*.f64 x 1)
(*.f64 y (/.f64 x y))
(.f64 (.f64 x y) (/.f64 1 y))
(.f64 (.f64 z x) (/.f64 1 z))
(*.f64 1 x)
(*.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 z x)) 2) (/.f64 (cbrt.f64 (*.f64 z x)) z))
(.f64 (pow.f64 (cbrt.f64 (.f64 z x)) 2) (.f64 (cbrt.f64 (.f64 z x)) (/.f64 1 z)))
(.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) (/.f64 (cbrt.f64 (*.f64 x y)) y))
(.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) (.f64 (cbrt.f64 (.f64 x y)) (/.f64 1 y)))
(*.f64 (pow.f64 (cbrt.f64 y) 2) (/.f64 (cbrt.f64 y) (/.f64 y x)))
(.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 (cbrt.f64 y) (/.f64 x y)))
(*.f64 (pow.f64 (cbrt.f64 z) 2) (/.f64 (cbrt.f64 z) (/.f64 z x)))
(.f64 (pow.f64 (cbrt.f64 z) 2) (.f64 (cbrt.f64 z) (/.f64 x z)))
(*.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x))
(*.f64 (sqrt.f64 x) (sqrt.f64 x))
(.f64 (sqrt.f64 (.f64 z x)) (/.f64 (sqrt.f64 (*.f64 z x)) z))
(.f64 (sqrt.f64 (.f64 z x)) (.f64 (sqrt.f64 (.f64 z x)) (/.f64 1 z)))
(.f64 (sqrt.f64 (.f64 x y)) (/.f64 (sqrt.f64 (*.f64 x y)) y))
(.f64 (sqrt.f64 (.f64 x y)) (.f64 (sqrt.f64 (.f64 x y)) (/.f64 1 y)))
(*.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 y) (/.f64 y x)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) (/.f64 x y)))
(*.f64 (sqrt.f64 z) (/.f64 (sqrt.f64 z) (/.f64 z x)))
(.f64 (sqrt.f64 z) (.f64 (sqrt.f64 z) (/.f64 x z)))
(*.f64 (neg.f64 z) (/.f64 1 (/.f64 z (neg.f64 x))))
(.f64 (.f64 x (neg.f64 y)) (/.f64 1 (neg.f64 y)))
(*.f64 (neg.f64 y) (/.f64 1 (/.f64 y (neg.f64 x))))
(.f64 (.f64 z (neg.f64 x)) (/.f64 1 (neg.f64 z)))
(*.f64 (/.f64 x z) z)
(*.f64 (/.f64 x y) y)
(.f64 (/.f64 1 y) (.f64 x y))
(*.f64 (/.f64 1 y) (/.f64 y (/.f64 1 x)))
(.f64 (/.f64 1 z) (.f64 z x))
(*.f64 (/.f64 1 z) (/.f64 z (/.f64 1 x)))
(*.f64 (/.f64 y 1) (/.f64 x y))
(*.f64 (/.f64 y (pow.f64 (cbrt.f64 y) 2)) (/.f64 x (cbrt.f64 y)))
(*.f64 (/.f64 y (sqrt.f64 y)) (/.f64 x (sqrt.f64 y)))
(.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (.f64 x y) (cbrt.f64 y)))
(.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (.f64 x y) (sqrt.f64 y)))
(*.f64 (/.f64 z 1) (/.f64 x z))
(*.f64 (/.f64 z (pow.f64 (cbrt.f64 z) 2)) (/.f64 x (cbrt.f64 z)))
(*.f64 (/.f64 z (sqrt.f64 z)) (/.f64 x (sqrt.f64 z)))
(*.f64 (/.f64 x (sqrt.f64 z)) (/.f64 z (sqrt.f64 z)))
(*.f64 (/.f64 x 1) 1)
(*.f64 (/.f64 x (pow.f64 (cbrt.f64 z) 2)) (/.f64 z (cbrt.f64 z)))
(.f64 (/.f64 1 (pow.f64 (cbrt.f64 z) 2)) (/.f64 (.f64 z x) (cbrt.f64 z)))
(.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (.f64 z x) (sqrt.f64 z)))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 z x)) 2) 1) (/.f64 (cbrt.f64 (*.f64 z x)) z))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 z x)) 2) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 x))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 z x)) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 (*.f64 z x)) (sqrt.f64 z)))
(.f64 (/.f64 (sqrt.f64 (.f64 z x)) 1) (/.f64 (sqrt.f64 (*.f64 z x)) z))
(.f64 (/.f64 (sqrt.f64 (.f64 z x)) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 (*.f64 z x)) (cbrt.f64 z)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (/.f64 z (cbrt.f64 (/.f64 z x))))
(*.f64 (/.f64 1 (sqrt.f64 (/.f64 z x))) (/.f64 z (sqrt.f64 (/.f64 z x))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) z) (/.f64 (cbrt.f64 z) (/.f64 1 x)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) 1) (/.f64 (cbrt.f64 z) (/.f64 z x)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (cbrt.f64 x))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) (sqrt.f64 (/.f64 z x))) (/.f64 (cbrt.f64 z) (sqrt.f64 (/.f64 z x))))
(*.f64 (/.f64 (sqrt.f64 z) z) (/.f64 (sqrt.f64 z) (/.f64 1 x)))
(*.f64 (/.f64 (sqrt.f64 z) 1) (/.f64 (sqrt.f64 z) (/.f64 z x)))
(*.f64 (/.f64 (sqrt.f64 z) (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (/.f64 (sqrt.f64 z) (cbrt.f64 (/.f64 z x))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (/.f64 (cbrt.f64 y) (/.f64 y x)))
(*.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) (/.f64 y x)))
(*.f64 (/.f64 (sqrt.f64 y) y) (/.f64 (sqrt.f64 y) (/.f64 1 x)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) y) (/.f64 (cbrt.f64 y) (/.f64 1 x)))
(*.f64 (/.f64 x (pow.f64 (cbrt.f64 y) 2)) (/.f64 y (cbrt.f64 y)))
(*.f64 (/.f64 x (sqrt.f64 y)) (/.f64 y (sqrt.f64 y)))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) 1) (/.f64 (cbrt.f64 (*.f64 x y)) y))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 x))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) (sqrt.f64 y)) (/.f64 (cbrt.f64 (*.f64 x y)) (sqrt.f64 y)))
(.f64 (/.f64 (sqrt.f64 (.f64 x y)) 1) (/.f64 (sqrt.f64 (*.f64 x y)) y))
(.f64 (/.f64 (sqrt.f64 (.f64 x y)) (pow.f64 (cbrt.f64 y) 2)) (/.f64 (sqrt.f64 (*.f64 x y)) (cbrt.f64 y)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (/.f64 y x)) 2)) (/.f64 y (cbrt.f64 (/.f64 y x))))
(*.f64 (/.f64 1 (sqrt.f64 (/.f64 y x))) (/.f64 y (sqrt.f64 (/.f64 y x))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 (/.f64 y x)) 2)) (cbrt.f64 x))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (/.f64 y x))) (/.f64 (cbrt.f64 y) (sqrt.f64 (/.f64 y x))))
(*.f64 (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 (/.f64 y x)) 2)) (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 y x))))
(*.f64 (/.f64 z (neg.f64 z)) (neg.f64 x))
(*.f64 (/.f64 y (neg.f64 y)) (neg.f64 x))
(pow.f64 x 1)
(pow.f64 (cbrt.f64 x) 3)
(pow.f64 (pow.f64 x 3) 1/3)
(pow.f64 (sqrt.f64 x) 2)
(pow.f64 (/.f64 1 x) -1)
(neg.f64 (/.f64 (*.f64 z x) (neg.f64 z)))
(neg.f64 (/.f64 z (/.f64 z (neg.f64 x))))
(neg.f64 (/.f64 (*.f64 x y) (neg.f64 y)))
(neg.f64 (/.f64 y (/.f64 y (neg.f64 x))))
(neg.f64 (/.f64 (*.f64 z (neg.f64 x)) z))
(neg.f64 (/.f64 (neg.f64 z) (/.f64 z x)))
(neg.f64 (/.f64 (*.f64 x (neg.f64 y)) y))
(neg.f64 (/.f64 (neg.f64 y) (/.f64 y x)))
(sqrt.f64 (pow.f64 x 2))
(log.f64 (exp.f64 x))
(log.f64 (+.f64 1 (expm1.f64 x)))
(cbrt.f64 (pow.f64 x 3))
(cbrt.f64 (/.f64 (pow.f64 (*.f64 z x) 3) (pow.f64 z 3)))
(cbrt.f64 (/.f64 (pow.f64 z 3) (pow.f64 (/.f64 z x) 3)))
(cbrt.f64 (/.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 y 3)))
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 y x) 3)))
x
(expm1.f64 (log1p.f64 x))
(log1p.f64 (expm1.f64 x))
(exp.f64 (log.f64 x))
(exp.f64 (*.f64 (log.f64 x) 1))
(-.f64 (exp.f64 (log1p.f64 x)) 1)
(*.f64 z (/.f64 x z))
(*.f64 x 1)
(*.f64 y (/.f64 x y))
(.f64 (.f64 x y) (/.f64 1 y))
(.f64 (.f64 z x) (/.f64 1 z))
(*.f64 1 x)
(*.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 z x)) 2) (/.f64 (cbrt.f64 (*.f64 z x)) z))
(.f64 (pow.f64 (cbrt.f64 (.f64 z x)) 2) (.f64 (cbrt.f64 (.f64 z x)) (/.f64 1 z)))
(.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) (/.f64 (cbrt.f64 (*.f64 x y)) y))
(.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) (.f64 (cbrt.f64 (.f64 x y)) (/.f64 1 y)))
(*.f64 (pow.f64 (cbrt.f64 y) 2) (/.f64 (cbrt.f64 y) (/.f64 y x)))
(.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 (cbrt.f64 y) (/.f64 x y)))
(*.f64 (pow.f64 (cbrt.f64 z) 2) (/.f64 (cbrt.f64 z) (/.f64 z x)))
(.f64 (pow.f64 (cbrt.f64 z) 2) (.f64 (cbrt.f64 z) (/.f64 x z)))
(*.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x))
(*.f64 (sqrt.f64 x) (sqrt.f64 x))
(.f64 (sqrt.f64 (.f64 z x)) (/.f64 (sqrt.f64 (*.f64 z x)) z))
(.f64 (sqrt.f64 (.f64 z x)) (.f64 (sqrt.f64 (.f64 z x)) (/.f64 1 z)))
(.f64 (sqrt.f64 (.f64 x y)) (/.f64 (sqrt.f64 (*.f64 x y)) y))
(.f64 (sqrt.f64 (.f64 x y)) (.f64 (sqrt.f64 (.f64 x y)) (/.f64 1 y)))
(*.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 y) (/.f64 y x)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) (/.f64 x y)))
(*.f64 (sqrt.f64 z) (/.f64 (sqrt.f64 z) (/.f64 z x)))
(.f64 (sqrt.f64 z) (.f64 (sqrt.f64 z) (/.f64 x z)))
(*.f64 (neg.f64 z) (/.f64 1 (/.f64 z (neg.f64 x))))
(.f64 (.f64 x (neg.f64 y)) (/.f64 1 (neg.f64 y)))
(*.f64 (neg.f64 y) (/.f64 1 (/.f64 y (neg.f64 x))))
(.f64 (.f64 z (neg.f64 x)) (/.f64 1 (neg.f64 z)))
(*.f64 (/.f64 x z) z)
(*.f64 (/.f64 x y) y)
(.f64 (/.f64 1 y) (.f64 x y))
(*.f64 (/.f64 1 y) (/.f64 y (/.f64 1 x)))
(.f64 (/.f64 1 z) (.f64 z x))
(*.f64 (/.f64 1 z) (/.f64 z (/.f64 1 x)))
(*.f64 (/.f64 y 1) (/.f64 x y))
(*.f64 (/.f64 y (pow.f64 (cbrt.f64 y) 2)) (/.f64 x (cbrt.f64 y)))
(*.f64 (/.f64 y (sqrt.f64 y)) (/.f64 x (sqrt.f64 y)))
(.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (.f64 x y) (cbrt.f64 y)))
(.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (.f64 x y) (sqrt.f64 y)))
(*.f64 (/.f64 z 1) (/.f64 x z))
(*.f64 (/.f64 z (pow.f64 (cbrt.f64 z) 2)) (/.f64 x (cbrt.f64 z)))
(*.f64 (/.f64 z (sqrt.f64 z)) (/.f64 x (sqrt.f64 z)))
(*.f64 (/.f64 x (sqrt.f64 z)) (/.f64 z (sqrt.f64 z)))
(*.f64 (/.f64 x 1) 1)
(*.f64 (/.f64 x (pow.f64 (cbrt.f64 z) 2)) (/.f64 z (cbrt.f64 z)))
(.f64 (/.f64 1 (pow.f64 (cbrt.f64 z) 2)) (/.f64 (.f64 z x) (cbrt.f64 z)))
(.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (.f64 z x) (sqrt.f64 z)))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 z x)) 2) 1) (/.f64 (cbrt.f64 (*.f64 z x)) z))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 z x)) 2) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 x))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 z x)) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 (*.f64 z x)) (sqrt.f64 z)))
(.f64 (/.f64 (sqrt.f64 (.f64 z x)) 1) (/.f64 (sqrt.f64 (*.f64 z x)) z))
(.f64 (/.f64 (sqrt.f64 (.f64 z x)) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 (*.f64 z x)) (cbrt.f64 z)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (/.f64 z (cbrt.f64 (/.f64 z x))))
(*.f64 (/.f64 1 (sqrt.f64 (/.f64 z x))) (/.f64 z (sqrt.f64 (/.f64 z x))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) z) (/.f64 (cbrt.f64 z) (/.f64 1 x)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) 1) (/.f64 (cbrt.f64 z) (/.f64 z x)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (cbrt.f64 x))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) (sqrt.f64 (/.f64 z x))) (/.f64 (cbrt.f64 z) (sqrt.f64 (/.f64 z x))))
(*.f64 (/.f64 (sqrt.f64 z) z) (/.f64 (sqrt.f64 z) (/.f64 1 x)))
(*.f64 (/.f64 (sqrt.f64 z) 1) (/.f64 (sqrt.f64 z) (/.f64 z x)))
(*.f64 (/.f64 (sqrt.f64 z) (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (/.f64 (sqrt.f64 z) (cbrt.f64 (/.f64 z x))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (/.f64 (cbrt.f64 y) (/.f64 y x)))
(*.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) (/.f64 y x)))
(*.f64 (/.f64 (sqrt.f64 y) y) (/.f64 (sqrt.f64 y) (/.f64 1 x)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) y) (/.f64 (cbrt.f64 y) (/.f64 1 x)))
(*.f64 (/.f64 x (pow.f64 (cbrt.f64 y) 2)) (/.f64 y (cbrt.f64 y)))
(*.f64 (/.f64 x (sqrt.f64 y)) (/.f64 y (sqrt.f64 y)))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) 1) (/.f64 (cbrt.f64 (*.f64 x y)) y))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 x))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) (sqrt.f64 y)) (/.f64 (cbrt.f64 (*.f64 x y)) (sqrt.f64 y)))
(.f64 (/.f64 (sqrt.f64 (.f64 x y)) 1) (/.f64 (sqrt.f64 (*.f64 x y)) y))
(.f64 (/.f64 (sqrt.f64 (.f64 x y)) (pow.f64 (cbrt.f64 y) 2)) (/.f64 (sqrt.f64 (*.f64 x y)) (cbrt.f64 y)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (/.f64 y x)) 2)) (/.f64 y (cbrt.f64 (/.f64 y x))))
(*.f64 (/.f64 1 (sqrt.f64 (/.f64 y x))) (/.f64 y (sqrt.f64 (/.f64 y x))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 (/.f64 y x)) 2)) (cbrt.f64 x))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (/.f64 y x))) (/.f64 (cbrt.f64 y) (sqrt.f64 (/.f64 y x))))
(*.f64 (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 (/.f64 y x)) 2)) (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 y x))))
(*.f64 (/.f64 z (neg.f64 z)) (neg.f64 x))
(*.f64 (/.f64 y (neg.f64 y)) (neg.f64 x))
(pow.f64 x 1)
(pow.f64 (cbrt.f64 x) 3)
(pow.f64 (pow.f64 x 3) 1/3)
(pow.f64 (sqrt.f64 x) 2)
(pow.f64 (/.f64 1 x) -1)
(neg.f64 (/.f64 (*.f64 z x) (neg.f64 z)))
(neg.f64 (/.f64 z (/.f64 z (neg.f64 x))))
(neg.f64 (/.f64 (*.f64 x y) (neg.f64 y)))
(neg.f64 (/.f64 y (/.f64 y (neg.f64 x))))
(neg.f64 (/.f64 (*.f64 z (neg.f64 x)) z))
(neg.f64 (/.f64 (neg.f64 z) (/.f64 z x)))
(neg.f64 (/.f64 (*.f64 x (neg.f64 y)) y))
(neg.f64 (/.f64 (neg.f64 y) (/.f64 y x)))
(sqrt.f64 (pow.f64 x 2))
(log.f64 (exp.f64 x))
(log.f64 (+.f64 1 (expm1.f64 x)))
(cbrt.f64 (pow.f64 x 3))
(cbrt.f64 (/.f64 (pow.f64 (*.f64 z x) 3) (pow.f64 z 3)))
(cbrt.f64 (/.f64 (pow.f64 z 3) (pow.f64 (/.f64 z x) 3)))
(cbrt.f64 (/.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 y 3)))
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 y x) 3)))
x
(expm1.f64 (log1p.f64 x))
(log1p.f64 (expm1.f64 x))
(exp.f64 (log.f64 x))
(exp.f64 (*.f64 (log.f64 x) 1))
(-.f64 (exp.f64 (log1p.f64 x)) 1)
(*.f64 z (/.f64 x z))
(*.f64 x 1)
(*.f64 y (/.f64 x y))
(.f64 (.f64 x y) (/.f64 1 y))
(.f64 (.f64 z x) (/.f64 1 z))
(*.f64 1 x)
(*.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 z x)) 2) (/.f64 (cbrt.f64 (*.f64 z x)) z))
(.f64 (pow.f64 (cbrt.f64 (.f64 z x)) 2) (.f64 (cbrt.f64 (.f64 z x)) (/.f64 1 z)))
(.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) (/.f64 (cbrt.f64 (*.f64 x y)) y))
(.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) (.f64 (cbrt.f64 (.f64 x y)) (/.f64 1 y)))
(*.f64 (pow.f64 (cbrt.f64 y) 2) (/.f64 (cbrt.f64 y) (/.f64 y x)))
(.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 (cbrt.f64 y) (/.f64 x y)))
(*.f64 (pow.f64 (cbrt.f64 z) 2) (/.f64 (cbrt.f64 z) (/.f64 z x)))
(.f64 (pow.f64 (cbrt.f64 z) 2) (.f64 (cbrt.f64 z) (/.f64 x z)))
(*.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x))
(*.f64 (sqrt.f64 x) (sqrt.f64 x))
(.f64 (sqrt.f64 (.f64 z x)) (/.f64 (sqrt.f64 (*.f64 z x)) z))
(.f64 (sqrt.f64 (.f64 z x)) (.f64 (sqrt.f64 (.f64 z x)) (/.f64 1 z)))
(.f64 (sqrt.f64 (.f64 x y)) (/.f64 (sqrt.f64 (*.f64 x y)) y))
(.f64 (sqrt.f64 (.f64 x y)) (.f64 (sqrt.f64 (.f64 x y)) (/.f64 1 y)))
(*.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 y) (/.f64 y x)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) (/.f64 x y)))
(*.f64 (sqrt.f64 z) (/.f64 (sqrt.f64 z) (/.f64 z x)))
(.f64 (sqrt.f64 z) (.f64 (sqrt.f64 z) (/.f64 x z)))
(*.f64 (neg.f64 z) (/.f64 1 (/.f64 z (neg.f64 x))))
(.f64 (.f64 x (neg.f64 y)) (/.f64 1 (neg.f64 y)))
(*.f64 (neg.f64 y) (/.f64 1 (/.f64 y (neg.f64 x))))
(.f64 (.f64 z (neg.f64 x)) (/.f64 1 (neg.f64 z)))
(*.f64 (/.f64 x z) z)
(*.f64 (/.f64 x y) y)
(.f64 (/.f64 1 y) (.f64 x y))
(*.f64 (/.f64 1 y) (/.f64 y (/.f64 1 x)))
(.f64 (/.f64 1 z) (.f64 z x))
(*.f64 (/.f64 1 z) (/.f64 z (/.f64 1 x)))
(*.f64 (/.f64 y 1) (/.f64 x y))
(*.f64 (/.f64 y (pow.f64 (cbrt.f64 y) 2)) (/.f64 x (cbrt.f64 y)))
(*.f64 (/.f64 y (sqrt.f64 y)) (/.f64 x (sqrt.f64 y)))
(.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (.f64 x y) (cbrt.f64 y)))
(.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (.f64 x y) (sqrt.f64 y)))
(*.f64 (/.f64 z 1) (/.f64 x z))
(*.f64 (/.f64 z (pow.f64 (cbrt.f64 z) 2)) (/.f64 x (cbrt.f64 z)))
(*.f64 (/.f64 z (sqrt.f64 z)) (/.f64 x (sqrt.f64 z)))
(*.f64 (/.f64 x (sqrt.f64 z)) (/.f64 z (sqrt.f64 z)))
(*.f64 (/.f64 x 1) 1)
(*.f64 (/.f64 x (pow.f64 (cbrt.f64 z) 2)) (/.f64 z (cbrt.f64 z)))
(.f64 (/.f64 1 (pow.f64 (cbrt.f64 z) 2)) (/.f64 (.f64 z x) (cbrt.f64 z)))
(.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (.f64 z x) (sqrt.f64 z)))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 z x)) 2) 1) (/.f64 (cbrt.f64 (*.f64 z x)) z))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 z x)) 2) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 x))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 z x)) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 (*.f64 z x)) (sqrt.f64 z)))
(.f64 (/.f64 (sqrt.f64 (.f64 z x)) 1) (/.f64 (sqrt.f64 (*.f64 z x)) z))
(.f64 (/.f64 (sqrt.f64 (.f64 z x)) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 (*.f64 z x)) (cbrt.f64 z)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (/.f64 z (cbrt.f64 (/.f64 z x))))
(*.f64 (/.f64 1 (sqrt.f64 (/.f64 z x))) (/.f64 z (sqrt.f64 (/.f64 z x))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) z) (/.f64 (cbrt.f64 z) (/.f64 1 x)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) 1) (/.f64 (cbrt.f64 z) (/.f64 z x)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (cbrt.f64 x))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) (sqrt.f64 (/.f64 z x))) (/.f64 (cbrt.f64 z) (sqrt.f64 (/.f64 z x))))
(*.f64 (/.f64 (sqrt.f64 z) z) (/.f64 (sqrt.f64 z) (/.f64 1 x)))
(*.f64 (/.f64 (sqrt.f64 z) 1) (/.f64 (sqrt.f64 z) (/.f64 z x)))
(*.f64 (/.f64 (sqrt.f64 z) (pow.f64 (cbrt.f64 (/.f64 z x)) 2)) (/.f64 (sqrt.f64 z) (cbrt.f64 (/.f64 z x))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (/.f64 (cbrt.f64 y) (/.f64 y x)))
(*.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) (/.f64 y x)))
(*.f64 (/.f64 (sqrt.f64 y) y) (/.f64 (sqrt.f64 y) (/.f64 1 x)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) y) (/.f64 (cbrt.f64 y) (/.f64 1 x)))
(*.f64 (/.f64 x (pow.f64 (cbrt.f64 y) 2)) (/.f64 y (cbrt.f64 y)))
(*.f64 (/.f64 x (sqrt.f64 y)) (/.f64 y (sqrt.f64 y)))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) 1) (/.f64 (cbrt.f64 (*.f64 x y)) y))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 x))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) (sqrt.f64 y)) (/.f64 (cbrt.f64 (*.f64 x y)) (sqrt.f64 y)))
(.f64 (/.f64 (sqrt.f64 (.f64 x y)) 1) (/.f64 (sqrt.f64 (*.f64 x y)) y))
(.f64 (/.f64 (sqrt.f64 (.f64 x y)) (pow.f64 (cbrt.f64 y) 2)) (/.f64 (sqrt.f64 (*.f64 x y)) (cbrt.f64 y)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (/.f64 y x)) 2)) (/.f64 y (cbrt.f64 (/.f64 y x))))
(*.f64 (/.f64 1 (sqrt.f64 (/.f64 y x))) (/.f64 y (sqrt.f64 (/.f64 y x))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 (/.f64 y x)) 2)) (cbrt.f64 x))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (/.f64 y x))) (/.f64 (cbrt.f64 y) (sqrt.f64 (/.f64 y x))))
(*.f64 (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 (/.f64 y x)) 2)) (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 y x))))
(*.f64 (/.f64 z (neg.f64 z)) (neg.f64 x))
(*.f64 (/.f64 y (neg.f64 y)) (neg.f64 x))
(pow.f64 x 1)
(pow.f64 (cbrt.f64 x) 3)
(pow.f64 (pow.f64 x 3) 1/3)
(pow.f64 (sqrt.f64 x) 2)
(pow.f64 (/.f64 1 x) -1)
(neg.f64 (/.f64 (*.f64 z x) (neg.f64 z)))
(neg.f64 (/.f64 z (/.f64 z (neg.f64 x))))
(neg.f64 (/.f64 (*.f64 x y) (neg.f64 y)))
(neg.f64 (/.f64 y (/.f64 y (neg.f64 x))))
(neg.f64 (/.f64 (*.f64 z (neg.f64 x)) z))
(neg.f64 (/.f64 (neg.f64 z) (/.f64 z x)))
(neg.f64 (/.f64 (*.f64 x (neg.f64 y)) y))
(neg.f64 (/.f64 (neg.f64 y) (/.f64 y x)))
(sqrt.f64 (pow.f64 x 2))
(log.f64 (exp.f64 x))
(log.f64 (+.f64 1 (expm1.f64 x)))
(cbrt.f64 (pow.f64 x 3))
(cbrt.f64 (/.f64 (pow.f64 (*.f64 z x) 3) (pow.f64 z 3)))
(cbrt.f64 (/.f64 (pow.f64 z 3) (pow.f64 (/.f64 z x) 3)))
(cbrt.f64 (/.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 y 3)))
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 y x) 3)))
x
(expm1.f64 (log1p.f64 x))
(log1p.f64 (expm1.f64 x))
(exp.f64 (log.f64 x))
(exp.f64 (*.f64 (log.f64 x) 1))

eval83.0ms (2%)

Compiler: Compiled 4560 to 1402 computations (69.3% saved)

prune29.0ms (0.7%)

Pruning

14 alts after pruning (2 fresh and 12 done)

	Pruned	Kept	Total
New	571	1	572
Fresh	1	1	2
Picked	0	5	5
Done	0	7	7
Total	572	14	586

Accuracy

100.0%

Counts

586 → 14

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	40.7%	(/.f64 (*.f64 z x) z)
✓	43.3%	(/.f64 (*.f64 x y) y)
✓	42.8%	(/.f64 z (/.f64 z x))
✓	42.3%	(/.f64 y (/.f64 y x))
✓	95.5%	(+.f64 x (.f64 (.f64 y (neg.f64 z)) x))
✓	43.0%	(*.f64 z (/.f64 x z))
✓	85.5%	(.f64 z (-.f64 (/.f64 x z) (.f64 y x)))
✓	41.6%	(*.f64 y (/.f64 x y))
✓	48.1%	(.f64 y (.f64 -1 (*.f64 x z)))
✓	95.5%	(.f64 x (-.f64 1 (.f64 y z)))
✓	46.5%	(neg.f64 (.f64 z (.f64 x y)))
	45.3%	(neg.f64 (.f64 x (.f64 y z)))
	32.7%	(cbrt.f64 (pow.f64 (.f64 -1 (.f64 x (*.f64 y z))) 3))
✓	52.6%	x

Compiler

Compiled 258 to 140 computations (45.7% saved)

regimes93.0ms (2.3%)

Counts

19 → 2

Calls

Call 1

Inputs
x
(*.f64 y (/.f64 x y))
(*.f64 z (/.f64 x z))
(/.f64 y (/.f64 y x))
(/.f64 z (/.f64 z x))
(/.f64 (*.f64 x y) y)
(/.f64 (*.f64 z x) z)
(neg.f64 (.f64 x (.f64 y z)))
(neg.f64 (.f64 z (.f64 x y)))
(/.f64 (*.f64 z x) (neg.f64 z))
(.f64 x (-.f64 1 (.f64 y z)))
(.f64 y (.f64 -1 (*.f64 x z)))
(.f64 z (.f64 -1 (*.f64 x y)))
(+.f64 x (.f64 (.f64 y (neg.f64 z)) x))
(.f64 z (-.f64 (/.f64 x z) (.f64 y x)))
(.f64 y (+.f64 (.f64 -1 (*.f64 x z)) (/.f64 x y)))
(.f64 z (+.f64 (.f64 -1 (*.f64 x y)) (/.f64 x z)))
(cbrt.f64 (pow.f64 (.f64 -1 (.f64 x (*.f64 y z))) 3))
(cbrt.f64 (pow.f64 (*.f64 x (fma.f64 y (neg.f64 z) 1)) 3))

Outputs
(+.f64 x (.f64 (.f64 y (neg.f64 z)) x))
(.f64 y (.f64 -1 (*.f64 x z)))

Calls

6 calls:

20.0ms	x
18.0ms	z
16.0ms	(.f64 x (-.f64 1 (.f64 y z)))
16.0ms	(*.f64 y z)
11.0ms	y

Results

Accuracy	Segments	Branch
98.4%	2	`x`
95.5%	1	`y`
95.5%	1	`z`
98.4%	2	`(.f64 x (-.f64 1 (.f64 y z)))`
98.4%	2	`(-.f64 1 (*.f64 y z))`
98.4%	2	`(*.f64 y z)`

Compiler

Compiled 36 to 26 computations (27.8% saved)

regimes23.0ms (0.6%)

Counts

13 → 2

Calls

Call 1

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

Outputs
(.f64 x (-.f64 1 (.f64 y z)))
(.f64 y (.f64 -1 (*.f64 x z)))

Calls

2 calls:

12.0ms	(*.f64 y z)
9.0ms	(-.f64 1 (*.f64 y z))

Results

Accuracy	Segments	Branch
98.4%	2	`(-.f64 1 (*.f64 y z))`
98.4%	2	`(*.f64 y z)`

Compiler

Compiled 14 to 10 computations (28.6% saved)

regimes40.0ms (1%)

Counts

11 → 2

Calls

Call 1

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

Outputs
(.f64 x (-.f64 1 (.f64 y z)))
(neg.f64 (.f64 z (.f64 x y)))

Calls

4 calls:

12.0ms	(*.f64 y z)
11.0ms	(.f64 x (-.f64 1 (.f64 y z)))
8.0ms	x
8.0ms	(-.f64 1 (*.f64 y z))

Results

Accuracy	Segments	Branch
95.5%	1	`x`
98.4%	2	`(.f64 x (-.f64 1 (.f64 y z)))`
98.4%	2	`(-.f64 1 (*.f64 y z))`
98.4%	2	`(*.f64 y z)`

Compiler

Compiled 28 to 20 computations (28.6% saved)

regimes201.0ms (4.9%)

Counts

10 → 4

Calls

Call 1

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

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

Calls

4 calls:

112.0ms	y
43.0ms	x
24.0ms	(*.f64 y z)
20.0ms	z

Results

Accuracy	Segments	Branch
64.2%	7	`x`
80.8%	3	`y`
80.9%	3	`z`
97.2%	4	`(*.f64 y z)`

Compiler

Compiled 18 to 13 computations (27.8% saved)

regimes20.0ms (0.5%)

Counts

8 → 3

Calls

Call 1

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

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

Calls

1 calls:

20.0ms

(*.f64 y z)

Results

Accuracy	Segments	Branch
93.8%	3	`(*.f64 y z)`

Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes31.0ms (0.8%)

Counts

7 → 2

Calls

Call 1

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

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

Calls

3 calls:

15.0ms	x
11.0ms	y
5.0ms	z

Results

Accuracy	Segments	Branch
54.5%	2	`x`
55.2%	2	`y`
52.6%	1	`z`

Compiler

Compiled 12 to 9 computations (25% saved)

regimes10.0ms (0.2%)

Accuracy

Total -12.7b remaining (-41.9%)

Threshold costs -12.7b (-41.9%)

Counts

5 → 1

Calls

Call 1

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

Outputs
x

Calls

2 calls:

5.0ms	x
4.0ms	y

Results

Accuracy	Segments	Branch
52.6%	1	`x`
52.6%	1	`y`

Compiler

Compiled 8 to 6 computations (25% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	1.0707063474285021e+59	2.466075211187463e+59

Compiler

Compiled 16 to 12 computations (25% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	1.0707063474285021e+59	2.466075211187463e+59

Compiler

Compiled 16 to 12 computations (25% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	4.240480139462796e+187	3.920172663591825e+190

Compiler

Compiled 16 to 12 computations (25% saved)

bsearch0.0ms (0%)

Algorithm

3×	left-value

Steps

Time	Left	Right
0.0ms	4.240480139462796e+187	3.920172663591825e+190
0.0ms	0.3216440853001516	10006079.722818589
0.0ms	-1955402242.9451885	-1.4026382897443948e-6

Compiler

Compiled 16 to 12 computations (25% saved)

bsearch0.0ms (0%)

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	0.3216440853001516	10006079.722818589
0.0ms	-1955402242.9451885	-1.4026382897443948e-6

Compiler

Compiled 16 to 12 computations (25% saved)

bsearch18.0ms (0.4%)

Algorithm

1×	binary-search

Stop Event

1×	fuel
1×	narrow-enough

Steps

Time	Left	Right
15.0ms	-7.9036427791805035e+118	-1.168920989643114e+117

Results

11.0ms	83×	256	valid
3.0ms	28×	256	infinite
0.0ms	1×	256	valid

Compiler

Compiled 268 to 165 computations (38.4% saved)

Precisions

Click to see histograms. Total time spent on operations: 5.0ms

Operation ival-mult, time spent: 4.0ms, 84.0% of total-time

Operation ival-sub, time spent: 1.0ms, 21.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

soundness301.0ms (7.4%)

Rules

1238×	`unpow-prod-down`
913×	`log1p-expm1-u`
865×	`expm1-log1p-u`
846×	`prod-diff`
712×	`log-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	167
1	366	153
2	5086	153
0	13	28
1	146	28
2	1760	28

Stop Event

1×	node limit
1×	node limit

Compiler

Compiled 319 to 145 computations (54.5% saved)

end0.0ms (0%)

preprocess160.0ms (3.9%)

Remove: (negabs x)
Compiler: Compiled 580 to 302 computations (47.9% saved)

analyze0.0ms (0%)

sample1.0s (25.1%)

preprocess168.0ms (4.1%)

eval4.0ms (0.1%)

prune1.0ms (0%)

localize38.0ms (0.9%)

series9.0ms (0.2%)

rewrite192.0ms (4.7%)

eval13.0ms (0.3%)

prune10.0ms (0.2%)

localize278.0ms (6.8%)

series77.0ms (1.9%)

rewrite248.0ms (6.1%)

eval214.0ms (5.2%)

prune123.0ms (3%)

localize99.0ms (2.4%)

series31.0ms (0.8%)

rewrite150.0ms (3.7%)

eval65.0ms (1.6%)

prune28.0ms (0.7%)

localize122.0ms (3%)

series21.0ms (0.5%)

rewrite153.0ms (3.7%)

eval83.0ms (2%)

prune29.0ms (0.7%)

regimes93.0ms (2.3%)

regimes23.0ms (0.6%)

regimes40.0ms (1%)

regimes201.0ms (4.9%)

regimes20.0ms (0.5%)

regimes31.0ms (0.8%)

regimes10.0ms (0.2%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch18.0ms (0.4%)

soundness301.0ms (7.4%)

end0.0ms (0%)

preprocess160.0ms (3.9%)

Profiling