Metrics for Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, D

analyze424.0ms (6.1%)

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
0%	0%	99.8%	0.2%	0%	0%	0%	5
0%	0%	99.8%	0.2%	0%	0%	0%	6
0%	0%	99.8%	0.2%	0%	0%	0%	7
0%	0%	99.8%	0.2%	0%	0%	0%	8
4.2%	3.1%	71.7%	0.2%	0%	25%	0%	9
4.2%	3.1%	71.3%	0.2%	0%	25.3%	0%	10
6.3%	4.7%	69.2%	0.2%	0%	25.9%	0%	11
9.2%	6.6%	65.8%	0.2%	0%	27.4%	0%	12

Compiler

Compiled 24 to 19 computations (20.8% saved)

Precisions

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

ival-mult: 100.0ms (45.6% of total)

ival-div: 69.0ms (31.5% of total)

ival-sqrt: 22.0ms (10% of total)

ival-acos: 21.0ms (9.6% of total)

const: 6.0ms (2.7% of total)

backward-pass: 1.0ms (0.5% of total)

sample5.5s (79.4%)

Results

2.9s	15364×	0	invalid
1.2s	8256×	0	valid

Precisions

Click to see histograms. Total time spent on operations: 3.1s

ival-mult: 1.5s (49.3% of total)

ival-div: 694.0ms (22.3% of total)

ival-acos: 599.0ms (19.2% of total)

ival-sqrt: 210.0ms (6.7% of total)

const: 65.0ms (2.1% of total)

backward-pass: 9.0ms (0.3% of total)

Bogosity

preprocess174.0ms (2.5%)

Algorithm

2×	egg-herbie

Rules

2044×	`-lowering-.f32`
2044×	`-lowering-.f64`
1430×	`associate-*r/`
1168×	`associate-r`
1118×	`associate-l`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	92	263
1	281	227
2	988	197
3	3692	197
4	4350	197
5	5170	197
6	6243	197
0	19	17
1	39	15
2	117	13
3	392	13
4	1386	13
5	3148	13
6	3240	13
7	3290	13
8	3290	13
9	3290	13
10	3913	13
11	3952	13
12	3952	13
0	3952	13

Stop Event

1×	iter limit
1×	saturated
1×	node limit

Calls

Call 1

Inputs
(* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))))

Outputs
(* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 (*.f64 x (sqrt.f64 t)) z) y))))

Call 2

Inputs
(* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))))
(* (/ 1 3) (acos (* (/ (* 3 (/ (neg x) (* y 27))) (* z 2)) (sqrt t))))
(* (/ 1 3) (acos (* (/ (* 3 (/ x (* (neg y) 27))) (* z 2)) (sqrt t))))
(* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* (neg z) 2)) (sqrt t))))
(* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt (neg t)))))
(neg (* (/ 1 3) (acos (* (/ (* 3 (/ (neg x) (* y 27))) (* z 2)) (sqrt t)))))
(neg (* (/ 1 3) (acos (* (/ (* 3 (/ x (* (neg y) 27))) (* z 2)) (sqrt t)))))
(neg (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* (neg z) 2)) (sqrt t)))))
(neg (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt (neg t))))))
(* (/ 1 3) (acos (* (/ (* 3 (/ y (* x 27))) (* z 2)) (sqrt t))))
(* (/ 1 3) (acos (* (/ (* 3 (/ z (* y 27))) (* x 2)) (sqrt t))))
(* (/ 1 3) (acos (* (/ (* 3 (/ t (* y 27))) (* z 2)) (sqrt x))))
(* (/ 1 3) (acos (* (/ (* 3 (/ x (* z 27))) (* y 2)) (sqrt t))))
(* (/ 1 3) (acos (* (/ (* 3 (/ x (* t 27))) (* z 2)) (sqrt y))))
(* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* t 2)) (sqrt z))))

