Metrics for Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1, B

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze128.0ms (3.4%)

Memory

16.7MiB live, 379.4MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
25%	25%	74.9%	0.2%	0%	0%	0%	5
25%	25%	74.9%	0.2%	0%	0%	0%	6
25%	25%	74.9%	0.2%	0%	0%	0%	7
37.5%	37.4%	62.4%	0.2%	0%	0%	0%	8
56.3%	56.1%	43.7%	0.2%	0%	0%	0%	9
56.3%	56.1%	43.7%	0.2%	0%	0%	0%	10
56.3%	56.1%	43.7%	0.2%	0%	0%	0%	11
65.6%	65.5%	34.3%	0.2%	0%	0%	0%	12

Compiler

Compiled 11 to 10 computations (9.1% saved)

sample723.0ms (19.2%)

Memory

31.9MiB live, 1 445.6MiB allocated

Samples

457.0ms

8 256×

valid

Precisions

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

ival-div: 129.0ms (52.5% of total)

ival-mult: 107.0ms (43.6% of total)

ival-true: 6.0ms (2.4% of total)

ival-assert: 3.0ms (1.2% of total)

Bogosity

explain79.0ms (2.1%)

Memory

-4.9MiB live, 156.6MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
44	0	-	1	(3.6330046583486725e+132 -6.681195086456247e-292 -3.795248393142259e-256 1.114839692740708e-284)	`(/.f64 (*.f64 (/.f64 y z) t) t)`
25	0	-	3	(75603.15197934523 -2.666332960052343e-21 1.7903852513116953e+297 2.151192746616904e+253)	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`
22	1	(-3.5098058006733573e+202 2.0333102142340475e-280 1.1830716520362145e+140 8.193379673107955e+96)	2	(75603.15197934523 -2.666332960052343e-21 1.7903852513116953e+297 2.151192746616904e+253)	`(*.f64 (/.f64 y z) t)`
0	0	-	0	-	`y`
0	0	-	0	-	`t`
0	0	-	0	-	`z`
0	0	-	0	-	`x`
0	0	-	0	-	`(/.f64 y z)`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (*.f64 (/.f64 y z) t) t)`	u/n	27	0
↳	`(*.f64 (/.f64 y z) t)`	underflow	50
↳	`(/.f64 y z)`	underflow	30
`/.f64`	`(/.f64 (*.f64 (/.f64 y z) t) t)`	o/n	16	0
↳	`(*.f64 (/.f64 y z) t)`	overflow	35
↳	`(/.f64 y z)`	overflow	33
`*.f64`	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`	*nu**	15	0
`*.f64`	`(*.f64 (/.f64 y z) t)`	*no**	14	0
`*.f64`	`(*.f64 (/.f64 y z) t)`	*nu**	7	0
`*.f64`	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`	*no**	7	0

Confusion

	Predicted +	Predicted -
+	50	2
-	29	175

Precision

0.6329113924050633

Recall

0.9615384615384616

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	50	0	2
-	29	0	175

Precision?

0.6329113924050633

Recall?

0.9615384615384616

Freqs

test

number	freq
0	177
1	72
2	7

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Samples

32.0ms

512×

valid

Compiler

Compiled 69 to 28 computations (59.4% saved)

Precisions

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

ival-div: 10.0ms (59.7% of total)

ival-mult: 6.0ms (35.8% of total)

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

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

preprocess222.0ms (5.9%)

Memory

-27.7MiB live, 217.7MiB allocated

Algorithm

1×	egg-herbie

Rules

5 272×	`lower-/.f32`
5 268×	`lower-/.f64`
4 940×	`lower-*.f32`
4 936×	`lower-*.f64`
2 382×	`associate-/l/`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	50	140
1	158	78
2	471	74
3	1705	74
4	4240	74
5	7046	74
6	7540	74
7	7654	74
8	7741	74
9	7783	74
0	8	9
0	12	9
1	20	7
2	43	5
3	88	5
4	321	5
5	1010	5
6	2524	5
7	2839	5
8	3022	5
9	3096	5
10	3147	5
11	3201	5
12	5890	5
13	6026	5
14	6456	5
15	6940	5
16	7607	5
0	8101	5

Stop Event

1×	iter limit
1×	node limit
1×	iter limit
1×	node limit

Calls

Call 1

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

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

Symmetry

(abs t)

(negabs z)

(negabs y)

(negabs x)

(sort x y)

Compiler

Compiled 9 to 8 computations (11.1% saved)

eval0.0ms (0%)

Memory: 0.4MiB live, 0.4MiB allocated
Compiler: Compiled 0 to 4 computations (-∞% saved)

prune0.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	84.2%	(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))

Compiler

Compiled 9 to 8 computations (11.1% saved)

simplify133.0ms (3.5%)

Memory

19.5MiB live, 139.2MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score
cost-diff	0	(/.f64 y z)
cost-diff	0	(*.f64 (/.f64 y z) t)
cost-diff	0	(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))
cost-diff	1024	(/.f64 (*.f64 (/.f64 y z) t) t)

Rules

5 272×	`lower-/.f32`
5 268×	`lower-/.f64`
4 940×	`lower-*.f32`
4 936×	`lower-*.f64`
2 382×	`associate-/l/`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	28
0	12	32
1	20	26
2	43	20
3	88	20
4	321	20
5	1010	20
6	2524	20
7	2839	20
8	3022	20
9	3096	20
10	3147	20
11	3201	20
12	5890	20
13	6026	20
14	6456	20
15	6940	20
16	7607	20
0	8101	20

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Calls

Call 1

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

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

localize20.0ms (0.5%)

Memory

-2.3MiB live, 36.7MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(/.f64 y z)
accuracy	3.6786659044323504	(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))
accuracy	5.179604089749464	(*.f64 (/.f64 y z) t)
accuracy	10.681368015473156	(/.f64 (*.f64 (/.f64 y z) t) t)

Samples

15.0ms

256×

valid

Compiler

Compiled 30 to 10 computations (66.7% saved)

Precisions

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

ival-div: 3.0ms (46.7% of total)

ival-mult: 3.0ms (46.7% of total)

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

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

series15.0ms (0.4%)

Memory

-9.5MiB live, 29.4MiB allocated

Counts

4 → 144

Calls

Call 1

Inputs
#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())
#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())
#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())
#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())

