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

analyze0.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 11 to 8 computations (27.3% saved)

Precisions

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

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

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

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

sample1.1s (31.7%)

Results

772.0ms	6839×	256	valid
301.0ms	1416×	256	infinite
0.0ms	1×	256	valid

Precisions

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

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

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

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

Bogosity

preprocess182.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

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

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`

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	1749	296
6	1829	296
7	1832	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)

Compiler

Compiled 56 to 29 computations (48.2% saved)

Precisions

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

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

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

Operation const, time spent: 2.0ms, 10.0% of total-time

eval1.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)

localize37.0ms (1%)

Localize:

Found 1 expressions with local error:

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

Compiler

Compiled 23 to 11 computations (52.2% saved)

Precisions

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

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

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

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

series7.0ms (0.2%)

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
2.0ms	y	@	-inf	(* 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	y	@	0	(* x (- 1 (* y z)))

rewrite295.0ms (8.3%)

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))

simplify103.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

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

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)))

eval13.0ms (0.4%)

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

prune22.0ms (0.6%)

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)

localize177.0ms (5%)

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)

Compiler

Compiled 62 to 11 computations (82.3% saved)

Precisions

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

Operation ival-add, time spent: 8.0ms, 43.0% of total-time

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

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

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

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	z	@	0	(* (* x y) z)

rewrite83.0ms (2.3%)

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)))

simplify147.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

656×	`fma-define`
583×	`fmm-def`
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))

eval10.0ms (0.3%)

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

prune60.0ms (1.7%)

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)

localize32.0ms (0.9%)

Localize:

Found 1 expressions with local error:

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

Compiler

Compiled 19 to 7 computations (63.2% saved)

Precisions

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

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

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

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

series2.0ms (0%)

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	x	@	0	(* x (* y (neg z)))
0.0ms	y	@	inf	(* x (* y (neg z)))
0.0ms	z	@	inf	(* x (* y (neg z)))
0.0ms	y	@	-inf	(* x (* y (neg z)))
0.0ms	x	@	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)))

simplify102.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

747×	`fma-define`
445×	`fmm-def`
333×	`distribute-lft-neg-in`
321×	`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)

localize37.0ms (1.1%)

Localize:

Found 2 expressions with local error:

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

Compiler

Compiled 26 to 8 computations (69.2% saved)

Precisions

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

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

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

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
1.0ms	y	@	0	(* y (* z x))
0.0ms	y	@	inf	(* y (* z x))
0.0ms	y	@	-inf	(* y (* z x))
0.0ms	z	@	0	(* z (* x y))
0.0ms	z	@	-inf	(* y (* z x))

rewrite83.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))))

simplify124.0ms (3.5%)

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))

eval10.0ms (0.3%)

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

prune68.0ms (1.9%)

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)

regimes111.0ms (3.1%)

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:

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

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)

regimes34.0ms (1%)

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:

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

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)

regimes100.0ms (2.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:

55.0ms	z
39.0ms	x
6.0ms	y

Results

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

Compiler

Compiled 12 to 9 computations (25% saved)

regimes13.0ms (0.4%)

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:

7.0ms	z
5.0ms	y

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:

3.0ms	x
2.0ms	y
2.0ms	z

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
16.0ms	1.898332402781947e-82	9.492356497270277e-80

Results

12.0ms	116×	256	valid
2.0ms	11×	256	infinite
0.0ms	1×	256	valid

Compiler

Compiled 200 to 140 computations (30% saved)

Precisions

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

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

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

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

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)

bsearch76.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
23.0ms	5.536109361671394e-186	5.163376699468414e-163
18.0ms	-3.6076400820089655e+48	-7.783878060535105e+39
19.0ms	-9.073783979314939e+120	-6.9676657118741315e+115
17.0ms	-5.1336189648568997e+129	-9.140014876518605e+126

Results

53.0ms	490×	256	valid
12.0ms	101×	256	infinite
0.0ms	1×	256	valid

Compiler

Compiled 571 to 419 computations (26.6% saved)

Precisions

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

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

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

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

bsearch67.0ms (1.9%)

Algorithm

4×	binary-search

Stop Event

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

Steps

Time	Left	Right
15.0ms	1.8719824346215565e-65	1.6292948097590068e-63
18.0ms	-3.6076400820089655e+48	-7.783878060535105e+39
19.0ms	-9.073783979314939e+120	-6.9676657118741315e+115
16.0ms	-5.1336189648568997e+129	-9.140014876518605e+126

Results

46.0ms	431×	256	valid
11.0ms	96×	256	infinite
0.0ms	1×	256	valid

Compiler

Compiled 511 to 375 computations (26.6% saved)

Precisions

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

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

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

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

simplify16.0ms (0.5%)

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×	done
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

Compiler

Compiled 110 to 73 computations (33.6% saved)

soundness217.0ms (6.1%)

Rules

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

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

Compiler

Compiled 90 to 42 computations (53.3% saved)

end0.0ms (0%)

preprocess78.0ms (2.2%)

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

analyze0.0ms (0%)

sample1.1s (31.7%)

preprocess182.0ms (5.1%)

eval1.0ms (0%)

prune1.0ms (0%)

localize37.0ms (1%)

series7.0ms (0.2%)

rewrite295.0ms (8.3%)

simplify103.0ms (2.9%)

eval13.0ms (0.4%)

prune22.0ms (0.6%)

localize177.0ms (5%)

series10.0ms (0.3%)

rewrite83.0ms (2.3%)

simplify147.0ms (4.1%)

eval10.0ms (0.3%)

prune60.0ms (1.7%)

localize32.0ms (0.9%)

series2.0ms (0%)

rewrite68.0ms (1.9%)

simplify102.0ms (2.9%)

eval6.0ms (0.2%)

prune9.0ms (0.2%)

localize37.0ms (1.1%)

series3.0ms (0.1%)

rewrite83.0ms (2.3%)

simplify124.0ms (3.5%)

eval10.0ms (0.3%)

prune68.0ms (1.9%)

regimes111.0ms (3.1%)

regimes34.0ms (1%)

regimes100.0ms (2.8%)

regimes13.0ms (0.4%)

regimes6.0ms (0.2%)

bsearch16.0ms (0.5%)

bsearch0.0ms (0%)

bsearch76.0ms (2.1%)

bsearch67.0ms (1.9%)

simplify16.0ms (0.5%)

soundness217.0ms (6.1%)

end0.0ms (0%)

preprocess78.0ms (2.2%)

Profiling