Herbie run
| Date: | Saturday, May 31st, 2025 |
|---|---|
| Commit: | a88f6b81 on fighting-unsoundness |
| Seed: | 2025151 |
| Parameters: | 256 points for 4 iterations |
| Flags: | reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs default |
| Memory: | 766 229.0 MB |
Time bar (total: 9.9min)
| 48.3s | 119 286× | 1 | valid |
| 39.6s | 281 401× | 0 | valid |
| 19.4s | 25 283× | 2 | valid |
| 19.1s | 3 903× | 4 | exit |
| 8.5s | 11 654× | 5 | exit |
| 6.5s | 3 322× | 3 | valid |
| 6.4s | 35 097× | 0 | exit |
| 3.1s | 19 770× | 0 | invalid |
| 2.2s | 12 382× | 1 | invalid |
| 1.1s | 2 766× | 1 | exit |
| 568.0ms | 940× | 2 | invalid |
| 142.0ms | 20× | 4 | valid |
ival-pow: 23.1s (17.9% of total)ival-mult!: 14.1s (11% of total)adjust: 12.0s (9.3% of total)ival-cos: 11.7s (9.1% of total)ival-div!: 9.3s (7.2% of total)ival-sinu: 8.7s (6.7% of total)ival-sin: 8.5s (6.6% of total)ival-pow2: 8.0s (6.2% of total)ival-exp: 6.0s (4.6% of total)ival-cosu: 5.8s (4.5% of total)ival-log: 4.5s (3.5% of total)ival-sqrt: 3.9s (3% of total)ival-sub!: 3.5s (2.7% of total)ival-add!: 3.3s (2.5% of total)ival-neg: 2.2s (1.7% of total)ival-hypot: 1.2s (0.9% of total)ival-tan: 727.0ms (0.6% of total)ival-atan2: 700.0ms (0.5% of total)ival-cbrt: 428.0ms (0.3% of total)ival-atan: 375.0ms (0.3% of total)ival-acos: 346.0ms (0.3% of total)ival-log1p: 224.0ms (0.2% of total)ival-fabs: 187.0ms (0.1% of total)ival-asin: 145.0ms (0.1% of total)ival-<: 101.0ms (0.1% of total)ival-and: 47.0ms (0% of total)ival-assert: 8.0ms (0% of total)ival-<=: 6.0ms (0% of total)ival-==: 1.0ms (0% of total)ival-or: 0.0ms (0% of total)ival-pi: 0.0ms (0% of total)Compiled 11 057 656 to 1 759 076 computations (84.1% saved)
| 402× | iter-limit |
| 197× | node-limit |
| 1× | saturated |
| 1× | unsound |
| 199× | iter-limit |
1626 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.1s | ew | @ | 0 | ((fabs (- (* (* ew (/ (+ (pow (* (sin t) 0) 3) (pow (cos t) 3)) (pow (cos t) 2))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (/ (+ (pow (* (sin t) 0) 3) (pow (cos t) 3)) (pow (cos t) 2))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (* ew (/ (+ (pow (* (sin t) 0) 3) (pow (cos t) 3)) (pow (cos t) 2))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* ew (/ (+ (pow (* (sin t) 0) 3) (pow (cos t) 3)) (pow (cos t) 2))) ew (/ (+ (pow (* (sin t) 0) 3) (pow (cos t) 3)) (pow (cos t) 2)) (+ (pow (* (sin t) 0) 3) (pow (cos t) 3)) (pow (* (sin t) 0) 3) (* (sin t) 0) (sin t) t 0 3 (pow (cos t) 3) (cos t) (pow (cos t) 2) 2 (cos (atan (/ (* (neg eh) (tan t)) ew))) (atan (/ (* (neg eh) (tan t)) ew)) (/ (* (neg eh) (tan t)) ew) (* (neg eh) (tan t)) (neg eh) eh (tan t) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))) (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))) (* (sqrt (- (/ (* (cos t) ew) (sqrt (+ (* (/ (* (neg eh) (tan t)) ew) (/ (* (neg eh) (tan t)) ew)) 1))) (* (tanh (asinh (/ (* (neg eh) (tan t)) ew))) (* (sin t) eh)))) (sqrt (- (/ (* (cos t) ew) (sqrt (+ (* (/ (* (neg eh) (tan t)) ew) (/ (* (neg eh) (tan t)) ew)) 1))) (* (tanh (asinh (/ (* (neg eh) (tan t)) ew))) (* (sin t) eh))))) (sqrt (- (/ (* (cos t) ew) (sqrt (+ (* (/ (* (neg eh) (tan t)) ew) (/ (* (neg eh) (tan t)) ew)) 1))) (* (tanh (asinh (/ (* (neg eh) (tan t)) ew))) (* (sin t) eh)))) (sqrt ew) (fabs (+ (* (* (tanh (asinh (* (/ (tan t) ew) eh))) (sin t)) eh) (/ (* (cos t) ew) (cosh (asinh (* (/ (tan t) ew) eh)))))) (+ (* (* (tanh (asinh (* (/ (tan t) ew) eh))) (sin t)) eh) (/ (* (cos t) ew) (cosh (asinh (* (/ (tan t) ew) eh))))) (* (tanh (asinh (* (/ (tan t) ew) eh))) (sin t)) (tanh (asinh (* (/ (tan t) ew) eh))) (/ (* eh t) ew) (* eh t) (/ (* (cos t) ew) (cosh (asinh (* (/ (tan t) ew) eh)))) (* (cos t) ew) (cosh (asinh (* (/ (tan t) ew) eh))) 1 (pow (sqrt (- (/ (* (cos t) ew) (sqrt (+ (* (* (neg eh) (tan t)) (/ (* (neg eh) (tan t)) (* ew ew))) 1))) (* (* (sin t) eh) (tanh (asinh (/ (* (neg eh) (tan t)) ew)))))) 2) (sqrt (- (/ (* (cos t) ew) (sqrt (+ (* (* (neg eh) (tan t)) (/ (* (neg eh) (tan t)) (* ew ew))) 1))) (* (* (sin t) eh) (tanh (asinh (/ (* (neg eh) (tan t)) ew)))))) (- (/ (* (cos t) ew) (sqrt (+ (* (* (neg eh) (tan t)) (/ (* (neg eh) (tan t)) (* ew ew))) 1))) (* (* (sin t) eh) (tanh (asinh (/ (* (neg eh) (tan t)) ew))))) (/ (* (cos t) ew) (sqrt (+ (* (* (neg eh) (tan t)) (/ (* (neg eh) (tan t)) (* ew ew))) 1))) (sqrt (+ (* (* (neg eh) (tan t)) (/ (* (neg eh) (tan t)) (* ew ew))) 1)) (+ (* (* (neg eh) (tan t)) (/ (* (neg eh) (tan t)) (* ew ew))) 1) (* (neg eh) (tan t)) (* (neg eh) t) (/ (* (neg eh) (tan t)) (* ew ew)) (* ew ew) (* (* (sin t) eh) (tanh (asinh (/ (* (neg eh) (tan t)) ew)))) (* (sin t) eh) (tanh (asinh (/ (* (neg eh) (tan t)) ew))) (asinh (/ (* (neg eh) (tan t)) ew)) (/ (* (neg eh) (tan t)) ew) (fabs (* (+ 1 (/ (/ (* (cos t) ew) (cosh (asinh (* (/ (tan t) ew) eh)))) (* (tanh (asinh (* (/ (tan t) ew) eh))) (* (sin t) eh)))) (* (tanh (asinh (* (/ (tan t) ew) eh))) (* (sin t) eh)))) (* (+ 1 (/ (/ (* (cos t) ew) (cosh (asinh (* (/ (tan t) ew) eh)))) (* (tanh (asinh (* (/ (tan t) ew) eh))) (* (sin t) eh)))) (* (tanh (asinh (* (/ (tan t) ew) eh))) (* (sin t) eh))) (+ 1 (/ (/ (* (cos t) ew) (cosh (asinh (* (/ (tan t) ew) eh)))) (* (tanh (asinh (* (/ (tan t) ew) eh))) (* (sin t) eh)))) (/ (/ (* (cos t) ew) (cosh (asinh (* (/ (tan t) ew) eh)))) (* (tanh (asinh (* (/ (tan t) ew) eh))) (* (sin t) eh))) (* (tanh (asinh (* (/ (tan t) ew) eh))) (* (sin t) eh)) (tanh (asinh (* (/ (tan t) ew) eh))) (asinh (* (/ (tan t) ew) eh)) (* (/ (tan t) ew) eh) (/ (tan t) ew)) |
| 898.0ms | phi2 | @ | inf | ((* (acos (+ (* (sin phi1) (sin phi2)) (+ (* (* (cos phi2) (cos phi1)) (* (cos lambda2) (+ (* (sin lambda1) (cos (* (PI) 1/2))) (* (cos lambda1) (sin (* (PI) 1/2)))))) (* (* (cos phi2) (cos phi1)) (* (sin lambda2) (sin lambda1)))))) R) (acos (+ (* (sin phi1) (sin phi2)) (+ (* (* (cos phi2) (cos phi1)) (* (cos lambda2) (+ (* (sin lambda1) (cos (* (PI) 1/2))) (* (cos lambda1) (sin (* (PI) 1/2)))))) (* (* (cos phi2) (cos phi1)) (* (sin lambda2) (sin lambda1)))))) (+ (* (sin phi1) (sin phi2)) (+ (* (* (cos phi2) (cos phi1)) (* (cos lambda2) (+ (* (sin lambda1) (cos (* (PI) 1/2))) (* (cos lambda1) (sin (* (PI) 1/2)))))) (* (* (cos phi2) (cos phi1)) (* (sin lambda2) (sin lambda1))))) (* (sin phi1) (sin phi2)) (sin phi1) phi1 (sin phi2) phi2 (+ (* (* (cos phi2) (cos phi1)) (* (cos lambda2) (+ (* (sin lambda1) (cos (* (PI) 1/2))) (* (cos lambda1) (sin (* (PI) 1/2)))))) (* (* (cos phi2) (cos phi1)) (* (sin lambda2) (sin lambda1)))) (* (* (cos phi2) (cos phi1)) (* (cos lambda2) (+ (* (sin lambda1) (cos (* (PI) 1/2))) (* (cos lambda1) (sin (* (PI) 1/2)))))) (* (cos phi2) (cos phi1)) (cos phi2) (cos phi1) (* (cos lambda2) (+ (* (sin lambda1) (cos (* (PI) 1/2))) (* (cos lambda1) (sin (* (PI) 1/2))))) (cos lambda2) lambda2 (+ (* (sin lambda1) (cos (* (PI) 1/2))) (* (cos lambda1) (sin (* (PI) 1/2)))) (sin lambda1) lambda1 (cos (* (PI) 1/2)) (* (PI) 1/2) (PI) 1/2 (* (cos lambda1) (sin (* (PI) 1/2))) (cos lambda1) (sin (* (PI) 1/2)) (* (* (cos phi2) (cos phi1)) (* (sin lambda2) (sin lambda1))) (* (sin lambda2) (sin lambda1)) (sin lambda2) R (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))) (* (cos phi1) (cos (- lambda1 lambda2))) (cos phi1) (+ 1 (* -1/2 (pow phi1 2))) 1 (* -1/2 (pow phi1 2)) -1/2 (pow phi1 2) 2 (cos (- lambda1 lambda2)) (- lambda1 lambda2) (* (acos (+ (* (sin phi2) (sin phi1)) (* (* (cos (- lambda2 lambda1)) (cos phi1)) (cos phi2)))) R) (acos (+ (* (sin phi2) (sin phi1)) (* (* (cos (- lambda2 lambda1)) (cos phi1)) (cos phi2)))) (+ (* (sin phi2) (sin phi1)) (* (* (cos (- lambda2 lambda1)) (cos phi1)) (cos phi2))) (+ (* phi1 (sin phi2)) (* (cos phi2) (cos (- lambda2 lambda1)))) (* (cos phi2) (cos (- lambda2 lambda1))) (cos (- lambda2 lambda1)) (- lambda2 lambda1) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))) (* (cos phi1) (+ (* (+ (cos (+ lambda1 lambda2)) (cos (- lambda2 lambda1))) 1/2) (* (sin lambda2) (sin lambda1)))) (+ (* (+ (cos (+ lambda1 lambda2)) (cos (- lambda2 lambda1))) 1/2) (* (sin lambda2) (sin lambda1))) (+ (cos (+ lambda1 lambda2)) (cos (- lambda2 lambda1))) (cos (+ lambda1 lambda2)) (+ lambda1 lambda2) (* (acos (+ (* (sin phi1) (sin phi2)) (+ (* (* (cos phi2) (cos phi1)) (* (cos lambda2) (cos lambda1))) (* (* (cos phi2) (cos phi1)) (* (sin lambda2) (sin lambda1)))))) R) (acos (+ (* (sin phi1) (sin phi2)) (+ (* (* (cos phi2) (cos phi1)) (* (cos lambda2) (cos lambda1))) (* (* (cos phi2) (cos phi1)) (* (sin lambda2) (sin lambda1)))))) (+ (* (sin phi1) (sin phi2)) (+ (* (* (cos phi2) (cos phi1)) (* (cos lambda2) (cos lambda1))) (* (* (cos phi2) (cos phi1)) (* (sin lambda2) (sin lambda1))))) (+ (* (cos lambda1) (* (cos lambda2) (cos phi2))) (* (cos phi2) (* (sin lambda1) (sin lambda2)))) (* (cos lambda2) (cos phi2)) (* (cos phi2) (* (sin lambda1) (sin lambda2))) (* (sin lambda1) (sin lambda2))) |
| 872.0ms | ew | @ | 0 | ((fabs (- (* (* ew (/ (+ (pow (* (sin t) 0) 3) (pow (cos t) 3)) (+ (* (* (sin t) 0) (* (sin t) 0)) (- (* (cos t) (cos t)) (* (* (sin t) 0) (cos t)))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (/ (+ (pow (* (sin t) 0) 3) (pow (cos t) 3)) (+ (* (* (sin t) 0) (* (sin t) 0)) (- (* (cos t) (cos t)) (* (* (sin t) 0) (cos t)))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (* ew (/ (+ (pow (* (sin t) 0) 3) (pow (cos t) 3)) (+ (* (* (sin t) 0) (* (sin t) 0)) (- (* (cos t) (cos t)) (* (* (sin t) 0) (cos t)))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* ew (/ (+ (pow (* (sin t) 0) 3) (pow (cos t) 3)) (+ (* (* (sin t) 0) (* (sin t) 0)) (- (* (cos t) (cos t)) (* (* (sin t) 0) (cos t)))))) ew (/ (+ (pow (* (sin t) 0) 3) (pow (cos t) 3)) (+ (* (* (sin t) 0) (* (sin t) 0)) (- (* (cos t) (cos t)) (* (* (sin t) 0) (cos t))))) (+ (pow (* (sin t) 0) 3) (pow (cos t) 3)) (pow (* (sin t) 0) 3) (* (sin t) 0) (sin t) t 0 3 (pow (cos t) 3) (cos t) (+ (* (* (sin t) 0) (* (sin t) 0)) (- (* (cos t) (cos t)) (* (* (sin t) 0) (cos t)))) (- (* (cos t) (cos t)) (* (* (sin t) 0) (cos t))) (* (cos t) (cos t)) (* (* (sin t) 0) (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew))) (atan (/ (* (neg eh) (tan t)) ew)) (/ (* (neg eh) (tan t)) ew) (* (neg eh) (tan t)) (neg eh) eh (tan t) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))) (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))) (fabs (+ (* (* (tanh (asinh (* (/ (tan t) ew) eh))) (sin t)) eh) (/ (* (cos t) ew) (cosh (asinh (* (/ (tan t) ew) eh)))))) (+ (* (* (tanh (asinh (* (/ (tan t) ew) eh))) (sin t)) eh) (/ (* (cos t) ew) (cosh (asinh (* (/ (tan t) ew) eh))))) (* ew (cos t)) (fabs (+ (* (* (tanh (asinh (* (/ (tan t) ew) eh))) (sin t)) eh) (/ (* (cos t) ew) (cosh (asinh (* (/ (tan t) ew) eh)))))) (+ (* (* (tanh (asinh (* (/ (tan t) ew) eh))) (sin t)) eh) (/ (* (cos t) ew) (cosh (asinh (* (/ (tan t) ew) eh))))) (* (tanh (asinh (* (/ (tan t) ew) eh))) (sin t)) (tanh (asinh (* (/ (tan t) ew) eh))) (asinh (* (/ (tan t) ew) eh)) (* (/ (tan t) ew) eh) (/ (tan t) ew) (/ (* (cos t) ew) (cosh (asinh (* (/ (tan t) ew) eh)))) (* (cos t) ew) (cosh (asinh (* (/ (tan t) ew) eh))) 1 (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* ew (- (/ (cos t) (cosh (asinh (* eh (/ (tan t) ew))))) (* (* (neg (tanh (asinh (* eh (/ (tan t) ew))))) (sin t)) (/ eh ew)))) (- (/ (cos t) (cosh (asinh (* eh (/ (tan t) ew))))) (* (* (neg (tanh (asinh (* eh (/ (tan t) ew))))) (sin t)) (/ eh ew))) (/ (cos t) (cosh (asinh (* eh (/ (tan t) ew))))) (cosh (asinh (* eh (/ (tan t) ew)))) (asinh (* eh (/ (tan t) ew))) (* eh (/ (tan t) ew)) (* (* (neg (tanh (asinh (* eh (/ (tan t) ew))))) (sin t)) (/ eh ew)) (* (neg (tanh (asinh (* eh (/ (tan t) ew))))) (sin t)) (neg (tanh (asinh (* eh (/ (tan t) ew))))) (tanh (asinh (* eh (/ (tan t) ew)))) (/ eh ew) (* (sqrt (- (/ (* (cos t) ew) (sqrt (+ (* (/ (* (neg eh) (tan t)) ew) (/ (* (neg eh) (tan t)) ew)) 1))) (* (tanh (asinh (/ (* (neg eh) (tan t)) ew))) (* (sin t) eh)))) (sqrt (- (/ (* (cos t) ew) (sqrt (+ (* (/ (* (neg eh) (tan t)) ew) (/ (* (neg eh) (tan t)) ew)) 1))) (* (tanh (asinh (/ (* (neg eh) (tan t)) ew))) (* (sin t) eh))))) (sqrt (- (/ (* (cos t) ew) (sqrt (+ (* (/ (* (neg eh) (tan t)) ew) (/ (* (neg eh) (tan t)) ew)) 1))) (* (tanh (asinh (/ (* (neg eh) (tan t)) ew))) (* (sin t) eh)))) (- (/ (* (cos t) ew) (sqrt (+ (* (/ (* (neg eh) (tan t)) ew) (/ (* (neg eh) (tan t)) ew)) 1))) (* (tanh (asinh (/ (* (neg eh) (tan t)) ew))) (* (sin t) eh))) (/ (* (cos t) ew) (sqrt (+ (* (/ (* (neg eh) (tan t)) ew) (/ (* (neg eh) (tan t)) ew)) 1))) (sqrt (+ (* (/ (* (neg eh) (tan t)) ew) (/ (* (neg eh) (tan t)) ew)) 1)) (+ (* (/ (* (neg eh) (tan t)) ew) (/ (* (neg eh) (tan t)) ew)) 1) (/ (* (neg eh) (tan t)) ew) (* (neg eh) (tan t)) (* (neg eh) t) (* (tanh (asinh (/ (* (neg eh) (tan t)) ew))) (* (sin t) eh)) (tanh (asinh (/ (* (neg eh) (tan t)) ew))) (asinh (/ (* (neg eh) (tan t)) ew)) (* (sin t) eh)) |
| 728.0ms | A | @ | 0 | ((/ (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (- (pow B 2) (* (* 4 A) C))) (* -1/4 (/ (sqrt (* -16 (* C F))) C)) -1/4 (/ (sqrt (* -16 (* C F))) C) (sqrt (* -16 (* C F))) (* -16 (* C F)) -16 (* C F) C F (/ (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (- (pow B 2) (* (* 4 A) C))) (* -1 (sqrt (* -2 (/ F B)))) -1 (sqrt (* -2 (/ F B))) (* -2 (/ F B)) -2 (/ F B) B (/ (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (- (pow B 2) (* (* 4 A) C))) (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))))) (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))) (* -2 (* (pow B 3) F)) (* (pow B 3) F) (pow B 3) 3 (- (pow B 2) (* (* 4 A) C)) (pow B 2) 2 (* (* 4 A) C) (* 4 A) 4 A (/ (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (- (pow B 2) (* (* 4 A) C))) (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))))) (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))) (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (* (- (pow B 2) (* (* 4 A) C)) F) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))) (* -1 B) (/ (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (- (pow B 2) (* (* 4 A) C))) (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))))) (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))) (* -1 (* B (- (* -1 (/ (+ A C) B)) 1))) (* B (- (* -1 (/ (+ A C) B)) 1)) (- (* -1 (/ (+ A C) B)) 1) (* -1 (/ (+ A C) B)) (/ (+ A C) B) (+ A C) 1) |
| 559.0ms | ew | @ | 0 | ((fabs (+ (* (* (tanh (asinh (* (/ (tan t) ew) eh))) (sin t)) eh) (/ (* (cos t) ew) (cosh (asinh (* (/ (tan t) ew) eh)))))) (+ (* (* (tanh (asinh (* (/ (tan t) ew) eh))) (sin t)) eh) (/ (* (cos t) ew) (cosh (asinh (* (/ (tan t) ew) eh))))) (* (tanh (asinh (* (/ (tan t) ew) eh))) (sin t)) (tanh (asinh (* (/ (tan t) ew) eh))) (asinh (* (/ (tan t) ew) eh)) (* (/ (tan t) ew) eh) (/ (tan t) ew) (tan t) t ew eh (sin t) (/ (* (cos t) ew) (cosh (asinh (* (/ (tan t) ew) eh)))) (* (cos t) ew) (cos t) (cosh (asinh (* (/ (tan t) ew) eh))) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* ew (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))) (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))) (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))) (* -1 (/ (* eh (sin t)) (* ew (cos t)))) -1 (/ (* eh (sin t)) (* ew (cos t))) (* eh (sin t)) (* ew (cos t)) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (cos (atan (/ (* (neg eh) (tan t)) ew))) (atan (/ (* (neg eh) (tan t)) ew)) (/ (* (neg eh) (tan t)) ew) (* (neg eh) (tan t)) (* -1 (* eh t)) (* eh t) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))) (sin (atan (/ (* (neg eh) (tan t)) ew))) (fabs (* (+ 1 (/ (/ (* (cos t) ew) (cosh (asinh (* (/ (tan t) ew) eh)))) (* (tanh (asinh (* (/ (tan t) ew) eh))) (* (sin t) eh)))) (* (tanh (asinh (* (/ (tan t) ew) eh))) (* (sin t) eh)))) (* (+ 1 (/ (/ (* (cos t) ew) (cosh (asinh (* (/ (tan t) ew) eh)))) (* (tanh (asinh (* (/ (tan t) ew) eh))) (* (sin t) eh)))) (* (tanh (asinh (* (/ (tan t) ew) eh))) (* (sin t) eh))) (+ 1 (/ (/ (* (cos t) ew) (cosh (asinh (* (/ (tan t) ew) eh)))) (* (tanh (asinh (* (/ (tan t) ew) eh))) (* (sin t) eh)))) 1 (/ (/ (* (cos t) ew) (cosh (asinh (* (/ (tan t) ew) eh)))) (* (tanh (asinh (* (/ (tan t) ew) eh))) (* (sin t) eh))) (* (tanh (asinh (* (/ (tan t) ew) eh))) (* (sin t) eh)) (* (sin t) eh) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* ew (+ (* -1 (/ (* eh (* (sin t) (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))) ew)) (* (cos t) (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))))) (+ (* -1 (/ (* eh (* (sin t) (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))) ew)) (* (cos t) (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))) (/ (* eh (* (sin t) (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))) ew) (* eh (* (sin t) (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))) (* (sin t) (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))) (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))) (* (cos t) (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))) |
155 calls:
| 5.1s | b |
| 4.2s | phi1 |
| 3.8s | phi2 |
| 3.6s | a |
| 2.9s | lambda2 |
Compiled 19 946 to 17 352 computations (13% saved)
Compiled 837 532 to 498 222 computations (40.5% saved)
| 331× | binary-search |
| 112× | left-value |
| 327× | narrow-enough |
| 3× | predicate-same |
| 1× | predicate-failed |
| 7.9s | 1 434× | 4 | exit |
| 6.5s | 8 103× | 1 | valid |
| 2.3s | 1 408× | 5 | exit |
| 1.8s | 11 420× | 0 | valid |
| 945.0ms | 953× | 2 | valid |
| 643.0ms | 205× | 3 | valid |
| 108.0ms | 1 062× | 0 | invalid |
| 3.0ms | 1× | 4 | valid |
| 1.0ms | 2× | 2 | invalid |
| 1.0ms | 3× | 1 | invalid |
Compiled 322 434 to 207 820 computations (35.5% saved)
ival-pow: 8.6s (45.2% of total)ival-sin: 2.7s (14.2% of total)adjust: 1.7s (8.8% of total)ival-cos: 1.7s (8.6% of total)ival-mult!: 940.0ms (4.9% of total)ival-pow2: 808.0ms (4.2% of total)ival-div!: 545.0ms (2.8% of total)ival-sinu: 409.0ms (2.1% of total)ival-cosu: 386.0ms (2% of total)ival-sub!: 279.0ms (1.5% of total)ival-exp: 228.0ms (1.2% of total)ival-sqrt: 217.0ms (1.1% of total)ival-atan2: 168.0ms (0.9% of total)ival-add!: 161.0ms (0.8% of total)ival-neg: 112.0ms (0.6% of total)ival-acos: 86.0ms (0.4% of total)ival-atan: 46.0ms (0.2% of total)ival-hypot: 19.0ms (0.1% of total)ival-tan: 8.0ms (0% of total)ival-fabs: 3.0ms (0% of total)ival-asin: 2.0ms (0% of total)ival-log1p: 2.0ms (0% of total)ival-log: 1.0ms (0% of total)ival-pi: 0.0ms (0% of total)| 44× | fuel |
| 8× | done |
Compiled 14 263 to 6 532 computations (54.2% saved)
| 53× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 79.4% | 20.6% | 0% | 0% | 0% | 0 |
| 17.2% | 13.7% | 65.7% | 20.6% | 0% | 0% | 0% | 1 |
| 25% | 19.6% | 58.5% | 20.6% | 0% | 1.3% | 0% | 2 |
| 35.2% | 26.6% | 48.9% | 20.6% | 0% | 3.8% | 0% | 3 |
| 42.3% | 31.7% | 43.1% | 20.6% | 0% | 4.5% | 0% | 4 |
| 47.9% | 35.6% | 38.7% | 20.6% | 0% | 5.1% | 0% | 5 |
| 51% | 37.6% | 36.1% | 20.6% | 0% | 5.7% | 0% | 6 |
| 54.4% | 39.7% | 33.2% | 20.6% | 0% | 6.5% | 0% | 7 |
| 56.2% | 40.7% | 31.8% | 20.6% | 0% | 6.8% | 0% | 8 |
| 59% | 42.5% | 29.5% | 20.6% | 0% | 7.4% | 0% | 9 |
| 60.3% | 43.2% | 28.4% | 20.6% | 0% | 7.7% | 0% | 10 |
| 62.1% | 44.3% | 27% | 20.6% | 0% | 8.1% | 0% | 11 |
| 63.6% | 45.1% | 25.8% | 20.6% | 0% | 8.5% | 0% | 12 |
Compiled 1 826 to 963 computations (47.3% saved)
| 52× | node-limit |
| 1× | iter-limit |
Compiled 198 113 to 108 702 computations (45.1% saved)
Loading profile data...