Outputs
#s(alt (/ y z) (taylor 0 t) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 t) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 t) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 t) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 t) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 t) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 t) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 t) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor 0 t) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor 0 t) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor 0 t) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor 0 t) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf t) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf t) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf t) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf t) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf t) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf t) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf t) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf t) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor inf t) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor inf t) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor inf t) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor inf t) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf t) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf t) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf t) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf t) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf t) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf t) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf t) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf t) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor -inf t) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor -inf t) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor -inf t) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor -inf t) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 z) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 z) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 z) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 z) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor 0 z) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor 0 z) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor 0 z) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor 0 z) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 z) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 z) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 z) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 z) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf z) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf z) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf z) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf z) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor inf z) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor inf z) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor inf z) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor inf z) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf z) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf z) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf z) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf z) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf z) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf z) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf z) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf z) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor -inf z) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor -inf z) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor -inf z) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor -inf z) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf z) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf z) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf z) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf z) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 y) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 y) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 y) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 y) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor 0 y) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor 0 y) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor 0 y) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor 0 y) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 y) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 y) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 y) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 y) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf y) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf y) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf y) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf y) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor inf y) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor inf y) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor inf y) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor inf y) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf y) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf y) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf y) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf y) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf y) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf y) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf y) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf y) (#s(alt (/.f64 (.f64 (/.f64 y z) t) t) (patch (/.f64 (.f64 (/.f64 y z) t) t) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor -inf y) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor -inf y) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor -inf y) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ (* t y) z) (taylor -inf y) (#s(alt (.f64 (/.f64 y z) t) (patch (.f64 (/.f64 y z) t) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf y) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf y) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf y) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf y) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (patch (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #<representation binary64>) () ())) ())

Calls

12 calls:

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

simplify6.0ms (0.2%)

Memory

12.1MiB live, 12.1MiB allocated

Algorithm

1×	egg-herbie

Rules

24×	`lower-*.f64`
24×	`lower-*.f32`
12×	`*-commutative`
10×	`lower-/.f32`
10×	`lower-/.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	600
1	13	600
2	19	600
3	21	600
0	21	600

Stop Event

1×	iter limit
1×	saturated

Counts

144 → 144

Calls

Call 1

Inputs
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ (* t y) z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)

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

rewrite110.0ms (2.9%)

Memory

-4.7MiB live, 149.3MiB allocated

Rules

2 246×	`lower-*.f32`
2 242×	`lower-*.f64`
2 096×	`lower-/.f32`
2 092×	`lower-/.f64`
654×	`frac-2neg`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	24
0	12	28
1	35	16
2	191	16
3	1459	16
0	5896	16

Stop Event

1×	iter limit
1×	iter limit
1×	node limit
1×	iter limit

Counts

4 → 400

Calls

Call 1

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

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval66.0ms (1.8%)

Memory: -7.7MiB live, 150.4MiB allocated
Compiler: Compiled 6 395 to 1 123 computations (82.4% saved)

prune20.0ms (0.5%)

Memory

19.3MiB live, 58.4MiB allocated

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	537	7	544
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	538	7	545

Accuracy

100.0%

Counts

545 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
	76.9%	(/.f64 (.f64 x (.f64 t (/.f64 y z))) t)
▶	91.9%	(/.f64 (*.f64 x y) z)
▶	94.6%	(/.f64 x (/.f64 z y))
▶	94.3%	(*.f64 (/.f64 y z) x)
▶	90.9%	(*.f64 (/.f64 x z) y)
▶	91.9%	(.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x))
	61.6%	(.f64 x (/.f64 (neg.f64 (.f64 y y)) (*.f64 (neg.f64 z) y)))

Compiler

Compiled 96 to 102 computations (-6.3% saved)

simplify56.0ms (1.5%)

Memory

-23.8MiB live, 38.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 12 expressions of interest:

New	Metric	Score
cost-diff	0	(neg.f64 y)
cost-diff	0	(*.f64 (neg.f64 y) x)
cost-diff	0	(/.f64 #s(literal -1 binary64) z)
cost-diff	64	(.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x))
cost-diff	-384	(/.f64 (*.f64 x y) z)
cost-diff	0	(*.f64 x y)
cost-diff	-384	(*.f64 (/.f64 y z) x)
cost-diff	0	(/.f64 y z)
cost-diff	-384	(*.f64 (/.f64 x z) y)
cost-diff	0	(/.f64 x z)
cost-diff	0	(/.f64 z y)
cost-diff	0	(/.f64 x (/.f64 z y))

Rules

518×	`associate-r`
372×	`times-frac`
272×	`lower-fma.f64`
272×	`lower-fma.f32`
272×	`lower-*.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	65
0	28	62
1	43	62
2	77	62
3	190	62
4	358	62
5	510	62
6	695	62
7	1452	62
8	1877	62
9	1955	62
10	1969	62
11	1981	62
0	1981	62

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize106.0ms (2.8%)

Memory

-14.4MiB live, 63.6MiB allocated

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	0	(/.f64 #s(literal -1 binary64) z)
accuracy	0	(*.f64 (neg.f64 y) x)
accuracy	0	(neg.f64 y)
accuracy	5.211802115223552	(.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x))
accuracy	0	(*.f64 x y)
accuracy	5.160357095686669	(/.f64 (*.f64 x y) z)
accuracy	0	(/.f64 y z)
accuracy	3.6786659044323504	(*.f64 (/.f64 y z) x)
accuracy	0	(/.f64 x z)
accuracy	5.800077497904394	(*.f64 (/.f64 x z) y)
accuracy	0	(/.f64 z y)
accuracy	3.4746861958029234	(/.f64 x (/.f64 z y))

Samples

94.0ms

256×

valid

Compiler

Compiled 67 to 19 computations (71.6% saved)

Precisions

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

ival-div: 71.0ms (88.8% of total)

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

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

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

exact: 0.0ms (0% of total)

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

series17.0ms (0.4%)

Memory

24.9MiB live, 24.9MiB allocated

Counts

12 → 324

Calls

Call 1

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

