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

ival-sub: 0.0ms (0% of total)

ival-mult: 0.0ms (0% of total)

const: 0.0ms (0% of total)

sample1.2s (32.9%)

Results

675.0ms	6840×	0	valid
104.0ms	1416×	0	infinite

Precisions

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

ival-mult: 134.0ms (68.1% of total)

ival-sub: 48.0ms (24.4% of total)

const: 12.0ms (6.1% of total)

backward-pass: 4.0ms (2% of total)

Bogosity

preprocess86.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

584×	`fma-define`
153×	`fma-neg`
95×	`distribute-lft-in`
93×	`unsub-neg`
91×	`associate-r`

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 #s(literal 1 binary64) (.f64 y z)))
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z)))
(.f64 (neg.f64 x) (-.f64 #s(literal 1 binary64) (.f64 y z)))
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 (neg.f64 y) z)))
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 y (neg.f64 z))))
(neg.f64 (.f64 (neg.f64 x) (-.f64 #s(literal 1 binary64) (.f64 y z))))
(neg.f64 (.f64 x (-.f64 #s(literal 1 binary64) (.f64 (neg.f64 y) z))))
(neg.f64 (.f64 x (-.f64 #s(literal 1 binary64) (.f64 y (neg.f64 z)))))
(.f64 y (-.f64 #s(literal 1 binary64) (.f64 x z)))
(.f64 z (-.f64 #s(literal 1 binary64) (.f64 y x)))
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 z y)))

Outputs
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z)))
(*.f64 x (fma.f64 z (neg.f64 y) #s(literal 1 binary64)))
(*.f64 x (neg.f64 (fma.f64 y z #s(literal -1 binary64))))
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z)))
(*.f64 x (fma.f64 z (neg.f64 y) #s(literal 1 binary64)))
(*.f64 x (neg.f64 (fma.f64 y z #s(literal -1 binary64))))
(.f64 (neg.f64 x) (-.f64 #s(literal 1 binary64) (.f64 y z)))
(.f64 (-.f64 #s(literal 1 binary64) (.f64 y z)) (neg.f64 x))
(.f64 x (+.f64 #s(literal -1 binary64) (.f64 y z)))
(.f64 x (+.f64 (.f64 y z) #s(literal -1 binary64)))
(*.f64 x (fma.f64 y z #s(literal -1 binary64)))
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 (neg.f64 y) z)))
(.f64 x (+.f64 #s(literal 1 binary64) (.f64 y z)))
(*.f64 x (fma.f64 y z #s(literal 1 binary64)))
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 y (neg.f64 z))))
(.f64 x (+.f64 #s(literal 1 binary64) (.f64 y z)))
(*.f64 x (fma.f64 y z #s(literal 1 binary64)))
(neg.f64 (.f64 (neg.f64 x) (-.f64 #s(literal 1 binary64) (.f64 y z))))
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z)))
(*.f64 x (fma.f64 z (neg.f64 y) #s(literal 1 binary64)))
(*.f64 x (neg.f64 (fma.f64 y z #s(literal -1 binary64))))
(neg.f64 (.f64 x (-.f64 #s(literal 1 binary64) (.f64 (neg.f64 y) z))))
(.f64 (neg.f64 x) (+.f64 #s(literal 1 binary64) (.f64 y z)))
(*.f64 x (neg.f64 (fma.f64 y z #s(literal 1 binary64))))
(neg.f64 (.f64 x (-.f64 #s(literal 1 binary64) (.f64 y (neg.f64 z)))))
(.f64 (neg.f64 x) (+.f64 #s(literal 1 binary64) (.f64 y z)))
(*.f64 x (neg.f64 (fma.f64 y z #s(literal 1 binary64))))
(.f64 y (-.f64 #s(literal 1 binary64) (.f64 x z)))
(.f64 z (-.f64 #s(literal 1 binary64) (.f64 y x)))
(.f64 z (-.f64 #s(literal 1 binary64) (.f64 x y)))
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 z y)))
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z)))
(*.f64 x (fma.f64 z (neg.f64 y) #s(literal 1 binary64)))
(*.f64 x (neg.f64 (fma.f64 y z #s(literal -1 binary64))))

Symmetry

(negabs x)

(sort y z)

explain82.0ms (2.3%)

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
13	-	-	`(.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z)))`
0	-	-	`x`
0	-	-	`(-.f64 #s(literal 1 binary64) (*.f64 y z))`
0	-	-	`(*.f64 y z)`
0	-	-	`z`
0	-	-	`#s(literal 1 binary64)`
0	-	-	`y`

Results

45.0ms	420×	256	valid
8.0ms	92×	256	infinite

Compiler

Compiled 56 to 29 computations (48.2% saved)

Precisions

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

ival-mult: 9.0ms (56.1% of total)

ival-sub: 6.0ms (37.4% of total)

const: 1.0ms (6.2% of total)

eval0.0ms (0%)

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

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	95.1%	(.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z)))

Compiler

Compiled 10 to 7 computations (30% saved)

localize39.0ms (1.1%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	95.1%	(.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z)))

Results

23.0ms	210×	256	valid
4.0ms	46×	256	infinite

Compiler

Compiled 23 to 11 computations (52.2% saved)

Precisions

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

ival-mult: 4.0ms (55.9% of total)

ival-sub: 3.0ms (42% of total)

const: 1.0ms (14% of total)

series11.0ms (0.3%)

Counts

1 → 24

Calls

Call 1

Inputs
#<alt (.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z)))>

Outputs
#<alt x>
#<alt (+.f64 x (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z))))>
#<alt (+.f64 x (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z))))>
#<alt (+.f64 x (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 y (+.f64 (.f64 #s(literal -1 binary64) (*.f64 x z)) (/.f64 x y)))>
#<alt (.f64 y (+.f64 (.f64 #s(literal -1 binary64) (*.f64 x z)) (/.f64 x y)))>
#<alt (.f64 y (+.f64 (.f64 #s(literal -1 binary64) (*.f64 x z)) (/.f64 x y)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y (+.f64 (.f64 #s(literal -1 binary64) (/.f64 x y)) (.f64 x z))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y (+.f64 (.f64 #s(literal -1 binary64) (/.f64 x y)) (.f64 x z))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y (+.f64 (.f64 #s(literal -1 binary64) (/.f64 x y)) (.f64 x z))))>
#<alt x>
#<alt (+.f64 x (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z))))>
#<alt (+.f64 x (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z))))>
#<alt (+.f64 x (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 z (+.f64 (.f64 #s(literal -1 binary64) (*.f64 x y)) (/.f64 x z)))>
#<alt (.f64 z (+.f64 (.f64 #s(literal -1 binary64) (*.f64 x y)) (/.f64 x z)))>
#<alt (.f64 z (+.f64 (.f64 #s(literal -1 binary64) (*.f64 x y)) (/.f64 x z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 z (+.f64 (.f64 #s(literal -1 binary64) (/.f64 x z)) (.f64 x y))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 z (+.f64 (.f64 #s(literal -1 binary64) (/.f64 x z)) (.f64 x y))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 z (+.f64 (.f64 #s(literal -1 binary64) (/.f64 x z)) (.f64 x y))))>

Calls

9 calls:

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

rewrite205.0ms (5.8%)

Algorithm

1×	batch-egg-rewrite

Rules

640×	`log1p-expm1-u`
640×	`expm1-log1p-u`
611×	`unpow-prod-down`
423×	`prod-diff`
356×	`log-prod`

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 → 35

Calls

Call 1

Inputs
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z)))

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

simplify145.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

538×	`exp-prod`
375×	`associate-r`
337×	`fma-define`
323×	`associate-l`
273×	`fma-neg`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	117	2185
1	269	1856
2	692	1856
3	3028	1856
4	6489	1856

Stop Event

1×	node limit

Counts

59 → 56

Calls

Call 1

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

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

eval12.0ms (0.3%)

Compiler: Compiled 677 to 335 computations (50.5% saved)

prune10.0ms (0.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	52	4	56
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	52	5	57

Accuracy

100.0%

Counts

57 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	95.0%	(+.f64 x (neg.f64 (.f64 (.f64 x y) z)))
▶	48.1%	(.f64 y (.f64 x (neg.f64 z)))
✓	95.1%	(.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z)))
▶	48.2%	(neg.f64 (.f64 (.f64 x y) z))
▶	50.6%	x

Compiler

Compiled 43 to 29 computations (32.6% saved)

localize119.0ms (3.4%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
✓	92.7%	(.f64 (.f64 x y) z)
✓	90.2%	(.f64 y (.f64 x (neg.f64 z)))
✓	92.7%	(.f64 (.f64 x y) z)

Results

97.0ms

256×

256

valid

Compiler

Compiled 62 to 11 computations (82.3% saved)

Precisions

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

ival-mult: 9.0ms (66.4% of total)

ival-neg: 2.0ms (14.8% of total)

ival-add: 1.0ms (7.4% of total)

const: 0.0ms (0% of total)

series10.0ms (0.3%)

Counts

3 → 108

Calls

Call 1

Inputs
#<alt (.f64 (.f64 x y) z)>
#<alt (.f64 y (.f64 x (neg.f64 z)))>
#<alt (.f64 (.f64 x y) z)>

Outputs
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>

Calls

27 calls:

Time	Variable		Point	Expression
2.0ms	x	@	0	(* y (* x (neg z)))
1.0ms	z	@	inf	(* (* x y) z)
1.0ms	y	@	inf	(* (* x y) z)
0.0ms	y	@	0	(* (* x y) z)
0.0ms	x	@	0	(* (* x y) z)

rewrite85.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

719×	`unpow-prod-down`
591×	`log1p-expm1-u`
591×	`expm1-log1p-u`
393×	`log-prod`
300×	`pow-prod-down`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	66
1	174	66
2	2199	66

Stop Event

1×	node limit

Counts

3 → 69

Calls

Call 1

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

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

simplify131.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

656×	`fma-define`
583×	`fma-neg`
454×	`distribute-lft-out`
356×	`*-commutative`
339×	`prod-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	70	4287
1	125	4287
2	335	4287
3	1413	4287
4	3822	4287
5	5389	4287

Stop Event

1×	node limit

Counts

177 → 33

Calls

Call 1

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

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

eval61.0ms (1.7%)

Compiler: Compiled 672 to 247 computations (63.2% saved)

prune11.0ms (0.3%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	60	1	61
Fresh	0	0	0
Picked	0	4	4
Done	0	1	1
Total	60	6	66

Accuracy

100.0%

Counts

66 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	95.0%	(+.f64 x (neg.f64 (.f64 (.f64 x y) z)))
✓	48.1%	(.f64 y (.f64 x (neg.f64 z)))
✓	95.1%	(.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z)))
▶	46.7%	(.f64 x (.f64 y (neg.f64 z)))
✓	48.2%	(neg.f64 (.f64 (.f64 x y) z))
✓	50.6%	x

Compiler

Compiled 52 to 35 computations (32.7% saved)

localize97.0ms (2.7%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	91.0%	(.f64 x (.f64 y (neg.f64 z)))

Results

17.0ms	210×	256	valid
73.0ms	46×	256	infinite

Compiler

Compiled 19 to 7 computations (63.2% saved)

Precisions

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

ival-mult: 4.0ms (77.6% of total)

ival-neg: 1.0ms (19.4% of total)

const: 0.0ms (0% of total)

series2.0ms (0.1%)

Counts

1 → 36

Calls

Call 1

Inputs
#<alt (.f64 x (.f64 y (neg.f64 z)))>

Outputs
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))>

Calls

9 calls:

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

rewrite68.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

546×	`unpow-prod-down`
475×	`log1p-expm1-u`
475×	`expm1-log1p-u`
453×	`add-exp-log`
396×	`pow1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	26
1	132	22
2	1630	22

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

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

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

simplify90.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

747×	`fma-define`
445×	`fma-neg`
333×	`distribute-lft-neg-in`
325×	`sub-neg`
302×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	71	1599
1	128	1599
2	349	1599
3	1580	1599
4	3661	1599
5	6411	1599

Stop Event

1×	node limit

Counts

58 → 36

Calls

Call 1

Inputs
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(.f64 #s(literal -1 binary64) (.f64 x (*.f64 y z)))
(+.f64 #s(literal 0 binary64) (.f64 x (.f64 y z)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (.f64 x y))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (.f64 x y)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 z) (.f64 x y)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 z) (.f64 x y)))))
(-.f64 (+.f64 #s(literal 1 binary64) (.f64 x (.f64 y z))) #s(literal 1 binary64))
(pow.f64 (.f64 x (.f64 y z)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (.f64 x (.f64 y z))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (.f64 x (.f64 y z)) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 (.f64 x (.f64 y z)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (.f64 x (.f64 y z))) #s(literal 2 binary64))
(pow.f64 (E.f64) (log.f64 (.f64 x (.f64 y z))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 x (.f64 y z)))) #s(literal 2 binary64))) (cbrt.f64 (log.f64 (.f64 x (.f64 y z)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 x (.f64 y z))))) (sqrt.f64 (log.f64 (.f64 x (.f64 y z)))))
(neg.f64 (.f64 x (.f64 y z)))
(sqrt.f64 (pow.f64 (.f64 x (.f64 y z)) #s(literal 2 binary64)))
(log.f64 (pow.f64 (exp.f64 z) (*.f64 x y)))
(cbrt.f64 (pow.f64 (.f64 x (.f64 y z)) #s(literal 3 binary64)))
(expm1.f64 (log1p.f64 (.f64 x (.f64 y z))))
(log1p.f64 (expm1.f64 (.f64 x (.f64 y z))))
(exp.f64 (log.f64 (.f64 x (.f64 y z))))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 y z)))) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (.f64 x (.f64 y z)))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (*.f64 y z)))) #s(literal 2 binary64)))

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

eval6.0ms (0.2%)

Compiler: Compiled 366 to 118 computations (67.8% saved)

prune9.0ms (0.2%)

Pruning

8 alts after pruning (2 fresh and 6 done)

	Pruned	Kept	Total
New	34	2	36
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	34	8	42

Accuracy

100.0%

Counts

42 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	95.0%	(+.f64 x (neg.f64 (.f64 (.f64 x y) z)))
▶	2.5%	(.f64 z (.f64 x y))
▶	2.6%	(.f64 y (.f64 z x))
✓	48.1%	(.f64 y (.f64 x (neg.f64 z)))
✓	95.1%	(.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z)))
✓	46.7%	(.f64 x (.f64 y (neg.f64 z)))
✓	48.2%	(neg.f64 (.f64 (.f64 x y) z))
✓	50.6%	x

Compiler

Compiled 68 to 45 computations (33.8% saved)

localize48.0ms (1.4%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	92.7%	(.f64 z (.f64 x y))
✓	90.2%	(.f64 y (.f64 z x))

Results

30.0ms	210×	256	valid
5.0ms	46×	256	infinite

Compiler

Compiled 26 to 8 computations (69.2% saved)

Precisions

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

ival-mult: 7.0ms (101.6% of total)

const: 0.0ms (0% of total)

series3.0ms (0.1%)

Counts

2 → 72

Calls

Call 1

Inputs
#<alt (.f64 y (.f64 z x))>
#<alt (.f64 z (.f64 x y))>

Outputs
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>
#<alt (.f64 x (.f64 y z))>

Calls

18 calls:

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

rewrite81.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

652×	`unpow-prod-down`
556×	`log1p-expm1-u`
556×	`expm1-log1p-u`
442×	`pow1`
372×	`log-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	44
1	149	44
2	1556	44

Stop Event

1×	node limit

Counts

2 → 68

Calls

Call 1

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

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

simplify179.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

980×	`prod-exp`
418×	`distribute-lft-out`
395×	`distribute-lft-in`
370×	`*-commutative`
370×	`unswap-sqr`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	105	3230
1	206	3230
2	418	3230
3	1961	3230
4	5582	3230
5	6726	3230

Stop Event

1×	node limit

Counts

140 → 41

Calls

Call 1

Inputs
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(.f64 x (.f64 y z))
(+.f64 #s(literal 0 binary64) (.f64 y (.f64 z x)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) z) y)) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) z) y))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) z) y))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) z) y))))
(-.f64 (exp.f64 (log1p.f64 (.f64 y (.f64 z x)))) #s(literal 1 binary64))
(pow.f64 (.f64 y (.f64 z x)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (.f64 y (.f64 z x))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (.f64 y (.f64 z x)) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 (.f64 y (.f64 z x)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (.f64 y (.f64 z x))) #s(literal 2 binary64))
(sqrt.f64 (pow.f64 (.f64 y (.f64 z x)) #s(literal 2 binary64)))
(log.f64 (pow.f64 (pow.f64 (exp.f64 x) z) y))
(cbrt.f64 (pow.f64 (.f64 y (.f64 z x)) #s(literal 3 binary64)))
(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))) #s(literal 1 binary64)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 y (*.f64 z x)))) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (.f64 y (.f64 z x)))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 y (*.f64 z x)))) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 y (.f64 z x))) #s(literal 1 binary64)) #s(literal 1 binary64)))
(exp.f64 (+.f64 (log.f64 y) (.f64 (log.f64 (.f64 z x)) #s(literal 1 binary64))))
(exp.f64 (+.f64 (.f64 (log.f64 y) #s(literal 1 binary64)) (log.f64 (.f64 z x))))
(exp.f64 (+.f64 (.f64 (log.f64 y) #s(literal 1 binary64)) (.f64 (log.f64 (*.f64 z x)) #s(literal 1 binary64))))
(exp.f64 (+.f64 (log.f64 z) (.f64 (log.f64 (.f64 y x)) #s(literal 1 binary64))))
(exp.f64 (+.f64 (.f64 (log.f64 z) #s(literal 1 binary64)) (log.f64 (.f64 y x))))
(exp.f64 (+.f64 (.f64 (log.f64 z) #s(literal 1 binary64)) (.f64 (log.f64 (*.f64 y x)) #s(literal 1 binary64))))
(exp.f64 (+.f64 (.f64 (log.f64 x) #s(literal 1 binary64)) (log.f64 (.f64 y z))))
(exp.f64 (+.f64 (log.f64 (.f64 z x)) (.f64 (log.f64 y) #s(literal 1 binary64))))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 z x)) #s(literal 1 binary64)) (log.f64 y)))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 z x)) #s(literal 1 binary64)) (*.f64 (log.f64 y) #s(literal 1 binary64))))
(exp.f64 (+.f64 (log.f64 (.f64 y x)) (.f64 (log.f64 z) #s(literal 1 binary64))))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 y x)) #s(literal 1 binary64)) (log.f64 z)))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 y x)) #s(literal 1 binary64)) (*.f64 (log.f64 z) #s(literal 1 binary64))))
(exp.f64 (+.f64 (log.f64 (.f64 y z)) (.f64 (log.f64 x) #s(literal 1 binary64))))
(+.f64 #s(literal 0 binary64) (.f64 y (.f64 z x)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) z) y)) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) z) y))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) z) y))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) z) y))))
(-.f64 (exp.f64 (log1p.f64 (.f64 y (.f64 z x)))) #s(literal 1 binary64))
(pow.f64 (.f64 y (.f64 z x)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (.f64 y (.f64 z x))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (.f64 y (.f64 z x)) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 (.f64 y (.f64 z x)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (.f64 y (.f64 z x))) #s(literal 2 binary64))
(sqrt.f64 (pow.f64 (.f64 y (.f64 z x)) #s(literal 2 binary64)))
(log.f64 (pow.f64 (pow.f64 (exp.f64 x) z) y))
(cbrt.f64 (pow.f64 (.f64 y (.f64 z x)) #s(literal 3 binary64)))
(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))) #s(literal 1 binary64)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 y (*.f64 z x)))) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (.f64 y (.f64 z x)))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 y (*.f64 z x)))) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 y (.f64 z x))) #s(literal 1 binary64)) #s(literal 1 binary64)))
(exp.f64 (+.f64 (log.f64 y) (.f64 (log.f64 (.f64 z x)) #s(literal 1 binary64))))
(exp.f64 (+.f64 (.f64 (log.f64 y) #s(literal 1 binary64)) (log.f64 (.f64 z x))))
(exp.f64 (+.f64 (.f64 (log.f64 y) #s(literal 1 binary64)) (.f64 (log.f64 (*.f64 z x)) #s(literal 1 binary64))))
(exp.f64 (+.f64 (log.f64 z) (.f64 (log.f64 (.f64 y x)) #s(literal 1 binary64))))
(exp.f64 (+.f64 (.f64 (log.f64 z) #s(literal 1 binary64)) (log.f64 (.f64 y x))))
(exp.f64 (+.f64 (.f64 (log.f64 z) #s(literal 1 binary64)) (.f64 (log.f64 (*.f64 y x)) #s(literal 1 binary64))))
(exp.f64 (+.f64 (.f64 (log.f64 x) #s(literal 1 binary64)) (log.f64 (.f64 y z))))
(exp.f64 (+.f64 (log.f64 (.f64 z x)) (.f64 (log.f64 y) #s(literal 1 binary64))))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 z x)) #s(literal 1 binary64)) (log.f64 y)))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 z x)) #s(literal 1 binary64)) (*.f64 (log.f64 y) #s(literal 1 binary64))))
(exp.f64 (+.f64 (log.f64 (.f64 y x)) (.f64 (log.f64 z) #s(literal 1 binary64))))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 y x)) #s(literal 1 binary64)) (log.f64 z)))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 y x)) #s(literal 1 binary64)) (*.f64 (log.f64 z) #s(literal 1 binary64))))
(exp.f64 (+.f64 (log.f64 (.f64 y z)) (.f64 (log.f64 x) #s(literal 1 binary64))))

Outputs
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(+.f64 #s(literal 0 binary64) (.f64 y (.f64 z x)))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) z) y)) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) z) y))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (.f64 x z))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (.f64 x z)))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y z))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y z)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) z) y))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) z) y))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) z) y))))
(.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 y) (.f64 x z)))))
(.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 y z)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 y (.f64 z x)))) #s(literal 1 binary64))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(pow.f64 (.f64 y (.f64 z x)) #s(literal 1 binary64))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(pow.f64 (cbrt.f64 (.f64 y (.f64 z x))) #s(literal 3 binary64))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(pow.f64 (pow.f64 (.f64 y (.f64 z x)) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(pow.f64 (pow.f64 (.f64 y (.f64 z x)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(pow.f64 (sqrt.f64 (.f64 y (.f64 z x))) #s(literal 2 binary64))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(sqrt.f64 (pow.f64 (.f64 y (.f64 z x)) #s(literal 2 binary64)))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(log.f64 (pow.f64 (pow.f64 (exp.f64 x) z) y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(cbrt.f64 (pow.f64 (.f64 y (.f64 z x)) #s(literal 3 binary64)))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(expm1.f64 (log1p.f64 (.f64 y (.f64 z x))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(log1p.f64 (expm1.f64 (.f64 y (.f64 z x))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (log.f64 (.f64 y (.f64 z x))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (.f64 (log.f64 (.f64 y (*.f64 z x))) #s(literal 1 binary64)))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 y (*.f64 z x)))) #s(literal 3 binary64)))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (.f64 y (.f64 z x)))) #s(literal 1/3 binary64)))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 y (*.f64 z x)))) #s(literal 2 binary64)))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 y (.f64 z x))) #s(literal 1 binary64)) #s(literal 1 binary64)))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (log.f64 y) (.f64 (log.f64 (.f64 z x)) #s(literal 1 binary64))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (.f64 (log.f64 y) #s(literal 1 binary64)) (log.f64 (.f64 z x))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (.f64 (log.f64 y) #s(literal 1 binary64)) (.f64 (log.f64 (*.f64 z x)) #s(literal 1 binary64))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (log.f64 z) (.f64 (log.f64 (.f64 y x)) #s(literal 1 binary64))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (.f64 (log.f64 z) #s(literal 1 binary64)) (log.f64 (.f64 y x))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (.f64 (log.f64 z) #s(literal 1 binary64)) (.f64 (log.f64 (*.f64 y x)) #s(literal 1 binary64))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (.f64 (log.f64 x) #s(literal 1 binary64)) (log.f64 (.f64 y z))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (log.f64 (.f64 z x)) (.f64 (log.f64 y) #s(literal 1 binary64))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 z x)) #s(literal 1 binary64)) (log.f64 y)))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 z x)) #s(literal 1 binary64)) (*.f64 (log.f64 y) #s(literal 1 binary64))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (log.f64 (.f64 y x)) (.f64 (log.f64 z) #s(literal 1 binary64))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 y x)) #s(literal 1 binary64)) (log.f64 z)))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 y x)) #s(literal 1 binary64)) (*.f64 (log.f64 z) #s(literal 1 binary64))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (log.f64 (.f64 y z)) (.f64 (log.f64 x) #s(literal 1 binary64))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(+.f64 #s(literal 0 binary64) (.f64 y (.f64 z x)))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) z) y)) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) z) y))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (.f64 x z))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (.f64 x z)))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y z))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y z)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) z) y))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) z) y))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) z) y))))
(.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 y) (.f64 x z)))))
(.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 y z)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 y (.f64 z x)))) #s(literal 1 binary64))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(pow.f64 (.f64 y (.f64 z x)) #s(literal 1 binary64))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(pow.f64 (cbrt.f64 (.f64 y (.f64 z x))) #s(literal 3 binary64))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(pow.f64 (pow.f64 (.f64 y (.f64 z x)) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(pow.f64 (pow.f64 (.f64 y (.f64 z x)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(pow.f64 (sqrt.f64 (.f64 y (.f64 z x))) #s(literal 2 binary64))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(sqrt.f64 (pow.f64 (.f64 y (.f64 z x)) #s(literal 2 binary64)))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(log.f64 (pow.f64 (pow.f64 (exp.f64 x) z) y))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(cbrt.f64 (pow.f64 (.f64 y (.f64 z x)) #s(literal 3 binary64)))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(expm1.f64 (log1p.f64 (.f64 y (.f64 z x))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(log1p.f64 (expm1.f64 (.f64 y (.f64 z x))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (log.f64 (.f64 y (.f64 z x))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (.f64 (log.f64 (.f64 y (*.f64 z x))) #s(literal 1 binary64)))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 y (*.f64 z x)))) #s(literal 3 binary64)))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (.f64 y (.f64 z x)))) #s(literal 1/3 binary64)))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 y (*.f64 z x)))) #s(literal 2 binary64)))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 y (.f64 z x))) #s(literal 1 binary64)) #s(literal 1 binary64)))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (log.f64 y) (.f64 (log.f64 (.f64 z x)) #s(literal 1 binary64))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (.f64 (log.f64 y) #s(literal 1 binary64)) (log.f64 (.f64 z x))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (.f64 (log.f64 y) #s(literal 1 binary64)) (.f64 (log.f64 (*.f64 z x)) #s(literal 1 binary64))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (log.f64 z) (.f64 (log.f64 (.f64 y x)) #s(literal 1 binary64))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (.f64 (log.f64 z) #s(literal 1 binary64)) (log.f64 (.f64 y x))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (.f64 (log.f64 z) #s(literal 1 binary64)) (.f64 (log.f64 (*.f64 y x)) #s(literal 1 binary64))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (.f64 (log.f64 x) #s(literal 1 binary64)) (log.f64 (.f64 y z))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (log.f64 (.f64 z x)) (.f64 (log.f64 y) #s(literal 1 binary64))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 z x)) #s(literal 1 binary64)) (log.f64 y)))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 z x)) #s(literal 1 binary64)) (*.f64 (log.f64 y) #s(literal 1 binary64))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (log.f64 (.f64 y x)) (.f64 (log.f64 z) #s(literal 1 binary64))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 y x)) #s(literal 1 binary64)) (log.f64 z)))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 y x)) #s(literal 1 binary64)) (*.f64 (log.f64 z) #s(literal 1 binary64))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))
(exp.f64 (+.f64 (log.f64 (.f64 y z)) (.f64 (log.f64 x) #s(literal 1 binary64))))
(.f64 x (.f64 y z))
(.f64 z (.f64 x y))

eval8.0ms (0.2%)

Compiler: Compiled 417 to 173 computations (58.5% saved)

prune10.0ms (0.3%)

Pruning

8 alts after pruning (0 fresh and 8 done)

	Pruned	Kept	Total
New	41	0	41
Fresh	0	0	0
Picked	0	2	2
Done	0	6	6
Total	41	8	49

Accuracy

100.0%

Counts

49 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	95.0%	(+.f64 x (neg.f64 (.f64 (.f64 x y) z)))
✓	2.5%	(.f64 z (.f64 x y))
✓	2.6%	(.f64 y (.f64 z x))
✓	48.1%	(.f64 y (.f64 x (neg.f64 z)))
✓	95.1%	(.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z)))
✓	46.7%	(.f64 x (.f64 y (neg.f64 z)))
✓	48.2%	(neg.f64 (.f64 (.f64 x y) z))
✓	50.6%	x

Compiler

Compiled 115 to 64 computations (44.3% saved)

regimes84.0ms (2.4%)

Counts

8 → 2

Calls

Call 1

Inputs
x
(.f64 y (.f64 z x))
(.f64 z (.f64 x y))
(neg.f64 (.f64 (.f64 x y) z))
(.f64 x (.f64 y (neg.f64 z)))
(.f64 y (.f64 x (neg.f64 z)))
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z)))
(+.f64 x (neg.f64 (.f64 (.f64 x y) z)))

Outputs
(+.f64 x (neg.f64 (.f64 (.f64 x y) z)))
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z)))

Calls

6 calls:

59.0ms	(-.f64 #s(literal 1 binary64) (*.f64 y z))
6.0ms	z
6.0ms	x
5.0ms	(*.f64 y z)
4.0ms	(.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z)))

Results

Accuracy	Segments	Branch
98.6%	2	`x`
95.1%	1	`y`
97.5%	2	`z`
99.9%	3	`(.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z)))`
99.9%	3	`(-.f64 #s(literal 1 binary64) (*.f64 y z))`
99.9%	3	`(*.f64 y z)`

Compiler

Compiled 36 to 26 computations (27.8% saved)

regimes12.0ms (0.3%)

Counts

7 → 3

Calls

Call 1

Inputs
x
(.f64 y (.f64 z x))
(.f64 z (.f64 x y))
(neg.f64 (.f64 (.f64 x y) z))
(.f64 x (.f64 y (neg.f64 z)))
(.f64 y (.f64 x (neg.f64 z)))
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z)))

Outputs
(neg.f64 (.f64 (.f64 x y) z))
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z)))
(neg.f64 (.f64 (.f64 x y) z))

Calls

3 calls:

6.0ms	(*.f64 y z)
3.0ms	x
3.0ms	(-.f64 #s(literal 1 binary64) (*.f64 y z))

Results

Accuracy	Segments	Branch
99.9%	3	`(-.f64 #s(literal 1 binary64) (*.f64 y z))`
99.9%	3	`(*.f64 y z)`
95.1%	1	`x`

Compiler

Compiled 18 to 13 computations (27.8% saved)

regimes30.0ms (0.8%)

Counts

6 → 5

Calls

Call 1

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

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

Calls

3 calls:

13.0ms	y
10.0ms	x
6.0ms	z

Results

Accuracy	Segments	Branch
63.7%	7	`x`
81.5%	5	`y`
77.5%	3	`z`

Compiler

Compiled 12 to 9 computations (25% saved)

regimes11.0ms (0.3%)

Counts

5 → 5

Calls

Call 1

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

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

Calls

2 calls:

6.0ms	y
5.0ms	z

Results

Accuracy	Segments	Branch
77.1%	3	`z`
80.6%	5	`y`

Compiler

Compiled 8 to 6 computations (25% saved)

regimes6.0ms (0.2%)

Accuracy

Total -30.8b remaining (-97.2%)

Threshold costs -30.8b (-97.2%)

Counts

3 → 1

Calls

Call 1

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

Outputs
x

Calls

3 calls:

2.0ms	y
2.0ms	z
2.0ms	x

Results

Accuracy	Segments	Branch
50.6%	1	`x`
50.6%	1	`z`
50.6%	1	`y`

Compiler

Compiled 12 to 9 computations (25% saved)

bsearch16.0ms (0.5%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
15.0ms	1.898332402781947e-82	9.492356497270277e-80

Results

10.0ms	117×	0	valid
1.0ms	11×	0	infinite

Compiler

Compiled 200 to 140 computations (30% saved)

Precisions

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

ival-mult: 2.0ms (72.6% of total)

ival-sub: 1.0ms (36.3% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

bsearch0.0ms (0%)

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.2055694713409412e+303	+inf
0.0ms	-1.0095896104980747e+122	-1.0670454532955976e+121

Compiler

Compiled 16 to 12 computations (25% saved)

bsearch73.0ms (2.1%)

Algorithm

4×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
19.0ms	5.536109361671394e-186	5.163376699468414e-163
17.0ms	-3.6076400820089655e+48	-7.783878060535105e+39
17.0ms	-9.073783979314939e+120	-6.9676657118741315e+115
15.0ms	-5.1336189648568997e+129	-9.140014876518605e+126

Results

38.0ms	491×	0	valid
8.0ms	101×	0	infinite

Compiler

Compiled 571 to 419 computations (26.6% saved)

Precisions

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

ival-mult: 9.0ms (65.4% of total)

ival-sub: 3.0ms (21.8% of total)

const: 1.0ms (7.3% of total)

backward-pass: 0.0ms (0% of total)

bsearch177.0ms (5%)

Algorithm

4×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
52.0ms	1.8719824346215565e-65	1.6292948097590068e-63
39.0ms	-3.6076400820089655e+48	-7.783878060535105e+39
69.0ms	-9.073783979314939e+120	-6.9676657118741315e+115
14.0ms	-5.1336189648568997e+129	-9.140014876518605e+126

Results

149.0ms	432×	0	valid
7.0ms	96×	0	infinite

Compiler

Compiled 511 to 375 computations (26.6% saved)

Precisions

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

ival-mult: 31.0ms (87.7% of total)

ival-sub: 3.0ms (8.5% of total)

const: 1.0ms (2.8% of total)

backward-pass: 0.0ms (0% of total)

simplify30.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

16×	`*-commutative`
16×	`not-or`
14×	`if-if-or-not`
12×	`if-not`
12×	`not-not`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	55	408
1	94	408
2	133	376
3	164	368
4	179	368
5	189	368
6	191	368
7	193	368

Stop Event

1×

saturated

Calls

Call 1

Inputs
(if (<=.f64 x #s(literal 3898176340555661/1067993517960455041197510853084776057301352261178326384973520803911109862890320275011481043468288 binary64)) (+.f64 x (neg.f64 (.f64 (.f64 x y) z))) (.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z))))
(if (<=.f64 (.f64 y z) #s(literal -100000000000000001440594758724527385583111862242831263013712314935498927069126131626863257625726456080505437183296233537536 binary64)) (neg.f64 (.f64 (.f64 x y) z)) (if (<=.f64 (.f64 y z) #s(literal 2000000000000000000323530153572912876425337292463318876590990034202234998451477495730520486068427830507559547136360674832054891641135558399286783083212052137222301492244569952354513300088401054553614654135380924225322855000394102452979796521357526782898752177094584641628255914972661310937838244526555136 binary64)) (.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z))) (neg.f64 (.f64 (.f64 x y) z))))
(if (<=.f64 y #s(literal -9200000000000000210623758679886474300971521169585932357502977725267536991377028913117369786627564704574491917156812861265149952 binary64)) (.f64 y (.f64 x (neg.f64 z))) (if (<=.f64 y #s(literal -8999999999999999533343888127788871683666634823312209064127211160441811264448253605817745403309330949040665537863982514176 binary64)) x (if (<=.f64 y #s(literal -109999999999999994879165575394636112855040 binary64)) (.f64 y (.f64 x (neg.f64 z))) (if (<=.f64 y #s(literal 8266613047380103/16209045190941378744189093217543598246142368094697019140608036444104112544581672446873855659949624196438272994575393707743731058888327247296433104820757670652582741419537146576896 binary64)) x (.f64 y (.f64 x (neg.f64 z)))))))
(if (<=.f64 y #s(literal -499999999999999999108721782092620707994464434379706250218271669864970200952952324748557883071134280004888587983375832688116105216 binary64)) (neg.f64 (.f64 (.f64 x y) z)) (if (<=.f64 y #s(literal -8999999999999999533343888127788871683666634823312209064127211160441811264448253605817745403309330949040665537863982514176 binary64)) x (if (<=.f64 y #s(literal -35000000000000001106772429000639484407054336 binary64)) (neg.f64 (.f64 (.f64 x y) z)) (if (<=.f64 y #s(literal 5928554968950589/7410693711188236507108543040556026102609279018600996098525285376506440296955904 binary64)) x (neg.f64 (.f64 (.f64 x y) z))))))
x

Outputs
(if (<=.f64 x #s(literal 3898176340555661/1067993517960455041197510853084776057301352261178326384973520803911109862890320275011481043468288 binary64)) (+.f64 x (neg.f64 (.f64 (.f64 x y) z))) (.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z))))
(if (<=.f64 x #s(literal 3898176340555661/1067993517960455041197510853084776057301352261178326384973520803911109862890320275011481043468288 binary64)) (-.f64 x (.f64 (.f64 x y) z)) (.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z))))
(if (<=.f64 (.f64 y z) #s(literal -100000000000000001440594758724527385583111862242831263013712314935498927069126131626863257625726456080505437183296233537536 binary64)) (neg.f64 (.f64 (.f64 x y) z)) (if (<=.f64 (.f64 y z) #s(literal 2000000000000000000323530153572912876425337292463318876590990034202234998451477495730520486068427830507559547136360674832054891641135558399286783083212052137222301492244569952354513300088401054553614654135380924225322855000394102452979796521357526782898752177094584641628255914972661310937838244526555136 binary64)) (.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z))) (neg.f64 (.f64 (.f64 x y) z))))
(if (or (<=.f64 (.f64 y z) #s(literal -100000000000000001440594758724527385583111862242831263013712314935498927069126131626863257625726456080505437183296233537536 binary64)) (not (<=.f64 (.f64 y z) #s(literal 2000000000000000000323530153572912876425337292463318876590990034202234998451477495730520486068427830507559547136360674832054891641135558399286783083212052137222301492244569952354513300088401054553614654135380924225322855000394102452979796521357526782898752177094584641628255914972661310937838244526555136 binary64)))) (.f64 (neg.f64 (.f64 x y)) z) (.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z))))
(if (or (<=.f64 (.f64 y z) #s(literal -100000000000000001440594758724527385583111862242831263013712314935498927069126131626863257625726456080505437183296233537536 binary64)) (not (<=.f64 (.f64 y z) #s(literal 2000000000000000000323530153572912876425337292463318876590990034202234998451477495730520486068427830507559547136360674832054891641135558399286783083212052137222301492244569952354513300088401054553614654135380924225322855000394102452979796521357526782898752177094584641628255914972661310937838244526555136 binary64)))) (.f64 z (.f64 y (neg.f64 x))) (.f64 x (-.f64 #s(literal 1 binary64) (.f64 y z))))
(if (<=.f64 y #s(literal -9200000000000000210623758679886474300971521169585932357502977725267536991377028913117369786627564704574491917156812861265149952 binary64)) (.f64 y (.f64 x (neg.f64 z))) (if (<=.f64 y #s(literal -8999999999999999533343888127788871683666634823312209064127211160441811264448253605817745403309330949040665537863982514176 binary64)) x (if (<=.f64 y #s(literal -109999999999999994879165575394636112855040 binary64)) (.f64 y (.f64 x (neg.f64 z))) (if (<=.f64 y #s(literal 8266613047380103/16209045190941378744189093217543598246142368094697019140608036444104112544581672446873855659949624196438272994575393707743731058888327247296433104820757670652582741419537146576896 binary64)) x (.f64 y (.f64 x (neg.f64 z)))))))
(if (<=.f64 y #s(literal -9200000000000000210623758679886474300971521169585932357502977725267536991377028913117369786627564704574491917156812861265149952 binary64)) (.f64 y (.f64 x (neg.f64 z))) (if (<=.f64 y #s(literal -8999999999999999533343888127788871683666634823312209064127211160441811264448253605817745403309330949040665537863982514176 binary64)) x (if (or (<=.f64 y #s(literal -109999999999999994879165575394636112855040 binary64)) (not (<=.f64 y #s(literal 8266613047380103/16209045190941378744189093217543598246142368094697019140608036444104112544581672446873855659949624196438272994575393707743731058888327247296433104820757670652582741419537146576896 binary64)))) (.f64 y (.f64 x (neg.f64 z))) x)))
(if (or (<=.f64 y #s(literal -9200000000000000210623758679886474300971521169585932357502977725267536991377028913117369786627564704574491917156812861265149952 binary64)) (not (or (<=.f64 y #s(literal -8999999999999999533343888127788871683666634823312209064127211160441811264448253605817745403309330949040665537863982514176 binary64)) (not (or (<=.f64 y #s(literal -109999999999999994879165575394636112855040 binary64)) (not (<=.f64 y #s(literal 8266613047380103/16209045190941378744189093217543598246142368094697019140608036444104112544581672446873855659949624196438272994575393707743731058888327247296433104820757670652582741419537146576896 binary64)))))))) (.f64 y (.f64 x (neg.f64 z))) x)
(if (or (<=.f64 y #s(literal -9200000000000000210623758679886474300971521169585932357502977725267536991377028913117369786627564704574491917156812861265149952 binary64)) (not (or (<=.f64 y #s(literal -8999999999999999533343888127788871683666634823312209064127211160441811264448253605817745403309330949040665537863982514176 binary64)) (and (not (<=.f64 y #s(literal -109999999999999994879165575394636112855040 binary64))) (<=.f64 y #s(literal 8266613047380103/16209045190941378744189093217543598246142368094697019140608036444104112544581672446873855659949624196438272994575393707743731058888327247296433104820757670652582741419537146576896 binary64)))))) (.f64 y (.f64 x (neg.f64 z))) x)
(if (<=.f64 y #s(literal -499999999999999999108721782092620707994464434379706250218271669864970200952952324748557883071134280004888587983375832688116105216 binary64)) (neg.f64 (.f64 (.f64 x y) z)) (if (<=.f64 y #s(literal -8999999999999999533343888127788871683666634823312209064127211160441811264448253605817745403309330949040665537863982514176 binary64)) x (if (<=.f64 y #s(literal -35000000000000001106772429000639484407054336 binary64)) (neg.f64 (.f64 (.f64 x y) z)) (if (<=.f64 y #s(literal 5928554968950589/7410693711188236507108543040556026102609279018600996098525285376506440296955904 binary64)) x (neg.f64 (.f64 (.f64 x y) z))))))
(if (<=.f64 y #s(literal -499999999999999999108721782092620707994464434379706250218271669864970200952952324748557883071134280004888587983375832688116105216 binary64)) (.f64 (neg.f64 (.f64 x y)) z) (if (<=.f64 y #s(literal -8999999999999999533343888127788871683666634823312209064127211160441811264448253605817745403309330949040665537863982514176 binary64)) x (if (or (<=.f64 y #s(literal -35000000000000001106772429000639484407054336 binary64)) (not (<=.f64 y #s(literal 5928554968950589/7410693711188236507108543040556026102609279018600996098525285376506440296955904 binary64)))) (.f64 (neg.f64 (.f64 x y)) z) x)))
(if (<=.f64 y #s(literal -499999999999999999108721782092620707994464434379706250218271669864970200952952324748557883071134280004888587983375832688116105216 binary64)) (.f64 z (.f64 y (neg.f64 x))) (if (<=.f64 y #s(literal -8999999999999999533343888127788871683666634823312209064127211160441811264448253605817745403309330949040665537863982514176 binary64)) x (if (or (<=.f64 y #s(literal -35000000000000001106772429000639484407054336 binary64)) (not (<=.f64 y #s(literal 5928554968950589/7410693711188236507108543040556026102609279018600996098525285376506440296955904 binary64)))) (.f64 z (.f64 y (neg.f64 x))) x)))
(if (or (<=.f64 y #s(literal -499999999999999999108721782092620707994464434379706250218271669864970200952952324748557883071134280004888587983375832688116105216 binary64)) (not (or (<=.f64 y #s(literal -8999999999999999533343888127788871683666634823312209064127211160441811264448253605817745403309330949040665537863982514176 binary64)) (not (or (<=.f64 y #s(literal -35000000000000001106772429000639484407054336 binary64)) (not (<=.f64 y #s(literal 5928554968950589/7410693711188236507108543040556026102609279018600996098525285376506440296955904 binary64)))))))) (.f64 z (.f64 y (neg.f64 x))) x)
(if (or (<=.f64 y #s(literal -499999999999999999108721782092620707994464434379706250218271669864970200952952324748557883071134280004888587983375832688116105216 binary64)) (not (or (<=.f64 y #s(literal -8999999999999999533343888127788871683666634823312209064127211160441811264448253605817745403309330949040665537863982514176 binary64)) (and (not (<=.f64 y #s(literal -35000000000000001106772429000639484407054336 binary64))) (<=.f64 y #s(literal 5928554968950589/7410693711188236507108543040556026102609279018600996098525285376506440296955904 binary64)))))) (.f64 z (.f64 y (neg.f64 x))) x)
x

soundness244.0ms (6.9%)

Rules

538×	`exp-prod`
375×	`associate-r`
337×	`fma-define`
323×	`associate-l`
273×	`fma-neg`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	117	2185
1	269	1856
2	692	1856
3	3028	1856
4	6489	1856

Stop Event

1×	done
1×	node limit

Compiler

Compiled 188 to 99 computations (47.3% saved)

preprocess81.0ms (2.3%)

Remove: (negabs x)
Compiler: Compiled 564 to 332 computations (41.1% saved)

analyze0.0ms (0%)

sample1.2s (32.9%)

preprocess86.0ms (2.4%)

explain82.0ms (2.3%)

eval0.0ms (0%)

prune1.0ms (0%)

localize39.0ms (1.1%)

series11.0ms (0.3%)

rewrite205.0ms (5.8%)

simplify145.0ms (4.1%)

eval12.0ms (0.3%)

prune10.0ms (0.3%)

localize119.0ms (3.4%)

series10.0ms (0.3%)

rewrite85.0ms (2.4%)

simplify131.0ms (3.7%)

eval61.0ms (1.7%)

prune11.0ms (0.3%)

localize97.0ms (2.7%)

series2.0ms (0.1%)

rewrite68.0ms (1.9%)

simplify90.0ms (2.5%)

eval6.0ms (0.2%)

prune9.0ms (0.2%)

localize48.0ms (1.4%)

series3.0ms (0.1%)

rewrite81.0ms (2.3%)

simplify179.0ms (5.1%)

eval8.0ms (0.2%)

prune10.0ms (0.3%)

regimes84.0ms (2.4%)

regimes12.0ms (0.3%)

regimes30.0ms (0.8%)

regimes11.0ms (0.3%)

regimes6.0ms (0.2%)

bsearch16.0ms (0.5%)

bsearch0.0ms (0%)

bsearch73.0ms (2.1%)

bsearch177.0ms (5%)

simplify30.0ms (0.8%)

soundness244.0ms (6.9%)

preprocess81.0ms (2.3%)

end0.0ms (0%)

Profiling