Metrics for Herbie run

Date:	Friday, May 9th, 2025
Commit:	2f8ddb36 on artem-rules-updates
Seed:	2025129
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:	618 350.9 MB

sample3.4min (41%)

Memory

4 695.5MiB live, 257 603.2MiB allocated; 1.4min collecting garbage

Samples

2.0min	14 800×	3	exit
41.0s	267 980×	0	valid
5.6s	28 968×	1	valid
1.2s	11 055×	0	invalid
671.0ms	2 575×	2	valid
180.0ms	1 609×	1	exit
130.0ms	681×	1	invalid
58.0ms	4×	5	exit
15.0ms	1×	4	exit
0.0ms	1×	3	valid

Precisions

Click to see histograms. Total time spent on operations: 2.5min

ival-mult!: 22.1s (14.5% of total)

ival-exp: 19.9s (13.1% of total)

adjust: 19.9s (13.1% of total)

ival-pow2: 19.6s (12.9% of total)

ival-log: 19.6s (12.9% of total)

ival-div!: 11.3s (7.4% of total)

ival-add!: 7.4s (4.9% of total)

ival-sub!: 6.6s (4.3% of total)

ival-sqrt: 6.2s (4.1% of total)

ival-neg: 6.0s (3.9% of total)

ival-fmax: 3.9s (2.5% of total)

ival-sin: 1.7s (1.1% of total)

ival-fabs: 1.4s (0.9% of total)

ival-cos: 1.0s (0.7% of total)

ival-fmin: 971.0ms (0.6% of total)

ival-floor: 806.0ms (0.5% of total)

ival-sinu: 564.0ms (0.4% of total)

ival-expm1: 503.0ms (0.3% of total)

ival-cosu: 444.0ms (0.3% of total)

ival-<=: 420.0ms (0.3% of total)

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

ival-and: 292.0ms (0.2% of total)

ival-if: 261.0ms (0.2% of total)

ival-log2: 196.0ms (0.1% of total)

ival-log1p: 160.0ms (0.1% of total)

ival-asin: 146.0ms (0.1% of total)

ival-sinh: 98.0ms (0.1% of total)

ival-atan: 93.0ms (0.1% of total)

ival->=: 76.0ms (0.1% of total)

ival->: 53.0ms (0% of total)

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

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

const: 3.0ms (0% of total)

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

Bogosity

series2.7min (32.1%)

Memory

1 851.9MiB live, 192 786.4MiB allocated; 1.0min collecting garbage

Counts

5 996 → 18 622

Calls

1488 calls:

