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

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze147.0ms (3.1%)

Memory

22.7MiB live, 339.6MiB 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.8s (37.6%)

Memory

-18.2MiB live, 1 087.1MiB allocated

Samples

1.0s

8 256×

valid

Precisions

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

ival-div: 467.0ms (76.5% of total)

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

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

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

Bogosity

explain253.0ms (5.4%)

Memory

26.2MiB live, 102.7MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
39	1	(6.033028967582573e+137 8.65578927092015e-186 1.0701553322668734e+138 2.5415249189850427e-162)	4	(-5.470309273907486e-134 -4.213376186877367e+28 -3.7584561611500017e+239 6.219664602848759e-101)	`(/.f64 (*.f64 (/.f64 y z) t) t)`
29	0	-	2	(-1.2042689086481331e+190 3.298942203594747e-78 -7.23811612267951e+233 -1.750034091893457e+230)	`(*.f64 (/.f64 y z) t)`
21	0	-	2	(6.033028967582573e+137 8.65578927092015e-186 1.0701553322668734e+138 2.5415249189850427e-162)	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) 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	19	0
↳	`(*.f64 (/.f64 y z) t)`	overflow	40
↳	`(/.f64 y z)`	overflow	31
`*.f64`	`(*.f64 (/.f64 y z) t)`	*nu**	17	0
`/.f64`	`(/.f64 (*.f64 (/.f64 y z) t) t)`	u/n	17	0
↳	`(*.f64 (/.f64 y z) t)`	underflow	29
↳	`(/.f64 y z)`	underflow	29
`*.f64`	`(*.f64 (/.f64 y z) t)`	*no**	10	0
`*.f64`	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`	*nu**	10	0
`*.f64`	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`	*no**	9	0

Confusion

	Predicted +	Predicted -
+	43	2
-	31	180

Precision

0.581081081081081

Recall

0.9555555555555556

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	43	0	2
-	31	0	180

Precision?

0.581081081081081

Recall?

0.9555555555555556

Freqs

test

number	freq
0	182
1	66
2	8

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

118.0ms

512×

valid

Compiler

Compiled 97 to 36 computations (62.9% saved)

Precisions

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

ival-div: 95.0ms (93% of total)

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

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

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

preprocess315.0ms (6.8%)

Memory

-41.9MiB live, 142.2MiB allocated

Algorithm

1×	egg-herbie

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.3MiB live, 1.3MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 9 to 8 computations (11.1% saved)

simplify306.0ms (6.5%)

Memory

30.1MiB live, 181.2MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	28
0	12	24
1	20	22
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

localize38.0ms (0.8%)

Memory

-20.2MiB live, 101.6MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(/.f64 y z)
accuracy	5.531544707260209	(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))
accuracy	5.569643924812452	(*.f64 (/.f64 y z) t)
accuracy	7.679079781545738	(/.f64 (*.f64 (/.f64 y z) t) t)

Samples

29.0ms

256×

valid

Compiler

Compiled 58 to 18 computations (69% saved)

Precisions

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

ival-div: 17.0ms (79.6% of total)

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

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

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

series16.0ms (0.3%)

Memory

8.8MiB live, 47.4MiB allocated

Counts

4 → 144

Calls

Call 1

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

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

Calls

12 calls:

Time	Variable		Point	Expression
3.0ms	y	@	0	((/ (* (/ 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))

simplify5.0ms (0.1%)

Memory

18.6MiB live, 18.6MiB allocated

Algorithm

1×	egg-herbie

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

rewrite166.0ms (3.6%)

Memory

-31.8MiB live, 163.7MiB allocated

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	24
0	12	20
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>

eval71.0ms (1.5%)

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

prune24.0ms (0.5%)

Memory

-11.1MiB live, 69.7MiB allocated

Pruning

8 alts after pruning (7 fresh and 1 done)

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

Accuracy

100.0%

Counts

545 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
	94.0%	(/.f64 (/.f64 (neg.f64 x) z) (/.f64 #s(literal -1 binary64) y))
▶	93.2%	(/.f64 (*.f64 x y) z)
▶	91.6%	(/.f64 x (/.f64 z y))
▶	91.4%	(*.f64 (/.f64 y z) x)
▶	94.1%	(*.f64 (/.f64 x z) y)
▶	93.1%	(.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x))
	74.2%	(.f64 (.f64 (/.f64 (/.f64 y z) t) x) t)
✓	83.8%	(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))

Compiler

Compiled 99 to 108 computations (-9.1% saved)

simplify35.0ms (0.7%)

Memory

8.0MiB live, 47.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 12 expressions of interest:

New	Metric	Score
cost-diff	0	(neg.f64 y)
cost-diff	0	(*.f64 (neg.f64 y) x)
cost-diff	0	(/.f64 #s(literal -1 binary64) z)
cost-diff	448	(.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x))
cost-diff	0	(/.f64 z y)
cost-diff	384	(/.f64 x (/.f64 z y))
cost-diff	0	(*.f64 x y)
cost-diff	0	(/.f64 (*.f64 x y) z)
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)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	65
0	28	62
1	43	62
2	77	62
3	190	62
4	358	62
5	508	62
6	693	62
7	1450	62
8	1875	62
9	1953	62
10	1967	62
11	1979	62
0	1979	62

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize50.0ms (1.1%)

Memory

5.8MiB live, 125.7MiB allocated

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	0	(/.f64 #s(literal -1 binary64) z)
accuracy	0	(*.f64 (neg.f64 y) x)
accuracy	0	(neg.f64 y)
accuracy	4.397847937829235	(.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x))
accuracy	0	(/.f64 z y)
accuracy	5.390086997896597	(/.f64 x (/.f64 z y))
accuracy	0	(*.f64 x y)
accuracy	4.347066687829235	(/.f64 (*.f64 x y) z)
accuracy	0	(/.f64 y z)
accuracy	5.531544707260209	(*.f64 (/.f64 y z) x)
accuracy	0	(/.f64 x z)
accuracy	3.787875438924596	(*.f64 (/.f64 x z) y)

Samples

38.0ms

256×

valid

Compiler

Compiled 132 to 36 computations (72.7% saved)

Precisions

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

ival-div: 11.0ms (55.2% of total)

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

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

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

exact: 0.0ms (0% of total)

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

series43.0ms (0.9%)

Memory

2.8MiB live, 41.8MiB allocated

Counts

12 → 324

Calls

Call 1

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

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

Calls

9 calls:

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

simplify41.0ms (0.9%)

Memory

-8.2MiB live, 30.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	iter limit
1×	saturated

Counts

324 → 324

Calls

Call 1

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

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

rewrite112.0ms (2.4%)

Memory

19.9MiB live, 221.4MiB allocated

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	16	49
0	28	45
1	72	45
2	286	45
3	1420	45
4	6105	44
0	8215	44

Stop Event

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

Counts

12 → 1 181

Calls

Call 1

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

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

eval201.0ms (4.3%)

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

prune62.0ms (1.3%)

Memory

-6.3MiB live, 150.5MiB allocated

Pruning

8 alts after pruning (2 fresh and 6 done)

	Pruned	Kept	Total
New	1 503	2	1 505
Fresh	2	0	2
Picked	0	5	5
Done	0	1	1
Total	1 505	8	1 513

Accuracy

100.0%

Counts

1 513 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	62.6%	(/.f64 (.f64 (.f64 y y) x) (*.f64 y z))
✓	93.2%	(/.f64 (*.f64 x y) z)
▶	92.9%	(/.f64 y (/.f64 z x))
✓	91.6%	(/.f64 x (/.f64 z y))
✓	91.4%	(*.f64 (/.f64 y z) x)
✓	94.1%	(*.f64 (/.f64 x z) y)
✓	93.1%	(.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x))
✓	83.8%	(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))

Compiler

Compiled 51 to 55 computations (-7.8% saved)

simplify180.0ms (3.9%)

Memory

3.0MiB live, 130.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 6 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	34
0	15	30
1	28	30
2	61	30
3	115	30
4	142	30
5	446	30
6	1371	30
7	2364	30
8	2701	30
9	2864	30
10	3136	30
11	3543	30
12	4841	30
13	5391	30
14	6168	30
15	6506	30
16	6659	30
17	6734	30
18	6802	30
19	6866	30
20	7622	30
0	8073	30

Stop Event

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

Calls

Call 1

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

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

localize46.0ms (1%)

Memory

-4.8MiB live, 75.3MiB allocated

Localize:

Found 6 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 y z)
accuracy	0	(*.f64 y y)
accuracy	8.0393226258397	(.f64 (.f64 y y) x)
accuracy	17.61452395599244	(/.f64 (.f64 (.f64 y y) x) (*.f64 y z))
accuracy	0	(/.f64 z x)
accuracy	4.5262938381557865	(/.f64 y (/.f64 z x))

Samples

24.0ms

256×

valid

Compiler

Compiled 70 to 22 computations (68.6% saved)

Precisions

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

ival-div: 5.0ms (51.8% of total)

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

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

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

series16.0ms (0.3%)

Memory

0.1MiB live, 38.0MiB allocated

Counts

6 → 156

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

Calls

9 calls:

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

simplify5.0ms (0.1%)

Memory

11.2MiB live, 11.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	660
1	16	660
2	21	660
3	22	660
0	22	660

Stop Event

1×	iter limit
1×	saturated

Counts

156 → 156

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

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

rewrite105.0ms (2.3%)

Memory

-27.7MiB live, 91.8MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	28
0	15	24
1	51	24
2	268	24
3	1737	24
4	7209	24
0	8010	24

Stop Event

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

Counts

6 → 467

Calls

Call 1

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

eval74.0ms (1.6%)

Memory: 19.6MiB live, 176.7MiB allocated
Compiler: Compiled 6 959 to 881 computations (87.3% saved)

prune19.0ms (0.4%)

Memory

-12.8MiB live, 65.7MiB allocated

Pruning

8 alts after pruning (0 fresh and 8 done)

	Pruned	Kept	Total
