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

analyze140.0ms (3.5%)

Memory

-0.4MiB live, 277.8MiB 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)

sample1.0s (25.7%)

Memory

30.5MiB live, 767.5MiB allocated

Samples

684.0ms

8 256×

valid

Precisions

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

ival-div: 208.0ms (54.3% of total)

ival-mult: 164.0ms (42.8% of total)

ival-true: 7.0ms (1.8% of total)

ival-assert: 4.0ms (1% of total)

Bogosity

explain86.0ms (2.1%)

Memory

-32.4MiB live, 127.7MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
50	0	-	2	(-3.3073401187529635e-165 -2.764034829562704e+208 -5.1408944796258277e+219 2.4207285952755643e-304)	`(/.f64 (*.f64 (/.f64 y z) t) t)`
23	0	-	2	(-3.4315897618780383e+148 -2.6525617716983743e-217 -2.169625443360253e+102 -2.4131635479518514e-117)	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`
17	1	(2.4708571304286296e-71 -1.4956935408942745e-218 -2.05196608709645e+196 -4.2499004611795635e+91)	0	-	`(*.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)`	o/n	27	0
↳	`(*.f64 (/.f64 y z) t)`	overflow	46
↳	`(/.f64 y z)`	overflow	30
`/.f64`	`(/.f64 (*.f64 (/.f64 y z) t) t)`	u/n	21	0
↳	`(*.f64 (/.f64 y z) t)`	underflow	47
↳	`(/.f64 y z)`	underflow	33
`*.f64`	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`	*nu**	13	0
`*.f64`	`(*.f64 (/.f64 y z) t)`	*no**	11	0
`*.f64`	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`	*no**	8	0
`*.f64`	`(*.f64 (/.f64 y z) t)`	*nu**	7	0

Confusion

	Predicted +	Predicted -
+	48	2
-	34	172

Precision

0.5853658536585366

Recall

0.96

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	48	0	2
-	34	0	172

Precision?

0.5853658536585366

Recall?

0.96

Freqs

test

number	freq
0	174
1	77
2	5

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

31.0ms

512×

valid

Compiler

Compiled 69 to 28 computations (59.4% saved)

Precisions

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

ival-div: 8.0ms (54.6% of total)

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

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

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

preprocess230.0ms (5.7%)

Memory

34.7MiB live, 189.3MiB 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.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 9 to 8 computations (11.1% saved)

simplify146.0ms (3.6%)

Memory

5.3MiB live, 125.8MiB 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

localize22.0ms (0.5%)

Memory

0.1MiB live, 38.6MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(/.f64 y z)
accuracy	4.156647063261507	(*.f64 (/.f64 y z) t)
accuracy	4.797729986282144	(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))
accuracy	10.307215846332241	(/.f64 (*.f64 (/.f64 y z) t) t)

Samples

17.0ms

256×

valid

Compiler

Compiled 30 to 10 computations (66.7% saved)

Precisions

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

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

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

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

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

series17.0ms (0.4%)

Memory

-1.6MiB live, 36.9MiB 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
4.0ms	t	@	inf	((/ (* (/ y z) t) t) (* x (/ (* (/ y z) t) t)) (* (/ y z) t) (/ y z))
2.0ms	t	@	0	((/ (* (/ y z) t) t) (* x (/ (* (/ y z) t) t)) (* (/ y z) t) (/ y z))
1.0ms	z	@	inf	((/ (* (/ 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))

simplify10.0ms (0.2%)

Memory

-24.8MiB live, 12.4MiB 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))

rewrite135.0ms (3.3%)

Memory

-4.3MiB live, 161.6MiB 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>

eval65.0ms (1.6%)

Memory: 25.7MiB live, 187.4MiB allocated
Compiler: Compiled 6 395 to 1 123 computations (82.4% saved)

prune120.0ms (2.9%)

Memory

-14.7MiB live, 66.5MiB allocated

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	539	5	544
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	540	5	545

Accuracy

100.0%

Counts

545 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	95.3%	(/.f64 (*.f64 x y) z)
▶	93.0%	(/.f64 x (/.f64 z y))
▶	75.1%	(.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y))
▶	92.5%	(*.f64 (/.f64 y z) x)
▶	88.9%	(*.f64 (/.f64 x z) y)

Compiler

Compiled 62 to 68 computations (-9.7% saved)

simplify106.0ms (2.6%)

Memory

16.8MiB live, 95.2MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 12 expressions of interest:

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

Rules

2 012×	`div-sub`
1 704×	`lower-*.f32`
1 694×	`lower-*.f64`
1 672×	`lower-fma.f64`
1 672×	`lower-fma.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	77
0	32	71
1	54	71
2	114	71
3	413	71
4	1530	71
5	4114	71
6	5477	71
7	6215	71
8	6684	71
9	6734	71
10	6756	71
11	7404	71
12	7882	71
0	8096	71