Time	Variable		Point	Expression
312.0ms	v	@	0	((+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) v (log (+ u (* (- 1 u) (exp (/ -2 v))))) (+ u (* (- 1 u) (exp (/ -2 v)))) u (* (- 1 u) (exp (/ -2 v))) (- 1 u) (exp (/ -2 v)) (/ -2 v) -2)
198.0ms	s	@	0	((* (* (neg (log (+ 1 (+ (* u -4/3) 1/3)))) s) 3) (* (neg (log (+ 1 (+ (* u -4/3) 1/3)))) s) (neg (log (+ 1 (+ (* u -4/3) 1/3)))) (log (+ 1 (+ (* u -4/3) 1/3))) (+ (* u -4/3) 1/3) u -4/3 1/3 s 3 (* (* (neg (log (+ (* -4/3 u) 4/3))) s) 3) (* (log 27/64) s) (log 27/64) 27/64 (* (* (neg (log (+ (* -4/3 u) 4/3))) s) 3) (* (* 3 (log (/ 3/4 u))) s) (* 3 (log (/ 3/4 u))) (log (/ 3/4 u)) (/ 3/4 u) 3/4 (* (* (log (+ (* u -4/3) 4/3)) s) -3) (* (log (+ (* u -4/3) 4/3)) s) (log (+ (* u -4/3) 4/3)) (+ (* u -4/3) 4/3) 4/3 -3 (* (* (log (/ -1 (+ (* 4/3 u) -4/3))) s) 3) (* (log (/ -1 (+ (* 4/3 u) -4/3))) s) (log (/ -1 (+ (* 4/3 u) -4/3))) (/ -1 (+ (* 4/3 u) -4/3)) -1 (+ (* 4/3 u) -4/3))
158.0ms	u0	@	inf	((pow (+ (/ u0 (* (+ (pow (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) 2) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax))) (- 1 u0))) 1) -1/2) (+ (/ u0 (* (+ (pow (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) 2) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax))) (- 1 u0))) 1) (/ u0 (* (+ (pow (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) 2) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax))) (- 1 u0))) u0 (* (+ (pow (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) 2) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax))) (- 1 u0)) (+ (pow (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) 2) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax))) (pow (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) 2) (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax))) (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)) (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2)) (+ (PI) (PI)) (PI) u1 (* (PI) 1/2) 1/2 (/ alphay alphax) alphay alphax 2 (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax)) (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphax alphax) (- 1 u0) -1/2 (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (sqrt (/ 1 (+ (* (* alphay alphay) (/ u0 (* (- 1 u0) (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)))) 1))) (/ 1 (+ (* (* alphay alphay) (/ u0 (* (- 1 u0) (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)))) 1)) (+ (* (* alphay alphay) (/ u0 (* (- 1 u0) (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)))) 1) (* alphay alphay) (/ u0 (* (- 1 u0) (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2))) (* (- 1 u0) (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)))) (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))) (+ (* (* alphax alphax) (/ u0 (* (- 1 u0) (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2))))) 1) (/ u0 (* (- 1 u0) (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)))) (* (- 1 u0) (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2))) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)))) (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))) (+ (* (/ (+ 1 u0) (+ (pow (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) 2) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax)))) u0) 1) (/ (+ 1 u0) (+ (pow (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) 2) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax)))) (+ 1 u0))
149.0ms	u	@	0	((+ (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) (* (* (sin (* u normAngle)) (/ 1 (sin normAngle))) n1_i)) (+ (* (- 1 u) n0_i) (+ (* (* -1/6 (+ (* n0_i (+ (* (* (- u 1) (- u 1)) (- 1 u)) (- u 1))) (* n1_i (- (* (* u u) u) u)))) (* normAngle normAngle)) (* n1_i u))) (- 1 u) 1 u n0_i (+ (* (* -1/6 (+ (* n0_i (+ (* (* (- u 1) (- u 1)) (- 1 u)) (- u 1))) (* n1_i (- (* (* u u) u) u)))) (* normAngle normAngle)) (* n1_i u)) (* -1/6 (+ (* n0_i (+ (* (* (- u 1) (- u 1)) (- 1 u)) (- u 1))) (* n1_i (- (* (* u u) u) u)))) -1/6 (+ (* n0_i (+ (* (* (- u 1) (- u 1)) (- 1 u)) (- u 1))) (* n1_i (- (* (* u u) u) u))) (+ (* (* (- u 1) (- u 1)) (- 1 u)) (- u 1)) (* (- u 1) (- u 1)) (- u 1) (* n1_i (- (* (* u u) u) u)) n1_i (- (* (* u u) u) u) (* (* u u) u) (* u u) (* normAngle normAngle) normAngle (* n1_i u) (+ (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) (* (* (sin (* u normAngle)) (/ 1 (sin normAngle))) n1_i)) (+ (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) (* (* (sin (* u normAngle)) (/ 1 (sin normAngle))) n1_i)) (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) (* (* (sin (* u normAngle)) (/ 1 (sin normAngle))) n1_i) (* (sin (* u normAngle)) (/ 1 (sin normAngle))) (sin (* u normAngle)) (* u normAngle) (/ 1 (sin normAngle)) (sin normAngle) (+ (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) (* (* (sin (* u normAngle)) (/ 1 (sin normAngle))) n1_i)) (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) (sin (* (- 1 u) normAngle)) (* (- 1 u) normAngle) (* (* (sin (* u normAngle)) (/ 1 (sin normAngle))) n1_i) (* (sin (* u normAngle)) (/ 1 (sin normAngle))) (+ (* (* -1/6 (- (* (* u u) u) u)) (* normAngle normAngle)) u) (* -1/6 (- (* (* u u) u) u)) (+ (* (* (sin (* (- 1 u) normAngle)) (/ 1 (sin normAngle))) n0_i) (* (* (sin (* u normAngle)) (/ 1 (sin normAngle))) n1_i)) (* (/ (+ (/ (* (sin (* normAngle u)) n1_i) n0_i) (sin (* (- 1 u) normAngle))) (sin normAngle)) n0_i) (/ (+ (/ (* (sin (* normAngle u)) n1_i) n0_i) (sin (* (- 1 u) normAngle))) (sin normAngle)) (+ (/ (* (sin (* normAngle u)) n1_i) n0_i) (sin (* (- 1 u) normAngle))) (/ (* (sin (* normAngle u)) n1_i) n0_i) (* (sin (* normAngle u)) n1_i) (sin (* normAngle u)) (* normAngle u))
146.0ms	s	@	0	((* (* (neg (log (+ 1 (- (* -4/3 u) -1/3)))) s) 3) (* (neg (log (+ 1 (- (* -4/3 u) -1/3)))) s) (neg (log (+ 1 (- (* -4/3 u) -1/3)))) (log (+ 1 (- (* -4/3 u) -1/3))) (- (* -4/3 u) -1/3) (* -4/3 u) -4/3 u -1/3 s 3 (* (* (log (/ -1 (+ (* 4/3 u) -4/3))) s) 3) (* (log (/ -1 (+ (* 4/3 u) -4/3))) s) (log (/ -1 (+ (* 4/3 u) -4/3))) (/ -1 (+ (* 4/3 u) -4/3)) 3/4 (* (* (neg (log (+ (* -4/3 u) 4/3))) s) 3) (* (neg (log (+ (* -4/3 u) 4/3))) s) (neg (log (+ (* -4/3 u) 4/3))) (log (/ 3/4 u)) (/ 3/4 u) (* (* (log (* 4/3 (- 1 u))) s) -3) (* (log (* 4/3 (- 1 u))) s) (log (* 4/3 (- 1 u))) (* 4/3 (- 1 u)) 4/3 (- 1 u) 1 -3 (* (* (log (/ -1 (* 4/3 (- u 1)))) s) 3) (* (log (/ -1 (* 4/3 (- u 1)))) s) (log (/ -1 (* 4/3 (- u 1)))) (/ -1 (* 4/3 (- u 1))) -1 (* 4/3 (- u 1)) (- u 1))