New	623	0	623
Fresh	0	0	0
Picked	0	2	2
Done	0	6	6
Total	623	8	631

Accuracy

100.0%

Counts

631 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	62.6%	(/.f64 (.f64 (.f64 y y) x) (*.f64 y z))
✓	93.2%	(/.f64 (*.f64 x y) z)
✓	92.9%	(/.f64 y (/.f64 z x))
✓	91.6%	(/.f64 x (/.f64 z y))
✓	91.4%	(*.f64 (/.f64 y z) x)
✓	94.1%	(*.f64 (/.f64 x z) y)
✓	93.1%	(.f64 (/.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 y) x))
✓	83.8%	(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))

Compiler

Compiled 119 to 88 computations (26.1% saved)

regimes25.0ms (0.5%)

Memory

16.0MiB live, 55.4MiB allocated

Counts

10 → 2

Calls

Call 1

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

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

Calls

7 calls:

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

Results

Accuracy	Segments	Branch
96.1%	2	`x`
96.9%	2	`y`
99.7%	2	`z`
94.1%	1	`t`
99.4%	2	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`
99.4%	2	`(/.f64 (*.f64 (/.f64 y z) t) t)`
99.7%	2	`(/.f64 y z)`

Compiler

Compiled 23 to 36 computations (-56.5% saved)

regimes3.0ms (0.1%)

Memory

6.5MiB live, 6.5MiB allocated

Counts

2 → 2

Calls

Call 1

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

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

Calls

2 calls:

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

Results

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

Compiler

Compiled 4 to 9 computations (-125% saved)

regimes20.0ms (0.4%)

Memory

-41.3MiB live, 21.8MiB 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	y
1.0ms	x
1.0ms	t
1.0ms	z
1.0ms	(/.f64 y z)

Results

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

Compiler

Compiled 23 to 36 computations (-56.5% saved)

bsearch0.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	4.6423433390298704e+196	3.422194503505158e+198

Compiler

Compiled 12 to 15 computations (-25% saved)

bsearch9.0ms (0.2%)

Memory

14.7MiB live, 14.7MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
8.0ms	5.0946749127707895e-14	4.1525517006602227e-13

Samples

5.0ms

96×

valid

Compiler

Compiled 72 to 99 computations (-37.5% saved)

Precisions

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

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

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

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

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

simplify23.0ms (0.5%)

Memory

11.7MiB live, 51.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	35
1	18	35

Stop Event

1×

saturated

Calls

Call 1

Inputs

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

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

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

Outputs
(if (<=.f64 (/.f64 y z) #s(literal 49999999999999997557164623196175660266945802305931083497332919452867558618749795916391939445861701140479377243835691283534741266252762465463178679631382269968851832691867125003886182691145431121920 binary64)) (.f64 (/.f64 y z) x) (/.f64 (.f64 x y) z))
(if (<=.f64 (/.f64 y z) #s(literal 49999999999999997557164623196175660266945802305931083497332919452867558618749795916391939445861701140479377243835691283534741266252762465463178679631382269968851832691867125003886182691145431121920 binary64)) (.f64 x (/.f64 y z)) (/.f64 (.f64 x y) z))
(if (<=.f64 z #s(literal 6338253001141147/19807040628566084398385987584 binary64)) (.f64 (/.f64 x z) y) (.f64 (/.f64 y z) x))
(if (<=.f64 z #s(literal 6338253001141147/19807040628566084398385987584 binary64)) (.f64 (/.f64 x z) y) (.f64 x (/.f64 y z)))
(*.f64 (/.f64 x z) y)

soundness170.0ms (3.6%)

Memory

6.7MiB live, 125.3MiB allocated

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

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

Compiler

Compiled 105 to 64 computations (39% saved)

preprocess330.0ms (7.1%)

Memory: 6.1MiB live, 353.6MiB allocated
Remove: (abs t)
Compiler: Compiled 506 to 294 computations (41.9% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze147.0ms (3.1%)

sample1.8s (37.6%)

explain253.0ms (5.4%)

preprocess315.0ms (6.8%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify306.0ms (6.5%)

localize38.0ms (0.8%)

series16.0ms (0.3%)

simplify5.0ms (0.1%)

rewrite166.0ms (3.6%)

eval71.0ms (1.5%)

prune24.0ms (0.5%)

simplify35.0ms (0.7%)

localize50.0ms (1.1%)

series43.0ms (0.9%)

simplify41.0ms (0.9%)

rewrite112.0ms (2.4%)

eval201.0ms (4.3%)

prune62.0ms (1.3%)

simplify180.0ms (3.9%)

localize46.0ms (1%)

series16.0ms (0.3%)

simplify5.0ms (0.1%)

rewrite105.0ms (2.3%)

eval74.0ms (1.6%)

prune19.0ms (0.4%)

regimes25.0ms (0.5%)

regimes3.0ms (0.1%)

regimes20.0ms (0.4%)

bsearch0.0ms (0%)

bsearch9.0ms (0.2%)

simplify23.0ms (0.5%)

soundness170.0ms (3.6%)

preprocess330.0ms (7.1%)

end0.0ms (0%)

Profiling