Herbie run

Date:Thursday, February 6th, 2025
Commit:f63971dc on main
Seed:2025037
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:321 411.6 MB

Time bar (total: 4.1min)

sample1.6min (40.2%)

Memory
1 479.4MiB live, 127 092.7MiB allocated; 39.4s collecting garbage
Samples
49.8s434 152×0valid
11.8s26 315×1valid
5.4s9 298×2valid
3.3s4 514×0invalid
1.1s8 703×0exit
276.0ms850×3valid
Precisions
Click to see histograms. Total time spent on operations: 52.5s
ival-mult: 13.9s (26.4% of total)
ival-add: 7.2s (13.6% of total)
const: 4.3s (8.2% of total)
ival-div: 3.9s (7.4% of total)
ival-exp: 3.5s (6.6% of total)
adjust: 3.4s (6.6% of total)
ival-hypot: 2.6s (4.9% of total)
ival-sub: 2.4s (4.5% of total)
ival-asin: 2.2s (4.2% of total)
ival-log: 2.1s (3.9% of total)
ival-cos: 1.2s (2.4% of total)
ival-sin: 1.0s (2% of total)
ival-sqrt: 878.0ms (1.7% of total)
ival-atan2: 863.0ms (1.6% of total)
ival-asinh: 411.0ms (0.8% of total)
exact: 394.0ms (0.8% of total)
ival-pow: 365.0ms (0.7% of total)
ival-sinu: 336.0ms (0.6% of total)
ival-acosh: 332.0ms (0.6% of total)
ival-pi: 315.0ms (0.6% of total)
ival-fabs: 304.0ms (0.6% of total)
ival-neg: 273.0ms (0.5% of total)
ival-atanh: 208.0ms (0.4% of total)
ival-assert: 158.0ms (0.3% of total)
ival-cosu: 90.0ms (0.2% of total)
Bogosity

rewrite42.1s (17.2%)

Memory
740.3MiB live, 52 347.3MiB allocated; 12.0s collecting garbage
Stop Event
462×iter limit
176×node limit
17×unsound
4×saturated
Counts
32 325 → 66 697

eval18.4s (7.5%)

Memory
245.5MiB live, 27 519.2MiB allocated; 8.0s collecting garbage
Compiler

Compiled 6 578 650 to 390 873 computations (94.1% saved)

explain15.2s (6.2%)

Memory
-330.5MiB live, 22 570.8MiB allocated; 5.5s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue11770
-.f64#fcancellation7582
/.f64#fo/o6640
sqrt.f32#foflow-rescue1970
/.f64#fo/n1930
sin.f64#fsensitivity1870
cos.f64(cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))sensitivity1860
+.f64#fcancellation1650
log.f32(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))sensitivity1353
sqrt.f64#fuflow-rescue1330
log.f64(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))sensitivity1240
-.f64#fnan-rescue1080
/.f64#fn/o840
*.f64#fn*u700
/.f64(/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)))u/u630
↳(*.f64 (*.f64 i i) (*.f64 i i))underflow93
↳(*.f64 i i)underflow126
↳(*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))underflow63
+.f64#fnan-rescue420
/.f64#fu/n310
*.f64#fn*o220
/.f64#fn/u60
exp.f64#fsensitivity60
log.f32(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))oflow-rescue50
↳(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))overflow5
↳(*.f32 x x)overflow136
↳(-.f32 (*.f32 x x) #s(literal 1 binary32))overflow136
cos.f64(cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))oflow-rescue10
↳(+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))overflow1
↳(*.f64 x.re x.re)overflow63
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow111
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow1
↳(*.f64 x.im x.im)overflow62
sin.f64(sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))oflow-rescue10
↳(+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))overflow1
↳(*.f64 x.re x.re)overflow63
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow111
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow1
↳(*.f64 x.im x.im)overflow62
*.f64(*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)))))o*u10
↳(*.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64))))overflow1
↳(pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))overflow1
↳(exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64))))underflow1
Confusion
Predicted +Predicted -
+357742
-20710766
Precision
0.9452959830866807
Recall
0.988394584139265
Confusion?
Predicted +Predicted MaybePredicted -
+3577339
-207310763
Precision?
0.9445910290237467
Recall?
0.9892235424150317
Freqs
test
numberfreq
010808
13209
2575
Total Confusion?
Predicted +Predicted MaybePredicted -
+3500
-3118
Precision?
0.8974358974358975
Recall?
1.0
Samples
3.0s25 484×0valid
1.2s2 730×1valid
677.0ms918×2valid
19.0ms48×3valid
2.0ms4×5exit
Compiler

