Metrics for Herbie run

Date:	Wednesday, February 26th, 2025
Commit:	39784a29 on chassis-platforms-cleanup
Seed:	2025057
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:binary-searchreduce:branch-expressionsreduce:simplifysetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default
Memory:	822 288.9 MB

prune6.9min (77.6%)

Memory: 664.7MiB live, 653 020.7MiB allocated; 34.8s collecting garbage
Counts: 44 966 → 596
Compiler: Compiled 38 579 to 18 828 computations (51.2% saved)

sample53.1s (10%)

Memory

667.3MiB live, 77 987.2MiB allocated; 12.2s collecting garbage

Samples

22.8s	284 953×	0	valid
10.6s	44 032×	1	valid
5.8s	17 367×	2	valid
326.0ms	4 145×	0	invalid
190.0ms	202×	5	exit
167.0ms	400×	3	valid
115.0ms	948×	0	exit

Precisions

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

ival-mult: 6.8s (23.6% of total)

ival-add: 3.4s (11.7% of total)

adjust: 3.3s (11.5% of total)

ival-div: 3.1s (10.7% of total)

ival-pow: 3.0s (10.4% of total)

ival-sub: 2.8s (9.5% of total)

ival-sin: 1.5s (5.1% of total)

ival-cos: 1.2s (4.1% of total)

const: 1.1s (4% of total)

ival-sqrt: 827.0ms (2.9% of total)

ival-exp: 488.0ms (1.7% of total)

ival-neg: 310.0ms (1.1% of total)

exact: 297.0ms (1% of total)

ival-pow2: 262.0ms (0.9% of total)

ival-assert: 119.0ms (0.4% of total)

ival-log1p: 84.0ms (0.3% of total)

ival-atan: 78.0ms (0.3% of total)

ival-expm1: 70.0ms (0.2% of total)

ival-tan: 57.0ms (0.2% of total)

ival-pi: 44.0ms (0.2% of total)

ival-hypot: 24.0ms (0.1% of total)

ival-<=: 21.0ms (0.1% of total)

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

ival-and: 9.0ms (0% of total)

ival-if: 6.0ms (0% of total)

ival-fabs: 5.0ms (0% of total)

ival-==: 4.0ms (0% of total)

ival-<: 1.0ms (0% of total)

Bogosity

rewrite22.5s (4.2%)

Memory

155.7MiB live, 27 695.0MiB allocated; 4.1s collecting garbage

Stop Event

281×	iter limit
111×	node limit
6×	saturated
4×	unsound

Counts

20 646 → 35 066

eval10.2s (1.9%)

Memory: -9.5MiB live, 16 836.8MiB allocated; 1.8s collecting garbage
Compiler: Compiled 7 030 173 to 266 016 computations (96.2% saved)

preprocess8.1s (1.5%)

Memory

250.4MiB live, 9 382.9MiB allocated; 739ms collecting garbage

Stop Event

84×	iter limit
64×	node limit
20×	saturated

Compiler

Compiled 18 951 to 6 154 computations (67.5% saved)

explain8.0s (1.5%)

Memory

-213.3MiB live, 12 853.4MiB allocated; 893ms collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	1334	3
`+.f64`	`#f`	cancellation	355	91
`-.f64`	(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))	oflow-left	225	0
`sqrt.f64`	`#f`	oflow-rescue	210	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) x))`	sensitivity	174	1
`/.f64`	`#f`	o/o	171	0
`/.f64`	`#f`	n/o	155	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	sensitivity	119	0
`-.f64`	`#f`	nan-rescue	114	0
`/.f64`	`#f`	u/n	82	0
`/.f64`	`#f`	n/u	57	0
`/.f64`	`#f`	u/u	53	0
`+.f64`	`#f`	nan-rescue	52	0
`/.f64`	`#f`	o/n	50	0
`*.f64`	`#f`	*nu**	35	0
`*.f64`	`#f`	*no**	22	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	oflow-rescue	20	0
↳	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	overflow	30
↳	`(/.f64 i n)`	overflow	20
↳	`(+.f64 #s(literal 1 binary64) (/.f64 i n))`	overflow	20
`sqrt.f64`	`#f`	uflow-rescue	8	0

Confusion

	Predicted +	Predicted -
+	3924	227
-	107	6494

Precision

0.9734557181840734

Recall

0.945314382076608

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3924	157	70
-	107	194	6300

Precision?

0.9313099041533547

Recall?

0.9831365935919055

Freqs

test

number	freq
0	6721
1	3591
2	400
3	40

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	30	1	0
-	2	0	9

Precision?

0.9393939393939394

Recall?

1.0

Samples