Stop Event

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

Calls

Call 1

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

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

localize115.0ms (2.8%)

Memory

-22.0MiB live, 139.9MiB allocated

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	0	(neg.f64 x)
accuracy	0	(neg.f64 t)
accuracy	3.9451226561315202	(*.f64 (/.f64 (neg.f64 t) z) y)
accuracy	12.827347883551395	(.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y))
accuracy	0	(/.f64 z y)
accuracy	4.462085793201167	(/.f64 x (/.f64 z y))
accuracy	0	(/.f64 y z)
accuracy	4.797729986282144	(*.f64 (/.f64 y z) x)
accuracy	0	(/.f64 x z)
accuracy	7.116525620820148	(*.f64 (/.f64 x z) y)
accuracy	0	(*.f64 x y)
accuracy	3.0372723758596596	(/.f64 (*.f64 x y) z)

Samples

103.0ms

256×

valid

Compiler

Compiled 79 to 20 computations (74.7% saved)

Precisions

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

ival-div: 45.0ms (68.9% of total)

ival-mult: 18.0ms (27.6% of total)

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

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

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

series29.0ms (0.7%)

Memory

-11.1MiB live, 69.7MiB allocated

Counts

13 → 372

Calls

Call 1

Inputs
#s(alt (/.f64 (.f64 x y) z) (patch (/.f64 (.f64 x y) z) #<representation binary64>) () ())
#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())
#s(alt (.f64 (/.f64 x z) y) (patch (.f64 (/.f64 x z) y) #<representation binary64>) () ())
#s(alt (/.f64 x z) (patch (/.f64 x z) #<representation binary64>) () ())
#s(alt (.f64 (/.f64 y z) x) (patch (.f64 (/.f64 y z) x) #<representation binary64>) () ())
#s(alt (/.f64 y z) (patch (/.f64 y z) #<representation binary64>) () ())
#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 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())
#s(alt (/.f64 (neg.f64 x) t) (patch (/.f64 (neg.f64 x) t) #<representation binary64>) () ())
#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())
#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())
#s(alt (neg.f64 t) (patch (neg.f64 t) #<representation binary64>) () ())