Outputs
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ z y) (taylor 0 z) (#s(alt (/.f64 z y) (patch (/.f64 z y) #<representation binary64>) () ())) ())
#s(alt (/ z y) (taylor 0 z) (#s(alt (/.f64 z y) (patch (/.f64 z y) #<representation binary64>) () ())) ())
#s(alt (/ z y) (taylor 0 z) (#s(alt (/.f64 z y) (patch (/.f64 z y) #<representation binary64>) () ())) ())
#s(alt (/ z y) (taylor 0 z) (#s(alt (/.f64 z y) (patch (/.f64 z y) #<representation binary64>) () ())) ())
#s(alt (/ x z) (taylor 0 z) (#s(alt (/.f64 x z) (patch (/.f64 x z) #<representation binary64>) () ())) ())
#s(alt (/ x z) (taylor 0 z) (#s(alt (/.f64 x z) (patch (/.f64 x z) #<representation binary64>) () ())) ())
#s(alt (/ x z) (taylor 0 z) (#s(alt (/.f64 x z) (patch (/.f64 x z) #<representation binary64>) () ())) ())
#s(alt (/ x z) (taylor 0 z) (#s(alt (/.f64 x z) (patch (/.f64 x z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 z) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 z) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 z) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 z) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ -1 z) (taylor 0 z) (#s(alt (/.f64 #s(literal -1 binary64) z) (patch (/.f64 #s(literal -1 binary64) z) #<representation binary64>) () ())) ())
#s(alt (/ -1 z) (taylor 0 z) (#s(alt (/.f64 #s(literal -1 binary64) z) (patch (/.f64 #s(literal -1 binary64) z) #<representation binary64>) () ())) ())
#s(alt (/ -1 z) (taylor 0 z) (#s(alt (/.f64 #s(literal -1 binary64) z) (patch (/.f64 #s(literal -1 binary64) z) #<representation binary64>) () ())) ())
#s(alt (/ -1 z) (taylor 0 z) (#s(alt (/.f64 #s(literal -1 binary64) z) (patch (/.f64 #s(literal -1 binary64) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ z y) (taylor inf z) (#s(alt (/.f64 z y) (patch (/.f64 z y) #<representation binary64>) () ())) ())
#s(alt (/ z y) (taylor inf z) (#s(alt (/.f64 z y) (patch (/.f64 z y) #<representation binary64>) () ())) ())
#s(alt (/ z y) (taylor inf z) (#s(alt (/.f64 z y) (patch (/.f64 z y) #<representation binary64>) () ())) ())
#s(alt (/ z y) (taylor inf z) (#s(alt (/.f64 z y) (patch (/.f64 z y) #<representation binary64>) () ())) ())
#s(alt (/ x z) (taylor inf z) (#s(alt (/.f64 x z) (patch (/.f64 x z) #<representation binary64>) () ())) ())
#s(alt (/ x z) (taylor inf z) (#s(alt (/.f64 x z) (patch (/.f64 x z) #<representation binary64>) () ())) ())
#s(alt (/ x z) (taylor inf z) (#s(alt (/.f64 x z) (patch (/.f64 x z) #<representation binary64>) () ())) ())
#s(alt (/ x z) (taylor inf z) (#s(alt (/.f64 x z) (patch (/.f64 x z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf z) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf z) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf z) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf z) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ -1 z) (taylor inf z) (#s(alt (/.f64 #s(literal -1 binary64) z) (patch (/.f64 #s(literal -1 binary64) z) #<representation binary64>) () ())) ())
#s(alt (/ -1 z) (taylor inf z) (#s(alt (/.f64 #s(literal -1 binary64) z) (patch (/.f64 #s(literal -1 binary64) z) #<representation binary64>) () ())) ())
#s(alt (/ -1 z) (taylor inf z) (#s(alt (/.f64 #s(literal -1 binary64) z) (patch (/.f64 #s(literal -1 binary64) z) #<representation binary64>) () ())) ())
#s(alt (/ -1 z) (taylor inf z) (#s(alt (/.f64 #s(literal -1 binary64) z) (patch (/.f64 #s(literal -1 binary64) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ z y) (taylor -inf z) (#s(alt (/.f64 z y) (patch (/.f64 z y) #<representation binary64>) () ())) ())
#s(alt (/ z y) (taylor -inf z) (#s(alt (/.f64 z y) (patch (/.f64 z y) #<representation binary64>) () ())) ())
#s(alt (/ z y) (taylor -inf z) (#s(alt (/.f64 z y) (patch (/.f64 z y) #<representation binary64>) () ())) ())
#s(alt (/ z y) (taylor -inf z) (#s(alt (/.f64 z y) (patch (/.f64 z y) #<representation binary64>) () ())) ())
#s(alt (/ x z) (taylor -inf z) (#s(alt (/.f64 x z) (patch (/.f64 x z) #<representation binary64>) () ())) ())
#s(alt (/ x z) (taylor -inf z) (#s(alt (/.f64 x z) (patch (/.f64 x z) #<representation binary64>) () ())) ())
#s(alt (/ x z) (taylor -inf z) (#s(alt (/.f64 x z) (patch (/.f64 x z) #<representation binary64>) () ())) ())
#s(alt (/ x z) (taylor -inf z) (#s(alt (/.f64 x z) (patch (/.f64 x z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf z) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf z) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf z) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf z) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ -1 z) (taylor -inf z) (#s(alt (/.f64 #s(literal -1 binary64) z) (patch (/.f64 #s(literal -1 binary64) z) #<representation binary64>) () ())) ())
#s(alt (/ -1 z) (taylor -inf z) (#s(alt (/.f64 #s(literal -1 binary64) z) (patch (/.f64 #s(literal -1 binary64) z) #<representation binary64>) () ())) ())
#s(alt (/ -1 z) (taylor -inf z) (#s(alt (/.f64 #s(literal -1 binary64) z) (patch (/.f64 #s(literal -1 binary64) z) #<representation binary64>) () ())) ())
#s(alt (/ -1 z) (taylor -inf z) (#s(alt (/.f64 #s(literal -1 binary64) z) (patch (/.f64 #s(literal -1 binary64) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ z y) (taylor 0 y) (#s(alt (/.f64 z y) (patch (/.f64 z y) #<representation binary64>) () ())) ())
#s(alt (/ z y) (taylor 0 y) (#s(alt (/.f64 z y) (patch (/.f64 z y) #<representation binary64>) () ())) ())
#s(alt (/ z y) (taylor 0 y) (#s(alt (/.f64 z y) (patch (/.f64 z y) #<representation binary64>) () ())) ())
#s(alt (/ z y) (taylor 0 y) (#s(alt (/.f64 z y) (patch (/.f64 z y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 y) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 y) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 y) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 y) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x y)) (taylor 0 y) (#s(alt (.f64 (neg.f64 y) x) (patch (.f64 (neg.f64 y) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x y)) (taylor 0 y) (#s(alt (.f64 (neg.f64 y) x) (patch (.f64 (neg.f64 y) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x y)) (taylor 0 y) (#s(alt (.f64 (neg.f64 y) x) (patch (.f64 (neg.f64 y) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x y)) (taylor 0 y) (#s(alt (.f64 (neg.f64 y) x) (patch (.f64 (neg.f64 y) x) #<representation binary64>) () ())) ())
#s(alt (* -1 y) (taylor 0 y) (#s(alt (neg.f64 y) (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt (* -1 y) (taylor 0 y) (#s(alt (neg.f64 y) (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt (* -1 y) (taylor 0 y) (#s(alt (neg.f64 y) (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt (* -1 y) (taylor 0 y) (#s(alt (neg.f64 y) (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ z y) (taylor inf y) (#s(alt (/.f64 z y) (patch (/.f64 z y) #<representation binary64>) () ())) ())
#s(alt (/ z y) (taylor inf y) (#s(alt (/.f64 z y) (patch (/.f64 z y) #<representation binary64>) () ())) ())
#s(alt (/ z y) (taylor inf y) (#s(alt (/.f64 z y) (patch (/.f64 z y) #<representation binary64>) () ())) ())
#s(alt (/ z y) (taylor inf y) (#s(alt (/.f64 z y) (patch (/.f64 z y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf y) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf y) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf y) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf y) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x y)) (taylor inf y) (#s(alt (.f64 (neg.f64 y) x) (patch (.f64 (neg.f64 y) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x y)) (taylor inf y) (#s(alt (.f64 (neg.f64 y) x) (patch (.f64 (neg.f64 y) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x y)) (taylor inf y) (#s(alt (.f64 (neg.f64 y) x) (patch (.f64 (neg.f64 y) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x y)) (taylor inf y) (#s(alt (.f64 (neg.f64 y) x) (patch (.f64 (neg.f64 y) x) #<representation binary64>) () ())) ())
#s(alt (* -1 y) (taylor inf y) (#s(alt (neg.f64 y) (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt (* -1 y) (taylor inf y) (#s(alt (neg.f64 y) (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt (* -1 y) (taylor inf y) (#s(alt (neg.f64 y) (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt (* -1 y) (taylor inf y) (#s(alt (neg.f64 y) (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ z y) (taylor -inf y) (#s(alt (/.f64 z y) (patch (/.f64 z y) #<representation binary64>) () ())) ())
#s(alt (/ z y) (taylor -inf y) (#s(alt (/.f64 z y) (patch (/.f64 z y) #<representation binary64>) () ())) ())
#s(alt (/ z y) (taylor -inf y) (#s(alt (/.f64 z y) (patch (/.f64 z y) #<representation binary64>) () ())) ())
#s(alt (/ z y) (taylor -inf y) (#s(alt (/.f64 z y) (patch (/.f64 z y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf y) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf y) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf y) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf y) (#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x y)) (taylor -inf y) (#s(alt (.f64 (neg.f64 y) x) (patch (.f64 (neg.f64 y) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x y)) (taylor -inf y) (#s(alt (.f64 (neg.f64 y) x) (patch (.f64 (neg.f64 y) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x y)) (taylor -inf y) (#s(alt (.f64 (neg.f64 y) x) (patch (.f64 (neg.f64 y) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x y)) (taylor -inf y) (#s(alt (.f64 (neg.f64 y) x) (patch (.f64 (neg.f64 y) x) #<representation binary64>) () ())) ())
#s(alt (* -1 y) (taylor -inf y) (#s(alt (neg.f64 y) (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt (* -1 y) (taylor -inf y) (#s(alt (neg.f64 y) (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt (* -1 y) (taylor -inf y) (#s(alt (neg.f64 y) (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt (* -1 y) (taylor -inf y) (#s(alt (neg.f64 y) (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ x z) (taylor 0 x) (#s(alt (/.f64 x z) (patch (/.f64 x z) #<representation binary64>) () ())) ())
#s(alt (/ x z) (taylor 0 x) (#s(alt (/.f64 x z) (patch (/.f64 x z) #<representation binary64>) () ())) ())
#s(alt (/ x z) (taylor 0 x) (#s(alt (/.f64 x z) (patch (/.f64 x z) #<representation binary64>) () ())) ())
#s(alt (/ x z) (taylor 0 x) (#s(alt (/.f64 x z) (patch (/.f64 x z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x y)) (taylor 0 x) (#s(alt (.f64 (neg.f64 y) x) (patch (.f64 (neg.f64 y) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x y)) (taylor 0 x) (#s(alt (.f64 (neg.f64 y) x) (patch (.f64 (neg.f64 y) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x y)) (taylor 0 x) (#s(alt (.f64 (neg.f64 y) x) (patch (.f64 (neg.f64 y) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x y)) (taylor 0 x) (#s(alt (.f64 (neg.f64 y) x) (patch (.f64 (neg.f64 y) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ x z) (taylor inf x) (#s(alt (/.f64 x z) (patch (/.f64 x z) #<representation binary64>) () ())) ())
#s(alt (/ x z) (taylor inf x) (#s(alt (/.f64 x z) (patch (/.f64 x z) #<representation binary64>) () ())) ())
#s(alt (/ x z) (taylor inf x) (#s(alt (/.f64 x z) (patch (/.f64 x z) #<representation binary64>) () ())) ())
#s(alt (/ x z) (taylor inf x) (#s(alt (/.f64 x z) (patch (/.f64 x z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x y)) (taylor inf x) (#s(alt (.f64 (neg.f64 y) x) (patch (.f64 (neg.f64 y) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x y)) (taylor inf x) (#s(alt (.f64 (neg.f64 y) x) (patch (.f64 (neg.f64 y) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x y)) (taylor inf x) (#s(alt (.f64 (neg.f64 y) x) (patch (.f64 (neg.f64 y) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x y)) (taylor inf x) (#s(alt (.f64 (neg.f64 y) x) (patch (.f64 (neg.f64 y) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (/.f64 x (/.f64 z y)) (patch (/.f64 x (/.f64 z y)) #<representation binary64>) () ())) ())
#s(alt (/ x z) (taylor -inf x) (#s(alt (/.f64 x z) (patch (/.f64 x z) #<representation binary64>) () ())) ())
#s(alt (/ x z) (taylor -inf x) (#s(alt (/.f64 x z) (patch (/.f64 x z) #<representation binary64>) () ())) ())
#s(alt (/ x z) (taylor -inf x) (#s(alt (/.f64 x z) (patch (/.f64 x z) #<representation binary64>) () ())) ())
#s(alt (/ x z) (taylor -inf x) (#s(alt (/.f64 x z) (patch (/.f64 x z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) (patch (.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x y)) (taylor -inf x) (#s(alt (.f64 (neg.f64 y) x) (patch (.f64 (neg.f64 y) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x y)) (taylor -inf x) (#s(alt (.f64 (neg.f64 y) x) (patch (.f64 (neg.f64 y) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x y)) (taylor -inf x) (#s(alt (.f64 (neg.f64 y) x) (patch (.f64 (neg.f64 y) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x y)) (taylor -inf x) (#s(alt (.f64 (neg.f64 y) x) (patch (.f64 (neg.f64 y) x) #<representation binary64>) () ())) ())

Calls

9 calls:

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

simplify15.0ms (0.4%)

Memory

-21.5MiB live, 17.1MiB allocated

Algorithm

1×	egg-herbie

Rules

36×	`lower-+.f64`
36×	`lower-+.f32`
32×	`lower-*.f64`
32×	`lower-fma.f64`
32×	`lower-fma.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	1344
1	20	1344
2	31	1344
3	35	1344
4	43	1344
5	54	1344
6	65	1344
7	86	1344
8	109	1344
9	111	1344
10	112	1344
0	112	1344

Stop Event

1×	iter limit
1×	saturated

Counts

324 → 324

Calls

Call 1

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

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

rewrite147.0ms (3.9%)

Memory

17.1MiB live, 134.7MiB allocated

Rules

1 546×	`lower-fma.f64`
1 546×	`lower-fma.f32`
1 536×	`lower-*.f32`
1 526×	`lower-*.f64`
1 006×	`log-div`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	16	49
0	28	45
1	72	45
2	284	45
3	1412	45
4	6109	44
0	8217	44

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

12 → 1 181

Calls

Call 1

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

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval183.0ms (4.8%)

Memory: 26.4MiB live, 328.3MiB allocated
Compiler: Compiled 16 041 to 1 508 computations (90.6% saved)

prune69.0ms (1.8%)

Memory

-29.0MiB live, 138.2MiB allocated

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	1 503	2	1 505
Fresh	2	0	2
Picked	1	4	5
Done	0	0	0
Total	1 506	6	1 512

Accuracy

100.0%

Counts

1 512 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	91.9%	(/.f64 (*.f64 x y) z)
▶	88.9%	(/.f64 y (/.f64 z x))
✓	94.6%	(/.f64 x (/.f64 z y))
▶	61.6%	(.f64 (/.f64 (.f64 y y) (*.f64 y z)) x)
✓	94.3%	(*.f64 (/.f64 y z) x)
✓	90.9%	(*.f64 (/.f64 x z) y)

Compiler

Compiled 34 to 38 computations (-11.8% saved)

simplify221.0ms (5.9%)

Memory

-0.2MiB live, 153.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 6 expressions of interest:

New	Metric	Score
cost-diff	0	(/.f64 z x)
cost-diff	0	(/.f64 y (/.f64 z x))
cost-diff	-384	(.f64 (/.f64 (.f64 y y) (*.f64 y z)) x)
cost-diff	0	(*.f64 y z)
cost-diff	0	(*.f64 y y)
cost-diff	640	(/.f64 (.f64 y y) (.f64 y z))

Rules

6 228×	`lower-*.f32`
6 222×	`lower-*.f64`
3 108×	`cube-prod`
2 900×	`lower-pow.f64`
2 900×	`lower-pow.f32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	36
0	15	40
1	27	34
2	66	28
3	117	28
4	391	28
5	1390	28
6	2749	28
7	2954	28
8	3137	28
9	3421	28
10	3819	28
11	4331	28
12	4988	28
13	5303	28
14	5444	28
15	5523	28
16	5637	28
17	5724	28
18	6446	28
19	7656	28
0	8196	28

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Calls

Call 1

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

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

localize25.0ms (0.7%)

Memory

-2.1MiB live, 36.6MiB allocated

Localize:

Found 6 expressions of interest:

New	Metric	Score
accuracy	0	(/.f64 z x)
accuracy	7.087209246497778	(/.f64 y (/.f64 z x))
accuracy	0	(*.f64 y z)
accuracy	0	(*.f64 y y)
accuracy	3.6786659044323504	(.f64 (/.f64 (.f64 y y) (*.f64 y z)) x)
accuracy	23.488148360264216	(/.f64 (.f64 y y) (.f64 y z))

Samples

18.0ms

256×

valid

Compiler

Compiled 38 to 12 computations (68.4% saved)

Precisions

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

ival-mult: 5.0ms (54.9% of total)

ival-div: 4.0ms (43.9% of total)

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

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

series10.0ms (0.3%)

Memory

23.6MiB live, 23.6MiB allocated

Counts

6 → 156

Calls

Call 1

Inputs
#s(alt (/.f64 (.f64 y y) (.f64 y z)) (patch (/.f64 (.f64 y y) (.f64 y z)) #<representation binary64>) () ())
#s(alt (.f64 y y) (patch (.f64 y y) #<representation binary64>) () ())
#s(alt (.f64 y z) (patch (.f64 y z) #<representation binary64>) () ())
#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())
#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())
#s(alt (/.f64 z x) (patch (/.f64 z x) #<representation binary64>) () ())

Outputs
#s(alt (/ y z) (taylor 0 z) (#s(alt (/.f64 (.f64 y y) (.f64 y z)) (patch (/.f64 (.f64 y y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 z) (#s(alt (/.f64 (.f64 y y) (.f64 y z)) (patch (/.f64 (.f64 y y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 z) (#s(alt (/.f64 (.f64 y y) (.f64 y z)) (patch (/.f64 (.f64 y y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 z) (#s(alt (/.f64 (.f64 y y) (.f64 y z)) (patch (/.f64 (.f64 y y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* y z) (taylor 0 z) (#s(alt (.f64 y z) (patch (.f64 y z) #<representation binary64>) () ())) ())
#s(alt (* y z) (taylor 0 z) (#s(alt (.f64 y z) (patch (.f64 y z) #<representation binary64>) () ())) ())
#s(alt (* y z) (taylor 0 z) (#s(alt (.f64 y z) (patch (.f64 y z) #<representation binary64>) () ())) ())
#s(alt (* y z) (taylor 0 z) (#s(alt (.f64 y z) (patch (.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ z x) (taylor 0 z) (#s(alt (/.f64 z x) (patch (/.f64 z x) #<representation binary64>) () ())) ())
#s(alt (/ z x) (taylor 0 z) (#s(alt (/.f64 z x) (patch (/.f64 z x) #<representation binary64>) () ())) ())
#s(alt (/ z x) (taylor 0 z) (#s(alt (/.f64 z x) (patch (/.f64 z x) #<representation binary64>) () ())) ())
#s(alt (/ z x) (taylor 0 z) (#s(alt (/.f64 z x) (patch (/.f64 z x) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf z) (#s(alt (/.f64 (.f64 y y) (.f64 y z)) (patch (/.f64 (.f64 y y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf z) (#s(alt (/.f64 (.f64 y y) (.f64 y z)) (patch (/.f64 (.f64 y y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf z) (#s(alt (/.f64 (.f64 y y) (.f64 y z)) (patch (/.f64 (.f64 y y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf z) (#s(alt (/.f64 (.f64 y y) (.f64 y z)) (patch (/.f64 (.f64 y y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* y z) (taylor inf z) (#s(alt (.f64 y z) (patch (.f64 y z) #<representation binary64>) () ())) ())
#s(alt (* y z) (taylor inf z) (#s(alt (.f64 y z) (patch (.f64 y z) #<representation binary64>) () ())) ())
#s(alt (* y z) (taylor inf z) (#s(alt (.f64 y z) (patch (.f64 y z) #<representation binary64>) () ())) ())
#s(alt (* y z) (taylor inf z) (#s(alt (.f64 y z) (patch (.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ z x) (taylor inf z) (#s(alt (/.f64 z x) (patch (/.f64 z x) #<representation binary64>) () ())) ())
#s(alt (/ z x) (taylor inf z) (#s(alt (/.f64 z x) (patch (/.f64 z x) #<representation binary64>) () ())) ())
#s(alt (/ z x) (taylor inf z) (#s(alt (/.f64 z x) (patch (/.f64 z x) #<representation binary64>) () ())) ())
#s(alt (/ z x) (taylor inf z) (#s(alt (/.f64 z x) (patch (/.f64 z x) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf z) (#s(alt (/.f64 (.f64 y y) (.f64 y z)) (patch (/.f64 (.f64 y y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf z) (#s(alt (/.f64 (.f64 y y) (.f64 y z)) (patch (/.f64 (.f64 y y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf z) (#s(alt (/.f64 (.f64 y y) (.f64 y z)) (patch (/.f64 (.f64 y y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf z) (#s(alt (/.f64 (.f64 y y) (.f64 y z)) (patch (/.f64 (.f64 y y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* y z) (taylor -inf z) (#s(alt (.f64 y z) (patch (.f64 y z) #<representation binary64>) () ())) ())
#s(alt (* y z) (taylor -inf z) (#s(alt (.f64 y z) (patch (.f64 y z) #<representation binary64>) () ())) ())
#s(alt (* y z) (taylor -inf z) (#s(alt (.f64 y z) (patch (.f64 y z) #<representation binary64>) () ())) ())
#s(alt (* y z) (taylor -inf z) (#s(alt (.f64 y z) (patch (.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ z x) (taylor -inf z) (#s(alt (/.f64 z x) (patch (/.f64 z x) #<representation binary64>) () ())) ())
#s(alt (/ z x) (taylor -inf z) (#s(alt (/.f64 z x) (patch (/.f64 z x) #<representation binary64>) () ())) ())
#s(alt (/ z x) (taylor -inf z) (#s(alt (/.f64 z x) (patch (/.f64 z x) #<representation binary64>) () ())) ())
#s(alt (/ z x) (taylor -inf z) (#s(alt (/.f64 z x) (patch (/.f64 z x) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 y) (#s(alt (/.f64 (.f64 y y) (.f64 y z)) (patch (/.f64 (.f64 y y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 y) (#s(alt (/.f64 (.f64 y y) (.f64 y z)) (patch (/.f64 (.f64 y y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 y) (#s(alt (/.f64 (.f64 y y) (.f64 y z)) (patch (/.f64 (.f64 y y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor 0 y) (#s(alt (/.f64 (.f64 y y) (.f64 y z)) (patch (/.f64 (.f64 y y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor 0 y) (#s(alt (.f64 y y) (patch (.f64 y y) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor 0 y) (#s(alt (.f64 y y) (patch (.f64 y y) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor 0 y) (#s(alt (.f64 y y) (patch (.f64 y y) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor 0 y) (#s(alt (.f64 y y) (patch (.f64 y y) #<representation binary64>) () ())) ())
#s(alt (* y z) (taylor 0 y) (#s(alt (.f64 y z) (patch (.f64 y z) #<representation binary64>) () ())) ())
#s(alt (* y z) (taylor 0 y) (#s(alt (.f64 y z) (patch (.f64 y z) #<representation binary64>) () ())) ())
#s(alt (* y z) (taylor 0 y) (#s(alt (.f64 y z) (patch (.f64 y z) #<representation binary64>) () ())) ())
#s(alt (* y z) (taylor 0 y) (#s(alt (.f64 y z) (patch (.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf y) (#s(alt (/.f64 (.f64 y y) (.f64 y z)) (patch (/.f64 (.f64 y y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf y) (#s(alt (/.f64 (.f64 y y) (.f64 y z)) (patch (/.f64 (.f64 y y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf y) (#s(alt (/.f64 (.f64 y y) (.f64 y z)) (patch (/.f64 (.f64 y y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor inf y) (#s(alt (/.f64 (.f64 y y) (.f64 y z)) (patch (/.f64 (.f64 y y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor inf y) (#s(alt (.f64 y y) (patch (.f64 y y) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor inf y) (#s(alt (.f64 y y) (patch (.f64 y y) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor inf y) (#s(alt (.f64 y y) (patch (.f64 y y) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor inf y) (#s(alt (.f64 y y) (patch (.f64 y y) #<representation binary64>) () ())) ())
#s(alt (* y z) (taylor inf y) (#s(alt (.f64 y z) (patch (.f64 y z) #<representation binary64>) () ())) ())
#s(alt (* y z) (taylor inf y) (#s(alt (.f64 y z) (patch (.f64 y z) #<representation binary64>) () ())) ())
#s(alt (* y z) (taylor inf y) (#s(alt (.f64 y z) (patch (.f64 y z) #<representation binary64>) () ())) ())
#s(alt (* y z) (taylor inf y) (#s(alt (.f64 y z) (patch (.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf y) (#s(alt (/.f64 (.f64 y y) (.f64 y z)) (patch (/.f64 (.f64 y y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf y) (#s(alt (/.f64 (.f64 y y) (.f64 y z)) (patch (/.f64 (.f64 y y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf y) (#s(alt (/.f64 (.f64 y y) (.f64 y z)) (patch (/.f64 (.f64 y y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (/ y z) (taylor -inf y) (#s(alt (/.f64 (.f64 y y) (.f64 y z)) (patch (/.f64 (.f64 y y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor -inf y) (#s(alt (.f64 y y) (patch (.f64 y y) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor -inf y) (#s(alt (.f64 y y) (patch (.f64 y y) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor -inf y) (#s(alt (.f64 y y) (patch (.f64 y y) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor -inf y) (#s(alt (.f64 y y) (patch (.f64 y y) #<representation binary64>) () ())) ())
#s(alt (* y z) (taylor -inf y) (#s(alt (.f64 y z) (patch (.f64 y z) #<representation binary64>) () ())) ())
#s(alt (* y z) (taylor -inf y) (#s(alt (.f64 y z) (patch (.f64 y z) #<representation binary64>) () ())) ())
#s(alt (* y z) (taylor -inf y) (#s(alt (.f64 y z) (patch (.f64 y z) #<representation binary64>) () ())) ())
#s(alt (* y z) (taylor -inf y) (#s(alt (.f64 y z) (patch (.f64 y z) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ z x) (taylor 0 x) (#s(alt (/.f64 z x) (patch (/.f64 z x) #<representation binary64>) () ())) ())
#s(alt (/ z x) (taylor 0 x) (#s(alt (/.f64 z x) (patch (/.f64 z x) #<representation binary64>) () ())) ())
#s(alt (/ z x) (taylor 0 x) (#s(alt (/.f64 z x) (patch (/.f64 z x) #<representation binary64>) () ())) ())
#s(alt (/ z x) (taylor 0 x) (#s(alt (/.f64 z x) (patch (/.f64 z x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ z x) (taylor inf x) (#s(alt (/.f64 z x) (patch (/.f64 z x) #<representation binary64>) () ())) ())
#s(alt (/ z x) (taylor inf x) (#s(alt (/.f64 z x) (patch (/.f64 z x) #<representation binary64>) () ())) ())
#s(alt (/ z x) (taylor inf x) (#s(alt (/.f64 z x) (patch (/.f64 z x) #<representation binary64>) () ())) ())
#s(alt (/ z x) (taylor inf x) (#s(alt (/.f64 z x) (patch (/.f64 z x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) (patch (.f64 (/.f64 (.f64 y y) (.f64 y z)) x) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (/.f64 y (/.f64 z x)) (patch (/.f64 y (/.f64 z x)) #<representation binary64>) () ())) ())
#s(alt (/ z x) (taylor -inf x) (#s(alt (/.f64 z x) (patch (/.f64 z x) #<representation binary64>) () ())) ())
#s(alt (/ z x) (taylor -inf x) (#s(alt (/.f64 z x) (patch (/.f64 z x) #<representation binary64>) () ())) ())
#s(alt (/ z x) (taylor -inf x) (#s(alt (/.f64 z x) (patch (/.f64 z x) #<representation binary64>) () ())) ())
#s(alt (/ z x) (taylor -inf x) (#s(alt (/.f64 z x) (patch (/.f64 z x) #<representation binary64>) () ())) ())

Calls

9 calls:

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

simplify6.0ms (0.1%)

Memory

10.4MiB live, 10.4MiB allocated

Algorithm

1×	egg-herbie

Rules

18×	`lower-*.f64`
18×	`lower-*.f32`
8×	`*-commutative`
8×	`lower-/.f32`
8×	`lower-/.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	612
1	14	612
2	17	612
3	18	612
0	18	612

Stop Event

1×	iter limit
1×	saturated

Counts

156 → 156

Calls

Call 1

Inputs
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(* y z)
(* y z)
(* y z)
(* y z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ z x)
(/ z x)
(/ z x)
(/ z x)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(* y z)
(* y z)
(* y z)
(* y z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ z x)
(/ z x)
(/ z x)
(/ z x)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(* y z)
(* y z)
(* y z)
(* y z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ z x)
(/ z x)
(/ z x)
(/ z x)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(pow y 2)
(pow y 2)
(pow y 2)
(pow y 2)
(* y z)
(* y z)
(* y z)
(* y z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(pow y 2)
(pow y 2)
(pow y 2)
(pow y 2)
(* y z)
(* y z)
(* y z)
(* y z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ y z)
(/ y z)
(/ y z)
(/ y z)
(pow y 2)
(pow y 2)
(pow y 2)
(pow y 2)
(* y z)
(* y z)
(* y z)
(* y z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ z x)
(/ z x)
(/ z x)
(/ z x)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ z x)
(/ z x)
(/ z x)
(/ z x)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ z x)
(/ z x)
(/ z x)
(/ z x)

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

rewrite110.0ms (2.9%)

Memory

-28.6MiB live, 130.2MiB allocated

Rules

2 460×	`lower-*.f32`
2 454×	`lower-*.f64`
2 024×	`lower--.f32`
2 024×	`lower--.f64`
1 994×	`lower-/.f32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	30
0	15	34
1	51	22
2	271	22
3	1573	22
4	6842	22
0	8538	22

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

6 → 494

Calls

Call 1

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

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval88.0ms (2.3%)

Memory: 10.3MiB live, 121.4MiB allocated
Compiler: Compiled 6 826 to 1 033 computations (84.9% saved)

prune53.0ms (1.4%)

Memory

11.4MiB live, 48.9MiB allocated

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	650	0	650
Fresh	0	0	0
Picked	0	2	2
Done	0	4	4
Total	650	6	656

Accuracy

100.0%

Counts

656 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	91.9%	(/.f64 (*.f64 x y) z)
✓	88.9%	(/.f64 y (/.f64 z x))
✓	94.6%	(/.f64 x (/.f64 z y))
✓	61.6%	(.f64 (/.f64 (.f64 y y) (*.f64 y z)) x)
✓	94.3%	(*.f64 (/.f64 y z) x)
✓	90.9%	(*.f64 (/.f64 x z) y)

Compiler

Compiled 105 to 72 computations (31.4% saved)

regimes38.0ms (1%)

Memory

-4.9MiB live, 50.1MiB allocated

Counts

10 → 2

Calls

Call 1

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

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

Calls

7 calls:

16.0ms	t
4.0ms	z
4.0ms	y
4.0ms	x
4.0ms	(/.f64 y z)

Results

Accuracy	Segments	Branch
96.7%	2	`x`
98.3%	3	`y`
99.8%	2	`z`
94.6%	1	`t`
99.0%	2	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`
99.0%	2	`(/.f64 (*.f64 (/.f64 y z) t) t)`
99.7%	2	`(/.f64 y z)`

Compiler

Compiled 23 to 36 computations (-56.5% saved)

regimes5.0ms (0.1%)

Memory

10.9MiB live, 10.9MiB allocated

Counts

4 → 2

Calls

Call 1

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

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

Calls

2 calls:

2.0ms	z
2.0ms	(/.f64 y z)

Results

Accuracy	Segments	Branch
99.7%	2	`(/.f64 y z)`
99.7%	2	`z`

Compiler

Compiled 4 to 9 computations (-125% saved)

regimes7.0ms (0.2%)

Memory

-31.7MiB live, 4.5MiB allocated

Counts

2 → 2

Calls

Call 1

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

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

Calls

1 calls:

7.0ms

(/.f64 y z)

Results

Accuracy	Segments	Branch
99.7%	2	`(/.f64 y z)`

Compiler

Compiled 3 to 5 computations (-66.7% saved)

regimes9.0ms (0.2%)

Memory

23.1MiB live, 23.1MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

7 calls:

1.0ms	y
1.0ms	t
1.0ms	(/.f64 y z)
1.0ms	x
1.0ms	z

Results

Accuracy	Segments	Branch
90.9%	1	`t`
90.9%	1	`x`
90.9%	1	`y`
90.9%	1	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`
90.9%	1	`(/.f64 (*.f64 (/.f64 y z) t) t)`
90.9%	1	`z`
90.9%	1	`(/.f64 y z)`

Compiler

Compiled 23 to 36 computations (-56.5% saved)

bsearch12.0ms (0.3%)

Memory

-19.5MiB live, 17.0MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
11.0ms	1.03745036590412e-64	7.064712141623179e-64

Samples

5.0ms

96×

valid

Compiler

Compiled 72 to 99 computations (-37.5% saved)

Precisions

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

ival-div: 1.0ms (40.2% of total)

ival-mult: 1.0ms (40.2% of total)

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

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

bsearch0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	2.3843061614613258e+287	2.009316219441255e+290

Compiler

Compiled 12 to 15 computations (-25% saved)

bsearch0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	3.7685714762085045e+232	8.733588073080145e+232

Compiler

Compiled 12 to 15 computations (-25% saved)

simplify24.0ms (0.6%)

Memory

19.3MiB live, 57.8MiB allocated

Algorithm

1×	egg-herbie

Rules

6×	`-commutative-binary64-.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	51
1	25	51

Stop Event

1×

saturated

Calls

Call 1

Inputs
(if (<=.f64 z #s(literal 2593742798915883/3705346855594118253554271520278013051304639509300498049262642688253220148477952 binary64)) (/.f64 y (/.f64 z x)) (/.f64 x (/.f64 z y)))
(if (<=.f64 (/.f64 y z) #s(literal 400000000000000030100869409976074877445708321930334554077017758825409737206186284010156430558648479695756883670206108565604167872688822358708085150775448815662555547897148796286418616285067076396904284847591865362947530011643961381737414214722809013353714546701858739397230872077367508992 binary64)) (.f64 (/.f64 y z) x) (/.f64 (.f64 x y) z))
(if (<=.f64 (/.f64 y z) #s(literal 49999999999999998687031353699551596695485163525967572028943426393938563525426862697311822511311134052493407009520377229489628868728398081379959863903614749283655571301903155398941749771244621600913466974781404474522397885740737363968 binary64)) (.f64 (/.f64 y z) x) (.f64 (/.f64 x z) y))
(*.f64 (/.f64 x z) y)

Outputs
(if (<=.f64 z #s(literal 2593742798915883/3705346855594118253554271520278013051304639509300498049262642688253220148477952 binary64)) (/.f64 y (/.f64 z x)) (/.f64 x (/.f64 z y)))
(if (<=.f64 (/.f64 y z) #s(literal 400000000000000030100869409976074877445708321930334554077017758825409737206186284010156430558648479695756883670206108565604167872688822358708085150775448815662555547897148796286418616285067076396904284847591865362947530011643961381737414214722809013353714546701858739397230872077367508992 binary64)) (.f64 (/.f64 y z) x) (/.f64 (.f64 x y) z))
(if (<=.f64 (/.f64 y z) #s(literal 49999999999999998687031353699551596695485163525967572028943426393938563525426862697311822511311134052493407009520377229489628868728398081379959863903614749283655571301903155398941749771244621600913466974781404474522397885740737363968 binary64)) (.f64 (/.f64 y z) x) (.f64 (/.f64 x z) y))
(*.f64 (/.f64 x z) y)

soundness508.0ms (13.5%)

Memory

-3.2MiB live, 233.9MiB allocated

Rules

2 246×	`lower-*.f32`
2 242×	`lower-*.f64`
2 096×	`lower-/.f32`
2 092×	`lower-/.f64`
1 546×	`lower-fma.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	24
0	12	28
1	35	16
2	191	16
3	1459	16
0	5896	16
0	16	49
0	28	45
1	72	45
2	284	45
3	1412	45
4	6109	44
0	8217	44

Stop Event

1×	done
1×	iter limit
1×	node limit
1×	iter limit
1×	iter limit
1×	iter limit
1×	node limit
1×	iter limit

Compiler

Compiled 154 to 97 computations (37% saved)

preprocess541.0ms (14.3%)

Memory: 23.0MiB live, 494.1MiB allocated
Remove: (abs t)
Compiler: Compiled 502 to 308 computations (38.6% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze128.0ms (3.4%)

sample723.0ms (19.2%)

explain79.0ms (2.1%)

preprocess222.0ms (5.9%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify133.0ms (3.5%)

localize20.0ms (0.5%)

series15.0ms (0.4%)

simplify6.0ms (0.2%)

rewrite110.0ms (2.9%)

eval66.0ms (1.8%)

prune20.0ms (0.5%)

simplify56.0ms (1.5%)

localize106.0ms (2.8%)

series17.0ms (0.4%)

simplify15.0ms (0.4%)

rewrite147.0ms (3.9%)

eval183.0ms (4.8%)

prune69.0ms (1.8%)

simplify221.0ms (5.9%)

localize25.0ms (0.7%)

series10.0ms (0.3%)

simplify6.0ms (0.1%)

rewrite110.0ms (2.9%)

eval88.0ms (2.3%)

prune53.0ms (1.4%)

regimes38.0ms (1%)

regimes5.0ms (0.1%)

regimes7.0ms (0.2%)

regimes9.0ms (0.2%)

bsearch12.0ms (0.3%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

simplify24.0ms (0.6%)

soundness508.0ms (13.5%)

preprocess541.0ms (14.3%)

end0.0ms (0%)

Profiling