Compiled 13 558 to 2 283 computations (83.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.5s
ival-mult: 954.0ms (27.4% of total)
ival-add: 411.0ms (11.8% of total)
adjust: 343.0ms (9.9% of total)
ival-div: 286.0ms (8.2% of total)
const: 224.0ms (6.4% of total)
ival-log: 211.0ms (6.1% of total)
ival-hypot: 204.0ms (5.9% of total)
ival-exp: 179.0ms (5.1% of total)
ival-sub: 119.0ms (3.4% of total)
ival-atan2: 93.0ms (2.7% of total)
ival-cos: 77.0ms (2.2% of total)
ival-sqrt: 74.0ms (2.1% of total)
ival-sin: 69.0ms (2% of total)
ival-asin: 57.0ms (1.6% of total)
ival-pow: 28.0ms (0.8% of total)
ival-true: 27.0ms (0.8% of total)
ival-fabs: 26.0ms (0.7% of total)
exact: 22.0ms (0.6% of total)
ival-pi: 14.0ms (0.4% of total)
ival-copysign: 13.0ms (0.4% of total)
ival-assert: 13.0ms (0.4% of total)
ival-neg: 13.0ms (0.4% of total)
ival-log1p: 8.0ms (0.2% of total)
ival-sinu: 7.0ms (0.2% of total)
ival-cosu: 6.0ms (0.2% of total)

derivations14.3s (5.9%)

Memory
-241.6MiB live, 13 716.7MiB allocated; 4.2s collecting garbage
Stop Event
39×fuel
18×done
Compiler

Compiled 34 118 to 4 374 computations (87.2% saved)

preprocess13.2s (5.4%)

Memory
497.0MiB live, 16 068.3MiB allocated; 3.9s collecting garbage
Stop Event
114×iter limit
72×node limit
42×saturated
Compiler

Compiled 80 690 to 14 515 computations (82% saved)

series12.0s (4.9%)

Memory
295.1MiB live, 18 335.0MiB allocated; 3.4s collecting garbage
Counts
5 519 → 26 806
Calls

1197 calls:

TimeVariablePointExpression
161.0ms
base
@-inf
((/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (atan2 im re) (/ 1 (pow (log base) -1))) (atan2 im re) im re (/ 1 (pow (log base) -1)) 1 (pow (log base) -1) (log base) base -1 (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (/ 1 (pow (atan2 im re) -1)) (log base)) (/ 1 (pow (atan2 im re) -1)) (pow (atan2 im re) -1) (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (exp (* (log (neg (log base))) 2))) (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (* (log base) (atan2 im re)) (exp (* (log (neg (log base))) 2)) (* (log (neg (log base))) 2) (log (neg (log base))) (neg (log base)) 2 (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (+ (* (log base) (exp (log (log base)))) (* 0 0))) (+ (* (log base) (exp (log (log base)))) (* 0 0)) (* (log base) (exp (log (log base)))) (exp (log (log base))) (log (log base)) (* 0 0) 0 (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (* (/ 1 (pow (log base) -1/2)) (/ (log base) (pow (log base) -1/2)))) (* (/ 1 (pow (log base) -1/2)) (/ (log base) (pow (log base) -1/2))) (/ 1 (pow (log base) -1/2)) (pow (log base) -1/2) -1/2 (/ (log base) (pow (log base) -1/2)))
136.0ms
base
@inf
((/ (/ (+ (pow (* (log base) (log (sqrt (+ (* im im) (* re re))))) 3) 0) (+ (pow (* (log base) (log (sqrt (+ (* im im) (* re re))))) 2) (- 0 (* (* (log base) (log (sqrt (+ (* im im) (* re re))))) 0)))) (+ (* (log base) (log base)) (* 0 0))) (/ (+ (pow (* (log base) (log (sqrt (+ (* im im) (* re re))))) 3) 0) (+ (pow (* (log base) (log (sqrt (+ (* im im) (* re re))))) 2) (- 0 (* (* (log base) (log (sqrt (+ (* im im) (* re re))))) 0)))) (+ (pow (* (log base) (log (sqrt (+ (* im im) (* re re))))) 3) 0) (pow (* (log base) (log (sqrt (+ (* im im) (* re re))))) 3) (* (log base) (log (sqrt (+ (* im im) (* re re))))) (log base) base (log (sqrt (+ (* im im) (* re re)))) (sqrt (+ (* im im) (* re re))) im re 3 0 (+ (pow (* (log base) (log (sqrt (+ (* im im) (* re re))))) 2) (- 0 (* (* (log base) (log (sqrt (+ (* im im) (* re re))))) 0))) (pow (* (log base) (log (sqrt (+ (* im im) (* re re))))) 2) 2 (- 0 (* (* (log base) (log (sqrt (+ (* im im) (* re re))))) 0)) (* (* (log base) (log (sqrt (+ (* im im) (* re re))))) 0) (+ (* (log base) (log base)) (* 0 0)) (* (log base) (log base)) (* 0 0) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (* 1/2 (log (+ (* im im) (* re re)))) (log base)) (* 1/2 (log (+ (* im im) (* re re)))) 1/2 (log (+ (* im im) (* re re))) (+ (* im im) (* re re)) (* re re) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (/ 1 (pow (log base) -1))) (* (atan2 im re) 0)) (exp (* (log (log base)) 2))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (/ 1 (pow (log base) -1))) (* (atan2 im re) 0)) (* (log im) (log base)) (log im) (exp (* (log (log base)) 2)) (* (log (log base)) 2) (log (log base)) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (exp (* (log (neg (log base))) 2))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* im im) (* (atan2 im re) 0) (atan2 im re) (exp (* (log (neg (log base))) 2)) (* (log (neg (log base))) 2) (log (neg (log base))) (neg (log base)) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (/ (- (pow (log base) 4) 0) (- (pow (log base) 2) 0))) (/ (- (pow (log base) 4) 0) (- (pow (log base) 2) 0)) (- (pow (log base) 4) 0) (pow (log base) 4) 4 (- (pow (log base) 2) 0) (pow (log base) 2))
127.0ms
z
@-inf
((* (/ (PI) (sin (* (PI) z))) (* (* (* (sqrt (* (PI) 2)) (pow (+ (+ (- (- 1 z) 1) 7) 1/2) (+ (- (- 1 z) 1) 1/2))) (exp (neg (+ (+ (- (- 1 z) 1) 7) 1/2)))) (+ (+ (+ (+ (+ (+ (+ (+ 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (+ (- (- 1 z) 1) 1))) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (/ -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4))) (/ 2501468655737381/200000000000000 (+ (- (- 1 z) 1) 5))) (/ -3464277381643003/25000000000000000 (+ (- (- 1 z) 1) 6))) (/ 2496092394504893/250000000000000000000 (+ (- (- 1 z) 1) 7))) (/ 3764081837873279/25000000000000000000000 (+ (- (- 1 z) 1) 8))))) (/ (PI) (sin (* (PI) z))) (PI) (sin (* (PI) z)) (* (PI) z) z (* (* (* (sqrt (* (PI) 2)) (pow (+ (+ (- (- 1 z) 1) 7) 1/2) (+ (- (- 1 z) 1) 1/2))) (exp (neg (+ (+ (- (- 1 z) 1) 7) 1/2)))) (+ (+ (+ (+ (+ (+ (+ (+ 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (+ (- (- 1 z) 1) 1))) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (/ -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4))) (/ 2501468655737381/200000000000000 (+ (- (- 1 z) 1) 5))) (/ -3464277381643003/25000000000000000 (+ (- (- 1 z) 1) 6))) (/ 2496092394504893/250000000000000000000 (+ (- (- 1 z) 1) 7))) (/ 3764081837873279/25000000000000000000000 (+ (- (- 1 z) 1) 8)))) (* (* (sqrt (* (PI) 2)) (pow (+ (+ (- (- 1 z) 1) 7) 1/2) (+ (- (- 1 z) 1) 1/2))) (exp (neg (+ (+ (- (- 1 z) 1) 7) 1/2)))) (* (sqrt (* (PI) 2)) (pow (+ (+ (- (- 1 z) 1) 7) 1/2) (+ (- (- 1 z) 1) 1/2))) (sqrt (* (PI) 2)) (* (PI) 2) 2 (pow (+ (+ (- (- 1 z) 1) 7) 1/2) (+ (- (- 1 z) 1) 1/2)) (+ (+ (- (- 1 z) 1) 7) 1/2) (+ (- (- 1 z) 1) 7) (- (- 1 z) 1) (- 1 z) 1 7 1/2 (+ (- (- 1 z) 1) 1/2) (exp (neg (+ (+ (- (- 1 z) 1) 7) 1/2))) (neg (+ (+ (- (- 1 z) 1) 7) 1/2)) (+ (+ (+ (+ (+ (+ (+ (+ 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (+ (- (- 1 z) 1) 1))) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (/ -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4))) (/ 2501468655737381/200000000000000 (+ (- (- 1 z) 1) 5))) (/ -3464277381643003/25000000000000000 (+ (- (- 1 z) 1) 6))) (/ 2496092394504893/250000000000000000000 (+ (- (- 1 z) 1) 7))) (/ 3764081837873279/25000000000000000000000 (+ (- (- 1 z) 1) 8))) (+ (+ (+ (+ (+ (+ (+ 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (+ (- (- 1 z) 1) 1))) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (/ -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4))) (/ 2501468655737381/200000000000000 (+ (- (- 1 z) 1) 5))) (/ -3464277381643003/25000000000000000 (+ (- (- 1 z) 1) 6))) (/ 2496092394504893/250000000000000000000 (+ (- (- 1 z) 1) 7))) (+ (+ (+ (+ (+ (+ 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (+ (- (- 1 z) 1) 1))) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (/ -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4))) (/ 2501468655737381/200000000000000 (+ (- (- 1 z) 1) 5))) (/ -3464277381643003/25000000000000000 (+ (- (- 1 z) 1) 6))) (+ (+ (+ (+ (+ 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (+ (- (- 1 z) 1) 1))) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (/ -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4))) (/ 2501468655737381/200000000000000 (+ (- (- 1 z) 1) 5))) (+ (+ (+ (+ 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (+ (- (- 1 z) 1) 1))) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (/ -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4))) (+ (+ (+ 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (+ (- (- 1 z) 1) 1))) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (+ (+ 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (+ (- (- 1 z) 1) 1))) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (+ 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (+ (- (- 1 z) 1) 1))) 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (+ (- (- 1 z) 1) 1)) 6765203681218851/10000000000000 (+ (- (- 1 z) 1) 1) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2)) -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3)) 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3) 3 (/ -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4)) -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4) 4 (/ 2501468655737381/200000000000000 (+ (- (- 1 z) 1) 5)) 2501468655737381/200000000000000 (+ (- (- 1 z) 1) 5) 5 (/ -3464277381643003/25000000000000000 (+ (- (- 1 z) 1) 6)) -3464277381643003/25000000000000000 (+ (- (- 1 z) 1) 6) 6 (/ 2496092394504893/250000000000000000000 (+ (- (- 1 z) 1) 7)) 2496092394504893/250000000000000000000 (/ 3764081837873279/25000000000000000000000 (+ (- (- 1 z) 1) 8)) 3764081837873279/25000000000000000000000 (+ (- (- 1 z) 1) 8) 8)
122.0ms
base
@0
((/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) re (* im im) im (log base) base (* (atan2 im re) 0) (atan2 im re) 0 (+ (* (log base) (log base)) (* 0 0)) (* (log base) (log base)) (* 0 0))
103.0ms
im
@inf
((/ (/ (+ (pow (* (log base) (log (sqrt (+ (* im im) (* re re))))) 3) 0) (+ (pow (* (log base) (log (sqrt (+ (* im im) (* re re))))) 2) (- 0 (* (* (log base) (log (sqrt (+ (* im im) (* re re))))) 0)))) (+ (* (log base) (log base)) (* 0 0))) (/ (+ (pow (* (log base) (log (sqrt (+ (* im im) (* re re))))) 3) 0) (+ (pow (* (log base) (log (sqrt (+ (* im im) (* re re))))) 2) (- 0 (* (* (log base) (log (sqrt (+ (* im im) (* re re))))) 0)))) (+ (pow (* (log base) (log (sqrt (+ (* im im) (* re re))))) 3) 0) (pow (* (log base) (log (sqrt (+ (* im im) (* re re))))) 3) (* (log base) (log (sqrt (+ (* im im) (* re re))))) (log base) base (log (sqrt (+ (* im im) (* re re)))) (sqrt (+ (* im im) (* re re))) im re 3 0 (+ (pow (* (log base) (log (sqrt (+ (* im im) (* re re))))) 2) (- 0 (* (* (log base) (log (sqrt (+ (* im im) (* re re))))) 0))) (pow (* (log base) (log (sqrt (+ (* im im) (* re re))))) 2) 2 (- 0 (* (* (log base) (log (sqrt (+ (* im im) (* re re))))) 0)) (* (* (log base) (log (sqrt (+ (* im im) (* re re))))) 0) (+ (* (log base) (log base)) (* 0 0)) (* (log base) (log base)) (* 0 0) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (* 1/2 (log (+ (* im im) (* re re)))) (log base)) (* 1/2 (log (+ (* im im) (* re re)))) 1/2 (log (+ (* im im) (* re re))) (+ (* im im) (* re re)) (* re re) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (/ 1 (pow (log base) -1))) (* (atan2 im re) 0)) (exp (* (log (log base)) 2))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (/ 1 (pow (log base) -1))) (* (atan2 im re) 0)) (* (log im) (log base)) (log im) (exp (* (log (log base)) 2)) (* (log (log base)) 2) (log (log base)) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (exp (* (log (neg (log base))) 2))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* im im) (* (atan2 im re) 0) (atan2 im re) (exp (* (log (neg (log base))) 2)) (* (log (neg (log base))) 2) (log (neg (log base))) (neg (log base)) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (/ (- (pow (log base) 4) 0) (- (pow (log base) 2) 0))) (/ (- (pow (log base) 4) 0) (- (pow (log base) 2) 0)) (- (pow (log base) 4) 0) (pow (log base) 4) 4 (- (pow (log base) 2) 0) (pow (log base) 2))