Outputs
#s(alt (/ (* x y) z) (taylor 0 t) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 t) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 t) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 t) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x t)) (taylor 0 t) (#s(alt (/.f64 (neg.f64 x) t) (patch (/.f64 (neg.f64 x) t) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x t)) (taylor 0 t) (#s(alt (/.f64 (neg.f64 x) t) (patch (/.f64 (neg.f64 x) t) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x t)) (taylor 0 t) (#s(alt (/.f64 (neg.f64 x) t) (patch (/.f64 (neg.f64 x) t) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x t)) (taylor 0 t) (#s(alt (/.f64 (neg.f64 x) t) (patch (/.f64 (neg.f64 x) t) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor 0 t) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor 0 t) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor 0 t) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor 0 t) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 t) (taylor 0 t) (#s(alt (neg.f64 t) (patch (neg.f64 t) #<representation binary64>) () ())) ())
#s(alt (* -1 t) (taylor 0 t) (#s(alt (neg.f64 t) (patch (neg.f64 t) #<representation binary64>) () ())) ())
#s(alt (* -1 t) (taylor 0 t) (#s(alt (neg.f64 t) (patch (neg.f64 t) #<representation binary64>) () ())) ())
#s(alt (* -1 t) (taylor 0 t) (#s(alt (neg.f64 t) (patch (neg.f64 t) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf t) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf t) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf t) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf t) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x t)) (taylor inf t) (#s(alt (/.f64 (neg.f64 x) t) (patch (/.f64 (neg.f64 x) t) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x t)) (taylor inf t) (#s(alt (/.f64 (neg.f64 x) t) (patch (/.f64 (neg.f64 x) t) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x t)) (taylor inf t) (#s(alt (/.f64 (neg.f64 x) t) (patch (/.f64 (neg.f64 x) t) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x t)) (taylor inf t) (#s(alt (/.f64 (neg.f64 x) t) (patch (/.f64 (neg.f64 x) t) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor inf t) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor inf t) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor inf t) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor inf t) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 t) (taylor inf t) (#s(alt (neg.f64 t) (patch (neg.f64 t) #<representation binary64>) () ())) ())
#s(alt (* -1 t) (taylor inf t) (#s(alt (neg.f64 t) (patch (neg.f64 t) #<representation binary64>) () ())) ())
#s(alt (* -1 t) (taylor inf t) (#s(alt (neg.f64 t) (patch (neg.f64 t) #<representation binary64>) () ())) ())
#s(alt (* -1 t) (taylor inf t) (#s(alt (neg.f64 t) (patch (neg.f64 t) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf t) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf t) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf t) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf t) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x t)) (taylor -inf t) (#s(alt (/.f64 (neg.f64 x) t) (patch (/.f64 (neg.f64 x) t) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x t)) (taylor -inf t) (#s(alt (/.f64 (neg.f64 x) t) (patch (/.f64 (neg.f64 x) t) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x t)) (taylor -inf t) (#s(alt (/.f64 (neg.f64 x) t) (patch (/.f64 (neg.f64 x) t) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x t)) (taylor -inf t) (#s(alt (/.f64 (neg.f64 x) t) (patch (/.f64 (neg.f64 x) t) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor -inf t) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor -inf t) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor -inf t) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor -inf t) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 t) (taylor -inf t) (#s(alt (neg.f64 t) (patch (neg.f64 t) #<representation binary64>) () ())) ())
#s(alt (* -1 t) (taylor -inf t) (#s(alt (neg.f64 t) (patch (neg.f64 t) #<representation binary64>) () ())) ())
#s(alt (* -1 t) (taylor -inf t) (#s(alt (neg.f64 t) (patch (neg.f64 t) #<representation binary64>) () ())) ())
#s(alt (* -1 t) (taylor -inf t) (#s(alt (neg.f64 t) (patch (neg.f64 t) #<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 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 (/ 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 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 (/ 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 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 y) z) (taylor 0 z) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 z) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor 0 z) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor 0 z) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor 0 z) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor 0 z) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<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 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 (/ 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 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 (/ 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 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 y) z) (taylor inf z) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf z) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor inf z) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor inf z) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor inf z) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor inf z) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<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 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 (/ 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 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 (/ 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 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 y) z) (taylor -inf z) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf z) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor -inf z) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor -inf z) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor -inf z) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor -inf z) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) 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) (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 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 (/ (* 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 (/ 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 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 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 y) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor 0 y) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor 0 y) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor 0 y) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor 0 y) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) 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) (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 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 (/ (* 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 (/ 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 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 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf y) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor inf y) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor inf y) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor inf y) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor inf y) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) 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) (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 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 (/ (* 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 (/ 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 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 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf y) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor -inf y) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor -inf y) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor -inf y) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (* t y) z)) (taylor -inf y) (#s(alt (.f64 (/.f64 (neg.f64 t) z) y) (patch (.f64 (/.f64 (neg.f64 t) z) 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) (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 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 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 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) 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 y) z) (taylor 0 x) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor 0 x) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x t)) (taylor 0 x) (#s(alt (/.f64 (neg.f64 x) t) (patch (/.f64 (neg.f64 x) t) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x t)) (taylor 0 x) (#s(alt (/.f64 (neg.f64 x) t) (patch (/.f64 (neg.f64 x) t) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x t)) (taylor 0 x) (#s(alt (/.f64 (neg.f64 x) t) (patch (/.f64 (neg.f64 x) t) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x t)) (taylor 0 x) (#s(alt (/.f64 (neg.f64 x) t) (patch (/.f64 (neg.f64 x) t) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor 0 x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor 0 x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor 0 x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor 0 x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<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) (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 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 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 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) 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 y) z) (taylor inf x) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor inf x) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x t)) (taylor inf x) (#s(alt (/.f64 (neg.f64 x) t) (patch (/.f64 (neg.f64 x) t) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x t)) (taylor inf x) (#s(alt (/.f64 (neg.f64 x) t) (patch (/.f64 (neg.f64 x) t) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x t)) (taylor inf x) (#s(alt (/.f64 (neg.f64 x) t) (patch (/.f64 (neg.f64 x) t) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x t)) (taylor inf x) (#s(alt (/.f64 (neg.f64 x) t) (patch (/.f64 (neg.f64 x) t) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<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) (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 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 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 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) 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 y) z) (taylor -inf x) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (/ (* x y) z) (taylor -inf x) (#s(alt (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) (patch (.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x t)) (taylor -inf x) (#s(alt (/.f64 (neg.f64 x) t) (patch (/.f64 (neg.f64 x) t) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x t)) (taylor -inf x) (#s(alt (/.f64 (neg.f64 x) t) (patch (/.f64 (neg.f64 x) t) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x t)) (taylor -inf x) (#s(alt (/.f64 (neg.f64 x) t) (patch (/.f64 (neg.f64 x) t) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x t)) (taylor -inf x) (#s(alt (/.f64 (neg.f64 x) t) (patch (/.f64 (neg.f64 x) t) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor -inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor -inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor -inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor -inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())