analyze31.0s (6.2%)

Memory

429.0MiB live, 38 810.4MiB allocated; 13.5s collecting garbage

Algorithm

37×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	21%	79%	0%	0%	0%	0
25.7%	5.4%	15.6%	79%	0%	0%	0%	1
26.5%	5.6%	15.5%	79%	0%	0%	0%	2
26.5%	5.6%	15.4%	79%	0%	0%	0%	3
28.6%	6%	15%	79%	0%	0%	0%	4
40.9%	8.6%	12.4%	79%	0%	0%	0%	5
46.2%	9.7%	11.3%	79%	0%	0%	0%	6
53.2%	11%	9.7%	79%	0%	0.4%	0%	7
55.6%	11.5%	9.2%	79%	0%	0.4%	0%	8
60.6%	12.5%	8.1%	79%	0%	0.4%	0%	9
63.8%	13.1%	7.4%	79%	0%	0.5%	0%	10
66.1%	13.6%	7%	79%	0%	0.5%	0%	11
67.5%	13.9%	6.7%	79%	0%	0.5%	0%	12

Compiler

Compiled 20 293 to 1 873 computations (90.8% saved)

rewrite30.2s (6%)

Memory

1 042.2MiB live, 38 080.2MiB allocated; 10.2s collecting garbage

Stop Event

327×	iter-limit
106×	node-limit
33×	unsound

Counts

24 618 → 171 188

eval23.5s (4.7%)

Memory: 1 263.2MiB live, 32 924.6MiB allocated; 11.8s collecting garbage
Compiler: Compiled 4 563 327 to 794 587 computations (82.6% saved)

regimes18.1s (3.6%)

Memory

321.6MiB live, 25 360.4MiB allocated; 8.2s collecting garbage

Counts

7 477 → 428

Calls

158 calls:

821.0ms	v
637.0ms	(sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1)))
468.0ms	s
426.0ms	x
393.0ms	r

Compiler

Compiled 15 156 to 15 053 computations (0.7% saved)

derivations15.3s (3%)

Memory

-137.0MiB live, 10 120.5MiB allocated; 6.3s collecting garbage

Stop Event

33×	fuel
2×	done

Compiler

Compiled 7 907 to 3 436 computations (56.5% saved)

prune9.3s (1.8%)

Memory: -745.8MiB live, 12 317.7MiB allocated; 6.9s collecting garbage
Counts: 123 243 → 3 322
Compiler: Compiled 237 633 to 164 132 computations (30.9% saved)

preprocess6.4s (1.3%)

Memory

-13.0MiB live, 8 935.8MiB allocated; 1.8s collecting garbage

Stop Event

36×	node-limit

Compiler

Compiled 47 768 to 31 204 computations (34.7% saved)

bsearch1.3s (0.2%)

Memory

46.8MiB live, 1 348.4MiB allocated; 309ms collecting garbage

Algorithm

97×	binary-search
25×	left-value

Stop Event

96×	narrow-enough
1×	predicate-same

Samples

490.0ms	2 373×	0	valid
306.0ms	965×	1	valid
45.0ms	131×	1	invalid
14.0ms	54×	2	valid
13.0ms	231×	0	invalid

Compiler