Outputs
(* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))))
(* 1/3 (acos (* (* 1/18 (/ (/ x y) z)) (sqrt t))))
(* (/ 1 3) (acos (* (/ (* 3 (/ (neg x) (* y 27))) (* z 2)) (sqrt t))))
(* 1/3 (acos (* (sqrt t) (* -1/18 (/ (/ x y) z)))))
(* (/ 1 3) (acos (* (/ (* 3 (/ x (* (neg y) 27))) (* z 2)) (sqrt t))))
(* 1/3 (acos (* (sqrt t) (* -1/18 (/ (/ x y) z)))))
(* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* (neg z) 2)) (sqrt t))))
(* 1/3 (acos (* (sqrt t) (* -1/18 (/ (/ x y) z)))))
(* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt (neg t)))))
(* 1/3 (acos (* (* 1/18 (/ (/ x y) z)) (sqrt (neg t)))))
(neg (* (/ 1 3) (acos (* (/ (* 3 (/ (neg x) (* y 27))) (* z 2)) (sqrt t)))))
(* (acos (* (sqrt t) (* -1/18 (/ (/ x y) z)))) -1/3)
(neg (* (/ 1 3) (acos (* (/ (* 3 (/ x (* (neg y) 27))) (* z 2)) (sqrt t)))))
(* (acos (* (sqrt t) (* -1/18 (/ (/ x y) z)))) -1/3)
(neg (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* (neg z) 2)) (sqrt t)))))
(* (acos (* (sqrt t) (* -1/18 (/ (/ x y) z)))) -1/3)
(neg (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt (neg t))))))
(* (acos (* (* 1/18 (/ (/ x y) z)) (sqrt (neg t)))) -1/3)
(* (/ 1 3) (acos (* (/ (* 3 (/ y (* x 27))) (* z 2)) (sqrt t))))
(* 1/3 (acos (* (sqrt t) (* 1/18 (/ (/ y x) z)))))
(* (/ 1 3) (acos (* (/ (* 3 (/ z (* y 27))) (* x 2)) (sqrt t))))
(* 1/3 (acos (* (sqrt t) (* 1/18 (/ (/ z y) x)))))
(* (/ 1 3) (acos (* (/ (* 3 (/ t (* y 27))) (* z 2)) (sqrt x))))
(* 1/3 (acos (* (* 1/18 (/ (/ t y) z)) (sqrt x))))
(* (/ 1 3) (acos (* (/ (* 3 (/ x (* z 27))) (* y 2)) (sqrt t))))
(* 1/3 (acos (* (* 1/18 (/ (/ x y) z)) (sqrt t))))
(* (/ 1 3) (acos (* (/ (* 3 (/ x (* t 27))) (* z 2)) (sqrt y))))
(* 1/3 (acos (* (* 1/18 (/ (/ x t) z)) (sqrt y))))
(* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* t 2)) (sqrt z))))
(* 1/3 (acos (* (* 1/18 (/ (/ x y) t)) (sqrt z))))

Symmetry

(sort y z)

explain169.0ms (2.4%)

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
24	-	3	(-1.3626354525324258e-151 -1.3602668826128246e+162 -9.384257496898717e-74 6.80943967483659e-200)	`(/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64)))`
12	-	0	-	`(.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (.f64 z #s(literal 2 binary64))) (sqrt.f64 t))`
1	-	0	-	`(/.f64 x (*.f64 y #s(literal 27 binary64)))`
0	-	0	-	`x`
0	-	0	-	`(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))`
0	-	0	-	`(sqrt.f64 t)`
0	-	0	-	`(*.f64 z #s(literal 2 binary64))`
0	-	0	-	`#s(literal 2 binary64)`
0	-	0	-	`(acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (.f64 z #s(literal 2 binary64))) (sqrt.f64 t)))`
0	-	0	-	`z`
0	-	0	-	`(/.f64 #s(literal 1 binary64) #s(literal 3 binary64))`
0	-	0	-	`#s(literal 27 binary64)`
0	-	0	-	`y`
0	-	0	-	`(*.f64 y #s(literal 27 binary64))`
0	-	0	-	`(.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64))))`
0	-	0	-	`#s(literal 1 binary64)`
0	-	0	-	`#s(literal 3 binary64)`
0	-	0	-	`t`

Results

106.0ms

512×

valid

Compiler

Compiled 213 to 56 computations (73.7% saved)

Precisions

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

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

ival-div: 12.0ms (30.2% of total)

ival-acos: 5.0ms (12.6% of total)

ival-sqrt: 4.0ms (10.1% of total)

const: 1.0ms (2.5% of total)

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

eval0.0ms (0%)

Compiler: Compiled 17 to 13 computations (23.5% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	97.7%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
▶	97.3%	(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 (*.f64 x (sqrt.f64 t)) z) y))))

Status

Accuracy

Program

▶

97.7%

(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))

▶

97.3%

(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 (*.f64 x (sqrt.f64 t)) z) y))))