Calls

12 calls:

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

simplify22.0ms (0.5%)

Memory

18.2MiB live, 56.5MiB allocated

Algorithm

1×	egg-herbie

Rules

116×	`lower-*.f64`
116×	`lower-fma.f64`
116×	`lower-fma.f32`
116×	`lower-*.f32`
104×	`lower-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	1608
1	32	1608
2	58	1608
3	97	1608
4	137	1608
5	181	1608
6	213	1608
7	274	1608
8	313	1608
9	332	1608
10	333	1608
0	333	1608

Stop Event

1×	iter limit
1×	saturated

Counts

372 → 372

Calls

Call 1

Inputs
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(* -1 (/ x t))
(* -1 (/ x t))
(* -1 (/ x t))
(* -1 (/ x t))
(* -1 (/ (* t y) z))
(* -1 (/ (* t y) z))
(* -1 (/ (* t y) z))
(* -1 (/ (* t y) z))
(* -1 t)
(* -1 t)
(* -1 t)
(* -1 t)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(* -1 (/ x t))
(* -1 (/ x t))
(* -1 (/ x t))
(* -1 (/ x t))
(* -1 (/ (* t y) z))
(* -1 (/ (* t y) z))
(* -1 (/ (* t y) z))
(* -1 (/ (* t y) z))
(* -1 t)
(* -1 t)
(* -1 t)
(* -1 t)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(* -1 (/ x t))
(* -1 (/ x t))
(* -1 (/ x t))
(* -1 (/ x t))
(* -1 (/ (* t y) z))
(* -1 (/ (* t y) z))
(* -1 (/ (* t y) z))
(* -1 (/ (* t y) z))
(* -1 t)
(* -1 t)
(* -1 t)
(* -1 t)
(/ (* 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 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)
(/ z y)
(/ z y)
(/ z y)
(/ z y)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(* -1 (/ (* t y) z))
(* -1 (/ (* t y) z))
(* -1 (/ (* t y) z))
(* -1 (/ (* t 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 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)
(/ z y)
(/ z y)
(/ z y)
(/ z y)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(* -1 (/ (* t y) z))
(* -1 (/ (* t y) z))
(* -1 (/ (* t y) z))
(* -1 (/ (* t 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 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)
(/ z y)
(/ z y)
(/ z y)
(/ z y)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(* -1 (/ (* t y) z))
(* -1 (/ (* t y) z))
(* -1 (/ (* t y) z))
(* -1 (/ (* t 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)
(/ y z)
(/ y z)
(/ y z)
(/ y 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)
(* -1 (/ (* t y) z))
(* -1 (/ (* t y) z))
(* -1 (/ (* t y) z))
(* -1 (/ (* t 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)
(/ y z)
(/ y z)
(/ y z)
(/ y 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)
(* -1 (/ (* t y) z))
(* -1 (/ (* t y) z))
(* -1 (/ (* t y) z))
(* -1 (/ (* t 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)
(/ y z)
(/ y z)
(/ y z)
(/ y 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)
(* -1 (/ (* t y) z))
(* -1 (/ (* t y) z))
(* -1 (/ (* t y) z))
(* -1 (/ (* t 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 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) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(* -1 (/ x t))
(* -1 (/ x t))
(* -1 (/ x t))
(* -1 (/ x t))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)
(/ (* 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 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) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(* -1 (/ x t))
(* -1 (/ x t))
(* -1 (/ x t))
(* -1 (/ x t))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)
(/ (* 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 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) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(* -1 (/ x t))
(* -1 (/ x t))
(* -1 (/ x t))
(* -1 (/ x t))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)

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)
(* -1 (/ x t))
(/.f64 (neg.f64 x) t)
(* -1 (/ x t))
(/.f64 (neg.f64 x) t)
(* -1 (/ x t))
(/.f64 (neg.f64 x) t)
(* -1 (/ x t))
(/.f64 (neg.f64 x) t)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 t)
(neg.f64 t)
(* -1 t)
(neg.f64 t)
(* -1 t)
(neg.f64 t)
(* -1 t)
(neg.f64 t)
(/ (* 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 t))
(/.f64 (neg.f64 x) t)
(* -1 (/ x t))
(/.f64 (neg.f64 x) t)
(* -1 (/ x t))
(/.f64 (neg.f64 x) t)
(* -1 (/ x t))
(/.f64 (neg.f64 x) t)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 t)
(neg.f64 t)
(* -1 t)
(neg.f64 t)
(* -1 t)
(neg.f64 t)
(* -1 t)
(neg.f64 t)
(/ (* 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 t))
(/.f64 (neg.f64 x) t)
(* -1 (/ x t))
(/.f64 (neg.f64 x) t)
(* -1 (/ x t))
(/.f64 (neg.f64 x) t)
(* -1 (/ x t))
(/.f64 (neg.f64 x) t)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 t)
(neg.f64 t)
(* -1 t)
(neg.f64 t)
(* -1 t)
(neg.f64 t)
(* -1 t)
(neg.f64 t)
(/ (* 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 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)
(/ 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)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) 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)
(/ (* 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)
(/ 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)
(/ 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)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) 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)
(/ (* 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)
(/ 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)
(/ 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)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) 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)
(* 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)
(/ 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)
(/ 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)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) 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)
(* 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)
(/ 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)
(/ 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)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) 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)
(* 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)
(/ 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)
(/ 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)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) z) y)
(* -1 (/ (* t y) z))
(*.f64 (/.f64 (neg.f64 t) 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)
(* 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 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) 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 t))
(/.f64 (neg.f64 x) t)
(* -1 (/ x t))
(/.f64 (neg.f64 x) t)
(* -1 (/ x t))
(/.f64 (neg.f64 x) t)
(* -1 (/ x t))
(/.f64 (neg.f64 x) t)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 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)
(*.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 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) 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 t))
(/.f64 (neg.f64 x) t)
(* -1 (/ x t))
(/.f64 (neg.f64 x) t)
(* -1 (/ x t))
(/.f64 (neg.f64 x) t)
(* -1 (/ x t))
(/.f64 (neg.f64 x) t)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 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)
(*.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 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) 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 t))
(/.f64 (neg.f64 x) t)
(* -1 (/ x t))
(/.f64 (neg.f64 x) t)
(* -1 (/ x t))
(/.f64 (neg.f64 x) t)
(* -1 (/ x t))
(/.f64 (neg.f64 x) t)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)

rewrite167.0ms (4.1%)

Memory

-11.9MiB live, 266.1MiB allocated

Rules

3 682×	`lower-/.f32`
3 668×	`lower-/.f64`
3 260×	`lower-*.f32`
3 250×	`lower-*.f64`
1 418×	`lower--.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	57
0	32	51
1	89	51
2	466	51
3	4080	51
0	8323	51