1.5s	16 340×	0	valid
1.2s	3 662×	1	valid
561.0ms	1 466×	2	valid
24.0ms	36×	3	valid

Compiler

Compiled 7 535 to 1 486 computations (80.3% saved)

Precisions

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

ival-mult: 537.0ms (24.3% of total)

adjust: 525.0ms (23.7% of total)

ival-div: 218.0ms (9.9% of total)

ival-pow: 208.0ms (9.4% of total)

ival-add: 204.0ms (9.2% of total)

ival-sub: 156.0ms (7.1% of total)

ival-cos: 79.0ms (3.6% of total)

ival-sin: 78.0ms (3.5% of total)

const: 51.0ms (2.3% of total)

ival-exp: 26.0ms (1.2% of total)

ival-sqrt: 21.0ms (0.9% of total)

exact: 20.0ms (0.9% of total)

ival-true: 19.0ms (0.9% of total)

ival-neg: 18.0ms (0.8% of total)

ival-pow2: 15.0ms (0.7% of total)

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

ival-expm1: 10.0ms (0.5% of total)

ival-tan: 5.0ms (0.2% of total)

ival-atan: 5.0ms (0.2% of total)

ival-log1p: 5.0ms (0.2% of total)

ival-pi: 2.0ms (0.1% of total)

series6.4s (1.2%)

Memory

199.7MiB live, 10 392.2MiB allocated; 791ms collecting garbage

Counts

2 812 → 17 834

Calls

705 calls:

Time	Variable		Point	Expression
203.0ms	d	@	inf	((* (/ (+ (pow (+ a b) 3) (pow (+ d c) 3)) (+ (* (+ a b) (+ a b)) (- (pow (+ d c) 2) (* (+ a b) (+ d c))))) 2) (+ (* 2 (* c (- (+ (* 2 (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* (+ (pow d 3) (pow (+ a b) 3)) (- (* 2 d) (+ a b))) (pow (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))) 2))))) (* 2 (/ (+ (pow d 3) (pow (+ a b) 3)) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b)))))) (+ (* 2 (* c (- (+ (* 2 (/ (* d d) (- (+ (* a a) (* d d)) (* a d)))) (/ (* d d) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))) (+ (* 2 (/ (+ (pow a 3) (pow d 3)) (- (+ (* a a) (* d d)) (* a d)))) (* b (+ (* 2 (* c (- (+ (* -2 (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)))) (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))) (+ (* 2 (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (* b (+ (* 2 (* c (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))) (* 2 (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))))))))) 2 (* c (- (+ (* 2 (/ (* d d) (- (+ (* a a) (* d d)) (* a d)))) (/ (* d d) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) c (- (+ (* 2 (/ (* d d) (- (+ (* a a) (* d d)) (* a d)))) (/ (* d d) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (* 2 (/ (* d d) (- (+ (* a a) (* d d)) (* a d)))) (/ (* d d) (- (+ (* a a) (* d d)) (* a d)))) (/ (* d d) (- (+ (* a a) (* d d)) (* a d))) (* d d) d (- (+ (* a a) (* d d)) (* a d)) (+ (* a a) (* d d)) a (* a d) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (* (+ (pow a 3) (pow d 3)) (- (* 2 d) a)) (+ (pow a 3) (pow d 3)) (pow a 3) 3 (pow d 3) (- (* 2 d) a) (* 2 d) (pow (- (+ (* a a) (* d d)) (* a d)) 2) (+ (* 2 (/ (+ (pow a 3) (pow d 3)) (- (+ (* a a) (* d d)) (* a d)))) (* b (+ (* 2 (* c (- (+ (* -2 (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)))) (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))) (+ (* 2 (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (* b (+ (* 2 (* c (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))) (* 2 (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))))))) (/ (+ (pow a 3) (pow d 3)) (- (+ (* a a) (* d d)) (* a d))) (* b (+ (* 2 (* c (- (+ (* -2 (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)))) (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))) (+ (* 2 (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (* b (+ (* 2 (* c (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))) (* 2 (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))))))) b (+ (* 2 (* c (- (+ (* -2 (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)))) (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))) (+ (* 2 (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (* b (+ (* 2 (* c (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))) (* 2 (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))))) (* c (- (+ (* -2 (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)))) (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))) (- (+ (* -2 (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)))) (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))) (+ (* -2 (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)))) -2 (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (* (* d d) (- (* 2 a) d)) (- (* 2 a) d) (* 2 a) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)) (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (* (- (* 2 a) d) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 3) (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (+ (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (+ (* 2 (* a a)) (* a a)) (* a a) (+ (* 2 (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (* b (+ (* 2 (* c (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))) (* 2 (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))))) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (* b (+ (* 2 (* c (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))) (* 2 (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))) (+ (* 2 (* c (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))) (* 2 (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))) (* c (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))) (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))) (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3)) (pow (* d (- (* 2 a) d)) 2) (* d (- (* 2 a) d)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4))) (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d))) (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)))) (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)) (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d)))) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))) (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2)) (pow (- (* 2 a) d) 2) (* 2 (* a d)) (pow (- (+ (* a a) (* d d)) (* a d)) 4) 4 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (* (+ a (* 2 a)) (- (* 2 d) a)) (+ a (* 2 a)) (* 2 (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))) (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))) (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (* (/ (+ (pow (+ a b) 3) (pow (+ d c) 3)) (+ (* (+ a b) (+ a b)) (- (pow (+ d c) 2) (* (+ a b) (+ d c))))) 2) (+ (* 2 (* c (- (+ (* 2 (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* (+ (pow d 3) (pow (+ a b) 3)) (- (* 2 d) (+ a b))) (pow (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))) 2))))) (* 2 (/ (+ (pow d 3) (pow (+ a b) 3)) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b)))))) (* c (- (+ (* 2 (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* (+ (pow d 3) (pow (+ a b) 3)) (- (* 2 d) (+ a b))) (pow (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))) 2)))) (- (+ (* 2 (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* (+ (pow d 3) (pow (+ a b) 3)) (- (* 2 d) (+ a b))) (pow (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))) 2))) (+ (* 2 (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b)))) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))) (+ (* d d) (pow (+ a b) 2)) (pow (+ a b) 2) (+ a b) (* d (+ a b)) (/ (* (+ (pow d 3) (pow (+ a b) 3)) (- (* 2 d) (+ a b))) (pow (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))) 2)) (* (+ (pow d 3) (pow (+ a b) 3)) (- (* 2 d) (+ a b))) (+ (pow d 3) (pow (+ a b) 3)) (pow (+ a b) 3) (- (* 2 d) (+ a b)) (pow (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))) 2) (* 2 (/ (+ (pow d 3) (pow (+ a b) 3)) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (* b (+ 2 (* 2 (/ (+ a d) b)))) (+ 2 (* 2 (/ (+ a d) b))) (* 2 (/ (+ a d) b)) (/ (+ a d) b) (+ a d) (* (/ (+ (pow (+ a b) 3) (pow (+ d c) 3)) (+ (* (+ a b) (+ a b)) (- (pow (+ d c) 2) (* (+ a b) (+ d c))))) 2) (+ (* 2 (* c (- (+ (* 2 (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* (+ (pow d 3) (pow (+ a b) 3)) (- (* 2 d) (+ a b))) (pow (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))) 2))))) (* 2 (/ (+ (pow d 3) (pow (+ a b) 3)) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b)))))) (* 2 (/ (+ (pow d 3) (pow (+ a b) 3)) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (+ (pow d 3) (pow (+ a b) 3)) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b)))) (+ (pow d 3) (pow (+ a b) 3)) (+ (* a (+ (* 2 (* b b)) (+ (* a (+ a (+ b (* 2 b)))) (* b b)))) (+ (pow b 3) (pow d 3))) (+ (* 2 (* b b)) (+ (* a (+ a (+ b (* 2 b)))) (* b b))) (* b b) (+ (* a (+ a (+ b (* 2 b)))) (* b b)) (+ a (+ b (* 2 b))) (+ b (* 2 b)) (* 2 b) (+ (pow b 3) (pow d 3)) (pow b 3))
149.0ms	i	@	-inf	((* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* n (/ (- (exp (* (- (log i) (log n)) n)) 1) i)) (/ (* n (- (exp (log (pow (/ i n) n))) 1)) i) (* n (- (exp (log (pow (/ i n) n))) 1)) n (- (exp (log (pow (/ i n) n))) 1) (log (pow (/ i n) n)) (pow (/ i n) n) (/ i n) i)
128.0ms	d	@	-inf	((* (/ (+ (pow (+ a b) 3) (pow (+ d c) 3)) (+ (* (+ a b) (+ a b)) (- (pow (+ d c) 2) (* (+ a b) (+ d c))))) 2) (+ (* 2 (* c (- (+ (* 2 (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* (+ (pow d 3) (pow (+ a b) 3)) (- (* 2 d) (+ a b))) (pow (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))) 2))))) (* 2 (/ (+ (pow d 3) (pow (+ a b) 3)) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b)))))) (+ (* 2 (* c (- (+ (* 2 (/ (* d d) (- (+ (* a a) (* d d)) (* a d)))) (/ (* d d) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))) (+ (* 2 (/ (+ (pow a 3) (pow d 3)) (- (+ (* a a) (* d d)) (* a d)))) (* b (+ (* 2 (* c (- (+ (* -2 (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)))) (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))) (+ (* 2 (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (* b (+ (* 2 (* c (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))) (* 2 (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))))))))) 2 (* c (- (+ (* 2 (/ (* d d) (- (+ (* a a) (* d d)) (* a d)))) (/ (* d d) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) c (- (+ (* 2 (/ (* d d) (- (+ (* a a) (* d d)) (* a d)))) (/ (* d d) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (* 2 (/ (* d d) (- (+ (* a a) (* d d)) (* a d)))) (/ (* d d) (- (+ (* a a) (* d d)) (* a d)))) (/ (* d d) (- (+ (* a a) (* d d)) (* a d))) (* d d) d (- (+ (* a a) (* d d)) (* a d)) (+ (* a a) (* d d)) a (* a d) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (* (+ (pow a 3) (pow d 3)) (- (* 2 d) a)) (+ (pow a 3) (pow d 3)) (pow a 3) 3 (pow d 3) (- (* 2 d) a) (* 2 d) (pow (- (+ (* a a) (* d d)) (* a d)) 2) (+ (* 2 (/ (+ (pow a 3) (pow d 3)) (- (+ (* a a) (* d d)) (* a d)))) (* b (+ (* 2 (* c (- (+ (* -2 (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)))) (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))) (+ (* 2 (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (* b (+ (* 2 (* c (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))) (* 2 (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))))))) (/ (+ (pow a 3) (pow d 3)) (- (+ (* a a) (* d d)) (* a d))) (* b (+ (* 2 (* c (- (+ (* -2 (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)))) (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))) (+ (* 2 (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (* b (+ (* 2 (* c (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))) (* 2 (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))))))) b (+ (* 2 (* c (- (+ (* -2 (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)))) (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))) (+ (* 2 (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (* b (+ (* 2 (* c (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))) (* 2 (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))))) (* c (- (+ (* -2 (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)))) (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))) (- (+ (* -2 (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)))) (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))) (+ (* -2 (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)))) -2 (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (* (* d d) (- (* 2 a) d)) (- (* 2 a) d) (* 2 a) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)) (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (* (- (* 2 a) d) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 3) (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (+ (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (+ (* 2 (* a a)) (* a a)) (* a a) (+ (* 2 (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (* b (+ (* 2 (* c (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))) (* 2 (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))))) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (* b (+ (* 2 (* c (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))) (* 2 (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))) (+ (* 2 (* c (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))) (* 2 (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))) (* c (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))) (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))) (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3)) (pow (* d (- (* 2 a) d)) 2) (* d (- (* 2 a) d)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4))) (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d))) (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)))) (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)) (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d)))) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))) (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2)) (pow (- (* 2 a) d) 2) (* 2 (* a d)) (pow (- (+ (* a a) (* d d)) (* a d)) 4) 4 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (* (+ a (* 2 a)) (- (* 2 d) a)) (+ a (* 2 a)) (* 2 (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))) (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))) (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (* (/ (+ (pow (+ a b) 3) (pow (+ d c) 3)) (+ (* (+ a b) (+ a b)) (- (pow (+ d c) 2) (* (+ a b) (+ d c))))) 2) (+ (* 2 (* c (- (+ (* 2 (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* (+ (pow d 3) (pow (+ a b) 3)) (- (* 2 d) (+ a b))) (pow (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))) 2))))) (* 2 (/ (+ (pow d 3) (pow (+ a b) 3)) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b)))))) (* c (- (+ (* 2 (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* (+ (pow d 3) (pow (+ a b) 3)) (- (* 2 d) (+ a b))) (pow (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))) 2)))) (- (+ (* 2 (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* (+ (pow d 3) (pow (+ a b) 3)) (- (* 2 d) (+ a b))) (pow (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))) 2))) (+ (* 2 (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b)))) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))) (+ (* d d) (pow (+ a b) 2)) (pow (+ a b) 2) (+ a b) (* d (+ a b)) (/ (* (+ (pow d 3) (pow (+ a b) 3)) (- (* 2 d) (+ a b))) (pow (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))) 2)) (* (+ (pow d 3) (pow (+ a b) 3)) (- (* 2 d) (+ a b))) (+ (pow d 3) (pow (+ a b) 3)) (pow (+ a b) 3) (- (* 2 d) (+ a b)) (pow (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))) 2) (* 2 (/ (+ (pow d 3) (pow (+ a b) 3)) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (* b (+ 2 (* 2 (/ (+ a d) b)))) (+ 2 (* 2 (/ (+ a d) b))) (* 2 (/ (+ a d) b)) (/ (+ a d) b) (+ a d) (* (/ (+ (pow (+ a b) 3) (pow (+ d c) 3)) (+ (* (+ a b) (+ a b)) (- (pow (+ d c) 2) (* (+ a b) (+ d c))))) 2) (+ (* 2 (* c (- (+ (* 2 (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* (+ (pow d 3) (pow (+ a b) 3)) (- (* 2 d) (+ a b))) (pow (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))) 2))))) (* 2 (/ (+ (pow d 3) (pow (+ a b) 3)) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b)))))) (* 2 (/ (+ (pow d 3) (pow (+ a b) 3)) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (+ (pow d 3) (pow (+ a b) 3)) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b)))) (+ (pow d 3) (pow (+ a b) 3)) (+ (* a (+ (* 2 (* b b)) (+ (* a (+ a (+ b (* 2 b)))) (* b b)))) (+ (pow b 3) (pow d 3))) (+ (* 2 (* b b)) (+ (* a (+ a (+ b (* 2 b)))) (* b b))) (* b b) (+ (* a (+ a (+ b (* 2 b)))) (* b b)) (+ a (+ b (* 2 b))) (+ b (* 2 b)) (* 2 b) (+ (pow b 3) (pow d 3)) (pow b 3))
127.0ms	a	@	-inf	((* (/ (+ (pow (+ a b) 3) (pow (+ d c) 3)) (+ (* (+ a b) (+ a b)) (- (pow (+ d c) 2) (* (+ a b) (+ d c))))) 2) (+ (* 2 (* c (- (+ (* 2 (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* (+ (pow d 3) (pow (+ a b) 3)) (- (* 2 d) (+ a b))) (pow (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))) 2))))) (* 2 (/ (+ (pow d 3) (pow (+ a b) 3)) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b)))))) (+ (* 2 (* c (- (+ (* 2 (/ (* d d) (- (+ (* a a) (* d d)) (* a d)))) (/ (* d d) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))) (+ (* 2 (/ (+ (pow a 3) (pow d 3)) (- (+ (* a a) (* d d)) (* a d)))) (* b (+ (* 2 (* c (- (+ (* -2 (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)))) (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))) (+ (* 2 (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (* b (+ (* 2 (* c (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))) (* 2 (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))))))))) 2 (* c (- (+ (* 2 (/ (* d d) (- (+ (* a a) (* d d)) (* a d)))) (/ (* d d) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) c (- (+ (* 2 (/ (* d d) (- (+ (* a a) (* d d)) (* a d)))) (/ (* d d) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (* 2 (/ (* d d) (- (+ (* a a) (* d d)) (* a d)))) (/ (* d d) (- (+ (* a a) (* d d)) (* a d)))) (/ (* d d) (- (+ (* a a) (* d d)) (* a d))) (* d d) d (- (+ (* a a) (* d d)) (* a d)) (+ (* a a) (* d d)) a (* a d) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (* (+ (pow a 3) (pow d 3)) (- (* 2 d) a)) (+ (pow a 3) (pow d 3)) (pow a 3) 3 (pow d 3) (- (* 2 d) a) (* 2 d) (pow (- (+ (* a a) (* d d)) (* a d)) 2) (+ (* 2 (/ (+ (pow a 3) (pow d 3)) (- (+ (* a a) (* d d)) (* a d)))) (* b (+ (* 2 (* c (- (+ (* -2 (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)))) (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))) (+ (* 2 (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (* b (+ (* 2 (* c (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))) (* 2 (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))))))) (/ (+ (pow a 3) (pow d 3)) (- (+ (* a a) (* d d)) (* a d))) (* b (+ (* 2 (* c (- (+ (* -2 (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)))) (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))) (+ (* 2 (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (* b (+ (* 2 (* c (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))) (* 2 (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))))))) b (+ (* 2 (* c (- (+ (* -2 (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)))) (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))) (+ (* 2 (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (* b (+ (* 2 (* c (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))) (* 2 (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))))) (* c (- (+ (* -2 (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)))) (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))) (- (+ (* -2 (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)))) (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))) (+ (* -2 (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)))) -2 (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (* (* d d) (- (* 2 a) d)) (- (* 2 a) d) (* 2 a) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)) (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (* (- (* 2 a) d) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 3) (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (+ (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* (* d d) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (+ (* 2 (* a a)) (* a a)) (* a a) (+ (* 2 (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (* b (+ (* 2 (* c (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))) (* 2 (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))))) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (* b (+ (* 2 (* c (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))) (* 2 (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))) (+ (* 2 (* c (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))))) (* 2 (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))) (* c (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))))) (- (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))) (+ (* -2 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)))) (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3)) (pow (* d (- (* 2 a) d)) 2) (* d (- (* 2 a) d)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (+ (* 2 (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4))) (/ (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* a a) (* d d)) (* a d))) (* (- (* 2 a) d) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3))))) (- (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (* 2 (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 a) d) (- (* 2 d) a))) (pow (- (+ (* a a) (* d d)) (* a d)) 3)))) (+ (* -1 (/ (+ (pow a 3) (pow d 3)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (* 2 (* a a)) (* a a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (pow (- (+ (* a a) (* d d)) (* a d)) 4)) (* (+ (pow a 3) (pow d 3)) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))))) (* (- (* 2 d) a) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d)))) (- (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (* 2 (* a d))) (+ (* 2 (* a a)) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2))) (+ (* 2 (* d d)) (pow (- (* 2 a) d) 2)) (pow (- (* 2 a) d) 2) (* 2 (* a d)) (pow (- (+ (* a a) (* d d)) (* a d)) 4) 4 (+ (* -1 (/ (pow (* d (- (* 2 a) d)) 2) (pow (- (+ (* a a) (* d d)) (* a d)) 3))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))) (+ (* -1 (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (/ (+ (* 2 (* a a)) (* a a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (+ (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (* d d) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (* (+ a (* 2 a)) (- (* 2 d) a)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (* (+ a (* 2 a)) (- (* 2 d) a)) (+ a (* 2 a)) (* 2 (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))))) (- (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2))))) (+ (* 2 (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d)))) (/ a (- (+ (* a a) (* d d)) (* a d))) (+ (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (/ (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (- (+ (* a a) (* d d)) (* a d))) (* (- (* 2 a) d) (- (+ (* 2 (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* a a) (- (+ (* a a) (* d d)) (* a d)))) (/ (* (+ (pow a 3) (pow d 3)) (- (* 2 a) d)) (pow (- (+ (* a a) (* d d)) (* a d)) 2)))) (+ (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2))) (/ (pow a 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (/ (pow d 3) (pow (- (+ (* a a) (* d d)) (* a d)) 2)) (* (/ (+ (pow (+ a b) 3) (pow (+ d c) 3)) (+ (* (+ a b) (+ a b)) (- (pow (+ d c) 2) (* (+ a b) (+ d c))))) 2) (+ (* 2 (* c (- (+ (* 2 (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* (+ (pow d 3) (pow (+ a b) 3)) (- (* 2 d) (+ a b))) (pow (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))) 2))))) (* 2 (/ (+ (pow d 3) (pow (+ a b) 3)) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b)))))) (* c (- (+ (* 2 (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* (+ (pow d 3) (pow (+ a b) 3)) (- (* 2 d) (+ a b))) (pow (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))) 2)))) (- (+ (* 2 (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* (+ (pow d 3) (pow (+ a b) 3)) (- (* 2 d) (+ a b))) (pow (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))) 2))) (+ (* 2 (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b)))) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))) (+ (* d d) (pow (+ a b) 2)) (pow (+ a b) 2) (+ a b) (* d (+ a b)) (/ (* (+ (pow d 3) (pow (+ a b) 3)) (- (* 2 d) (+ a b))) (pow (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))) 2)) (* (+ (pow d 3) (pow (+ a b) 3)) (- (* 2 d) (+ a b))) (+ (pow d 3) (pow (+ a b) 3)) (pow (+ a b) 3) (- (* 2 d) (+ a b)) (pow (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))) 2) (* 2 (/ (+ (pow d 3) (pow (+ a b) 3)) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (* b (+ 2 (* 2 (/ (+ a d) b)))) (+ 2 (* 2 (/ (+ a d) b))) (* 2 (/ (+ a d) b)) (/ (+ a d) b) (+ a d) (* (/ (+ (pow (+ a b) 3) (pow (+ d c) 3)) (+ (* (+ a b) (+ a b)) (- (pow (+ d c) 2) (* (+ a b) (+ d c))))) 2) (+ (* 2 (* c (- (+ (* 2 (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* d d) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (* (+ (pow d 3) (pow (+ a b) 3)) (- (* 2 d) (+ a b))) (pow (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))) 2))))) (* 2 (/ (+ (pow d 3) (pow (+ a b) 3)) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b)))))) (* 2 (/ (+ (pow d 3) (pow (+ a b) 3)) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b))))) (/ (+ (pow d 3) (pow (+ a b) 3)) (- (+ (* d d) (pow (+ a b) 2)) (* d (+ a b)))) (+ (pow d 3) (pow (+ a b) 3)) (+ (* a (+ (* 2 (* b b)) (+ (* a (+ a (+ b (* 2 b)))) (* b b)))) (+ (pow b 3) (pow d 3))) (+ (* 2 (* b b)) (+ (* a (+ a (+ b (* 2 b)))) (* b b))) (* b b) (+ (* a (+ a (+ b (* 2 b)))) (* b b)) (+ a (+ b (* 2 b))) (+ b (* 2 b)) (* 2 b) (+ (pow b 3) (pow d 3)) (pow b 3))
126.0ms	n	@	0	((/ (* 100 (- (exp (* (log (+ 1 (/ i n))) n)) 1)) (/ i n)) (* 100 (- (exp (* (log (+ 1 (/ i n))) n)) 1)) 100 (- (exp (* (log (+ 1 (/ i n))) n)) 1) (* (log (+ 1 (/ i n))) n) (log (+ 1 (/ i n))) (/ i n) i n (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (neg (/ (* -100 (+ (* (- (exp (* (+ (* (log (/ -1 i)) -1) (log (/ -1 n))) n)) 1) n) (* (pow n 3) (/ (pow (exp n) (+ (* (log (/ -1 i)) -1) (log (/ -1 n)))) i)))) i)) (/ (* -100 (+ (* (- (exp (* (+ (* (log (/ -1 i)) -1) (log (/ -1 n))) n)) 1) n) (* (pow n 3) (/ (pow (exp n) (+ (* (log (/ -1 i)) -1) (log (/ -1 n)))) i)))) i) (* -100 (+ (* (- (exp (* (+ (* (log (/ -1 i)) -1) (log (/ -1 n))) n)) 1) n) (* (pow n 3) (/ (pow (exp n) (+ (* (log (/ -1 i)) -1) (log (/ -1 n)))) i)))) -100 (+ (* (- (exp (* (+ (* (log (/ -1 i)) -1) (log (/ -1 n))) n)) 1) n) (* (pow n 3) (/ (pow (exp n) (+ (* (log (/ -1 i)) -1) (log (/ -1 n)))) i))) (- (exp (* (+ (* (log (/ -1 i)) -1) (log (/ -1 n))) n)) 1) (* (+ (* (log (/ -1 i)) -1) (log (/ -1 n))) n) (+ (* (log (/ -1 i)) -1) (log (/ -1 n))) (log (/ -1 i)) (/ -1 i) -1 (log (/ -1 n)) (/ -1 n) (* (pow n 3) (/ (pow (exp n) (+ (* (log (/ -1 i)) -1) (log (/ -1 n)))) i)) (pow n 3) 3 (/ (pow (exp n) (+ (* (log (/ -1 i)) -1) (log (/ -1 n)))) i) (pow (exp n) (+ (* (log (/ -1 i)) -1) (log (/ -1 n)))) (exp n) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (+ (* (+ (* (* 100 (+ (* (* n i) (- (+ (* 11/24 (pow n -2)) 1/24) (+ (* (pow n -3) 1/4) (/ 1/4 n)))) (* (- (+ (* (pow n -2) 1/3) 1/6) (/ 1/2 n)) n))) i) (* (* (- 1/2 (/ 1/2 n)) n) 100)) i) (* n 100)) (+ (* (* 100 (+ (* (* n i) (- (+ (* 11/24 (pow n -2)) 1/24) (+ (* (pow n -3) 1/4) (/ 1/4 n)))) (* (- (+ (* (pow n -2) 1/3) 1/6) (/ 1/2 n)) n))) i) (* (* (- 1/2 (/ 1/2 n)) n) 100)) (* 100 (+ (* (* n i) (- (+ (* 11/24 (pow n -2)) 1/24) (+ (* (pow n -3) 1/4) (/ 1/4 n)))) (* (- (+ (* (pow n -2) 1/3) 1/6) (/ 1/2 n)) n))) (+ (* (* n i) (- (+ (* 11/24 (pow n -2)) 1/24) (+ (* (pow n -3) 1/4) (/ 1/4 n)))) (* (- (+ (* (pow n -2) 1/3) 1/6) (/ 1/2 n)) n)) (* n i) (- (+ (* 11/24 (pow n -2)) 1/24) (+ (* (pow n -3) 1/4) (/ 1/4 n))) (+ (* 11/24 (pow n -2)) 1/24) 11/24 (pow n -2) -2 1/24 (+ (* (pow n -3) 1/4) (/ 1/4 n)) (pow n -3) -3 1/4 (/ 1/4 n) (* (- (+ (* (pow n -2) 1/3) 1/6) (/ 1/2 n)) n) (- (+ (* (pow n -2) 1/3) 1/6) (/ 1/2 n)) (+ (* (pow n -2) 1/3) 1/6) 1/3 1/6 (/ 1/2 n) 1/2 (* (* (- 1/2 (/ 1/2 n)) n) 100) (* (- 1/2 (/ 1/2 n)) n) (- 1/2 (/ 1/2 n)) (* n 100) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* n (/ (- (exp (* (- (log i) (log n)) n)) 1) i)) (/ (- (exp (* (- (log i) (log n)) n)) 1) i) (- (exp (* (- (log i) (log n)) n)) 1) (* (- (log i) (log n)) n) (- (log i) (log n)) (log i) (log n) (* (/ (- (exp (* (log (+ 1 (/ i n))) n)) 1) (/ i n)) 100) (/ (- (exp (* (log (+ 1 (/ i n))) n)) 1) (/ i n)))