Compiled 30 667 to 26 669 computations (13% saved)

Precisions

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

ival-log1p: 223.0ms (30.1% of total)

ival-pow2: 123.0ms (16.6% of total)

ival-exp: 99.0ms (13.4% of total)

ival-mult!: 48.0ms (6.5% of total)

ival-cos: 45.0ms (6.1% of total)

ival-sin: 44.0ms (5.9% of total)

ival-fmax: 39.0ms (5.3% of total)

ival-sub!: 30.0ms (4.1% of total)

adjust: 23.0ms (3.1% of total)

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

ival-add!: 14.0ms (1.9% of total)

ival-fabs: 14.0ms (1.9% of total)

ival-fmin: 9.0ms (1.2% of total)

ival-neg: 7.0ms (0.9% of total)

start26.0ms (0%)

Memory: 20.3MiB live, 63.0MiB allocated; 8ms collecting garbage

end0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated; 0ms collecting garbage

Calls

1 calls:

Time	Variable		Point	Expression
2.4min	u1	@	0	((pow (+ (/ u0 (* (+ (pow (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) 2) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax))) (- 1 u0))) 1) -1/2) (+ (/ u0 (* (+ (pow (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) 2) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax))) (- 1 u0))) 1) (/ u0 (* (+ (pow (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) 2) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax))) (- 1 u0))) u0 (* (+ (pow (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) 2) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax))) (- 1 u0)) (+ (pow (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) 2) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax))) (pow (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) 2) (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax))) (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)) (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2)) (+ (PI) (PI)) (PI) u1 (* (PI) 1/2) 1/2 (/ alphay alphax) alphay alphax 2 (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax)) (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphax alphax) (- 1 u0) -1/2 (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (sqrt (/ 1 (+ (* (* alphay alphay) (/ u0 (* (- 1 u0) (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)))) 1))) (/ 1 (+ (* (* alphay alphay) (/ u0 (* (- 1 u0) (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)))) 1)) (+ (* (* alphay alphay) (/ u0 (* (- 1 u0) (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)))) 1) (* alphay alphay) (/ u0 (* (- 1 u0) (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2))) (* (- 1 u0) (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)))) (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))) (+ (* (* alphax alphax) (/ u0 (* (- 1 u0) (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2))))) 1) (/ u0 (* (- 1 u0) (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)))) (* (- 1 u0) (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2))) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)))) (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))) (+ (* (/ (+ 1 u0) (+ (pow (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) 2) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax)))) u0) 1) (/ (+ 1 u0) (+ (pow (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) 2) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax)))) (+ 1 u0))

Time

Variable

Point

Expression

2.4min

u1

((pow (+ (/ u0 (* (+ (pow (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) 2) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax))) (- 1 u0))) 1) -1/2) (+ (/ u0 (* (+ (pow (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) 2) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax))) (- 1 u0))) 1) (/ u0 (* (+ (pow (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) 2) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax))) (- 1 u0))) u0 (* (+ (pow (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) 2) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax))) (- 1 u0)) (+ (pow (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) 2) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax))) (pow (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) 2) (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax))) (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)) (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2)) (+ (PI) (PI)) (PI) u1 (* (PI) 1/2) 1/2 (/ alphay alphax) alphay alphax 2 (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax)) (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphax alphax) (- 1 u0) -1/2 (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (sqrt (/ 1 (+ (* (* alphay alphay) (/ u0 (* (- 1 u0) (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)))) 1))) (/ 1 (+ (* (* alphay alphay) (/ u0 (* (- 1 u0) (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)))) 1)) (+ (* (* alphay alphay) (/ u0 (* (- 1 u0) (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)))) 1) (* alphay alphay) (/ u0 (* (- 1 u0) (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2))) (* (- 1 u0) (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)))) (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))) (+ (* (* alphax alphax) (/ u0 (* (- 1 u0) (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2))))) 1) (/ u0 (* (- 1 u0) (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)))) (* (- 1 u0) (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2))) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)))) (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))) (+ (* (/ (+ 1 u0) (+ (pow (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) 2) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax)))) u0) 1) (/ (+ 1 u0) (+ (pow (/ (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphay) 2) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax)))) (+ 1 u0))

sample3.4min (41%)

series2.7min (32.1%)

analyze31.0s (6.2%)

rewrite30.2s (6%)

eval23.5s (4.7%)

regimes18.1s (3.6%)

derivations15.3s (3%)

prune9.3s (1.8%)

preprocess6.4s (1.3%)

bsearch1.3s (0.2%)

start26.0ms (0%)

end0.0ms (0%)

Profiling