Stop Event

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

Counts

13 → 1 960

Calls

Call 1

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

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>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval324.0ms (8%)

Memory: 53.4MiB live, 512.0MiB allocated
Compiler: Compiled 28 373 to 2 628 computations (90.7% saved)

prune71.0ms (1.8%)

Memory

-4.6MiB live, 154.3MiB allocated

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	2 331	1	2 332
Fresh	0	0	0
Picked	1	4	5
Done	0	0	0
Total	2 332	5	2 337

Accuracy

100.0%

Counts

2 337 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	95.3%	(/.f64 (*.f64 x y) z)
▶	88.1%	(/.f64 y (/.f64 z x))
✓	93.0%	(/.f64 x (/.f64 z y))
✓	92.5%	(*.f64 (/.f64 y z) x)
✓	88.9%	(*.f64 (/.f64 x z) y)

Compiler

Compiled 25 to 30 computations (-20% saved)

simplify4.0ms (0.1%)

Memory

3.1MiB live, 3.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(/.f64 z x)
cost-diff	0	(/.f64 y (/.f64 z x))

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	11
0	7	11
1	9	11
2	12	11
3	16	11
4	17	11
0	17	11

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize32.0ms (0.8%)

Memory

-23.1MiB live, 15.1MiB allocated

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
accuracy	0	(/.f64 z x)
accuracy	7.618854793122118	(/.f64 y (/.f64 z x))