analyze4.0s (0.8%)

Memory

25.2MiB live, 5 554.1MiB allocated; 1.7s collecting garbage

Algorithm

43×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	54.5%	45.5%	0%	0%	0%	0
21.4%	11.7%	42.9%	45.5%	0%	0%	0%	1
37.4%	20.4%	34.1%	45.5%	0%	0%	0%	2
48.7%	26.2%	27.7%	45.5%	0%	0.6%	0%	3
57.7%	30.7%	22.6%	45.5%	0%	1.2%	0%	4
71.2%	37.7%	15.3%	45.5%	0%	1.6%	0%	5
72.9%	38.4%	14.3%	45.5%	0%	1.8%	0%	6
77.9%	40.7%	11.6%	45.5%	0%	2.2%	0%	7
81.5%	42.6%	9.7%	45.5%	0%	2.3%	0%	8
84.1%	43.8%	8.3%	45.5%	0%	2.5%	0%	9
86.2%	44.6%	7.2%	45.5%	0%	2.7%	0%	10
88.2%	45.6%	6.1%	45.5%	0%	2.8%	0%	11
89.1%	45.9%	5.6%	45.5%	0%	2.9%	0%	12

Compiler

Compiled 1 402 to 721 computations (48.6% saved)

derivations2.5s (0.5%)

