Details

Time bar (total: 2.5m)

sample3.7s

Algorithm
intervals
Results
1.3s144×body10240exit
686.0ms250×body320valid
413.0ms449×body80nan
394.0ms99×body1280nan
311.0ms375×body80valid
294.0ms66×body640nan
120.0ms36×body320nan
24.0msbody1280valid
13.0msbody160nan

simplify2.5s

Counts
1 → 1
Iterations
IterNodes
32387
2528
1170
060

prune86.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 61.6b

localize280.0ms

Local error

Found 4 expressions with local error:

1.7b
(pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))
1.7b
(pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))
46.1b
(+ (* (- -4 (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (* 0.1 2))) (exp (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (- 0.1)))) 4)
60.4b
(- (+ (* (- -4 (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (* 0.1 2))) (exp (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (- 0.1)))) 4) (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (* 0.1 2)))

rewrite682.0ms

Algorithm
rewrite-expression-head
Rules
30×add-exp-log
11×add-log-exp
10×pow1 pow-exp
div-exp prod-exp
flip3-+ flip-+
add-sqr-sqrt pow-pow *-un-lft-identity add-cbrt-cube associate-*l/ frac-sub add-cube-cbrt insert-posit16
pow-to-exp pow-unpow sum-log unpow-prod-down diff-log pow-prod-down sqr-pow
+-commutative sub-neg flip3-- associate--l+ flip--
Counts
4 → 69
Calls
4 calls:
30.0ms
(pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))
29.0ms
(pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))
55.0ms
(+ (* (- -4 (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (* 0.1 2))) (exp (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (- 0.1)))) 4)
566.0ms
(- (+ (* (- -4 (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (* 0.1 2))) (exp (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (- 0.1)))) 4) (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (* 0.1 2)))

series53.0s

Counts
4 → 12
Calls
4 calls:
161.0ms
(pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))
158.0ms
(pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))
23.0s
(+ (* (- -4 (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (* 0.1 2))) (exp (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (- 0.1)))) 4)
29.7s
(- (+ (* (- -4 (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (* 0.1 2))) (exp (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (- 0.1)))) 4) (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (* 0.1 2)))

simplify15.1s

Counts
81 → 81
Iterations
IterNodes
12909
0887

prune9.7s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 61.2b

localize303.0ms

Local error

Found 4 expressions with local error:

1.7b
(pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))
46.1b
(+ (* (- -4 (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (* 0.1 2))) (exp (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (- 0.1)))) 4)
60.1b
(log (exp (- (+ (* (- -4 (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (* 0.1 2))) (exp (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (- 0.1)))) 4) (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (* 0.1 2)))))
60.4b
(- (+ (* (- -4 (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (* 0.1 2))) (exp (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (- 0.1)))) 4) (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (* 0.1 2)))

rewrite969.0ms

Algorithm
rewrite-expression-head
Rules
17×add-exp-log
11×add-log-exp
pow1
add-sqr-sqrt log-prod *-un-lft-identity add-cube-cbrt
flip3-+ pow-exp flip-+
add-cbrt-cube div-exp associate-*l/ prod-exp log-pow frac-sub insert-posit16
exp-prod exp-sum
sum-log sub-neg pow-pow diff-log associate--l+
pow-to-exp +-commutative log-div pow-unpow unpow-prod-down flip3-- exp-diff rem-log-exp pow-prod-down flip-- sqr-pow
Counts
4 → 70
Calls
4 calls:
28.0ms
(pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))
57.0ms
(+ (* (- -4 (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (* 0.1 2))) (exp (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (- 0.1)))) 4)
318.0ms
(log (exp (- (+ (* (- -4 (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (* 0.1 2))) (exp (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (- 0.1)))) 4) (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (* 0.1 2)))))
563.0ms
(- (+ (* (- -4 (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (* 0.1 2))) (exp (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (- 0.1)))) 4) (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (* 0.1 2)))

series1.1m

Calls
2 calls:
27.6s
(log (exp (- (+ (* (- -4 (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (* 0.1 2))) (exp (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (- 0.1)))) 4) (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (* 0.1 2)))))
28.7s
(- (+ (* (- -4 (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (* 0.1 2))) (exp (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (- 0.1)))) 4) (* (+ (* (* (pow (* double (/ 48 (* (/ 1.205e-29 PI) (/ 1.205e-29 PI)))) (* 1/3 double)) (* (exp (- (/ 1.1 (* 8.625e-05 823)))) 1e-06)) (* (pow (+ double (* double i)) (* 1/3 double)) (exp (- (- 1.77) (/ (* (/ (* 1.205e-29 6.25e+18) 8.625e-05) 2/823) (pow (* (/ (+ double (* double i)) 4/3) (/ 1.205e-29 PI)) (* 1/3 double))))))) 0.0) (* 0.1 2)))