Samples

28.0ms

256×

valid

Compiler

Compiled 13 to 8 computations (38.5% saved)

Precisions

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

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

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

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

series6.0ms (0.1%)

Memory

6.8MiB live, 6.8MiB allocated

Counts

2 → 60

Calls

Call 1

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

simplify4.0ms (0.1%)

Memory

3.7MiB live, 3.7MiB allocated

Algorithm

1×	egg-herbie

Rules

12×	`lower-*.f64`
12×	`lower-*.f32`
8×	`lower-/.f32`
8×	`lower-/.f64`
6×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	252
1	9	252
2	12	252
3	13	252
0	13	252

Stop Event

1×	iter limit
1×	saturated

Counts

60 → 60

Calls

Call 1

Inputs
(/ (* 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)
(/ z x)
(/ z x)
(/ z x)
(/ z x)
(/ (* 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)
(/ (* 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)
(/ z x)
(/ z x)
(/ z x)
(/ z x)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ (* x y) z)
(/ z x)
(/ z x)
(/ z x)
(/ z x)

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 x)
(/.f64 z x)
(/ z x)
(/.f64 z x)
(/ z x)
(/.f64 z x)
(/ z x)
(/.f64 z 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)
(/ z x)
(/.f64 z x)
(/ z x)
(/.f64 z x)
(/ z x)
(/.f64 z x)
(/ z x)
(/.f64 z 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)
(/ z x)
(/.f64 z x)
(/ z x)
(/.f64 z x)
(/ z x)
(/.f64 z x)
(/ z x)
(/.f64 z 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)
(/ (* 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)
(/ z x)
(/.f64 z x)
(/ z x)
(/.f64 z x)
(/ z x)
(/.f64 z x)
(/ z x)
(/.f64 z 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)
(/ z x)
(/.f64 z x)
(/ z x)
(/.f64 z x)
(/ z x)
(/.f64 z x)
(/ z x)
(/.f64 z 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)
(/ z x)
(/.f64 z x)
(/ z x)
(/.f64 z x)
(/ z x)
(/.f64 z x)
(/ z x)
(/.f64 z x)

rewrite92.0ms (2.3%)

Memory

12.9MiB live, 87.0MiB allocated

Rules

1 536×	`lower-*.f64`
1 536×	`lower-*.f32`
1 294×	`frac-times`
1 214×	`log-div`
1 138×	`lower-fma.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
0	7	8
1	24	8
2	120	8
3	666	8
4	4865	8
0	8513	8

Stop Event

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

Counts

2 → 231

Calls

Call 1

Inputs
(/.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>

eval33.0ms (0.8%)

Memory: -12.4MiB live, 60.5MiB allocated
Compiler: Compiled 2 874 to 567 computations (80.3% saved)

prune8.0ms (0.2%)

Memory

24.3MiB live, 24.3MiB allocated

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	291	0	291
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	291	5	296

Accuracy

100.0%

Counts

296 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	95.3%	(/.f64 (*.f64 x y) z)
✓	88.1%	(/.f64 y (/.f64 z x))
✓	93.0%	(/.f64 x (/.f64 z y))
✓	92.5%	(*.f64 (/.f64 y z) x)
✓	88.9%	(*.f64 (/.f64 x z) y)

Compiler

Compiled 70 to 53 computations (24.3% saved)

regimes37.0ms (0.9%)

Memory

-12.3MiB live, 26.0MiB allocated

Counts

7 → 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 x (/.f64 (.f64 (/.f64 y z) t) t))
(.f64 (/.f64 (neg.f64 x) t) (.f64 (/.f64 (neg.f64 t) z) y))

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

Calls

7 calls:

20.0ms	(/.f64 (*.f64 (/.f64 y z) t) t)
3.0ms	x
3.0ms	t
3.0ms	y
3.0ms	z

Results

Accuracy	Segments	Branch
97.4%	2	`x`
97.6%	2	`y`
99.8%	2	`z`
95.3%	1	`t`
99.8%	2	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`
99.8%	2	`(/.f64 (*.f64 (/.f64 y z) t) t)`
99.8%	2	`(/.f64 y z)`

Compiler

Compiled 23 to 36 computations (-56.5% saved)

regimes6.0ms (0.2%)

Memory

8.6MiB live, 8.6MiB 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 z) y)