Memory

23.4MiB live, 2 709.4MiB allocated; 112ms collecting garbage

Stop Event

33×	done
8×	fuel

Compiler

Compiled 7 364 to 1 737 computations (76.4% saved)

simplify1.7s (0.3%)

Memory

-88.1MiB live, 2 038.7MiB allocated; 135ms collecting garbage

Stop Event

34×	node limit
7×	saturated

bsearch1.2s (0.2%)

Memory

-139.5MiB live, 1 589.0MiB allocated; 120ms collecting garbage

Algorithm

62×	binary-search
27×	left-value

Stop Event

58×	narrow-enough
4×	predicate-same

Samples

589.0ms	5 375×	0	valid
133.0ms	484×	1	valid
28.0ms	328×	0	invalid
22.0ms	89×	2	valid
1.0ms	4×	3	valid

Compiler

Compiled 28 774 to 20 320 computations (29.4% saved)

Precisions

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

ival-mult: 170.0ms (35.4% of total)

ival-div: 101.0ms (21% of total)

ival-sub: 57.0ms (11.9% of total)

ival-pow: 54.0ms (11.2% of total)

ival-add: 30.0ms (6.2% of total)

adjust: 29.0ms (6% of total)

ival-sqrt: 12.0ms (2.5% of total)

ival-neg: 8.0ms (1.7% of total)

ival-pi: 5.0ms (1% of total)

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

exact: 4.0ms (0.8% of total)

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

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

regimes1.0s (0.2%)

Memory

216.6MiB live, 2 222.7MiB allocated; 60ms collecting garbage

Counts

780 → 216

Calls

91 calls:

100.0ms	b
96.0ms	x
72.0ms	a
70.0ms	c
37.0ms	d

Compiler

Compiled 2 763 to 2 393 computations (13.4% saved)

start3.0ms (0%)

Memory: 5.9MiB live, 5.9MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory: 0.9MiB live, 0.8MiB allocated; 0ms collecting garbage

prune6.9min (77.6%)

sample53.1s (10%)

rewrite22.5s (4.2%)

eval10.2s (1.9%)

preprocess8.1s (1.5%)

explain8.0s (1.5%)

series6.4s (1.2%)

analyze4.0s (0.8%)

derivations2.5s (0.5%)

simplify1.7s (0.3%)

bsearch1.2s (0.2%)

regimes1.0s (0.2%)

start3.0ms (0%)

end0.0ms (0%)

Profiling