regimes11.0s (4.5%)

Memory
388.3MiB live, 16 945.5MiB allocated; 2.5s collecting garbage
Counts
8 089 → 853
Calls

132 calls:

691.0ms
re
636.0ms
im
457.0ms
y.re
389.0ms
x
372.0ms
z
Compiler

Compiled 14 756 to 9 987 computations (32.3% saved)

prune7.9s (3.2%)

Memory
45.1MiB live, 12 930.4MiB allocated; 2.8s collecting garbage
Counts
91 838 → 2 739
Compiler

Compiled 283 479 to 121 219 computations (57.2% saved)

bsearch4.7s (1.9%)

Memory
-58.8MiB live, 6 356.9MiB allocated; 1.2s collecting garbage
Algorithm
235×binary-search
198×left-value
Stop Event
215×narrow-enough
20×predicate-same
Samples
2.1s16 071×0valid
802.0ms2 116×1valid
76.0ms172×2valid
59.0ms57×3valid
Compiler

Compiled 133 723 to 79 949 computations (40.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2s
ival-mult: 784.0ms (35.6% of total)
ival-hypot: 234.0ms (10.6% of total)
ival-sin: 193.0ms (8.8% of total)
ival-exp: 152.0ms (6.9% of total)
ival-add: 142.0ms (6.4% of total)
ival-div: 122.0ms (5.5% of total)
adjust: 113.0ms (5.1% of total)
ival-log: 108.0ms (4.9% of total)
ival-atan2: 106.0ms (4.8% of total)
ival-sub: 84.0ms (3.8% of total)
ival-cos: 59.0ms (2.7% of total)
const: 39.0ms (1.8% of total)
ival-sqrt: 17.0ms (0.8% of total)
ival-true: 15.0ms (0.7% of total)
ival-assert: 8.0ms (0.4% of total)
ival-neg: 8.0ms (0.4% of total)
ival-pi: 6.0ms (0.3% of total)
exact: 6.0ms (0.3% of total)
ival-fabs: 2.0ms (0.1% of total)

analyze4.0s (1.6%)

Memory
-110.8MiB live, 4 156.4MiB allocated; 2.8s collecting garbage
Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
55.4%47.8%38.5%13.7%0%0%0%1
65.9%55.7%28.9%13.7%0%1.7%0%2
71.2%58.4%23.6%13.7%0%4.3%0%3
77.4%62%18.1%13.7%0%6.2%0%4
83.5%66.8%13.2%13.7%0%6.3%0%5
85.8%68.3%11.3%13.7%0%6.6%0%6
88.3%70.3%9.4%13.7%0%6.6%0%7
89.9%71.5%8%13.7%0%6.8%0%8
91.1%72.5%7.1%13.7%0%6.8%0%9
92.6%73.6%5.9%13.7%0%6.8%0%10
94%74.7%4.8%13.7%0%6.8%0%11
94.5%75.1%4.4%13.7%0%6.9%0%12
Compiler

Compiled 1 498 to 816 computations (45.5% saved)

simplify3.0s (1.2%)

Memory
-250.4MiB live, 3 363.5MiB allocated; 570ms collecting garbage
Stop Event
38×node limit
19×saturated

start14.0ms (0%)

Memory
-35.3MiB live, 7.7MiB allocated; 11ms collecting garbage

end0.0ms (0%)

Memory
1.3MiB live, 1.2MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...