Calls

3 calls:

2.0ms	(/.f64 y z)
2.0ms	(/.f64 (*.f64 (/.f64 y z) t) t)
2.0ms	(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))

Results

Accuracy	Segments	Branch
99.8%	2	`(/.f64 (*.f64 (/.f64 y z) t) t)`
99.8%	2	`(/.f64 y z)`
99.8%	2	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`

Compiler

Compiled 19 to 20 computations (-5.3% saved)

regimes25.0ms (0.6%)

Memory

-49.0MiB live, 18.3MiB 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:

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

Results

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

Compiler

Compiled 23 to 36 computations (-56.5% saved)

bsearch0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	2.2937925280459365e-63	3.2463275395281686e-63

Compiler

Compiled 12 to 15 computations (-25% saved)

bsearch0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	1.3309375383669246e+281	+inf

Compiler

Compiled 12 to 15 computations (-25% saved)

simplify26.0ms (0.6%)

Memory

-1.0MiB live, 36.4MiB allocated

Algorithm

1×	egg-herbie

Rules

8×	`-commutative-binary64-.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	49
1	25	49

Stop Event

1×

saturated

Calls

Call 1

Inputs

(if (<=.f64 (*.f64 x (/.f64 (*.f64 (/.f64 y z) t) t)) #s(literal 5558020283391177/1852673427797059126777135760139006525652319754650249024631321344126610074238976 binary64)) (/.f64 x (/.f64 z y)) (/.f64 y (/.f64 z x)))

(if (<=.f64 (*.f64 x (/.f64 (*.f64 (/.f64 y z) t) t)) #s(literal 200000000000000006556449196572419649714141056604298712852666715488188520639474867185586875734482358610763499516364830163740326935382139139198798220258608504224955760849124013163054654471029919298065709782502060125818520278488967130426189712965200924415757135362171021140252940042240 binary64)) (*.f64 (/.f64 y z) x) (*.f64 (/.f64 x z) y))

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

Outputs
(if (<=.f64 (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #s(literal 5558020283391177/1852673427797059126777135760139006525652319754650249024631321344126610074238976 binary64)) (/.f64 x (/.f64 z y)) (/.f64 y (/.f64 z x)))
(if (<=.f64 (.f64 (/.f64 (.f64 t (/.f64 y z)) t) x) #s(literal 5558020283391177/1852673427797059126777135760139006525652319754650249024631321344126610074238976 binary64)) (/.f64 x (/.f64 z y)) (/.f64 y (/.f64 z x)))
(if (<=.f64 (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #s(literal 200000000000000006556449196572419649714141056604298712852666715488188520639474867185586875734482358610763499516364830163740326935382139139198798220258608504224955760849124013163054654471029919298065709782502060125818520278488967130426189712965200924415757135362171021140252940042240 binary64)) (.f64 (/.f64 y z) x) (.f64 (/.f64 x z) y))
(if (<=.f64 (.f64 (/.f64 (.f64 t (/.f64 y z)) t) x) #s(literal 200000000000000006556449196572419649714141056604298712852666715488188520639474867185586875734482358610763499516364830163740326935382139139198798220258608504224955760849124013163054654471029919298065709782502060125818520278488967130426189712965200924415757135362171021140252940042240 binary64)) (.f64 (/.f64 y z) x) (.f64 (/.f64 x z) y))
(*.f64 (/.f64 x z) y)

soundness311.0ms (7.7%)

Memory

14.0MiB live, 325.3MiB allocated

Rules

3 682×	`lower-/.f32`
3 668×	`lower-/.f64`
3 260×	`lower-*.f32`
3 250×	`lower-*.f64`
2 246×	`lower-*.f32`

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	18	57
0	32	51
1	89	51
2	466	51
3	4080	51
0	8323	51

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 129 to 78 computations (39.5% saved)

preprocess628.0ms (15.5%)

Memory: 14.8MiB live, 505.0MiB allocated
Remove: (abs t)
Compiler: Compiled 642 to 376 computations (41.4% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze140.0ms (3.5%)

sample1.0s (25.7%)

explain86.0ms (2.1%)

preprocess230.0ms (5.7%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify146.0ms (3.6%)

localize22.0ms (0.5%)

series17.0ms (0.4%)

simplify10.0ms (0.2%)

rewrite135.0ms (3.3%)

eval65.0ms (1.6%)

prune120.0ms (2.9%)

simplify106.0ms (2.6%)

localize115.0ms (2.8%)

series29.0ms (0.7%)

simplify22.0ms (0.5%)

rewrite167.0ms (4.1%)

eval324.0ms (8%)

prune71.0ms (1.8%)

simplify4.0ms (0.1%)

localize32.0ms (0.8%)

series6.0ms (0.1%)

simplify4.0ms (0.1%)

rewrite92.0ms (2.3%)

eval33.0ms (0.8%)

prune8.0ms (0.2%)

regimes37.0ms (0.9%)

regimes6.0ms (0.2%)

regimes25.0ms (0.6%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

simplify26.0ms (0.6%)

soundness311.0ms (7.7%)

preprocess628.0ms (15.5%)

end0.0ms (0%)

Profiling