Compiler

Compiled 40 to 31 computations (22.5% saved)

localize276.0ms (4%)

Algorithm

1×	egg-herbie

Localize:

Found 16 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	256	(/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64)))
✓	cost-diff	256	(.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (.f64 z #s(literal 2 binary64))) (sqrt.f64 t))
✓	cost-diff	256	(acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (.f64 z #s(literal 2 binary64))) (sqrt.f64 t)))
✓	cost-diff	384	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
✓	cost-diff	0	(.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 (.f64 x (sqrt.f64 t)) z) y))
✓	cost-diff	0	(acos.f64 (.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 (.f64 x (sqrt.f64 t)) z) y)))
✓	cost-diff	0	#s(literal 1/3 binary64)
✓	cost-diff	0	(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 (*.f64 x (sqrt.f64 t)) z) y))))
✓	accuracy	99.4%	(/.f64 x (*.f64 y #s(literal 27 binary64)))
✓	accuracy	98.5%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
✓	accuracy	95.6%	(.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (.f64 z #s(literal 2 binary64))) (sqrt.f64 t))
✓	accuracy	91.7%	(/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64)))
✓	accuracy	99.6%	(.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 (.f64 x (sqrt.f64 t)) z) y))
✓	accuracy	98.5%	(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 (*.f64 x (sqrt.f64 t)) z) y))))
✓	accuracy	94.6%	(/.f64 (*.f64 x (sqrt.f64 t)) z)
✓	accuracy	90.8%	(/.f64 (/.f64 (*.f64 x (sqrt.f64 t)) z) y)

Rules

2044×	`-lowering-.f32`
2044×	`-lowering-.f64`
1186×	`associate-*l/`
1120×	`associate-r`
1096×	`associate-l`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	26	128
1	55	124
2	156	122
3	482	122
4	1540	122
5	3040	122
6	3079	122
7	3098	122
8	3098	122
9	3098	122
10	3658	122
11	3674	122
12	3674	122
0	3674	122

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(* 1/3 (acos (* 1/18 (/ (/ (* x (sqrt t)) z) y))))
1/3
(acos (* 1/18 (/ (/ (* x (sqrt t)) z) y)))
(* 1/18 (/ (/ (* x (sqrt t)) z) y))
1/18
(/ (/ (* x (sqrt t)) z) y)
(/ (* x (sqrt t)) z)
(* x (sqrt t))
x
(sqrt t)
t
z
y
(* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))))
(/ 1 3)
1
3
(acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))
(* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))
(/ (* 3 (/ x (* y 27))) (* z 2))
(* 3 (/ x (* y 27)))
(/ x (* y 27))
(* y 27)
27
(* z 2)
2

Outputs
(* 1/3 (acos (* 1/18 (/ (/ (* x (sqrt t)) z) y))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 (*.f64 x (sqrt.f64 t)) z) y))))
1/3
#s(literal 1/3 binary64)
(acos (* 1/18 (/ (/ (* x (sqrt t)) z) y)))
(acos.f64 (.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 (.f64 x (sqrt.f64 t)) z) y)))
(* 1/18 (/ (/ (* x (sqrt t)) z) y))
(.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 (.f64 x (sqrt.f64 t)) z) y))
1/18
#s(literal 1/18 binary64)
(/ (/ (* x (sqrt t)) z) y)
(/.f64 (/.f64 (*.f64 x (sqrt.f64 t)) z) y)
(/ (* x (sqrt t)) z)
(/.f64 (*.f64 x (sqrt.f64 t)) z)
(* x (sqrt t))
(*.f64 x (sqrt.f64 t))
x
(sqrt t)
(sqrt.f64 t)
t
z
y
(* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 (*.f64 x (sqrt.f64 t)) z) y))))
(/ 1 3)
#s(literal 1/3 binary64)
1
#s(literal 1 binary64)
3
#s(literal 3 binary64)
(acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))
(acos.f64 (.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 (.f64 x (sqrt.f64 t)) z) y)))
(* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))
(.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 (.f64 x (sqrt.f64 t)) z) y))
(/ (* 3 (/ x (* y 27))) (* z 2))
(/.f64 (*.f64 #s(literal 1/18 binary64) (/.f64 x y)) z)
(* 3 (/ x (* y 27)))
(*.f64 x (/.f64 #s(literal 1/9 binary64) y))
(/ x (* y 27))
(/.f64 x (*.f64 y #s(literal 27 binary64)))
(* y 27)
(*.f64 y #s(literal 27 binary64))
27
#s(literal 27 binary64)
(* z 2)
(*.f64 z #s(literal 2 binary64))
2
#s(literal 2 binary64)

Results

77.0ms

256×

valid

Compiler

Compiled 155 to 27 computations (82.6% saved)

Precisions

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

ival-mult: 13.0ms (42.3% of total)

ival-div: 9.0ms (29.3% of total)

ival-acos: 5.0ms (16.3% of total)

ival-sqrt: 2.0ms (6.5% of total)

const: 1.0ms (3.3% of total)

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

series139.0ms (2%)

Counts

11 → 432

Calls

Call 1

Inputs
#<alt (/ (/ (* x (sqrt t)) z) y)>
#<alt (/ (* x (sqrt t)) z)>
#<alt (* 1/3 (acos (* 1/18 (/ (/ (* x (sqrt t)) z) y))))>
#<alt (* 1/18 (/ (/ (* x (sqrt t)) z) y))>
#<alt (/ (* 3 (/ x (* y 27))) (* z 2))>
#<alt (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))>
#<alt (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))))>
#<alt (/ x (* y 27))>
#<alt 1/3>
#<alt (acos (* 1/18 (/ (/ (* x (sqrt t)) z) y)))>
#<alt (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))>

Outputs
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* -1 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))>
#<alt (* -1 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))>
#<alt (* -1 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))>
#<alt (* -1 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x (* y z)))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* -1 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) z)))>
#<alt (* -1 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) z)))>
#<alt (* -1 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) z)))>
#<alt (* -1 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) z)))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* (sqrt t) (/ x z))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))>
#<alt (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))>
#<alt (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))>
#<alt (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (/ x (* y z)))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* 1/18 (* (sqrt t) (/ x (* y z))))>
#<alt (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))>
#<alt (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))>
#<alt (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))>
#<alt (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))>
#<alt (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))>
#<alt (* 1/27 (/ x y))>
#<alt (* 1/27 (/ x y))>
#<alt (* 1/27 (/ x y))>
#<alt (* 1/27 (/ x y))>
#<alt (* 1/27 (/ x y))>
#<alt (* 1/27 (/ x y))>
#<alt (* 1/27 (/ x y))>
#<alt (* 1/27 (/ x y))>
#<alt (* 1/27 (/ x y))>
#<alt (* 1/27 (/ x y))>
#<alt (* 1/27 (/ x y))>
#<alt (* 1/27 (/ x y))>
#<alt (* 1/27 (/ x y))>
#<alt (* 1/27 (/ x y))>
#<alt (* 1/27 (/ x y))>
#<alt (* 1/27 (/ x y))>
#<alt (* 1/27 (/ x y))>
#<alt (* 1/27 (/ x y))>
#<alt (* 1/27 (/ x y))>
#<alt (* 1/27 (/ x y))>
#<alt (* 1/27 (/ x y))>
#<alt (* 1/27 (/ x y))>
#<alt (* 1/27 (/ x y))>
#<alt (* 1/27 (/ x y))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))>
#<alt (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))>

Calls

108 calls:

Time	Variable		Point	Expression
91.0ms	z	@	0	(/ (* x (sqrt t)) z)
3.0ms	y	@	0	(/ (* 3 (/ x (* y 27))) (* z 2))
2.0ms	x	@	-inf	(/ (* x (sqrt t)) z)
2.0ms	t	@	-inf	(/ (/ (* x (sqrt t)) z) y)
1.0ms	x	@	0	(/ (/ (* x (sqrt t)) z) y)

rewrite254.0ms (3.6%)

Algorithm

1×	batch-egg-rewrite

Rules

5440×	`-lowering-.f32`
5440×	`-lowering-.f64`
3118×	`/-lowering-/.f32`
3118×	`/-lowering-/.f64`
1956×	`pow-lowering-pow.f64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	26	111
1	91	103
2	578	95
3	5267	95
0	8077	95

Stop Event

1×	iter limit
1×	node limit

Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, D

analyze424.0ms (6.1%)

sample5.5s (79.4%)

preprocess174.0ms (2.5%)

explain169.0ms (2.4%)

eval0.0ms (0%)

prune1.0ms (0%)

localize276.0ms (4%)

series139.0ms (2%)

rewrite254.0ms (3.6%)

end0.0ms (0%)

Profiling